Go backward to Record Structures Go up to Top Go forward to Type Attributes of Type Structures

Identifier Expressions

X in Identifier-expr
    X ::= I | X.I
...
C ::= L:=E | C₁;C₂ | ...| call X
E ::= N | @L | ...| X
L ::= X

• P |- newint:intloc class

• P |- D: P1dec

  P |- record D end: P1class

• P |- T:Dclass

  P |- var I:T: {I:D}dec

• P |- T:Dclass

  P |-class I=T: {I:Dclass}dec

• P |- I:H, if (I:H) in P

• P |- X:P1 P |- X.I: T

  if (I:T) in P1