Package org.overturetool.vdmj.statements

Classes that represent operation statements.

See:
Description

Class Summary

AlwaysStatement
AssignmentStatement
AtomicStatement
BlockStatement
CallObjectStatement
CallStatement
CasesStatement
CaseStmtAlternative
ClassInvariantStatement
CyclesStatement
DefStatement
DurationStatement
ElseIfStatement
ErrorCase
ErrorStatement
ExitStatement
ExternalClause
FieldDesignator
ForAllStatement
ForIndexStatement
ForPatternBindStatement
IdentifierDesignator
IfStatement
LetBeStStatement
LetDefStatement
MapSeqDesignator
NonDeterministicStatement
NotYetSpecifiedStatement
ObjectApplyDesignator
ObjectDesignator	A class to hold an object assignment designator.
ObjectFieldDesignator
ObjectIdentifierDesignator
ObjectNewDesignator
ObjectSelfDesignator
PeriodicStatement
ReturnStatement
SimpleBlockStatement
SkipStatement
SpecificationStatement
StartStatement
StateDesignator	The root of the state designator hierarchy.
Statement	The parent class of all statements.
SubclassResponsibilityStatement
TixeStatement
TixeStmtAlternative
TraceStatement
TrapStatement
WhileStatement

Package org.overturetool.vdmj.statements Description

Classes that represent operation statements.