All Classes and Interfaces

Class	Description
AbstractForOperation	A representation of the model object 'Abstract For Operation'.
AbstractForOperationImpl	An implementation of the model object 'Abstract For Operation'.
AG	A representation of the model object 'AG'.
AGImpl	An implementation of the model object 'AG'.
AnnotatedElement	A representation of the model object 'Annotated Element'.
AnnotatedElementImpl	An implementation of the model object 'Annotated Element'.
Annotation	A representation of the model object 'Annotation'.
AnnotationContainer	A representation of the model object 'Annotation Container'.
AnnotationContainerImpl	An implementation of the model object 'Annotation Container'.
AnnotationDeclaration	A representation of the model object 'Annotation Declaration'.
AnnotationDeclarationImpl	An implementation of the model object 'Annotation Declaration'.
AnnotationImpl	An implementation of the model object 'Annotation'.
Argument	A representation of the model object 'Argument'.
ArgumentImpl	An implementation of the model object 'Argument'.
ArithmeticBinaryOperator	A representation of the model object 'Arithmetic Binary Operator'.
ArithmeticBinaryOperatorImpl	An implementation of the model object 'Arithmetic Binary Operator'.
ArithmeticOp	A representation of the literals of the enumeration 'Arithmetic Op', and utility methods for working with them.
ArithmeticUnaryOperator	A representation of the model object 'Arithmetic Unary Operator'.
ArithmeticUnaryOperatorImpl	An implementation of the model object 'Arithmetic Unary Operator'.
ArrayLiteral	A representation of the model object 'Array Literal'.
ArrayLiteralImpl	An implementation of the model object 'Array Literal'.
AssignmentOperation	A representation of the model object 'Assignment Operation'.
AssignmentOperationImpl	An implementation of the model object 'Assignment Operation'.
AssumptionOperation	A representation of the model object 'Assumption Operation'.
AssumptionOperationImpl	An implementation of the model object 'Assumption Operation'.
BinaryOperator	A representation of the model object 'Binary Operator'.
BinaryOperatorImpl	An implementation of the model object 'Binary Operator'.
BooleanOp	A representation of the literals of the enumeration 'Boolean Op', and utility methods for working with them.
BooleanOperator	A representation of the model object 'Boolean Operator'.
BooleanOperatorImpl	An implementation of the model object 'Boolean Operator'.
CallSuffixExpression	A representation of the model object 'Call Suffix Expression'.
CallSuffixExpressionImpl	An implementation of the model object 'Call Suffix Expression'.
CastExpression	A representation of the model object 'Cast Expression'.
CastExpressionImpl	An implementation of the model object 'Cast Expression'.
ChoiceOperation	A representation of the model object 'Choice Operation'.
ChoiceOperationImpl	An implementation of the model object 'Choice Operation'.
ClassDeclaration	A representation of the model object 'Class Declaration'.
ClassDeclarationImpl	An implementation of the model object 'Class Declaration'.
ComparisonOp	A representation of the literals of the enumeration 'Comparison Op', and utility methods for working with them.
ComparisonOperator	A representation of the model object 'Comparison Operator'.
ComparisonOperatorImpl	An implementation of the model object 'Comparison Operator'.
Conjunction	A representation of the model object 'Conjunction'.
ConjunctionImpl	An implementation of the model object 'Conjunction'.
DataTypeDeclaration	A representation of the model object 'Data Type Declaration'.
DataTypeDeclarationImpl	An implementation of the model object 'Data Type Declaration'.
Declaration	A representation of the model object 'Declaration'.
DeclarationImpl	An implementation of the model object 'Declaration'.
DefiniteMultiplicity	A representation of the model object 'Definite Multiplicity'.
DefiniteMultiplicityImpl	An implementation of the model object 'Definite Multiplicity'.
DirectReferenceExpression	A representation of the model object 'Direct Reference Expression'.
DirectReferenceExpressionImpl	An implementation of the model object 'Direct Reference Expression'.
DomainDeclaration	A representation of the model object 'Domain Declaration'.
DomainDeclarationImpl	An implementation of the model object 'Domain Declaration'.
EF	A representation of the model object 'EF'.
EFImpl	An implementation of the model object 'EF'.
Element	A representation of the model object 'Element'.
ElementImpl	An implementation of the model object 'Element'.
ElementReference	A representation of the model object 'Element Reference'.
ElementReferenceImpl	An implementation of the model object 'Element Reference'.
EnumDeclaration	A representation of the model object 'Enum Declaration'.
EnumDeclarationImpl	An implementation of the model object 'Enum Declaration'.
EnumLiteral	A representation of the model object 'Enum Literal'.
EnumLiteralImpl	An implementation of the model object 'Enum Literal'.
Expression	A representation of the model object 'Expression'.
ExpressionImpl	An implementation of the model object 'Expression'.
FeatureDeclaration	A representation of the model object 'Feature Declaration'.
FeatureDeclarationImpl	An implementation of the model object 'Feature Declaration'.
FeatureKind	A representation of the literals of the enumeration 'Feature Kind', and utility methods for working with them.
FieldAssignment	A representation of the model object 'Field Assignment'.
FieldAssignmentImpl	An implementation of the model object 'Field Assignment'.
ForOperation	A representation of the model object 'For Operation'.
ForOperationImpl	An implementation of the model object 'For Operation'.
FunctionDeclaration	A representation of the model object 'Function Declaration'.
FunctionDeclarationImpl	An implementation of the model object 'Function Declaration'.
HavocOperation	A representation of the model object 'Havoc Operation'.
HavocOperationImpl	An implementation of the model object 'Havoc Operation'.
IfOperation	A representation of the model object 'If Operation'.
IfOperationImpl	An implementation of the model object 'If Operation'.
IfThenElse	A representation of the model object 'If Then Else'.
IfThenElseImpl	An implementation of the model object 'If Then Else'.
ImportStatement	A representation of the model object 'Import Statement'.
ImportStatementImpl	An implementation of the model object 'Import Statement'.
IndexingSuffixExpression	A representation of the model object 'Indexing Suffix Expression'.
IndexingSuffixExpressionImpl	An implementation of the model object 'Indexing Suffix Expression'.
InlineCall	A representation of the model object 'Inline Call'.
InlineCallImpl	An implementation of the model object 'Inline Call'.
InlineChoiceFor	A representation of the model object 'Inline Choice For'.
InlineChoiceForImpl	An implementation of the model object 'Inline Choice For'.
InlinedOxsts	A representation of the model object 'Inlined Oxsts'.
InlinedOxstsImpl	An implementation of the model object 'Inlined Oxsts'.
InlineForOperation	A representation of the model object 'Inline For Operation'.
InlineForOperationImpl	An implementation of the model object 'Inline For Operation'.
InlineIfOperation	A representation of the model object 'Inline If Operation'.
InlineIfOperationImpl	An implementation of the model object 'Inline If Operation'.
InlineOperation	A representation of the model object 'Inline Operation'.
InlineOperationImpl	An implementation of the model object 'Inline Operation'.
InlineSeqFor	A representation of the model object 'Inline Seq For'.
InlineSeqForImpl	An implementation of the model object 'Inline Seq For'.
LiteralBoolean	A representation of the model object 'Literal Boolean'.
LiteralBooleanImpl	An implementation of the model object 'Literal Boolean'.
LiteralExpression	A representation of the model object 'Literal Expression'.
LiteralExpressionImpl	An implementation of the model object 'Literal Expression'.
LiteralInfinity	A representation of the model object 'Literal Infinity'.
LiteralInfinityImpl	An implementation of the model object 'Literal Infinity'.
LiteralInteger	A representation of the model object 'Literal Integer'.
LiteralIntegerImpl	An implementation of the model object 'Literal Integer'.
LiteralNothing	A representation of the model object 'Literal Nothing'.
LiteralNothingImpl	An implementation of the model object 'Literal Nothing'.
LiteralReal	A representation of the model object 'Literal Real'.
LiteralRealImpl	An implementation of the model object 'Literal Real'.
LiteralString	A representation of the model object 'Literal String'.
LiteralStringImpl	An implementation of the model object 'Literal String'.
LocalVarDeclarationOperation	A representation of the model object 'Local Var Declaration Operation'.
LocalVarDeclarationOperationImpl	An implementation of the model object 'Local Var Declaration Operation'.
Multiplicity	A representation of the model object 'Multiplicity'.
MultiplicityImpl	An implementation of the model object 'Multiplicity'.
NamedElement	A representation of the model object 'Named Element'.
NamedElementImpl	An implementation of the model object 'Named Element'.
Namespace	A representation of the model object 'Namespace'.
NamespaceImpl	An implementation of the model object 'Namespace'.
NavigationSuffixExpression	A representation of the model object 'Navigation Suffix Expression'.
NavigationSuffixExpressionImpl	An implementation of the model object 'Navigation Suffix Expression'.
NegationOperator	A representation of the model object 'Negation Operator'.
NegationOperatorImpl	An implementation of the model object 'Negation Operator'.
Operation	A representation of the model object 'Operation'.
OperationImpl	An implementation of the model object 'Operation'.
OperatorExpression	A representation of the model object 'Operator Expression'.
OperatorExpressionImpl	An implementation of the model object 'Operator Expression'.
OxstsAdapterFactory	The Adapter Factory for the model.
OxstsFactory	The Factory for the model.
OxstsFactoryImpl	An implementation of the model Factory.
OxstsModelPackage	A representation of the model object 'Model Package'.
OxstsModelPackageImpl	An implementation of the model object 'Model Package'.
OxstsPackage	The Package for the model.
OxstsPackage.Literals	Defines literals for the meta objects that represent each class, each feature of each class, each operation of each class, each enum, and each data type
OxstsPackageImpl	An implementation of the model Package.
OxstsSwitch<T>	The Switch for the model's inheritance hierarchy.
ParameterDeclaration	A representation of the model object 'Parameter Declaration'.
ParameterDeclarationImpl	An implementation of the model object 'Parameter Declaration'.
ParametricDeclaration	A representation of the model object 'Parametric Declaration'.
ParametricDeclarationImpl	An implementation of the model object 'Parametric Declaration'.
PatternDeclaration	A representation of the model object 'Pattern Declaration'.
PatternDeclarationImpl	An implementation of the model object 'Pattern Declaration'.
PostfixUnaryExpression	A representation of the model object 'Postfix Unary Expression'.
PostfixUnaryExpressionImpl	An implementation of the model object 'Postfix Unary Expression'.
PropertyDeclaration	A representation of the model object 'Property Declaration'.
PropertyDeclarationImpl	An implementation of the model object 'Property Declaration'.
RangeExpression	A representation of the model object 'Range Expression'.
RangeExpressionImpl	An implementation of the model object 'Range Expression'.
RecordDeclaration	A representation of the model object 'Record Declaration'.
RecordDeclarationImpl	An implementation of the model object 'Record Declaration'.
RecordLiteral	A representation of the model object 'Record Literal'.
RecordLiteralImpl	An implementation of the model object 'Record Literal'.
RedefinableDeclaration	A representation of the model object 'Redefinable Declaration'.
RedefinableDeclarationImpl	An implementation of the model object 'Redefinable Declaration'.
ReferenceExpression	A representation of the model object 'Reference Expression'.
ReferenceExpressionImpl	An implementation of the model object 'Reference Expression'.
SelfReference	A representation of the model object 'Self Reference'.
SelfReferenceImpl	An implementation of the model object 'Self Reference'.
SequenceOperation	A representation of the model object 'Sequence Operation'.
SequenceOperationImpl	An implementation of the model object 'Sequence Operation'.
TargetDeclaration	A representation of the model object 'Target Declaration'.
TargetDeclarationImpl	An implementation of the model object 'Target Declaration'.
TemporalOperator	A representation of the model object 'Temporal Operator'.
TemporalOperatorImpl	An implementation of the model object 'Temporal Operator'.
TopLevelDeclaration	A representation of the model object 'Top Level Declaration'.
TopLevelDeclarationImpl	An implementation of the model object 'Top Level Declaration'.
TransitionDeclaration	A representation of the model object 'Transition Declaration'.
TransitionDeclarationImpl	An implementation of the model object 'Transition Declaration'.
TransitionKind	A representation of the literals of the enumeration 'Transition Kind', and utility methods for working with them.
TransitiveClosureKind	A representation of the literals of the enumeration 'Transitive Closure Kind', and utility methods for working with them.
TypeDeclaration	A representation of the model object 'Type Declaration'.
TypeDeclarationImpl	An implementation of the model object 'Type Declaration'.
TypeSpecification	A representation of the model object 'Type Specification'.
TypeSpecificationImpl	An implementation of the model object 'Type Specification'.
UnaryOp	A representation of the literals of the enumeration 'Unary Op', and utility methods for working with them.
UnaryOperator	A representation of the model object 'Unary Operator'.
UnaryOperatorImpl	An implementation of the model object 'Unary Operator'.
UnboundedMultiplicity	A representation of the model object 'Unbounded Multiplicity'.
UnboundedMultiplicityImpl	An implementation of the model object 'Unbounded Multiplicity'.
VariableDeclaration	A representation of the model object 'Variable Declaration'.
VariableDeclarationImpl	An implementation of the model object 'Variable Declaration'.