POINTER returns a pointer value that identifies the generation
specified by an offset reference
x, in an area specified
by
y. If
x is the null offset value, the null pointer
value is returned.
>>-POINTER(x,y)------------------------------------------------><
Abbreviation: PTR
- x
- Offset reference. It can be the null offset value. If it is
not, x must identify a generation of a based variable, but
not necessarily in y. If it is not in y, the generation
must be equivalent to a generation in y.
- y
- Area reference.
Generations of based variables in different areas are equivalent
if, up to the allocation of the latest generation, the variables have
been allocated and freed the same number of times as each other.