9 Dynamic denotations

In declarations like:
P: <AD>(# ... #);
X: @<AD>;
Y: ^<AD>;

it is checked that <AD> is a static denotation, where static is defined as follows:

R[e].A(# ... #)
(foo).bar(# ... #)
R.P(# ... #) where 'R' is a dynamic ref.
are only allowed in imperatives.

For Y: ^R.P where R is a dynamic reference, the compiler will currently report a warning and suggest to use

Y: ^A.P where A is the qualification of R.

Note: that when using --noWarnQua, this warning will not be printed. A future release may change the warning to an error.


BETA Language Modifications - Reference Manual
© 1999-2002 Mjølner Informatics
[Modified: Sunday October 22nd 2000 at 0:53]