- findName
Find a name in the environment of the given scope.
- findType
Find a type in the environment.
- findClassDefinition
Find the enclosing class definition, if any.
- findMatches
Find functions and operations of the given basic name.
- findStateDefinition
Find the state defined in the environment, if any.
- getDefinitions
The the definitions that this environment can find
- getEnclosingDefinition
- isFunctional
- isStatic
True if the calling context is a static function or operation.
- isSystem
True if this is a VDM-RT "system" environment.
- isVDMPP
True if this is a VDM++ environment.
- listAlternatives
Add details to a TC error with alternative fn/op name possibilities.