A declaration of the form
The value of a context variable is defined by a context update and is accessed in a context query.
Example
'var' NestingLevel: INTdefines a context variable NestingLevel of type INT. This variable may be defined as in NestingLevel <- Nand accessed as in NestingLevel -> N |
|