Package tools.refinery.language.serializer

Class ProblemSemanticSequencer

java.lang.Object

org.eclipse.xtext.serializer.sequencer.AbstractSemanticSequencer

org.eclipse.xtext.serializer.sequencer.AbstractDelegatingSemanticSequencer

tools.refinery.language.serializer.ProblemSemanticSequencer

All Implemented Interfaces:

org.eclipse.xtext.serializer.sequencer.ISemanticSequencer

Direct Known Subclasses:

PreferShortAssertionsProblemSemanticSequencer

public class ProblemSemanticSequencer
extends org.eclipse.xtext.serializer.sequencer.AbstractDelegatingSemanticSequencer

Field Summary

Fields inherited from class org.eclipse.xtext.serializer.sequencer.AbstractDelegatingSemanticSequencer

genericSequencer, genericSequencerProvider

Fields inherited from class org.eclipse.xtext.serializer.sequencer.AbstractSemanticSequencer

diagnosticProvider, errorAcceptor, feederProvider, masterSequencer, nodeProvider, sequenceAcceptor, transientValues

Constructor Summary

Constructors

Constructor	Description
ProblemSemanticSequencer()

Method Summary

Modifier and Type	Method	Description
void	sequence(org.eclipse.xtext.serializer.ISerializationContext context, org.eclipse.emf.ecore.EObject semanticObject)
protected void	sequence_AdditiveExpr_BooleanExpr_ExponentialExpr_MultiplicativeExpr(org.eclipse.xtext.serializer.ISerializationContext context, ArithmeticBinaryExpr semanticObject)	Contexts: Expr returns ArithmeticBinaryExpr AssignmentExpr returns ArithmeticBinaryExpr AssignmentExpr.AssignmentExpr_1_0 returns ArithmeticBinaryExpr BooleanExpr returns ArithmeticBinaryExpr BooleanExpr.ArithmeticBinaryExpr_1_0 returns ArithmeticBinaryExpr ComparisonExpr returns ArithmeticBinaryExpr ComparisonExpr.ComparisonExpr_1_0 returns ArithmeticBinaryExpr LatticeExpr returns ArithmeticBinaryExpr LatticeExpr.LatticeBinaryExpr_1_0 returns ArithmeticBinaryExpr AdditiveExpr returns ArithmeticBinaryExpr AdditiveExpr.ArithmeticBinaryExpr_1_0 returns ArithmeticBinaryExpr MultiplicativeExpr returns ArithmeticBinaryExpr MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns ArithmeticBinaryExpr ExponentialExpr returns ArithmeticBinaryExpr ExponentialExpr.ArithmeticBinaryExpr_1_0 returns ArithmeticBinaryExpr RangeExpr returns ArithmeticBinaryExpr RangeExpr.RangeExpr_1_0 returns ArithmeticBinaryExpr UnaryExpr returns ArithmeticBinaryExpr CastExpr returns ArithmeticBinaryExpr CastExpr.CastExpr_1_0 returns ArithmeticBinaryExpr CastExprBody returns ArithmeticBinaryExpr Constraint: ( (left=BooleanExpr_ArithmeticBinaryExpr_1_0 op=BooleanBinaryOp right=ComparisonExpr) | (left=AdditiveExpr_ArithmeticBinaryExpr_1_0 op=AdditiveOp right=MultiplicativeExpr) | (left=MultiplicativeExpr_ArithmeticBinaryExpr_1_0 op=MultiplicativeOp right=ExponentialExpr) | (left=ExponentialExpr_ArithmeticBinaryExpr_1_0 op=ExponentialOp right=ExponentialExpr) )
protected void	sequence_AggregationExpr(org.eclipse.xtext.serializer.ISerializationContext context, AggregationExpr semanticObject)	Contexts: Expr returns AggregationExpr AssignmentExpr returns AggregationExpr AssignmentExpr.AssignmentExpr_1_0 returns AggregationExpr BooleanExpr returns AggregationExpr BooleanExpr.ArithmeticBinaryExpr_1_0 returns AggregationExpr ComparisonExpr returns AggregationExpr ComparisonExpr.ComparisonExpr_1_0 returns AggregationExpr LatticeExpr returns AggregationExpr LatticeExpr.LatticeBinaryExpr_1_0 returns AggregationExpr AdditiveExpr returns AggregationExpr AdditiveExpr.ArithmeticBinaryExpr_1_0 returns AggregationExpr MultiplicativeExpr returns AggregationExpr MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns AggregationExpr ExponentialExpr returns AggregationExpr ExponentialExpr.ArithmeticBinaryExpr_1_0 returns AggregationExpr RangeExpr returns AggregationExpr RangeExpr.RangeExpr_1_0 returns AggregationExpr UnaryExpr returns AggregationExpr AggregationExpr returns AggregationExpr CastExpr returns AggregationExpr CastExpr.CastExpr_1_0 returns AggregationExpr CastExprBody returns AggregationExpr Constraint: (aggregator=[AggregatorDeclaration|QualifiedName] value=Expr condition=ComparisonExpr)
protected void	sequence_AnnotatedStatement(org.eclipse.xtext.serializer.ISerializationContext context, AggregatorDeclaration semanticObject)	Contexts: Statement returns AggregatorDeclaration AnnotatedStatement returns AggregatorDeclaration Constraint: (annotations=AnnotatedStatement_AggregatorDeclaration_1_3_0 name=Identifier)
protected void	sequence_AnnotatedStatement(org.eclipse.xtext.serializer.ISerializationContext context, AnnotationDeclaration semanticObject)	Contexts: Statement returns AnnotationDeclaration AnnotatedStatement returns AnnotationDeclaration Constraint: (annotations=AnnotatedStatement_AnnotationDeclaration_1_6_0 name=Identifier (parameters+=Parameter parameters+=Parameter*)?)
protected void	sequence_AnnotatedStatement(org.eclipse.xtext.serializer.ISerializationContext context, ClassDeclaration semanticObject)	Contexts: Statement returns ClassDeclaration AnnotatedStatement returns ClassDeclaration Constraint: ( annotations=AnnotatedStatement_ClassDeclaration_1_0_0 abstract?='abstract'? name=Identifier (superTypes+=[Relation|QualifiedName] superTypes+=[Relation|QualifiedName]*)? featureDeclarations+=ReferenceDeclaration* )
protected void	sequence_AnnotatedStatement(org.eclipse.xtext.serializer.ISerializationContext context, DatatypeDeclaration semanticObject)	Contexts: Statement returns DatatypeDeclaration AnnotatedStatement returns DatatypeDeclaration Constraint: (annotations=AnnotatedStatement_DatatypeDeclaration_1_2_0 name=Identifier)
protected void	sequence_AnnotatedStatement(org.eclipse.xtext.serializer.ISerializationContext context, EnumDeclaration semanticObject)	Contexts: Statement returns EnumDeclaration AnnotatedStatement returns EnumDeclaration Constraint: (annotations=AnnotatedStatement_EnumDeclaration_1_1_0 name=Identifier (literals+=EnumLiteral literals+=EnumLiteral*)?)
protected void	sequence_AnnotatedStatement(org.eclipse.xtext.serializer.ISerializationContext context, NodeDeclaration semanticObject)	Contexts: Statement returns NodeDeclaration AnnotatedStatement returns NodeDeclaration Constraint: (annotations=AnnotatedStatement_NodeDeclaration_1_7_0 kind=NodeKind? nodes+=EnumLiteral nodes+=EnumLiteral*)
protected void	sequence_AnnotatedStatement(org.eclipse.xtext.serializer.ISerializationContext context, PredicateDefinition semanticObject)	Contexts: Statement returns PredicateDefinition AnnotatedStatement returns PredicateDefinition Constraint: ( annotations=AnnotatedStatement_PredicateDefinition_1_4_0 (kind=ErrorPredicateKind | kind=PredicateKind)? name=Identifier (parameters+=Parameter parameters+=Parameter*)? (superSets+=[ReferenceDeclaration|QualifiedName] superSets+=[ReferenceDeclaration|QualifiedName]*)? (bodies+=Conjunction bodies+=Conjunction*)? )
protected void	sequence_AnnotatedStatement(org.eclipse.xtext.serializer.ISerializationContext context, RuleDefinition semanticObject)	Contexts: Statement returns RuleDefinition AnnotatedStatement returns RuleDefinition Constraint: ( annotations=AnnotatedStatement_RuleDefinition_1_5_0 kind=RuleKind? name=Identifier (parameters+=Parameter parameters+=Parameter*)? (preconditions+=Conjunction preconditions+=Conjunction*)? (consequents+=Consequent consequents+=Consequent*)? )
protected void	sequence_Annotation(org.eclipse.xtext.serializer.ISerializationContext context, Annotation semanticObject)	Contexts: Annotation returns Annotation Constraint: (declaration=[AnnotationDeclaration|QualifiedName] (arguments+=AnnotationArgument arguments+=AnnotationArgument*)?)
protected void	sequence_AnnotationArgument(org.eclipse.xtext.serializer.ISerializationContext context, AnnotationArgument semanticObject)	Contexts: AnnotationArgument returns AnnotationArgument Constraint: (parameter=[Parameter|Identifier]? value=Expr)
protected void	sequence_AnnotationContainer(org.eclipse.xtext.serializer.ISerializationContext context, AnnotationContainer semanticObject)	Contexts: AnnotatedStatement.ClassDeclaration_1_0_0 returns AnnotationContainer AnnotatedStatement.EnumDeclaration_1_1_0 returns AnnotationContainer AnnotatedStatement.DatatypeDeclaration_1_2_0 returns AnnotationContainer AnnotatedStatement.AggregatorDeclaration_1_3_0 returns AnnotationContainer AnnotatedStatement.PredicateDefinition_1_4_0 returns AnnotationContainer AnnotatedStatement.RuleDefinition_1_5_0 returns AnnotationContainer AnnotatedStatement.AnnotationDeclaration_1_6_0 returns AnnotationContainer AnnotatedStatement.NodeDeclaration_1_7_0 returns AnnotationContainer AnnotationContainer returns AnnotationContainer Constraint: annotations+=Annotation*
protected void	sequence_ArithmeticUnaryExpr(org.eclipse.xtext.serializer.ISerializationContext context, ArithmeticUnaryExpr semanticObject)	Contexts: Expr returns ArithmeticUnaryExpr AssignmentExpr returns ArithmeticUnaryExpr AssignmentExpr.AssignmentExpr_1_0 returns ArithmeticUnaryExpr BooleanExpr returns ArithmeticUnaryExpr BooleanExpr.ArithmeticBinaryExpr_1_0 returns ArithmeticUnaryExpr ComparisonExpr returns ArithmeticUnaryExpr ComparisonExpr.ComparisonExpr_1_0 returns ArithmeticUnaryExpr LatticeExpr returns ArithmeticUnaryExpr LatticeExpr.LatticeBinaryExpr_1_0 returns ArithmeticUnaryExpr AdditiveExpr returns ArithmeticUnaryExpr AdditiveExpr.ArithmeticBinaryExpr_1_0 returns ArithmeticUnaryExpr MultiplicativeExpr returns ArithmeticUnaryExpr MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns ArithmeticUnaryExpr ExponentialExpr returns ArithmeticUnaryExpr ExponentialExpr.ArithmeticBinaryExpr_1_0 returns ArithmeticUnaryExpr RangeExpr returns ArithmeticUnaryExpr RangeExpr.RangeExpr_1_0 returns ArithmeticUnaryExpr UnaryExpr returns ArithmeticUnaryExpr ArithmeticUnaryExpr returns ArithmeticUnaryExpr CastExpr returns ArithmeticUnaryExpr CastExpr.CastExpr_1_0 returns ArithmeticUnaryExpr CastExprBody returns ArithmeticUnaryExpr Constraint: (op=UnaryOp body=UnaryExpr)
protected void	sequence_Assertion(org.eclipse.xtext.serializer.ISerializationContext context, Assertion semanticObject)	Contexts: Statement returns Assertion Assertion returns Assertion Constraint: ( default?='default'? ( (relation=[Relation|QualifiedName] (arguments+=AssertionArgument arguments+=AssertionArgument*)? value=Expr) | (value=ShortLogicConstant relation=[Relation|QualifiedName] (arguments+=AssertionArgument arguments+=AssertionArgument*)?) ) )
protected void	sequence_AssertionAction(org.eclipse.xtext.serializer.ISerializationContext context, AssertionAction semanticObject)	Contexts: Action returns AssertionAction AssertionAction returns AssertionAction Constraint: ( (relation=[Relation|QualifiedName] (arguments+=AssertionArgument arguments+=AssertionArgument*)? value=Expr) | (value=ShortLogicConstant relation=[Relation|QualifiedName] (arguments+=AssertionArgument arguments+=AssertionArgument*)?) )
protected void	sequence_AssignmentExpr(org.eclipse.xtext.serializer.ISerializationContext context, AssignmentExpr semanticObject)	Contexts: Expr returns AssignmentExpr AssignmentExpr returns AssignmentExpr AssignmentExpr.AssignmentExpr_1_0 returns AssignmentExpr BooleanExpr returns AssignmentExpr BooleanExpr.ArithmeticBinaryExpr_1_0 returns AssignmentExpr ComparisonExpr returns AssignmentExpr ComparisonExpr.ComparisonExpr_1_0 returns AssignmentExpr LatticeExpr returns AssignmentExpr LatticeExpr.LatticeBinaryExpr_1_0 returns AssignmentExpr AdditiveExpr returns AssignmentExpr AdditiveExpr.ArithmeticBinaryExpr_1_0 returns AssignmentExpr MultiplicativeExpr returns AssignmentExpr MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns AssignmentExpr ExponentialExpr returns AssignmentExpr ExponentialExpr.ArithmeticBinaryExpr_1_0 returns AssignmentExpr RangeExpr returns AssignmentExpr RangeExpr.RangeExpr_1_0 returns AssignmentExpr UnaryExpr returns AssignmentExpr CastExpr returns AssignmentExpr CastExpr.CastExpr_1_0 returns AssignmentExpr CastExprBody returns AssignmentExpr Constraint: (left=AssignmentExpr_AssignmentExpr_1_0 right=BooleanExpr)
protected void	sequence_Atom(org.eclipse.xtext.serializer.ISerializationContext context, Atom semanticObject)	Contexts: Expr returns Atom AssignmentExpr returns Atom AssignmentExpr.AssignmentExpr_1_0 returns Atom BooleanExpr returns Atom BooleanExpr.ArithmeticBinaryExpr_1_0 returns Atom ComparisonExpr returns Atom ComparisonExpr.ComparisonExpr_1_0 returns Atom LatticeExpr returns Atom LatticeExpr.LatticeBinaryExpr_1_0 returns Atom AdditiveExpr returns Atom AdditiveExpr.ArithmeticBinaryExpr_1_0 returns Atom MultiplicativeExpr returns Atom MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns Atom ExponentialExpr returns Atom ExponentialExpr.ArithmeticBinaryExpr_1_0 returns Atom RangeExpr returns Atom RangeExpr.RangeExpr_1_0 returns Atom UnaryExpr returns Atom CastExpr returns Atom CastExpr.CastExpr_1_0 returns Atom CastExprBody returns Atom Atom returns Atom Constraint: (relation=[Relation|QualifiedName] transitiveClosure?=TRANSITIVE_CLOSURE? (arguments+=Expr arguments+=Expr*)?)
protected void	sequence_CastExpr(org.eclipse.xtext.serializer.ISerializationContext context, CastExpr semanticObject)	Contexts: Expr returns CastExpr AssignmentExpr returns CastExpr AssignmentExpr.AssignmentExpr_1_0 returns CastExpr BooleanExpr returns CastExpr BooleanExpr.ArithmeticBinaryExpr_1_0 returns CastExpr ComparisonExpr returns CastExpr ComparisonExpr.ComparisonExpr_1_0 returns CastExpr LatticeExpr returns CastExpr LatticeExpr.LatticeBinaryExpr_1_0 returns CastExpr AdditiveExpr returns CastExpr AdditiveExpr.ArithmeticBinaryExpr_1_0 returns CastExpr MultiplicativeExpr returns CastExpr MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns CastExpr ExponentialExpr returns CastExpr ExponentialExpr.ArithmeticBinaryExpr_1_0 returns CastExpr RangeExpr returns CastExpr RangeExpr.RangeExpr_1_0 returns CastExpr UnaryExpr returns CastExpr CastExpr returns CastExpr CastExpr.CastExpr_1_0 returns CastExpr CastExprBody returns CastExpr Constraint: (body=CastExpr_CastExpr_1_0 targetType=[Relation|QualifiedName])
protected void	sequence_ComparisonExpr(org.eclipse.xtext.serializer.ISerializationContext context, ComparisonExpr semanticObject)	Contexts: Expr returns ComparisonExpr AssignmentExpr returns ComparisonExpr AssignmentExpr.AssignmentExpr_1_0 returns ComparisonExpr BooleanExpr returns ComparisonExpr BooleanExpr.ArithmeticBinaryExpr_1_0 returns ComparisonExpr ComparisonExpr returns ComparisonExpr ComparisonExpr.ComparisonExpr_1_0 returns ComparisonExpr LatticeExpr returns ComparisonExpr LatticeExpr.LatticeBinaryExpr_1_0 returns ComparisonExpr AdditiveExpr returns ComparisonExpr AdditiveExpr.ArithmeticBinaryExpr_1_0 returns ComparisonExpr MultiplicativeExpr returns ComparisonExpr MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns ComparisonExpr ExponentialExpr returns ComparisonExpr ExponentialExpr.ArithmeticBinaryExpr_1_0 returns ComparisonExpr RangeExpr returns ComparisonExpr RangeExpr.RangeExpr_1_0 returns ComparisonExpr UnaryExpr returns ComparisonExpr CastExpr returns ComparisonExpr CastExpr.CastExpr_1_0 returns ComparisonExpr CastExprBody returns ComparisonExpr Constraint: (left=ComparisonExpr_ComparisonExpr_1_0 op=ComparisonOp right=LatticeExpr)
protected void	sequence_Conjunction(org.eclipse.xtext.serializer.ISerializationContext context, Conjunction semanticObject)	Contexts: Conjunction returns Conjunction Constraint: (literals+=Expr literals+=Expr*)
protected void	sequence_Consequent(org.eclipse.xtext.serializer.ISerializationContext context, Consequent semanticObject)	Contexts: Consequent returns Consequent Constraint: (actions+=Action actions+=Action*)
protected void	sequence_CountExpr(org.eclipse.xtext.serializer.ISerializationContext context, CountExpr semanticObject)	Contexts: Expr returns CountExpr AssignmentExpr returns CountExpr AssignmentExpr.AssignmentExpr_1_0 returns CountExpr BooleanExpr returns CountExpr BooleanExpr.ArithmeticBinaryExpr_1_0 returns CountExpr ComparisonExpr returns CountExpr ComparisonExpr.ComparisonExpr_1_0 returns CountExpr LatticeExpr returns CountExpr LatticeExpr.LatticeBinaryExpr_1_0 returns CountExpr AdditiveExpr returns CountExpr AdditiveExpr.ArithmeticBinaryExpr_1_0 returns CountExpr MultiplicativeExpr returns CountExpr MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns CountExpr ExponentialExpr returns CountExpr ExponentialExpr.ArithmeticBinaryExpr_1_0 returns CountExpr RangeExpr returns CountExpr RangeExpr.RangeExpr_1_0 returns CountExpr UnaryExpr returns CountExpr CountExpr returns CountExpr CastExpr returns CountExpr CastExpr.CastExpr_1_0 returns CountExpr CastExprBody returns CountExpr Constraint: body=UnaryExpr
protected void	sequence_EnumLiteral(org.eclipse.xtext.serializer.ISerializationContext context, Node semanticObject)	Contexts: EnumLiteral returns Node Constraint: (annotations=AnnotationContainer name=Identifier)
protected void	sequence_ExactMultiplicity(org.eclipse.xtext.serializer.ISerializationContext context, ExactMultiplicity semanticObject)	Contexts: ReferenceMultiplicity returns ExactMultiplicity Multiplicity returns ExactMultiplicity DefiniteMultiplicity returns ExactMultiplicity ExactMultiplicity returns ExactMultiplicity Constraint: exactValue=INT
protected void	sequence_ImportStatement(org.eclipse.xtext.serializer.ISerializationContext context, ImportStatement semanticObject)	Contexts: Statement returns ImportStatement ImportStatement returns ImportStatement Constraint: (importedModule=[Problem|QualifiedName] alias=ID?)
protected void	sequence_InfiniteConstant(org.eclipse.xtext.serializer.ISerializationContext context, InfiniteConstant semanticObject)	Contexts: Expr returns InfiniteConstant AssignmentExpr returns InfiniteConstant AssignmentExpr.AssignmentExpr_1_0 returns InfiniteConstant BooleanExpr returns InfiniteConstant BooleanExpr.ArithmeticBinaryExpr_1_0 returns InfiniteConstant ComparisonExpr returns InfiniteConstant ComparisonExpr.ComparisonExpr_1_0 returns InfiniteConstant LatticeExpr returns InfiniteConstant LatticeExpr.LatticeBinaryExpr_1_0 returns InfiniteConstant AdditiveExpr returns InfiniteConstant AdditiveExpr.ArithmeticBinaryExpr_1_0 returns InfiniteConstant MultiplicativeExpr returns InfiniteConstant MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns InfiniteConstant ExponentialExpr returns InfiniteConstant ExponentialExpr.ArithmeticBinaryExpr_1_0 returns InfiniteConstant RangeExpr returns InfiniteConstant RangeExpr.RangeExpr_1_0 returns InfiniteConstant UnaryExpr returns InfiniteConstant CastExpr returns InfiniteConstant CastExpr.CastExpr_1_0 returns InfiniteConstant CastExprBody returns InfiniteConstant Constant returns InfiniteConstant InfiniteConstant returns InfiniteConstant Constraint: {InfiniteConstant}
protected void	sequence_IntConstant(org.eclipse.xtext.serializer.ISerializationContext context, IntConstant semanticObject)	Contexts: Expr returns IntConstant AssignmentExpr returns IntConstant AssignmentExpr.AssignmentExpr_1_0 returns IntConstant BooleanExpr returns IntConstant BooleanExpr.ArithmeticBinaryExpr_1_0 returns IntConstant ComparisonExpr returns IntConstant ComparisonExpr.ComparisonExpr_1_0 returns IntConstant LatticeExpr returns IntConstant LatticeExpr.LatticeBinaryExpr_1_0 returns IntConstant AdditiveExpr returns IntConstant AdditiveExpr.ArithmeticBinaryExpr_1_0 returns IntConstant MultiplicativeExpr returns IntConstant MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns IntConstant ExponentialExpr returns IntConstant ExponentialExpr.ArithmeticBinaryExpr_1_0 returns IntConstant RangeExpr returns IntConstant RangeExpr.RangeExpr_1_0 returns IntConstant UnaryExpr returns IntConstant CastExpr returns IntConstant CastExpr.CastExpr_1_0 returns IntConstant CastExprBody returns IntConstant Constant returns IntConstant IntConstant returns IntConstant Constraint: intValue=INT
protected void	sequence_LatticeExpr(org.eclipse.xtext.serializer.ISerializationContext context, LatticeBinaryExpr semanticObject)	Contexts: Expr returns LatticeBinaryExpr AssignmentExpr returns LatticeBinaryExpr AssignmentExpr.AssignmentExpr_1_0 returns LatticeBinaryExpr BooleanExpr returns LatticeBinaryExpr BooleanExpr.ArithmeticBinaryExpr_1_0 returns LatticeBinaryExpr ComparisonExpr returns LatticeBinaryExpr ComparisonExpr.ComparisonExpr_1_0 returns LatticeBinaryExpr LatticeExpr returns LatticeBinaryExpr LatticeExpr.LatticeBinaryExpr_1_0 returns LatticeBinaryExpr AdditiveExpr returns LatticeBinaryExpr AdditiveExpr.ArithmeticBinaryExpr_1_0 returns LatticeBinaryExpr MultiplicativeExpr returns LatticeBinaryExpr MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns LatticeBinaryExpr ExponentialExpr returns LatticeBinaryExpr ExponentialExpr.ArithmeticBinaryExpr_1_0 returns LatticeBinaryExpr RangeExpr returns LatticeBinaryExpr RangeExpr.RangeExpr_1_0 returns LatticeBinaryExpr UnaryExpr returns LatticeBinaryExpr CastExpr returns LatticeBinaryExpr CastExpr.CastExpr_1_0 returns LatticeBinaryExpr CastExprBody returns LatticeBinaryExpr Constraint: (left=LatticeExpr_LatticeBinaryExpr_1_0 op=LatticeBinaryOp right=AdditiveExpr)
protected void	sequence_LogicConstant(org.eclipse.xtext.serializer.ISerializationContext context, LogicConstant semanticObject)	Contexts: Expr returns LogicConstant AssignmentExpr returns LogicConstant AssignmentExpr.AssignmentExpr_1_0 returns LogicConstant BooleanExpr returns LogicConstant BooleanExpr.ArithmeticBinaryExpr_1_0 returns LogicConstant ComparisonExpr returns LogicConstant ComparisonExpr.ComparisonExpr_1_0 returns LogicConstant LatticeExpr returns LogicConstant LatticeExpr.LatticeBinaryExpr_1_0 returns LogicConstant AdditiveExpr returns LogicConstant AdditiveExpr.ArithmeticBinaryExpr_1_0 returns LogicConstant MultiplicativeExpr returns LogicConstant MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns LogicConstant ExponentialExpr returns LogicConstant ExponentialExpr.ArithmeticBinaryExpr_1_0 returns LogicConstant RangeExpr returns LogicConstant RangeExpr.RangeExpr_1_0 returns LogicConstant UnaryExpr returns LogicConstant CastExpr returns LogicConstant CastExpr.CastExpr_1_0 returns LogicConstant CastExprBody returns LogicConstant Constant returns LogicConstant LogicConstant returns LogicConstant Constraint: logicValue=LogicValue
protected void	sequence_ModalExpr(org.eclipse.xtext.serializer.ISerializationContext context, ModalExpr semanticObject)	Contexts: Expr returns ModalExpr AssignmentExpr returns ModalExpr AssignmentExpr.AssignmentExpr_1_0 returns ModalExpr BooleanExpr returns ModalExpr BooleanExpr.ArithmeticBinaryExpr_1_0 returns ModalExpr ComparisonExpr returns ModalExpr ComparisonExpr.ComparisonExpr_1_0 returns ModalExpr LatticeExpr returns ModalExpr LatticeExpr.LatticeBinaryExpr_1_0 returns ModalExpr AdditiveExpr returns ModalExpr AdditiveExpr.ArithmeticBinaryExpr_1_0 returns ModalExpr MultiplicativeExpr returns ModalExpr MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns ModalExpr ExponentialExpr returns ModalExpr ExponentialExpr.ArithmeticBinaryExpr_1_0 returns ModalExpr RangeExpr returns ModalExpr RangeExpr.RangeExpr_1_0 returns ModalExpr UnaryExpr returns ModalExpr ModalExpr returns ModalExpr CastExpr returns ModalExpr CastExpr.CastExpr_1_0 returns ModalExpr CastExprBody returns ModalExpr Constraint: (((concreteness=Concreteness modality=Modality?) | (modality=Modality concreteness=Concreteness?)) body=UnaryExpr)
protected void	sequence_NegationExpr(org.eclipse.xtext.serializer.ISerializationContext context, NegationExpr semanticObject)	Contexts: Expr returns NegationExpr AssignmentExpr returns NegationExpr AssignmentExpr.AssignmentExpr_1_0 returns NegationExpr BooleanExpr returns NegationExpr BooleanExpr.ArithmeticBinaryExpr_1_0 returns NegationExpr ComparisonExpr returns NegationExpr ComparisonExpr.ComparisonExpr_1_0 returns NegationExpr LatticeExpr returns NegationExpr LatticeExpr.LatticeBinaryExpr_1_0 returns NegationExpr AdditiveExpr returns NegationExpr AdditiveExpr.ArithmeticBinaryExpr_1_0 returns NegationExpr MultiplicativeExpr returns NegationExpr MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns NegationExpr ExponentialExpr returns NegationExpr ExponentialExpr.ArithmeticBinaryExpr_1_0 returns NegationExpr RangeExpr returns NegationExpr RangeExpr.RangeExpr_1_0 returns NegationExpr UnaryExpr returns NegationExpr NegationExpr returns NegationExpr CastExpr returns NegationExpr CastExpr.CastExpr_1_0 returns NegationExpr CastExprBody returns NegationExpr Constraint: body=UnaryExpr
protected void	sequence_NodeAssertionArgument(org.eclipse.xtext.serializer.ISerializationContext context, NodeAssertionArgument semanticObject)	Contexts: AssertionArgument returns NodeAssertionArgument NodeAssertionArgument returns NodeAssertionArgument Constraint: node=[Node|QualifiedName]
protected void	sequence_Parameter(org.eclipse.xtext.serializer.ISerializationContext context, Parameter semanticObject)	Contexts: Parameter returns Parameter Constraint: (annotations=AnnotationContainer (kind=ParameterKind | parameterType=[Relation|QualifiedName])? name=Identifier)
protected void	sequence_Problem(org.eclipse.xtext.serializer.ISerializationContext context, Problem semanticObject)	Contexts: Problem returns Problem Constraint: ((kind=ModuleKind name=QualifiedName? statements+=Statement+) | statements+=Statement+)?
protected void	sequence_RangeExpr(org.eclipse.xtext.serializer.ISerializationContext context, RangeExpr semanticObject)	Contexts: Expr returns RangeExpr AssignmentExpr returns RangeExpr AssignmentExpr.AssignmentExpr_1_0 returns RangeExpr BooleanExpr returns RangeExpr BooleanExpr.ArithmeticBinaryExpr_1_0 returns RangeExpr ComparisonExpr returns RangeExpr ComparisonExpr.ComparisonExpr_1_0 returns RangeExpr LatticeExpr returns RangeExpr LatticeExpr.LatticeBinaryExpr_1_0 returns RangeExpr AdditiveExpr returns RangeExpr AdditiveExpr.ArithmeticBinaryExpr_1_0 returns RangeExpr MultiplicativeExpr returns RangeExpr MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns RangeExpr ExponentialExpr returns RangeExpr ExponentialExpr.ArithmeticBinaryExpr_1_0 returns RangeExpr RangeExpr returns RangeExpr RangeExpr.RangeExpr_1_0 returns RangeExpr UnaryExpr returns RangeExpr CastExpr returns RangeExpr CastExpr.CastExpr_1_0 returns RangeExpr CastExprBody returns RangeExpr Constraint: (left=RangeExpr_RangeExpr_1_0 right=UnaryExpr)
protected void	sequence_RangeMultiplicity(org.eclipse.xtext.serializer.ISerializationContext context, RangeMultiplicity semanticObject)	Contexts: ReferenceMultiplicity returns RangeMultiplicity Multiplicity returns RangeMultiplicity DefiniteMultiplicity returns RangeMultiplicity RangeMultiplicity returns RangeMultiplicity Constraint: (lowerBound=INT upperBound=UpperBound)
protected void	sequence_RealConstant(org.eclipse.xtext.serializer.ISerializationContext context, RealConstant semanticObject)	Contexts: Expr returns RealConstant AssignmentExpr returns RealConstant AssignmentExpr.AssignmentExpr_1_0 returns RealConstant BooleanExpr returns RealConstant BooleanExpr.ArithmeticBinaryExpr_1_0 returns RealConstant ComparisonExpr returns RealConstant ComparisonExpr.ComparisonExpr_1_0 returns RealConstant LatticeExpr returns RealConstant LatticeExpr.LatticeBinaryExpr_1_0 returns RealConstant AdditiveExpr returns RealConstant AdditiveExpr.ArithmeticBinaryExpr_1_0 returns RealConstant MultiplicativeExpr returns RealConstant MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns RealConstant ExponentialExpr returns RealConstant ExponentialExpr.ArithmeticBinaryExpr_1_0 returns RealConstant RangeExpr returns RealConstant RangeExpr.RangeExpr_1_0 returns RealConstant UnaryExpr returns RealConstant CastExpr returns RealConstant CastExpr.CastExpr_1_0 returns RealConstant CastExprBody returns RealConstant Constant returns RealConstant RealConstant returns RealConstant Constraint: realValue=Real
protected void	sequence_ReferenceDeclaration(org.eclipse.xtext.serializer.ISerializationContext context, ReferenceDeclaration semanticObject)	Contexts: ReferenceDeclaration returns ReferenceDeclaration Constraint: ( annotations=AnnotationContainer (referenceType=[Relation|NonContainmentQualifiedName] | (kind=ReferenceKind referenceType=[Relation|QualifiedName])) multiplicity=ReferenceMultiplicity? name=Identifier ( opposite=[ReferenceDeclaration|QualifiedName]? (superSets+=[ReferenceDeclaration|QualifiedName] superSets+=[ReferenceDeclaration|QualifiedName]*)? )+ )
protected void	sequence_ScopeDeclaration(org.eclipse.xtext.serializer.ISerializationContext context, ScopeDeclaration semanticObject)	Contexts: Statement returns ScopeDeclaration ScopeDeclaration returns ScopeDeclaration Constraint: (typeScopes+=TypeScope typeScopes+=TypeScope*)
protected void	sequence_ShortLogicConstant(org.eclipse.xtext.serializer.ISerializationContext context, LogicConstant semanticObject)	Contexts: ShortLogicConstant returns LogicConstant Constraint: logicValue=ShortLogicValue?
protected void	sequence_StringConstant(org.eclipse.xtext.serializer.ISerializationContext context, StringConstant semanticObject)	Contexts: Expr returns StringConstant AssignmentExpr returns StringConstant AssignmentExpr.AssignmentExpr_1_0 returns StringConstant BooleanExpr returns StringConstant BooleanExpr.ArithmeticBinaryExpr_1_0 returns StringConstant ComparisonExpr returns StringConstant ComparisonExpr.ComparisonExpr_1_0 returns StringConstant LatticeExpr returns StringConstant LatticeExpr.LatticeBinaryExpr_1_0 returns StringConstant AdditiveExpr returns StringConstant AdditiveExpr.ArithmeticBinaryExpr_1_0 returns StringConstant MultiplicativeExpr returns StringConstant MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns StringConstant ExponentialExpr returns StringConstant ExponentialExpr.ArithmeticBinaryExpr_1_0 returns StringConstant RangeExpr returns StringConstant RangeExpr.RangeExpr_1_0 returns StringConstant UnaryExpr returns StringConstant CastExpr returns StringConstant CastExpr.CastExpr_1_0 returns StringConstant CastExprBody returns StringConstant Constant returns StringConstant StringConstant returns StringConstant Constraint: stringValue=STRING
protected void	sequence_TopLevelAnnotation(org.eclipse.xtext.serializer.ISerializationContext context, TopLevelAnnotation semanticObject)	Contexts: Statement returns TopLevelAnnotation TopLevelAnnotation returns TopLevelAnnotation Constraint: annotation=Annotation
protected void	sequence_TypeScope(org.eclipse.xtext.serializer.ISerializationContext context, TypeScope semanticObject)	Contexts: TypeScope returns TypeScope Constraint: (targetType=[Relation|QualifiedName] increment?='+='? multiplicity=DefiniteMultiplicity)
protected void	sequence_UnboundedMultiplicity(org.eclipse.xtext.serializer.ISerializationContext context, UnboundedMultiplicity semanticObject)	Contexts: ReferenceMultiplicity returns UnboundedMultiplicity Multiplicity returns UnboundedMultiplicity UnboundedMultiplicity returns UnboundedMultiplicity Constraint: {UnboundedMultiplicity}
protected void	sequence_VariableOrNodeExpr(org.eclipse.xtext.serializer.ISerializationContext context, VariableOrNodeExpr semanticObject)	Contexts: Expr returns VariableOrNodeExpr AssignmentExpr returns VariableOrNodeExpr AssignmentExpr.AssignmentExpr_1_0 returns VariableOrNodeExpr BooleanExpr returns VariableOrNodeExpr BooleanExpr.ArithmeticBinaryExpr_1_0 returns VariableOrNodeExpr ComparisonExpr returns VariableOrNodeExpr ComparisonExpr.ComparisonExpr_1_0 returns VariableOrNodeExpr LatticeExpr returns VariableOrNodeExpr LatticeExpr.LatticeBinaryExpr_1_0 returns VariableOrNodeExpr AdditiveExpr returns VariableOrNodeExpr AdditiveExpr.ArithmeticBinaryExpr_1_0 returns VariableOrNodeExpr MultiplicativeExpr returns VariableOrNodeExpr MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns VariableOrNodeExpr ExponentialExpr returns VariableOrNodeExpr ExponentialExpr.ArithmeticBinaryExpr_1_0 returns VariableOrNodeExpr RangeExpr returns VariableOrNodeExpr RangeExpr.RangeExpr_1_0 returns VariableOrNodeExpr UnaryExpr returns VariableOrNodeExpr CastExpr returns VariableOrNodeExpr CastExpr.CastExpr_1_0 returns VariableOrNodeExpr CastExprBody returns VariableOrNodeExpr VariableOrNodeExpr returns VariableOrNodeExpr Constraint: element=[NamedElement|QualifiedName]
protected void	sequence_WildcardAssertionArgument(org.eclipse.xtext.serializer.ISerializationContext context, WildcardAssertionArgument semanticObject)	Contexts: AssertionArgument returns WildcardAssertionArgument WildcardAssertionArgument returns WildcardAssertionArgument Constraint: {WildcardAssertionArgument}

Methods inherited from class org.eclipse.xtext.serializer.sequencer.AbstractDelegatingSemanticSequencer

init

Methods inherited from class org.eclipse.xtext.serializer.sequencer.AbstractSemanticSequencer

createContext, createNodeProvider, createSequence, createSequence, createSequencerFeeder, createSequencerFeeder, createSequencerFeeder, createSequencerFeeder, init, setMasterSequencer

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ProblemSemanticSequencer

public ProblemSemanticSequencer()

Method Details

sequence

public void sequence(org.eclipse.xtext.serializer.ISerializationContext context,
 org.eclipse.emf.ecore.EObject semanticObject)

Overrides:

sequence in class org.eclipse.xtext.serializer.sequencer.AbstractSemanticSequencer

sequence_AdditiveExpr_BooleanExpr_ExponentialExpr_MultiplicativeExpr

protected void sequence_AdditiveExpr_BooleanExpr_ExponentialExpr_MultiplicativeExpr(org.eclipse.xtext.serializer.ISerializationContext context,
 ArithmeticBinaryExpr semanticObject)

 Contexts:
     Expr returns ArithmeticBinaryExpr
     AssignmentExpr returns ArithmeticBinaryExpr
     AssignmentExpr.AssignmentExpr_1_0 returns ArithmeticBinaryExpr
     BooleanExpr returns ArithmeticBinaryExpr
     BooleanExpr.ArithmeticBinaryExpr_1_0 returns ArithmeticBinaryExpr
     ComparisonExpr returns ArithmeticBinaryExpr
     ComparisonExpr.ComparisonExpr_1_0 returns ArithmeticBinaryExpr
     LatticeExpr returns ArithmeticBinaryExpr
     LatticeExpr.LatticeBinaryExpr_1_0 returns ArithmeticBinaryExpr
     AdditiveExpr returns ArithmeticBinaryExpr
     AdditiveExpr.ArithmeticBinaryExpr_1_0 returns ArithmeticBinaryExpr
     MultiplicativeExpr returns ArithmeticBinaryExpr
     MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns ArithmeticBinaryExpr
     ExponentialExpr returns ArithmeticBinaryExpr
     ExponentialExpr.ArithmeticBinaryExpr_1_0 returns ArithmeticBinaryExpr
     RangeExpr returns ArithmeticBinaryExpr
     RangeExpr.RangeExpr_1_0 returns ArithmeticBinaryExpr
     UnaryExpr returns ArithmeticBinaryExpr
     CastExpr returns ArithmeticBinaryExpr
     CastExpr.CastExpr_1_0 returns ArithmeticBinaryExpr
     CastExprBody returns ArithmeticBinaryExpr

 Constraint:
     (
         (left=BooleanExpr_ArithmeticBinaryExpr_1_0 op=BooleanBinaryOp right=ComparisonExpr) | 
         (left=AdditiveExpr_ArithmeticBinaryExpr_1_0 op=AdditiveOp right=MultiplicativeExpr) | 
         (left=MultiplicativeExpr_ArithmeticBinaryExpr_1_0 op=MultiplicativeOp right=ExponentialExpr) | 
         (left=ExponentialExpr_ArithmeticBinaryExpr_1_0 op=ExponentialOp right=ExponentialExpr)
     )
 

sequence_AggregationExpr

protected void sequence_AggregationExpr(org.eclipse.xtext.serializer.ISerializationContext context,
 AggregationExpr semanticObject)

 Contexts:
     Expr returns AggregationExpr
     AssignmentExpr returns AggregationExpr
     AssignmentExpr.AssignmentExpr_1_0 returns AggregationExpr
     BooleanExpr returns AggregationExpr
     BooleanExpr.ArithmeticBinaryExpr_1_0 returns AggregationExpr
     ComparisonExpr returns AggregationExpr
     ComparisonExpr.ComparisonExpr_1_0 returns AggregationExpr
     LatticeExpr returns AggregationExpr
     LatticeExpr.LatticeBinaryExpr_1_0 returns AggregationExpr
     AdditiveExpr returns AggregationExpr
     AdditiveExpr.ArithmeticBinaryExpr_1_0 returns AggregationExpr
     MultiplicativeExpr returns AggregationExpr
     MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns AggregationExpr
     ExponentialExpr returns AggregationExpr
     ExponentialExpr.ArithmeticBinaryExpr_1_0 returns AggregationExpr
     RangeExpr returns AggregationExpr
     RangeExpr.RangeExpr_1_0 returns AggregationExpr
     UnaryExpr returns AggregationExpr
     AggregationExpr returns AggregationExpr
     CastExpr returns AggregationExpr
     CastExpr.CastExpr_1_0 returns AggregationExpr
     CastExprBody returns AggregationExpr

 Constraint:
     (aggregator=[AggregatorDeclaration|QualifiedName] value=Expr condition=ComparisonExpr)
 

sequence_AnnotatedStatement

protected void sequence_AnnotatedStatement(org.eclipse.xtext.serializer.ISerializationContext context,
 AggregatorDeclaration semanticObject)

 Contexts:
     Statement returns AggregatorDeclaration
     AnnotatedStatement returns AggregatorDeclaration

 Constraint:
     (annotations=AnnotatedStatement_AggregatorDeclaration_1_3_0 name=Identifier)
 

sequence_AnnotatedStatement

protected void sequence_AnnotatedStatement(org.eclipse.xtext.serializer.ISerializationContext context,
 AnnotationDeclaration semanticObject)

 Contexts:
     Statement returns AnnotationDeclaration
     AnnotatedStatement returns AnnotationDeclaration

 Constraint:
     (annotations=AnnotatedStatement_AnnotationDeclaration_1_6_0 name=Identifier (parameters+=Parameter parameters+=Parameter*)?)
 

sequence_AnnotatedStatement

protected void sequence_AnnotatedStatement(org.eclipse.xtext.serializer.ISerializationContext context,
 ClassDeclaration semanticObject)

 Contexts:
     Statement returns ClassDeclaration
     AnnotatedStatement returns ClassDeclaration

 Constraint:
     (
         annotations=AnnotatedStatement_ClassDeclaration_1_0_0 
         abstract?='abstract'? 
         name=Identifier 
         (superTypes+=[Relation|QualifiedName] superTypes+=[Relation|QualifiedName]*)? 
         featureDeclarations+=ReferenceDeclaration*
     )
 

sequence_AnnotatedStatement

protected void sequence_AnnotatedStatement(org.eclipse.xtext.serializer.ISerializationContext context,
 DatatypeDeclaration semanticObject)

 Contexts:
     Statement returns DatatypeDeclaration
     AnnotatedStatement returns DatatypeDeclaration

 Constraint:
     (annotations=AnnotatedStatement_DatatypeDeclaration_1_2_0 name=Identifier)
 

sequence_AnnotatedStatement

protected void sequence_AnnotatedStatement(org.eclipse.xtext.serializer.ISerializationContext context,
 EnumDeclaration semanticObject)

 Contexts:
     Statement returns EnumDeclaration
     AnnotatedStatement returns EnumDeclaration

 Constraint:
     (annotations=AnnotatedStatement_EnumDeclaration_1_1_0 name=Identifier (literals+=EnumLiteral literals+=EnumLiteral*)?)
 

sequence_AnnotatedStatement

protected void sequence_AnnotatedStatement(org.eclipse.xtext.serializer.ISerializationContext context,
 NodeDeclaration semanticObject)

 Contexts:
     Statement returns NodeDeclaration
     AnnotatedStatement returns NodeDeclaration

 Constraint:
     (annotations=AnnotatedStatement_NodeDeclaration_1_7_0 kind=NodeKind? nodes+=EnumLiteral nodes+=EnumLiteral*)
 

sequence_AnnotatedStatement

protected void sequence_AnnotatedStatement(org.eclipse.xtext.serializer.ISerializationContext context,
 PredicateDefinition semanticObject)

 Contexts:
     Statement returns PredicateDefinition
     AnnotatedStatement returns PredicateDefinition

 Constraint:
     (
         annotations=AnnotatedStatement_PredicateDefinition_1_4_0 
         (kind=ErrorPredicateKind | kind=PredicateKind)? 
         name=Identifier 
         (parameters+=Parameter parameters+=Parameter*)? 
         (superSets+=[ReferenceDeclaration|QualifiedName] superSets+=[ReferenceDeclaration|QualifiedName]*)? 
         (bodies+=Conjunction bodies+=Conjunction*)?
     )
 

sequence_AnnotatedStatement

protected void sequence_AnnotatedStatement(org.eclipse.xtext.serializer.ISerializationContext context,
 RuleDefinition semanticObject)

 Contexts:
     Statement returns RuleDefinition
     AnnotatedStatement returns RuleDefinition

 Constraint:
     (
         annotations=AnnotatedStatement_RuleDefinition_1_5_0 
         kind=RuleKind? 
         name=Identifier 
         (parameters+=Parameter parameters+=Parameter*)? 
         (preconditions+=Conjunction preconditions+=Conjunction*)? 
         (consequents+=Consequent consequents+=Consequent*)?
     )
 

sequence_AnnotationArgument

protected void sequence_AnnotationArgument(org.eclipse.xtext.serializer.ISerializationContext context,
 AnnotationArgument semanticObject)

 Contexts:
     AnnotationArgument returns AnnotationArgument

 Constraint:
     (parameter=[Parameter|Identifier]? value=Expr)
 

sequence_AnnotationContainer

protected void sequence_AnnotationContainer(org.eclipse.xtext.serializer.ISerializationContext context,
 AnnotationContainer semanticObject)

 Contexts:
     AnnotatedStatement.ClassDeclaration_1_0_0 returns AnnotationContainer
     AnnotatedStatement.EnumDeclaration_1_1_0 returns AnnotationContainer
     AnnotatedStatement.DatatypeDeclaration_1_2_0 returns AnnotationContainer
     AnnotatedStatement.AggregatorDeclaration_1_3_0 returns AnnotationContainer
     AnnotatedStatement.PredicateDefinition_1_4_0 returns AnnotationContainer
     AnnotatedStatement.RuleDefinition_1_5_0 returns AnnotationContainer
     AnnotatedStatement.AnnotationDeclaration_1_6_0 returns AnnotationContainer
     AnnotatedStatement.NodeDeclaration_1_7_0 returns AnnotationContainer
     AnnotationContainer returns AnnotationContainer

 Constraint:
     annotations+=Annotation*
 

sequence_Annotation

protected void sequence_Annotation(org.eclipse.xtext.serializer.ISerializationContext context,
 Annotation semanticObject)

 Contexts:
     Annotation returns Annotation

 Constraint:
     (declaration=[AnnotationDeclaration|QualifiedName] (arguments+=AnnotationArgument arguments+=AnnotationArgument*)?)
 

sequence_ArithmeticUnaryExpr

protected void sequence_ArithmeticUnaryExpr(org.eclipse.xtext.serializer.ISerializationContext context,
 ArithmeticUnaryExpr semanticObject)

 Contexts:
     Expr returns ArithmeticUnaryExpr
     AssignmentExpr returns ArithmeticUnaryExpr
     AssignmentExpr.AssignmentExpr_1_0 returns ArithmeticUnaryExpr
     BooleanExpr returns ArithmeticUnaryExpr
     BooleanExpr.ArithmeticBinaryExpr_1_0 returns ArithmeticUnaryExpr
     ComparisonExpr returns ArithmeticUnaryExpr
     ComparisonExpr.ComparisonExpr_1_0 returns ArithmeticUnaryExpr
     LatticeExpr returns ArithmeticUnaryExpr
     LatticeExpr.LatticeBinaryExpr_1_0 returns ArithmeticUnaryExpr
     AdditiveExpr returns ArithmeticUnaryExpr
     AdditiveExpr.ArithmeticBinaryExpr_1_0 returns ArithmeticUnaryExpr
     MultiplicativeExpr returns ArithmeticUnaryExpr
     MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns ArithmeticUnaryExpr
     ExponentialExpr returns ArithmeticUnaryExpr
     ExponentialExpr.ArithmeticBinaryExpr_1_0 returns ArithmeticUnaryExpr
     RangeExpr returns ArithmeticUnaryExpr
     RangeExpr.RangeExpr_1_0 returns ArithmeticUnaryExpr
     UnaryExpr returns ArithmeticUnaryExpr
     ArithmeticUnaryExpr returns ArithmeticUnaryExpr
     CastExpr returns ArithmeticUnaryExpr
     CastExpr.CastExpr_1_0 returns ArithmeticUnaryExpr
     CastExprBody returns ArithmeticUnaryExpr

 Constraint:
     (op=UnaryOp body=UnaryExpr)
 

sequence_AssertionAction

protected void sequence_AssertionAction(org.eclipse.xtext.serializer.ISerializationContext context,
 AssertionAction semanticObject)

 Contexts:
     Action returns AssertionAction
     AssertionAction returns AssertionAction

 Constraint:
     (
         (relation=[Relation|QualifiedName] (arguments+=AssertionArgument arguments+=AssertionArgument*)? value=Expr) | 
         (value=ShortLogicConstant relation=[Relation|QualifiedName] (arguments+=AssertionArgument arguments+=AssertionArgument*)?)
     )
 

sequence_Assertion

protected void sequence_Assertion(org.eclipse.xtext.serializer.ISerializationContext context,
 Assertion semanticObject)

 Contexts:
     Statement returns Assertion
     Assertion returns Assertion

 Constraint:
     (
         default?='default'? 
         (
             (relation=[Relation|QualifiedName] (arguments+=AssertionArgument arguments+=AssertionArgument*)? value=Expr) | 
             (value=ShortLogicConstant relation=[Relation|QualifiedName] (arguments+=AssertionArgument arguments+=AssertionArgument*)?)
         )
     )
 

sequence_AssignmentExpr

protected void sequence_AssignmentExpr(org.eclipse.xtext.serializer.ISerializationContext context,
 AssignmentExpr semanticObject)

 Contexts:
     Expr returns AssignmentExpr
     AssignmentExpr returns AssignmentExpr
     AssignmentExpr.AssignmentExpr_1_0 returns AssignmentExpr
     BooleanExpr returns AssignmentExpr
     BooleanExpr.ArithmeticBinaryExpr_1_0 returns AssignmentExpr
     ComparisonExpr returns AssignmentExpr
     ComparisonExpr.ComparisonExpr_1_0 returns AssignmentExpr
     LatticeExpr returns AssignmentExpr
     LatticeExpr.LatticeBinaryExpr_1_0 returns AssignmentExpr
     AdditiveExpr returns AssignmentExpr
     AdditiveExpr.ArithmeticBinaryExpr_1_0 returns AssignmentExpr
     MultiplicativeExpr returns AssignmentExpr
     MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns AssignmentExpr
     ExponentialExpr returns AssignmentExpr
     ExponentialExpr.ArithmeticBinaryExpr_1_0 returns AssignmentExpr
     RangeExpr returns AssignmentExpr
     RangeExpr.RangeExpr_1_0 returns AssignmentExpr
     UnaryExpr returns AssignmentExpr
     CastExpr returns AssignmentExpr
     CastExpr.CastExpr_1_0 returns AssignmentExpr
     CastExprBody returns AssignmentExpr

 Constraint:
     (left=AssignmentExpr_AssignmentExpr_1_0 right=BooleanExpr)
 

sequence_Atom

protected void sequence_Atom(org.eclipse.xtext.serializer.ISerializationContext context,
 Atom semanticObject)

 Contexts:
     Expr returns Atom
     AssignmentExpr returns Atom
     AssignmentExpr.AssignmentExpr_1_0 returns Atom
     BooleanExpr returns Atom
     BooleanExpr.ArithmeticBinaryExpr_1_0 returns Atom
     ComparisonExpr returns Atom
     ComparisonExpr.ComparisonExpr_1_0 returns Atom
     LatticeExpr returns Atom
     LatticeExpr.LatticeBinaryExpr_1_0 returns Atom
     AdditiveExpr returns Atom
     AdditiveExpr.ArithmeticBinaryExpr_1_0 returns Atom
     MultiplicativeExpr returns Atom
     MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns Atom
     ExponentialExpr returns Atom
     ExponentialExpr.ArithmeticBinaryExpr_1_0 returns Atom
     RangeExpr returns Atom
     RangeExpr.RangeExpr_1_0 returns Atom
     UnaryExpr returns Atom
     CastExpr returns Atom
     CastExpr.CastExpr_1_0 returns Atom
     CastExprBody returns Atom
     Atom returns Atom

 Constraint:
     (relation=[Relation|QualifiedName] transitiveClosure?=TRANSITIVE_CLOSURE? (arguments+=Expr arguments+=Expr*)?)
 

sequence_CastExpr

protected void sequence_CastExpr(org.eclipse.xtext.serializer.ISerializationContext context,
 CastExpr semanticObject)

 Contexts:
     Expr returns CastExpr
     AssignmentExpr returns CastExpr
     AssignmentExpr.AssignmentExpr_1_0 returns CastExpr
     BooleanExpr returns CastExpr
     BooleanExpr.ArithmeticBinaryExpr_1_0 returns CastExpr
     ComparisonExpr returns CastExpr
     ComparisonExpr.ComparisonExpr_1_0 returns CastExpr
     LatticeExpr returns CastExpr
     LatticeExpr.LatticeBinaryExpr_1_0 returns CastExpr
     AdditiveExpr returns CastExpr
     AdditiveExpr.ArithmeticBinaryExpr_1_0 returns CastExpr
     MultiplicativeExpr returns CastExpr
     MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns CastExpr
     ExponentialExpr returns CastExpr
     ExponentialExpr.ArithmeticBinaryExpr_1_0 returns CastExpr
     RangeExpr returns CastExpr
     RangeExpr.RangeExpr_1_0 returns CastExpr
     UnaryExpr returns CastExpr
     CastExpr returns CastExpr
     CastExpr.CastExpr_1_0 returns CastExpr
     CastExprBody returns CastExpr

 Constraint:
     (body=CastExpr_CastExpr_1_0 targetType=[Relation|QualifiedName])
 

sequence_ComparisonExpr

protected void sequence_ComparisonExpr(org.eclipse.xtext.serializer.ISerializationContext context,
 ComparisonExpr semanticObject)

 Contexts:
     Expr returns ComparisonExpr
     AssignmentExpr returns ComparisonExpr
     AssignmentExpr.AssignmentExpr_1_0 returns ComparisonExpr
     BooleanExpr returns ComparisonExpr
     BooleanExpr.ArithmeticBinaryExpr_1_0 returns ComparisonExpr
     ComparisonExpr returns ComparisonExpr
     ComparisonExpr.ComparisonExpr_1_0 returns ComparisonExpr
     LatticeExpr returns ComparisonExpr
     LatticeExpr.LatticeBinaryExpr_1_0 returns ComparisonExpr
     AdditiveExpr returns ComparisonExpr
     AdditiveExpr.ArithmeticBinaryExpr_1_0 returns ComparisonExpr
     MultiplicativeExpr returns ComparisonExpr
     MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns ComparisonExpr
     ExponentialExpr returns ComparisonExpr
     ExponentialExpr.ArithmeticBinaryExpr_1_0 returns ComparisonExpr
     RangeExpr returns ComparisonExpr
     RangeExpr.RangeExpr_1_0 returns ComparisonExpr
     UnaryExpr returns ComparisonExpr
     CastExpr returns ComparisonExpr
     CastExpr.CastExpr_1_0 returns ComparisonExpr
     CastExprBody returns ComparisonExpr

 Constraint:
     (left=ComparisonExpr_ComparisonExpr_1_0 op=ComparisonOp right=LatticeExpr)
 

sequence_Conjunction

protected void sequence_Conjunction(org.eclipse.xtext.serializer.ISerializationContext context,
 Conjunction semanticObject)

 Contexts:
     Conjunction returns Conjunction

 Constraint:
     (literals+=Expr literals+=Expr*)
 

sequence_Consequent

protected void sequence_Consequent(org.eclipse.xtext.serializer.ISerializationContext context,
 Consequent semanticObject)

 Contexts:
     Consequent returns Consequent

 Constraint:
     (actions+=Action actions+=Action*)
 

sequence_CountExpr

protected void sequence_CountExpr(org.eclipse.xtext.serializer.ISerializationContext context,
 CountExpr semanticObject)

 Contexts:
     Expr returns CountExpr
     AssignmentExpr returns CountExpr
     AssignmentExpr.AssignmentExpr_1_0 returns CountExpr
     BooleanExpr returns CountExpr
     BooleanExpr.ArithmeticBinaryExpr_1_0 returns CountExpr
     ComparisonExpr returns CountExpr
     ComparisonExpr.ComparisonExpr_1_0 returns CountExpr
     LatticeExpr returns CountExpr
     LatticeExpr.LatticeBinaryExpr_1_0 returns CountExpr
     AdditiveExpr returns CountExpr
     AdditiveExpr.ArithmeticBinaryExpr_1_0 returns CountExpr
     MultiplicativeExpr returns CountExpr
     MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns CountExpr
     ExponentialExpr returns CountExpr
     ExponentialExpr.ArithmeticBinaryExpr_1_0 returns CountExpr
     RangeExpr returns CountExpr
     RangeExpr.RangeExpr_1_0 returns CountExpr
     UnaryExpr returns CountExpr
     CountExpr returns CountExpr
     CastExpr returns CountExpr
     CastExpr.CastExpr_1_0 returns CountExpr
     CastExprBody returns CountExpr

 Constraint:
     body=UnaryExpr
 

sequence_EnumLiteral

protected void sequence_EnumLiteral(org.eclipse.xtext.serializer.ISerializationContext context,
 Node semanticObject)

 Contexts:
     EnumLiteral returns Node

 Constraint:
     (annotations=AnnotationContainer name=Identifier)
 

sequence_ExactMultiplicity

protected void sequence_ExactMultiplicity(org.eclipse.xtext.serializer.ISerializationContext context,
 ExactMultiplicity semanticObject)

 Contexts:
     ReferenceMultiplicity returns ExactMultiplicity
     Multiplicity returns ExactMultiplicity
     DefiniteMultiplicity returns ExactMultiplicity
     ExactMultiplicity returns ExactMultiplicity

 Constraint:
     exactValue=INT
 

sequence_ImportStatement

protected void sequence_ImportStatement(org.eclipse.xtext.serializer.ISerializationContext context,
 ImportStatement semanticObject)

 Contexts:
     Statement returns ImportStatement
     ImportStatement returns ImportStatement

 Constraint:
     (importedModule=[Problem|QualifiedName] alias=ID?)
 

sequence_InfiniteConstant

protected void sequence_InfiniteConstant(org.eclipse.xtext.serializer.ISerializationContext context,
 InfiniteConstant semanticObject)

 Contexts:
     Expr returns InfiniteConstant
     AssignmentExpr returns InfiniteConstant
     AssignmentExpr.AssignmentExpr_1_0 returns InfiniteConstant
     BooleanExpr returns InfiniteConstant
     BooleanExpr.ArithmeticBinaryExpr_1_0 returns InfiniteConstant
     ComparisonExpr returns InfiniteConstant
     ComparisonExpr.ComparisonExpr_1_0 returns InfiniteConstant
     LatticeExpr returns InfiniteConstant
     LatticeExpr.LatticeBinaryExpr_1_0 returns InfiniteConstant
     AdditiveExpr returns InfiniteConstant
     AdditiveExpr.ArithmeticBinaryExpr_1_0 returns InfiniteConstant
     MultiplicativeExpr returns InfiniteConstant
     MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns InfiniteConstant
     ExponentialExpr returns InfiniteConstant
     ExponentialExpr.ArithmeticBinaryExpr_1_0 returns InfiniteConstant
     RangeExpr returns InfiniteConstant
     RangeExpr.RangeExpr_1_0 returns InfiniteConstant
     UnaryExpr returns InfiniteConstant
     CastExpr returns InfiniteConstant
     CastExpr.CastExpr_1_0 returns InfiniteConstant
     CastExprBody returns InfiniteConstant
     Constant returns InfiniteConstant
     InfiniteConstant returns InfiniteConstant

 Constraint:
     {InfiniteConstant}
 

sequence_IntConstant

protected void sequence_IntConstant(org.eclipse.xtext.serializer.ISerializationContext context,
 IntConstant semanticObject)

 Contexts:
     Expr returns IntConstant
     AssignmentExpr returns IntConstant
     AssignmentExpr.AssignmentExpr_1_0 returns IntConstant
     BooleanExpr returns IntConstant
     BooleanExpr.ArithmeticBinaryExpr_1_0 returns IntConstant
     ComparisonExpr returns IntConstant
     ComparisonExpr.ComparisonExpr_1_0 returns IntConstant
     LatticeExpr returns IntConstant
     LatticeExpr.LatticeBinaryExpr_1_0 returns IntConstant
     AdditiveExpr returns IntConstant
     AdditiveExpr.ArithmeticBinaryExpr_1_0 returns IntConstant
     MultiplicativeExpr returns IntConstant
     MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns IntConstant
     ExponentialExpr returns IntConstant
     ExponentialExpr.ArithmeticBinaryExpr_1_0 returns IntConstant
     RangeExpr returns IntConstant
     RangeExpr.RangeExpr_1_0 returns IntConstant
     UnaryExpr returns IntConstant
     CastExpr returns IntConstant
     CastExpr.CastExpr_1_0 returns IntConstant
     CastExprBody returns IntConstant
     Constant returns IntConstant
     IntConstant returns IntConstant

 Constraint:
     intValue=INT
 

sequence_LatticeExpr

protected void sequence_LatticeExpr(org.eclipse.xtext.serializer.ISerializationContext context,
 LatticeBinaryExpr semanticObject)

 Contexts:
     Expr returns LatticeBinaryExpr
     AssignmentExpr returns LatticeBinaryExpr
     AssignmentExpr.AssignmentExpr_1_0 returns LatticeBinaryExpr
     BooleanExpr returns LatticeBinaryExpr
     BooleanExpr.ArithmeticBinaryExpr_1_0 returns LatticeBinaryExpr
     ComparisonExpr returns LatticeBinaryExpr
     ComparisonExpr.ComparisonExpr_1_0 returns LatticeBinaryExpr
     LatticeExpr returns LatticeBinaryExpr
     LatticeExpr.LatticeBinaryExpr_1_0 returns LatticeBinaryExpr
     AdditiveExpr returns LatticeBinaryExpr
     AdditiveExpr.ArithmeticBinaryExpr_1_0 returns LatticeBinaryExpr
     MultiplicativeExpr returns LatticeBinaryExpr
     MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns LatticeBinaryExpr
     ExponentialExpr returns LatticeBinaryExpr
     ExponentialExpr.ArithmeticBinaryExpr_1_0 returns LatticeBinaryExpr
     RangeExpr returns LatticeBinaryExpr
     RangeExpr.RangeExpr_1_0 returns LatticeBinaryExpr
     UnaryExpr returns LatticeBinaryExpr
     CastExpr returns LatticeBinaryExpr
     CastExpr.CastExpr_1_0 returns LatticeBinaryExpr
     CastExprBody returns LatticeBinaryExpr

 Constraint:
     (left=LatticeExpr_LatticeBinaryExpr_1_0 op=LatticeBinaryOp right=AdditiveExpr)
 

sequence_LogicConstant

protected void sequence_LogicConstant(org.eclipse.xtext.serializer.ISerializationContext context,
 LogicConstant semanticObject)

 Contexts:
     Expr returns LogicConstant
     AssignmentExpr returns LogicConstant
     AssignmentExpr.AssignmentExpr_1_0 returns LogicConstant
     BooleanExpr returns LogicConstant
     BooleanExpr.ArithmeticBinaryExpr_1_0 returns LogicConstant
     ComparisonExpr returns LogicConstant
     ComparisonExpr.ComparisonExpr_1_0 returns LogicConstant
     LatticeExpr returns LogicConstant
     LatticeExpr.LatticeBinaryExpr_1_0 returns LogicConstant
     AdditiveExpr returns LogicConstant
     AdditiveExpr.ArithmeticBinaryExpr_1_0 returns LogicConstant
     MultiplicativeExpr returns LogicConstant
     MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns LogicConstant
     ExponentialExpr returns LogicConstant
     ExponentialExpr.ArithmeticBinaryExpr_1_0 returns LogicConstant
     RangeExpr returns LogicConstant
     RangeExpr.RangeExpr_1_0 returns LogicConstant
     UnaryExpr returns LogicConstant
     CastExpr returns LogicConstant
     CastExpr.CastExpr_1_0 returns LogicConstant
     CastExprBody returns LogicConstant
     Constant returns LogicConstant
     LogicConstant returns LogicConstant

 Constraint:
     logicValue=LogicValue
 

sequence_ModalExpr

protected void sequence_ModalExpr(org.eclipse.xtext.serializer.ISerializationContext context,
 ModalExpr semanticObject)

 Contexts:
     Expr returns ModalExpr
     AssignmentExpr returns ModalExpr
     AssignmentExpr.AssignmentExpr_1_0 returns ModalExpr
     BooleanExpr returns ModalExpr
     BooleanExpr.ArithmeticBinaryExpr_1_0 returns ModalExpr
     ComparisonExpr returns ModalExpr
     ComparisonExpr.ComparisonExpr_1_0 returns ModalExpr
     LatticeExpr returns ModalExpr
     LatticeExpr.LatticeBinaryExpr_1_0 returns ModalExpr
     AdditiveExpr returns ModalExpr
     AdditiveExpr.ArithmeticBinaryExpr_1_0 returns ModalExpr
     MultiplicativeExpr returns ModalExpr
     MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns ModalExpr
     ExponentialExpr returns ModalExpr
     ExponentialExpr.ArithmeticBinaryExpr_1_0 returns ModalExpr
     RangeExpr returns ModalExpr
     RangeExpr.RangeExpr_1_0 returns ModalExpr
     UnaryExpr returns ModalExpr
     ModalExpr returns ModalExpr
     CastExpr returns ModalExpr
     CastExpr.CastExpr_1_0 returns ModalExpr
     CastExprBody returns ModalExpr

 Constraint:
     (((concreteness=Concreteness modality=Modality?) | (modality=Modality concreteness=Concreteness?)) body=UnaryExpr)
 

sequence_NegationExpr

protected void sequence_NegationExpr(org.eclipse.xtext.serializer.ISerializationContext context,
 NegationExpr semanticObject)

 Contexts:
     Expr returns NegationExpr
     AssignmentExpr returns NegationExpr
     AssignmentExpr.AssignmentExpr_1_0 returns NegationExpr
     BooleanExpr returns NegationExpr
     BooleanExpr.ArithmeticBinaryExpr_1_0 returns NegationExpr
     ComparisonExpr returns NegationExpr
     ComparisonExpr.ComparisonExpr_1_0 returns NegationExpr
     LatticeExpr returns NegationExpr
     LatticeExpr.LatticeBinaryExpr_1_0 returns NegationExpr
     AdditiveExpr returns NegationExpr
     AdditiveExpr.ArithmeticBinaryExpr_1_0 returns NegationExpr
     MultiplicativeExpr returns NegationExpr
     MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns NegationExpr
     ExponentialExpr returns NegationExpr
     ExponentialExpr.ArithmeticBinaryExpr_1_0 returns NegationExpr
     RangeExpr returns NegationExpr
     RangeExpr.RangeExpr_1_0 returns NegationExpr
     UnaryExpr returns NegationExpr
     NegationExpr returns NegationExpr
     CastExpr returns NegationExpr
     CastExpr.CastExpr_1_0 returns NegationExpr
     CastExprBody returns NegationExpr

 Constraint:
     body=UnaryExpr
 

sequence_NodeAssertionArgument

protected void sequence_NodeAssertionArgument(org.eclipse.xtext.serializer.ISerializationContext context,
 NodeAssertionArgument semanticObject)

 Contexts:
     AssertionArgument returns NodeAssertionArgument
     NodeAssertionArgument returns NodeAssertionArgument

 Constraint:
     node=[Node|QualifiedName]
 

sequence_Parameter

protected void sequence_Parameter(org.eclipse.xtext.serializer.ISerializationContext context,
 Parameter semanticObject)

 Contexts:
     Parameter returns Parameter

 Constraint:
     (annotations=AnnotationContainer (kind=ParameterKind | parameterType=[Relation|QualifiedName])? name=Identifier)
 

sequence_Problem

protected void sequence_Problem(org.eclipse.xtext.serializer.ISerializationContext context,
 Problem semanticObject)

 Contexts:
     Problem returns Problem

 Constraint:
     ((kind=ModuleKind name=QualifiedName? statements+=Statement+) | statements+=Statement+)?
 

sequence_RangeExpr

protected void sequence_RangeExpr(org.eclipse.xtext.serializer.ISerializationContext context,
 RangeExpr semanticObject)

 Contexts:
     Expr returns RangeExpr
     AssignmentExpr returns RangeExpr
     AssignmentExpr.AssignmentExpr_1_0 returns RangeExpr
     BooleanExpr returns RangeExpr
     BooleanExpr.ArithmeticBinaryExpr_1_0 returns RangeExpr
     ComparisonExpr returns RangeExpr
     ComparisonExpr.ComparisonExpr_1_0 returns RangeExpr
     LatticeExpr returns RangeExpr
     LatticeExpr.LatticeBinaryExpr_1_0 returns RangeExpr
     AdditiveExpr returns RangeExpr
     AdditiveExpr.ArithmeticBinaryExpr_1_0 returns RangeExpr
     MultiplicativeExpr returns RangeExpr
     MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns RangeExpr
     ExponentialExpr returns RangeExpr
     ExponentialExpr.ArithmeticBinaryExpr_1_0 returns RangeExpr
     RangeExpr returns RangeExpr
     RangeExpr.RangeExpr_1_0 returns RangeExpr
     UnaryExpr returns RangeExpr
     CastExpr returns RangeExpr
     CastExpr.CastExpr_1_0 returns RangeExpr
     CastExprBody returns RangeExpr

 Constraint:
     (left=RangeExpr_RangeExpr_1_0 right=UnaryExpr)
 

sequence_RangeMultiplicity

protected void sequence_RangeMultiplicity(org.eclipse.xtext.serializer.ISerializationContext context,
 RangeMultiplicity semanticObject)

 Contexts:
     ReferenceMultiplicity returns RangeMultiplicity
     Multiplicity returns RangeMultiplicity
     DefiniteMultiplicity returns RangeMultiplicity
     RangeMultiplicity returns RangeMultiplicity

 Constraint:
     (lowerBound=INT upperBound=UpperBound)
 

sequence_RealConstant

protected void sequence_RealConstant(org.eclipse.xtext.serializer.ISerializationContext context,
 RealConstant semanticObject)

 Contexts:
     Expr returns RealConstant
     AssignmentExpr returns RealConstant
     AssignmentExpr.AssignmentExpr_1_0 returns RealConstant
     BooleanExpr returns RealConstant
     BooleanExpr.ArithmeticBinaryExpr_1_0 returns RealConstant
     ComparisonExpr returns RealConstant
     ComparisonExpr.ComparisonExpr_1_0 returns RealConstant
     LatticeExpr returns RealConstant
     LatticeExpr.LatticeBinaryExpr_1_0 returns RealConstant
     AdditiveExpr returns RealConstant
     AdditiveExpr.ArithmeticBinaryExpr_1_0 returns RealConstant
     MultiplicativeExpr returns RealConstant
     MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns RealConstant
     ExponentialExpr returns RealConstant
     ExponentialExpr.ArithmeticBinaryExpr_1_0 returns RealConstant
     RangeExpr returns RealConstant
     RangeExpr.RangeExpr_1_0 returns RealConstant
     UnaryExpr returns RealConstant
     CastExpr returns RealConstant
     CastExpr.CastExpr_1_0 returns RealConstant
     CastExprBody returns RealConstant
     Constant returns RealConstant
     RealConstant returns RealConstant

 Constraint:
     realValue=Real
 

sequence_ReferenceDeclaration

protected void sequence_ReferenceDeclaration(org.eclipse.xtext.serializer.ISerializationContext context,
 ReferenceDeclaration semanticObject)

 Contexts:
     ReferenceDeclaration returns ReferenceDeclaration

 Constraint:
     (
         annotations=AnnotationContainer 
         (referenceType=[Relation|NonContainmentQualifiedName] | (kind=ReferenceKind referenceType=[Relation|QualifiedName])) 
         multiplicity=ReferenceMultiplicity? 
         name=Identifier 
         (
             opposite=[ReferenceDeclaration|QualifiedName]? 
             (superSets+=[ReferenceDeclaration|QualifiedName] superSets+=[ReferenceDeclaration|QualifiedName]*)?
         )+
     )
 

sequence_ScopeDeclaration

protected void sequence_ScopeDeclaration(org.eclipse.xtext.serializer.ISerializationContext context,
 ScopeDeclaration semanticObject)

 Contexts:
     Statement returns ScopeDeclaration
     ScopeDeclaration returns ScopeDeclaration

 Constraint:
     (typeScopes+=TypeScope typeScopes+=TypeScope*)
 

sequence_ShortLogicConstant

protected void sequence_ShortLogicConstant(org.eclipse.xtext.serializer.ISerializationContext context,
 LogicConstant semanticObject)

 Contexts:
     ShortLogicConstant returns LogicConstant

 Constraint:
     logicValue=ShortLogicValue?
 

sequence_StringConstant

protected void sequence_StringConstant(org.eclipse.xtext.serializer.ISerializationContext context,
 StringConstant semanticObject)

 Contexts:
     Expr returns StringConstant
     AssignmentExpr returns StringConstant
     AssignmentExpr.AssignmentExpr_1_0 returns StringConstant
     BooleanExpr returns StringConstant
     BooleanExpr.ArithmeticBinaryExpr_1_0 returns StringConstant
     ComparisonExpr returns StringConstant
     ComparisonExpr.ComparisonExpr_1_0 returns StringConstant
     LatticeExpr returns StringConstant
     LatticeExpr.LatticeBinaryExpr_1_0 returns StringConstant
     AdditiveExpr returns StringConstant
     AdditiveExpr.ArithmeticBinaryExpr_1_0 returns StringConstant
     MultiplicativeExpr returns StringConstant
     MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns StringConstant
     ExponentialExpr returns StringConstant
     ExponentialExpr.ArithmeticBinaryExpr_1_0 returns StringConstant
     RangeExpr returns StringConstant
     RangeExpr.RangeExpr_1_0 returns StringConstant
     UnaryExpr returns StringConstant
     CastExpr returns StringConstant
     CastExpr.CastExpr_1_0 returns StringConstant
     CastExprBody returns StringConstant
     Constant returns StringConstant
     StringConstant returns StringConstant

 Constraint:
     stringValue=STRING
 

sequence_TopLevelAnnotation

protected void sequence_TopLevelAnnotation(org.eclipse.xtext.serializer.ISerializationContext context,
 TopLevelAnnotation semanticObject)

 Contexts:
     Statement returns TopLevelAnnotation
     TopLevelAnnotation returns TopLevelAnnotation

 Constraint:
     annotation=Annotation
 

sequence_TypeScope

protected void sequence_TypeScope(org.eclipse.xtext.serializer.ISerializationContext context,
 TypeScope semanticObject)

 Contexts:
     TypeScope returns TypeScope

 Constraint:
     (targetType=[Relation|QualifiedName] increment?='+='? multiplicity=DefiniteMultiplicity)
 

sequence_UnboundedMultiplicity

protected void sequence_UnboundedMultiplicity(org.eclipse.xtext.serializer.ISerializationContext context,
 UnboundedMultiplicity semanticObject)

 Contexts:
     ReferenceMultiplicity returns UnboundedMultiplicity
     Multiplicity returns UnboundedMultiplicity
     UnboundedMultiplicity returns UnboundedMultiplicity

 Constraint:
     {UnboundedMultiplicity}
 

sequence_VariableOrNodeExpr

protected void sequence_VariableOrNodeExpr(org.eclipse.xtext.serializer.ISerializationContext context,
 VariableOrNodeExpr semanticObject)

 Contexts:
     Expr returns VariableOrNodeExpr
     AssignmentExpr returns VariableOrNodeExpr
     AssignmentExpr.AssignmentExpr_1_0 returns VariableOrNodeExpr
     BooleanExpr returns VariableOrNodeExpr
     BooleanExpr.ArithmeticBinaryExpr_1_0 returns VariableOrNodeExpr
     ComparisonExpr returns VariableOrNodeExpr
     ComparisonExpr.ComparisonExpr_1_0 returns VariableOrNodeExpr
     LatticeExpr returns VariableOrNodeExpr
     LatticeExpr.LatticeBinaryExpr_1_0 returns VariableOrNodeExpr
     AdditiveExpr returns VariableOrNodeExpr
     AdditiveExpr.ArithmeticBinaryExpr_1_0 returns VariableOrNodeExpr
     MultiplicativeExpr returns VariableOrNodeExpr
     MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns VariableOrNodeExpr
     ExponentialExpr returns VariableOrNodeExpr
     ExponentialExpr.ArithmeticBinaryExpr_1_0 returns VariableOrNodeExpr
     RangeExpr returns VariableOrNodeExpr
     RangeExpr.RangeExpr_1_0 returns VariableOrNodeExpr
     UnaryExpr returns VariableOrNodeExpr
     CastExpr returns VariableOrNodeExpr
     CastExpr.CastExpr_1_0 returns VariableOrNodeExpr
     CastExprBody returns VariableOrNodeExpr
     VariableOrNodeExpr returns VariableOrNodeExpr

 Constraint:
     element=[NamedElement|QualifiedName]
 

sequence_WildcardAssertionArgument

protected void sequence_WildcardAssertionArgument(org.eclipse.xtext.serializer.ISerializationContext context,
 WildcardAssertionArgument semanticObject)

 Contexts:
     AssertionArgument returns WildcardAssertionArgument
     WildcardAssertionArgument returns WildcardAssertionArgument

 Constraint:
     {WildcardAssertionArgument}