Context Variables

A declaration of the form

• 'var' C : T

The value of a context variable is defined by a context update and is accessed in a context query.

	Example 'var' NestingLevel: INT defines a context variable NestingLevel of type INT. This variable may be defined as in NestingLevel <- N and accessed as in NestingLevel -> N

[NEXT] [PREV]