ValueDemo: obj
Point:and: Value
%globals
print:
:==:
in P: var Point:and
Person:
age: var integer
P1: val Point:and
P2: var Point:and
P3: var Point:and
P4: val Point:and
R: obj Person
S: ref Person
Q: ref Person
P5: var Point:and
P6: val Point:and