Package org.overturetool.vdmj.definitions

Classes that represent VDM definitions.

See:
Description

Class Summary

AccessSpecifier	A class to represent a [static] public/private/protected specifier.
AssignmentDefinition	A class to represent assignable variable definitions.
BUSClassDefinition
ClassDefinition	A class to represent a VDM++ class definition.
ClassInvariantDefinition	A VDM class invariant definition.
ClassList	A class for holding a list of ClassDefinitions.
CPUClassDefinition
Definition	The abstract parent of all definitions.
DefinitionList	A class to hold a list of Definitions.
DefinitionSet	A class to hold a set of Definitions with unique names.
EqualsDefinition	A class to hold an equals definition.
ExplicitFunctionDefinition	A class to hold an explicit function definition.
ExplicitOperationDefinition	A class to hold an explicit operation definition.
ExternalDefinition	A class to hold an external state definition.
ImplicitFunctionDefinition	A class to hold an implicit function definition.
ImplicitOperationDefinition	A class to hold an explicit operation definition.
ImportedDefinition	A class to hold an imported definition.
InheritedDefinition	A class to hold an inherited definition in VDM++.
InstanceVariableDefinition	A class to represent instance variable definitions.
LocalDefinition	A class to hold a local variable definition.
MultiBindListDefinition	A class to hold a multiple bind list definition.
MutexSyncDefinition
NamedTraceDefinition
PerSyncDefinition
RenamedDefinition	A class to hold a renamed import definition.
StateDefinition	A class to hold a module's state definition.
ThreadDefinition
TypeDefinition	A class to hold a type definition.
UntypedDefinition	A class to hold a definition of, as yet, an unknown type.
ValueDefinition	A class to hold a value definition.

Package org.overturetool.vdmj.definitions Description

Classes that represent VDM definitions.