previous up next
Go backward to Classes and Variables
Go up to Top
Go forward to Identifier Expressions
RISC-Linz logo

Record Structures

D ::= ...| var I:T | class I=T
T ::= newint | I | record D end


class R = record var X: newint, var Y: newint end
var A: R;
var B: R

var A: newint;
class R = record var C: newint;
    proc P = (C:=@A+1) end;
var F: R; var G: R
in ...F.C G.P ...

Author: Wolfgang Schreiner
Last Modification: April 23, 1998

previous up next