HANDBOOK / LANGUAGE REFERENCE MANUAL /

Context Variables

VariableDecl = "'var'" Ident ":" Ident .

A declaration of the form

introduces a context variable C of type 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