Package org.palladiosimulator.simexp.dsl.smodel.serializer

Class SmodelSemanticSequencer

java.lang.Object
org.eclipse.xtext.serializer.sequencer.AbstractSemanticSequencer
org.eclipse.xtext.serializer.sequencer.AbstractDelegatingSemanticSequencer
org.palladiosimulator.simexp.dsl.smodel.serializer.SmodelSemanticSequencer
All Implemented Interfaces:
org.eclipse.xtext.serializer.sequencer.ISemanticSequencer
public class SmodelSemanticSequencer 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
    SmodelSemanticSequencer()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    sequence(org.eclipse.xtext.serializer.ISerializationContext context, EObject semanticObject)
     
    protected void
    sequence_Action(org.eclipse.xtext.serializer.ISerializationContext context, Action semanticObject)
    Contexts: Action returns Action Constraint: (name=ID arguments=ActionArguments)
    protected void
    sequence_ActionArguments(org.eclipse.xtext.serializer.ISerializationContext context, ActionArguments semanticObject)
    Contexts: ActionArguments returns ActionArguments Constraint: ((parameters+=Parameter parameters+=Parameter* optimizables+=Optimizable*) | (optimizables+=Optimizable optimizables+=Optimizable*))?
    protected void
    sequence_ActionCall(org.eclipse.xtext.serializer.ISerializationContext context, ActionCall semanticObject)
    Contexts: Statement returns ActionCall ActionCall returns ActionCall Constraint: (actionRef=[Action|ID] (arguments+=ParameterValue arguments+=ParameterValue*)?)
    protected void
    sequence_AdditiveExpr_ConjunctiveExpr_DisjunctiveExpr_EquativeExpr_MultiplicativeExpr_RelationalExpr_Term(org.eclipse.xtext.serializer.ISerializationContext context, Expression semanticObject)
    Contexts: DisjunctiveExpr returns Expression DisjunctiveExpr.Expression_1_0 returns Expression ConjunctiveExpr returns Expression ConjunctiveExpr.Expression_1_0 returns Expression EquativeExpr returns Expression EquativeExpr.Expression_1_0 returns Expression RelationalExpr returns Expression RelationalExpr.Expression_1_0 returns Expression AdditiveExpr returns Expression AdditiveExpr.Expression_1_0 returns Expression MultiplicativeExpr returns Expression MultiplicativeExpr.Expression_1_0 returns Expression UnaryExpr returns Expression Term returns Expression ParenthesizedExpr returns Expression Constraint: ( (left=DisjunctiveExpr_Expression_1_0 op=DisjunctiveOp right=ConjunctiveExpr) | (left=ConjunctiveExpr_Expression_1_0 op=ConjunctiveOp right=EquativeExpr) | (left=EquativeExpr_Expression_1_0 op=EquativeOp right=RelationalExpr) | (left=RelationalExpr_Expression_1_0 op=RelativeOp right=AdditiveExpr) | (left=AdditiveExpr_Expression_1_0 op=AdditiveOp right=MultiplicativeExpr) | (left=MultiplicativeExpr_Expression_1_0 op=MultiplicativeOp right=UnaryExpr) | fieldRef=[Field|ID] | literal=Literal )
    protected void
    sequence_BoolLiteral(org.eclipse.xtext.serializer.ISerializationContext context, BoolLiteral semanticObject)
    Contexts: Literal returns BoolLiteral BoolLiteral returns BoolLiteral Constraint: true=BOOL
    protected void
    sequence_Constant(org.eclipse.xtext.serializer.ISerializationContext context, Constant semanticObject)
    Contexts: Field returns Constant InternalField returns Constant Constant returns Constant Constraint: (dataType=PrimitiveType name=ID value=DisjunctiveExpr)
    protected void
    sequence_DoubleLiteral(org.eclipse.xtext.serializer.ISerializationContext context, DoubleLiteral semanticObject)
    Contexts: Literal returns DoubleLiteral DoubleLiteral returns DoubleLiteral Constraint: value=DOUBLE
    protected void
    sequence_EnvVariable(org.eclipse.xtext.serializer.ISerializationContext context, EnvVariable semanticObject)
    Contexts: Field returns EnvVariable ExternalField returns EnvVariable EnvVariable returns EnvVariable Constraint: (dataType=PrimitiveType name=ID variableId=STRING)
    protected void
    sequence_IfStatement(org.eclipse.xtext.serializer.ISerializationContext context, IfStatement semanticObject)
    Contexts: Statement returns IfStatement IfStatement returns IfStatement Constraint: (condition=DisjunctiveExpr thenStatements+=Statement* elseStatements+=Statement*)
    protected void
    sequence_IntLiteral(org.eclipse.xtext.serializer.ISerializationContext context, IntLiteral semanticObject)
    Contexts: Literal returns IntLiteral IntLiteral returns IntLiteral Constraint: value=INT
    protected void
    sequence_Optimizable(org.eclipse.xtext.serializer.ISerializationContext context, Optimizable semanticObject)
    Contexts: Field returns Optimizable ExternalField returns Optimizable Optimizable returns Optimizable Constraint: (dataType=PrimitiveType values=Bounds name=ID)
    protected void
    sequence_Parameter(org.eclipse.xtext.serializer.ISerializationContext context, Parameter semanticObject)
    Contexts: Parameter returns Parameter Constraint: (dataType=PrimitiveType name=ID)
    protected void
    sequence_ParameterValue(org.eclipse.xtext.serializer.ISerializationContext context, ParameterValue semanticObject)
    Contexts: ParameterValue returns ParameterValue Constraint: (paramRef=[Parameter|ID] argument=DisjunctiveExpr)
    protected void
    sequence_Probe(org.eclipse.xtext.serializer.ISerializationContext context, Probe semanticObject)
    Contexts: Field returns Probe ExternalField returns Probe Probe returns Probe Constraint: (dataType=PrimitiveType name=ID kind=ProbeAdressingKind identifier=STRING)
    protected void
    sequence_RangeBounds(org.eclipse.xtext.serializer.ISerializationContext context, RangeBounds semanticObject)
    Contexts: Bounds returns RangeBounds RangeBounds returns RangeBounds Constraint: (startValue=Literal endValue=Literal stepSize=Literal)
    protected void
    sequence_SetBounds(org.eclipse.xtext.serializer.ISerializationContext context, SetBounds semanticObject)
    Contexts: Bounds returns SetBounds SetBounds returns SetBounds Constraint: (values+=Literal values+=Literal*)
    protected void
    sequence_Smodel(org.eclipse.xtext.serializer.ISerializationContext context, Smodel semanticObject)
    Contexts: Smodel returns Smodel Constraint: ( modelName=STRING (constants+=Constant | variables+=Variable | optimizables+=Optimizable | envVariables+=EnvVariable | probes+=Probe)* actions+=Action* statements+=IfStatement* )
    protected void
    sequence_StringLiteral(org.eclipse.xtext.serializer.ISerializationContext context, StringLiteral semanticObject)
    Contexts: Literal returns StringLiteral StringLiteral returns StringLiteral Constraint: value=STRING
    protected void
    sequence_UnaryExpr(org.eclipse.xtext.serializer.ISerializationContext context, UnaryExpr semanticObject)
    Contexts: DisjunctiveExpr returns UnaryExpr DisjunctiveExpr.Expression_1_0 returns UnaryExpr ConjunctiveExpr returns UnaryExpr ConjunctiveExpr.Expression_1_0 returns UnaryExpr EquativeExpr returns UnaryExpr EquativeExpr.Expression_1_0 returns UnaryExpr RelationalExpr returns UnaryExpr RelationalExpr.Expression_1_0 returns UnaryExpr AdditiveExpr returns UnaryExpr AdditiveExpr.Expression_1_0 returns UnaryExpr MultiplicativeExpr returns UnaryExpr MultiplicativeExpr.Expression_1_0 returns UnaryExpr UnaryExpr returns UnaryExpr Term returns UnaryExpr ParenthesizedExpr returns UnaryExpr Constraint: (op=UnaryOp left=UnaryExpr)
    protected void
    sequence_Variable(org.eclipse.xtext.serializer.ISerializationContext context, Variable semanticObject)
    Contexts: Field returns Variable InternalField returns Variable Variable returns Variable Constraint: (dataType=PrimitiveType name=ID value=DisjunctiveExpr)
    protected void
    sequence_VariableAssignment(org.eclipse.xtext.serializer.ISerializationContext context, VariableAssignment semanticObject)
    Contexts: Statement returns VariableAssignment VariableAssignment returns VariableAssignment Constraint: (variableRef=[Variable|ID] value=DisjunctiveExpr)

    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

    • SmodelSemanticSequencer

      public SmodelSemanticSequencer()

  • Method Details

    • sequence

      public void sequence(org.eclipse.xtext.serializer.ISerializationContext context, EObject semanticObject)
      Overrides:
      sequence in class org.eclipse.xtext.serializer.sequencer.AbstractSemanticSequencer

    • sequence_ActionArguments

      protected void sequence_ActionArguments(org.eclipse.xtext.serializer.ISerializationContext context, ActionArguments semanticObject)
       Contexts:
     ActionArguments returns ActionArguments

 Constraint:
     ((parameters+=Parameter parameters+=Parameter* optimizables+=Optimizable*) | (optimizables+=Optimizable optimizables+=Optimizable*))?

    • sequence_ActionCall

      protected void sequence_ActionCall(org.eclipse.xtext.serializer.ISerializationContext context, ActionCall semanticObject)
       Contexts:
     Statement returns ActionCall
     ActionCall returns ActionCall

 Constraint:
     (actionRef=[Action|ID] (arguments+=ParameterValue arguments+=ParameterValue*)?)

    • sequence_Action

      protected void sequence_Action(org.eclipse.xtext.serializer.ISerializationContext context, Action semanticObject)
       Contexts:
     Action returns Action

 Constraint:
     (name=ID arguments=ActionArguments)

    • sequence_AdditiveExpr_ConjunctiveExpr_DisjunctiveExpr_EquativeExpr_MultiplicativeExpr_RelationalExpr_Term

      protected void sequence_AdditiveExpr_ConjunctiveExpr_DisjunctiveExpr_EquativeExpr_MultiplicativeExpr_RelationalExpr_Term(org.eclipse.xtext.serializer.ISerializationContext context, Expression semanticObject)
       Contexts:
     DisjunctiveExpr returns Expression
     DisjunctiveExpr.Expression_1_0 returns Expression
     ConjunctiveExpr returns Expression
     ConjunctiveExpr.Expression_1_0 returns Expression
     EquativeExpr returns Expression
     EquativeExpr.Expression_1_0 returns Expression
     RelationalExpr returns Expression
     RelationalExpr.Expression_1_0 returns Expression
     AdditiveExpr returns Expression
     AdditiveExpr.Expression_1_0 returns Expression
     MultiplicativeExpr returns Expression
     MultiplicativeExpr.Expression_1_0 returns Expression
     UnaryExpr returns Expression
     Term returns Expression
     ParenthesizedExpr returns Expression

 Constraint:
     (
         (left=DisjunctiveExpr_Expression_1_0 op=DisjunctiveOp right=ConjunctiveExpr) | 
         (left=ConjunctiveExpr_Expression_1_0 op=ConjunctiveOp right=EquativeExpr) | 
         (left=EquativeExpr_Expression_1_0 op=EquativeOp right=RelationalExpr) | 
         (left=RelationalExpr_Expression_1_0 op=RelativeOp right=AdditiveExpr) | 
         (left=AdditiveExpr_Expression_1_0 op=AdditiveOp right=MultiplicativeExpr) | 
         (left=MultiplicativeExpr_Expression_1_0 op=MultiplicativeOp right=UnaryExpr) | 
         fieldRef=[Field|ID] | 
         literal=Literal
     )

    • sequence_BoolLiteral

      protected void sequence_BoolLiteral(org.eclipse.xtext.serializer.ISerializationContext context, BoolLiteral semanticObject)
       Contexts:
     Literal returns BoolLiteral
     BoolLiteral returns BoolLiteral

 Constraint:
     true=BOOL

    • sequence_Constant

      protected void sequence_Constant(org.eclipse.xtext.serializer.ISerializationContext context, Constant semanticObject)
       Contexts:
     Field returns Constant
     InternalField returns Constant
     Constant returns Constant

 Constraint:
     (dataType=PrimitiveType name=ID value=DisjunctiveExpr)

    • sequence_DoubleLiteral

      protected void sequence_DoubleLiteral(org.eclipse.xtext.serializer.ISerializationContext context, DoubleLiteral semanticObject)
       Contexts:
     Literal returns DoubleLiteral
     DoubleLiteral returns DoubleLiteral

 Constraint:
     value=DOUBLE

    • sequence_EnvVariable

      protected void sequence_EnvVariable(org.eclipse.xtext.serializer.ISerializationContext context, EnvVariable semanticObject)
       Contexts:
     Field returns EnvVariable
     ExternalField returns EnvVariable
     EnvVariable returns EnvVariable

 Constraint:
     (dataType=PrimitiveType name=ID variableId=STRING)

    • sequence_IfStatement

      protected void sequence_IfStatement(org.eclipse.xtext.serializer.ISerializationContext context, IfStatement semanticObject)
       Contexts:
     Statement returns IfStatement
     IfStatement returns IfStatement

 Constraint:
     (condition=DisjunctiveExpr thenStatements+=Statement* elseStatements+=Statement*)

    • sequence_IntLiteral

      protected void sequence_IntLiteral(org.eclipse.xtext.serializer.ISerializationContext context, IntLiteral semanticObject)
       Contexts:
     Literal returns IntLiteral
     IntLiteral returns IntLiteral

 Constraint:
     value=INT

    • sequence_Optimizable

      protected void sequence_Optimizable(org.eclipse.xtext.serializer.ISerializationContext context, Optimizable semanticObject)
       Contexts:
     Field returns Optimizable
     ExternalField returns Optimizable
     Optimizable returns Optimizable

 Constraint:
     (dataType=PrimitiveType values=Bounds name=ID)

    • sequence_ParameterValue

      protected void sequence_ParameterValue(org.eclipse.xtext.serializer.ISerializationContext context, ParameterValue semanticObject)
       Contexts:
     ParameterValue returns ParameterValue

 Constraint:
     (paramRef=[Parameter|ID] argument=DisjunctiveExpr)

    • sequence_Parameter

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

 Constraint:
     (dataType=PrimitiveType name=ID)

    • sequence_Probe

      protected void sequence_Probe(org.eclipse.xtext.serializer.ISerializationContext context, Probe semanticObject)
       Contexts:
     Field returns Probe
     ExternalField returns Probe
     Probe returns Probe

 Constraint:
     (dataType=PrimitiveType name=ID kind=ProbeAdressingKind identifier=STRING)

    • sequence_RangeBounds

      protected void sequence_RangeBounds(org.eclipse.xtext.serializer.ISerializationContext context, RangeBounds semanticObject)
       Contexts:
     Bounds returns RangeBounds
     RangeBounds returns RangeBounds

 Constraint:
     (startValue=Literal endValue=Literal stepSize=Literal)

    • sequence_SetBounds

      protected void sequence_SetBounds(org.eclipse.xtext.serializer.ISerializationContext context, SetBounds semanticObject)
       Contexts:
     Bounds returns SetBounds
     SetBounds returns SetBounds

 Constraint:
     (values+=Literal values+=Literal*)

    • sequence_Smodel

      protected void sequence_Smodel(org.eclipse.xtext.serializer.ISerializationContext context, Smodel semanticObject)
       Contexts:
     Smodel returns Smodel

 Constraint:
     (
         modelName=STRING 
         (constants+=Constant | variables+=Variable | optimizables+=Optimizable | envVariables+=EnvVariable | probes+=Probe)* 
         actions+=Action* 
         statements+=IfStatement*
     )

    • sequence_StringLiteral

      protected void sequence_StringLiteral(org.eclipse.xtext.serializer.ISerializationContext context, StringLiteral semanticObject)
       Contexts:
     Literal returns StringLiteral
     StringLiteral returns StringLiteral

 Constraint:
     value=STRING

    • sequence_UnaryExpr

      protected void sequence_UnaryExpr(org.eclipse.xtext.serializer.ISerializationContext context, UnaryExpr semanticObject)
       Contexts:
     DisjunctiveExpr returns UnaryExpr
     DisjunctiveExpr.Expression_1_0 returns UnaryExpr
     ConjunctiveExpr returns UnaryExpr
     ConjunctiveExpr.Expression_1_0 returns UnaryExpr
     EquativeExpr returns UnaryExpr
     EquativeExpr.Expression_1_0 returns UnaryExpr
     RelationalExpr returns UnaryExpr
     RelationalExpr.Expression_1_0 returns UnaryExpr
     AdditiveExpr returns UnaryExpr
     AdditiveExpr.Expression_1_0 returns UnaryExpr
     MultiplicativeExpr returns UnaryExpr
     MultiplicativeExpr.Expression_1_0 returns UnaryExpr
     UnaryExpr returns UnaryExpr
     Term returns UnaryExpr
     ParenthesizedExpr returns UnaryExpr

 Constraint:
     (op=UnaryOp left=UnaryExpr)

    • sequence_VariableAssignment

      protected void sequence_VariableAssignment(org.eclipse.xtext.serializer.ISerializationContext context, VariableAssignment semanticObject)
       Contexts:
     Statement returns VariableAssignment
     VariableAssignment returns VariableAssignment

 Constraint:
     (variableRef=[Variable|ID] value=DisjunctiveExpr)

    • sequence_Variable

      protected void sequence_Variable(org.eclipse.xtext.serializer.ISerializationContext context, Variable semanticObject)
       Contexts:
     Field returns Variable
     InternalField returns Variable
     Variable returns Variable

 Constraint:
     (dataType=PrimitiveType name=ID value=DisjunctiveExpr)