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
     
  • 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_AggregatorDeclaration(org.eclipse.xtext.serializer.ISerializationContext context, AggregatorDeclaration semanticObject)
    Contexts: Statement returns AggregatorDeclaration AggregatorDeclaration returns AggregatorDeclaration Constraint: name=Identifier
    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_ClassDeclaration(org.eclipse.xtext.serializer.ISerializationContext context, ClassDeclaration semanticObject)
    Contexts: Statement returns ClassDeclaration ClassDeclaration returns ClassDeclaration Constraint: ( abstract?='abstract'? name=Identifier (superTypes+=[Relation|QualifiedName] superTypes+=[Relation|QualifiedName]*)? featureDeclarations+=ReferenceDeclaration* )
    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_DatatypeDeclaration(org.eclipse.xtext.serializer.ISerializationContext context, DatatypeDeclaration semanticObject)
    Contexts: Statement returns DatatypeDeclaration DatatypeDeclaration returns DatatypeDeclaration Constraint: name=Identifier
    protected void
    sequence_EnumDeclaration(org.eclipse.xtext.serializer.ISerializationContext context, EnumDeclaration semanticObject)
    Contexts: Statement returns EnumDeclaration EnumDeclaration returns EnumDeclaration Constraint: (name=Identifier (literals+=EnumLiteral literals+=EnumLiteral*)?)
    protected void
    sequence_EnumLiteral(org.eclipse.xtext.serializer.ISerializationContext context, Node semanticObject)
    Contexts: EnumLiteral returns Node Constraint: 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_NodeDeclaration(org.eclipse.xtext.serializer.ISerializationContext context, NodeDeclaration semanticObject)
    Contexts: Statement returns NodeDeclaration NodeDeclaration returns NodeDeclaration Constraint: (kind=NodeKind? nodes+=EnumLiteral nodes+=EnumLiteral*)
    protected void
    sequence_Parameter(org.eclipse.xtext.serializer.ISerializationContext context, Parameter semanticObject)
    Contexts: Parameter returns Parameter Constraint: (parameterType=[Relation|QualifiedName]? binding=ParameterBinding? name=Identifier)
    protected void
    sequence_PredicateDefinition(org.eclipse.xtext.serializer.ISerializationContext context, PredicateDefinition semanticObject)
    Contexts: Statement returns PredicateDefinition PredicateDefinition returns PredicateDefinition Constraint: ( (kind=ErrorPredicateKind | kind=PredicateKind)? name=Identifier (parameters+=Parameter parameters+=Parameter*)? (superSets+=[ReferenceDeclaration|QualifiedName] superSets+=[ReferenceDeclaration|QualifiedName]*)? (bodies+=Conjunction bodies+=Conjunction*)? )
    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: ( (referenceType=[Relation|NonContainmentQualifiedName] | (kind=ReferenceKind referenceType=[Relation|QualifiedName])) multiplicity=ReferenceMultiplicity? name=Identifier ( opposite=[ReferenceDeclaration|QualifiedName]? (superSets+=[ReferenceDeclaration|QualifiedName] superSets+=[ReferenceDeclaration|QualifiedName]*)? )+ )
    protected void
    sequence_RuleDefinition(org.eclipse.xtext.serializer.ISerializationContext context, RuleDefinition semanticObject)
    Contexts: Statement returns RuleDefinition RuleDefinition returns RuleDefinition Constraint: ( kind=RuleKind? name=Identifier (parameters+=Parameter parameters+=Parameter*)? (preconditions+=Conjunction preconditions+=Conjunction*)? (consequents+=Consequent consequents+=Consequent*)? )
    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_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: variableOrNode=[VariableOrNode|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_AggregatorDeclaration

      protected void sequence_AggregatorDeclaration(org.eclipse.xtext.serializer.ISerializationContext context, AggregatorDeclaration semanticObject)
       Contexts:
           Statement returns AggregatorDeclaration
           AggregatorDeclaration returns AggregatorDeclaration
      
       Constraint:
           name=Identifier
       
    • 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_ClassDeclaration

      protected void sequence_ClassDeclaration(org.eclipse.xtext.serializer.ISerializationContext context, ClassDeclaration semanticObject)
       Contexts:
           Statement returns ClassDeclaration
           ClassDeclaration returns ClassDeclaration
      
       Constraint:
           (
               abstract?='abstract'? 
               name=Identifier 
               (superTypes+=[Relation|QualifiedName] superTypes+=[Relation|QualifiedName]*)? 
               featureDeclarations+=ReferenceDeclaration*
           )
       
    • 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_DatatypeDeclaration

      protected void sequence_DatatypeDeclaration(org.eclipse.xtext.serializer.ISerializationContext context, DatatypeDeclaration semanticObject)
       Contexts:
           Statement returns DatatypeDeclaration
           DatatypeDeclaration returns DatatypeDeclaration
      
       Constraint:
           name=Identifier
       
    • sequence_EnumDeclaration

      protected void sequence_EnumDeclaration(org.eclipse.xtext.serializer.ISerializationContext context, EnumDeclaration semanticObject)
       Contexts:
           Statement returns EnumDeclaration
           EnumDeclaration returns EnumDeclaration
      
       Constraint:
           (name=Identifier (literals+=EnumLiteral literals+=EnumLiteral*)?)
       
    • sequence_EnumLiteral

      protected void sequence_EnumLiteral(org.eclipse.xtext.serializer.ISerializationContext context, Node semanticObject)
       Contexts:
           EnumLiteral returns Node
      
       Constraint:
           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_NodeDeclaration

      protected void sequence_NodeDeclaration(org.eclipse.xtext.serializer.ISerializationContext context, NodeDeclaration semanticObject)
       Contexts:
           Statement returns NodeDeclaration
           NodeDeclaration returns NodeDeclaration
      
       Constraint:
           (kind=NodeKind? nodes+=EnumLiteral nodes+=EnumLiteral*)
       
    • sequence_Parameter

      protected void sequence_Parameter(org.eclipse.xtext.serializer.ISerializationContext context, Parameter semanticObject)
       Contexts:
           Parameter returns Parameter
      
       Constraint:
           (parameterType=[Relation|QualifiedName]? binding=ParameterBinding? name=Identifier)
       
    • sequence_PredicateDefinition

      protected void sequence_PredicateDefinition(org.eclipse.xtext.serializer.ISerializationContext context, PredicateDefinition semanticObject)
       Contexts:
           Statement returns PredicateDefinition
           PredicateDefinition returns PredicateDefinition
      
       Constraint:
           (
               (kind=ErrorPredicateKind | kind=PredicateKind)? 
               name=Identifier 
               (parameters+=Parameter parameters+=Parameter*)? 
               (superSets+=[ReferenceDeclaration|QualifiedName] superSets+=[ReferenceDeclaration|QualifiedName]*)? 
               (bodies+=Conjunction bodies+=Conjunction*)?
           )
       
    • 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:
           (
               (referenceType=[Relation|NonContainmentQualifiedName] | (kind=ReferenceKind referenceType=[Relation|QualifiedName])) 
               multiplicity=ReferenceMultiplicity? 
               name=Identifier 
               (
                   opposite=[ReferenceDeclaration|QualifiedName]? 
                   (superSets+=[ReferenceDeclaration|QualifiedName] superSets+=[ReferenceDeclaration|QualifiedName]*)?
               )+
           )
       
    • sequence_RuleDefinition

      protected void sequence_RuleDefinition(org.eclipse.xtext.serializer.ISerializationContext context, RuleDefinition semanticObject)
       Contexts:
           Statement returns RuleDefinition
           RuleDefinition returns RuleDefinition
      
       Constraint:
           (
               kind=RuleKind? 
               name=Identifier 
               (parameters+=Parameter parameters+=Parameter*)? 
               (preconditions+=Conjunction preconditions+=Conjunction*)? 
               (consequents+=Consequent consequents+=Consequent*)?
           )
       
    • 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_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:
           variableOrNode=[VariableOrNode|QualifiedName]
       
    • sequence_WildcardAssertionArgument

      protected void sequence_WildcardAssertionArgument(org.eclipse.xtext.serializer.ISerializationContext context, WildcardAssertionArgument semanticObject)
       Contexts:
           AssertionArgument returns WildcardAssertionArgument
           WildcardAssertionArgument returns WildcardAssertionArgument
      
       Constraint:
           {WildcardAssertionArgument}