Package org.eclipse.xsemantics.dsl.serializer

Class XsemanticsSemanticSequencer

  • All Implemented Interfaces:
    org.eclipse.xtext.serializer.sequencer.ISemanticSequencer
    public class XsemanticsSemanticSequencer
extends org.eclipse.xtext.xbase.annotations.serializer.XbaseWithAnnotationsSemanticSequencer

    • Field Summary

      • Fields inherited from class org.eclipse.xtext.xbase.serializer.XbaseSemanticSequencer

        OPERATOR_NOT_SUPPORTED

      • 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

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void sequence​(org.eclipse.xtext.serializer.ISerializationContext context, org.eclipse.emf.ecore.EObject semanticObject)  
      protected void sequence_AbstractFieldDefinition​(org.eclipse.xtext.serializer.ISerializationContext context, FieldDefinition semanticObject)
      Contexts: AbstractFieldDefinition returns FieldDefinition Constraint: ( annotations+=XAnnotation* writeable?='var'? ((extension?='extension' type=JvmTypeReference) | type=JvmTypeReference)? name=ValidID right=XExpression? )
      protected void sequence_AbstractFieldDefinition​(org.eclipse.xtext.serializer.ISerializationContext context, Injected semanticObject)
      Contexts: AbstractFieldDefinition returns Injected Constraint: (extension?='extension'? type=JvmTypeReference name=ValidID)
      protected void sequence_AuxiliaryDescription​(org.eclipse.xtext.serializer.ISerializationContext context, AuxiliaryDescription semanticObject)
      Contexts: AuxiliaryDescription returns AuxiliaryDescription Constraint: ( override?='override'? name=ID (parameters+=FullJvmFormalParameter parameters+=FullJvmFormalParameter*)? type=JvmTypeReference? cachedClause=CachedClauseForAuxiliary? error=ErrorSpecification? )
      protected void sequence_AuxiliaryFunction​(org.eclipse.xtext.serializer.ISerializationContext context, AuxiliaryFunction semanticObject)
      Contexts: AuxiliaryFunction returns AuxiliaryFunction Constraint: (name=ID (parameters+=FullJvmFormalParameter parameters+=FullJvmFormalParameter*)? body=XExpression)
      protected void sequence_Axiom​(org.eclipse.xtext.serializer.ISerializationContext context, Axiom semanticObject)
      Contexts: Rule returns Axiom Axiom returns Axiom Constraint: (override?='override'? name=ID conclusion=RuleConclusion)
      protected void sequence_CachedClauseForAuxiliary​(org.eclipse.xtext.serializer.ISerializationContext context, CachedClause semanticObject)
      Contexts: CachedClauseForAuxiliary returns CachedClause Constraint: condition=XExpression?
      protected void sequence_CachedClauseForJudgment​(org.eclipse.xtext.serializer.ISerializationContext context, CachedClause semanticObject)
      Contexts: CachedClauseForJudgment returns CachedClause Constraint: (entryPointsOption=EntryPointsOption? condition=XExpression?)
      protected void sequence_CheckRule​(org.eclipse.xtext.serializer.ISerializationContext context, CheckRule semanticObject)
      Contexts: CheckRule returns CheckRule Constraint: (override?='override'? name=ID element=RuleParameter premises=XBlockExpression)
      protected void sequence_Environment​(org.eclipse.xtext.serializer.ISerializationContext context, Environment semanticObject)
      Contexts: Environment returns Environment Constraint: name=ID
      protected void sequence_EnvironmentMapping​(org.eclipse.xtext.serializer.ISerializationContext context, EnvironmentMapping semanticObject)
      Contexts: EnvironmentSpecification returns EnvironmentMapping EnvironmentSpecification.EnvironmentComposition_1_0_0 returns EnvironmentMapping TerminalEnvironmentSpecification returns EnvironmentMapping EnvironmentMapping returns EnvironmentMapping Constraint: (key=EnvironmentMapping_EnvironmentMapping_1_0_0 value=XExpression)
      protected void sequence_EnvironmentSpecification​(org.eclipse.xtext.serializer.ISerializationContext context, EnvironmentComposition semanticObject)
      Contexts: EnvironmentSpecification returns EnvironmentComposition EnvironmentSpecification.EnvironmentComposition_1_0_0 returns EnvironmentComposition Constraint: (currentEnvironment=EnvironmentSpecification_EnvironmentComposition_1_0_0 subEnvironment=EnvironmentSpecification)
      protected void sequence_ErrorSpecification​(org.eclipse.xtext.serializer.ISerializationContext context, ErrorSpecification semanticObject)
      Contexts: ErrorSpecification returns ErrorSpecification Constraint: (error=XExpression (source=XExpression | feature=XExpression | data=XExpression)*)
      protected void sequence_ExpressionInConclusion​(org.eclipse.xtext.serializer.ISerializationContext context, ExpressionInConclusion semanticObject)
      Contexts: RuleConclusionElement returns ExpressionInConclusion ExpressionInConclusion returns ExpressionInConclusion Constraint: expression=XExpression
      protected void sequence_JudgmentDescription​(org.eclipse.xtext.serializer.ISerializationContext context, JudgmentDescription semanticObject)
      Contexts: JudgmentDescription returns JudgmentDescription Constraint: ( override?='override'? name=ID judgmentSymbol=JudgmentSymbol judgmentParameters+=JudgmentParameter (relationSymbols+=RelationSymbol judgmentParameters+=JudgmentParameter)* cachedClause=CachedClauseForJudgment? error=ErrorSpecification? )
      protected void sequence_JudgmentParameter​(org.eclipse.xtext.serializer.ISerializationContext context, InputParameter semanticObject)
      Contexts: JudgmentParameter returns InputParameter Constraint: parameter=FullJvmFormalParameter
      protected void sequence_JudgmentParameter​(org.eclipse.xtext.serializer.ISerializationContext context, OutputParameter semanticObject)
      Contexts: JudgmentParameter returns OutputParameter Constraint: jvmTypeReference=JvmTypeReference
      protected void sequence_PremiseExpression​(org.eclipse.xtext.serializer.ISerializationContext context, OrExpression semanticObject)
      Contexts: XExpressionOrVarDeclaration returns OrExpression PremiseExpression returns OrExpression PremiseExpression.OrExpression_1_0_0 returns OrExpression Constraint: (branches+=PremiseExpression_OrExpression_1_0_0 branches+=XExpressionOrVarDeclaration)
      protected void sequence_RuleConclusion​(org.eclipse.xtext.serializer.ISerializationContext context, RuleConclusion semanticObject)
      Contexts: RuleConclusion returns RuleConclusion Constraint: ( environment=Environment judgmentSymbol=JudgmentSymbol conclusionElements+=RuleConclusionElement (relationSymbols+=RelationSymbol conclusionElements+=RuleConclusionElement)* error=ErrorSpecification? )
      protected void sequence_RuleInvocation​(org.eclipse.xtext.serializer.ISerializationContext context, RuleInvocation semanticObject)
      Contexts: XExpressionOrVarDeclaration returns RuleInvocation PremiseExpression returns RuleInvocation PremiseExpression.OrExpression_1_0_0 returns RuleInvocation TerminalPremiseExpression returns RuleInvocation RuleInvocation returns RuleInvocation Constraint: ( environment=EnvironmentSpecification judgmentSymbol=JudgmentSymbol expressions+=RuleInvocationExpression (relationSymbols+=RelationSymbol expressions+=RuleInvocationExpression)* )
      protected void sequence_RuleParameter​(org.eclipse.xtext.serializer.ISerializationContext context, RuleParameter semanticObject)
      Contexts: RuleConclusionElement returns RuleParameter RuleParameter returns RuleParameter Constraint: parameter=FullJvmFormalParameter
      protected void sequence_RuleWithPremises​(org.eclipse.xtext.serializer.ISerializationContext context, RuleWithPremises semanticObject)
      Contexts: Rule returns RuleWithPremises RuleWithPremises returns RuleWithPremises Constraint: (override?='override'? name=ID conclusion=RuleConclusion premises=XBlockExpression)
      protected void sequence_TerminalEnvironmentMapping​(org.eclipse.xtext.serializer.ISerializationContext context, EmptyEnvironment semanticObject)
      Contexts: EnvironmentSpecification returns EmptyEnvironment EnvironmentSpecification.EnvironmentComposition_1_0_0 returns EmptyEnvironment TerminalEnvironmentSpecification returns EmptyEnvironment EnvironmentMapping returns EmptyEnvironment EnvironmentMapping.EnvironmentMapping_1_0_0 returns EmptyEnvironment TerminalEnvironmentMapping returns EmptyEnvironment Constraint: {EmptyEnvironment}
      protected void sequence_TerminalPremiseExpression​(org.eclipse.xtext.serializer.ISerializationContext context, Fail semanticObject)
      Contexts: XExpressionOrVarDeclaration returns Fail PremiseExpression returns Fail PremiseExpression.OrExpression_1_0_0 returns Fail TerminalPremiseExpression returns Fail Constraint: error=ErrorSpecification?
      protected void sequence_XsemanticsFile​(org.eclipse.xtext.serializer.ISerializationContext context, XsemanticsFile semanticObject)
      Contexts: XsemanticsFile returns XsemanticsFile Constraint: ((importSection=XImportSection xsemanticsSystem=XsemanticsSystem) | xsemanticsSystem=XsemanticsSystem)?
      protected void sequence_XsemanticsSystem​(org.eclipse.xtext.serializer.ISerializationContext context, XsemanticsSystem semanticObject)
      Contexts: XsemanticsSystem returns XsemanticsSystem Constraint: ( name=QualifiedName superSystem=JvmParameterizedTypeReference? copyright=STRING? validatorExtends=JvmParameterizedTypeReference? importSection=XImportSection? fields+=AbstractFieldDefinition* auxiliaryDescriptions+=AuxiliaryDescription* judgmentDescriptions+=JudgmentDescription* auxiliaryFunctions+=AuxiliaryFunction* rules+=Rule* checkrules+=CheckRule* )

      • Methods inherited from class org.eclipse.xtext.xbase.annotations.serializer.AbstractXbaseWithAnnotationsSemanticSequencer

        sequence_XAnnotation, sequence_XAnnotation, sequence_XAnnotationElementValue_XListLiteral, sequence_XAnnotationElementValue_XListLiteral, sequence_XAnnotationElementValueOrCommaList_XListLiteral, sequence_XAnnotationElementValueOrCommaList_XListLiteral, sequence_XAnnotationElementValuePair, sequence_XAnnotationElementValuePair

      • Methods inherited from class org.eclipse.xtext.xbase.serializer.XbaseSemanticSequencer

        getValidOperator, isBuilderSyntax, isBuilderSyntax, isXShortClosure, isXShortClosure, isXShortClosureAndBuilderSyntax, sequence_XAdditiveExpression, sequence_XAdditiveExpression_XAndExpression_XAssignment_XEqualityExpression_XMultiplicativeExpression_XOrExpression_XOtherOperatorExpression_XRelationalExpression, sequence_XAssignment, sequence_XConstructorCall, sequence_XExpression, sequence_XFeatureCall, sequence_XMemberFeatureCall

      • Methods inherited from class org.eclipse.xtext.xbase.serializer.AbstractXbaseSemanticSequencer

        sequence_FullJvmFormalParameter, sequence_FullJvmFormalParameter, sequence_JvmFormalParameter, sequence_JvmFormalParameter, sequence_XAdditiveExpression_XAndExpression_XAssignment_XEqualityExpression_XMultiplicativeExpression_XOrExpression_XOtherOperatorExpression_XRelationalExpression, sequence_XAssignment_XMemberFeatureCall, sequence_XAssignment_XMemberFeatureCall, sequence_XBasicForLoopExpression, sequence_XBasicForLoopExpression, sequence_XBlockExpression, sequence_XBlockExpression, sequence_XBooleanLiteral, sequence_XBooleanLiteral, sequence_XCasePart, sequence_XCasePart, sequence_XCastedExpression, sequence_XCastedExpression, sequence_XCatchClause, sequence_XCatchClause, sequence_XClosure, sequence_XClosure, sequence_XConstructorCall, sequence_XDoWhileExpression, sequence_XDoWhileExpression, sequence_XExpressionInClosure, sequence_XExpressionInClosure, sequence_XFeatureCall, sequence_XForLoopExpression, sequence_XForLoopExpression, sequence_XIfExpression, sequence_XIfExpression, sequence_XListLiteral, sequence_XListLiteral, sequence_XMemberFeatureCall, sequence_XNullLiteral, sequence_XNullLiteral, sequence_XNumberLiteral, sequence_XNumberLiteral, sequence_XPostfixOperation, sequence_XPostfixOperation, sequence_XRelationalExpression, sequence_XRelationalExpression, sequence_XReturnExpression, sequence_XReturnExpression, sequence_XSetLiteral, sequence_XSetLiteral, sequence_XShortClosure, sequence_XShortClosure, sequence_XStringLiteral, sequence_XStringLiteral, sequence_XSwitchExpression, sequence_XSwitchExpression, sequence_XSynchronizedExpression, sequence_XSynchronizedExpression, sequence_XThrowExpression, sequence_XThrowExpression, sequence_XTryCatchFinallyExpression, sequence_XTryCatchFinallyExpression, sequence_XTypeLiteral, sequence_XTypeLiteral, sequence_XUnaryOperation, sequence_XUnaryOperation, sequence_XVariableDeclaration, sequence_XVariableDeclaration, sequence_XWhileExpression, sequence_XWhileExpression

      • Methods inherited from class org.eclipse.xtext.xbase.serializer.AbstractXtypeSemanticSequencer

        sequence_JvmLowerBound, sequence_JvmLowerBound, sequence_JvmLowerBoundAnded, sequence_JvmLowerBoundAnded, sequence_JvmParameterizedTypeReference, sequence_JvmParameterizedTypeReference, sequence_JvmParameterizedTypeReference, sequence_JvmParameterizedTypeReference, sequence_JvmParameterizedTypeReference_JvmInnerTypeReference_1_4_0_0_0, sequence_JvmParameterizedTypeReference_JvmInnerTypeReference_1_4_0_0_0, sequence_JvmTypeParameter, sequence_JvmTypeParameter, sequence_JvmTypeReference, sequence_JvmTypeReference, sequence_JvmUpperBound, sequence_JvmUpperBound, sequence_JvmUpperBoundAnded, sequence_JvmUpperBoundAnded, sequence_JvmWildcardTypeReference, sequence_JvmWildcardTypeReference, sequence_XFunctionTypeRef, sequence_XFunctionTypeRef, sequence_XImportDeclaration, sequence_XImportDeclaration, sequence_XImportSection, sequence_XImportSection

      • 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 Detail

      • XsemanticsSemanticSequencer

        public XsemanticsSemanticSequencer()

    • Method Detail

      • sequence

        public void sequence​(org.eclipse.xtext.serializer.ISerializationContext context,
                     org.eclipse.emf.ecore.EObject semanticObject)
        Overrides:
        sequence in class org.eclipse.xtext.xbase.annotations.serializer.AbstractXbaseWithAnnotationsSemanticSequencer

      • sequence_AbstractFieldDefinition

        protected void sequence_AbstractFieldDefinition​(org.eclipse.xtext.serializer.ISerializationContext context,
                                                FieldDefinition semanticObject)
         Contexts:
     AbstractFieldDefinition returns FieldDefinition

 Constraint:
     (
         annotations+=XAnnotation* 
         writeable?='var'? 
         ((extension?='extension' type=JvmTypeReference) | type=JvmTypeReference)? 
         name=ValidID 
         right=XExpression?
     )

      • sequence_AbstractFieldDefinition

        protected void sequence_AbstractFieldDefinition​(org.eclipse.xtext.serializer.ISerializationContext context,
                                                Injected semanticObject)
         Contexts:
     AbstractFieldDefinition returns Injected

 Constraint:
     (extension?='extension'? type=JvmTypeReference name=ValidID)

      • sequence_AuxiliaryDescription

        protected void sequence_AuxiliaryDescription​(org.eclipse.xtext.serializer.ISerializationContext context,
                                             AuxiliaryDescription semanticObject)
         Contexts:
     AuxiliaryDescription returns AuxiliaryDescription

 Constraint:
     (
         override?='override'? 
         name=ID 
         (parameters+=FullJvmFormalParameter parameters+=FullJvmFormalParameter*)? 
         type=JvmTypeReference? 
         cachedClause=CachedClauseForAuxiliary? 
         error=ErrorSpecification?
     )

      • sequence_AuxiliaryFunction

        protected void sequence_AuxiliaryFunction​(org.eclipse.xtext.serializer.ISerializationContext context,
                                          AuxiliaryFunction semanticObject)
         Contexts:
     AuxiliaryFunction returns AuxiliaryFunction

 Constraint:
     (name=ID (parameters+=FullJvmFormalParameter parameters+=FullJvmFormalParameter*)? body=XExpression)

      • sequence_Axiom

        protected void sequence_Axiom​(org.eclipse.xtext.serializer.ISerializationContext context,
                              Axiom semanticObject)
         Contexts:
     Rule returns Axiom
     Axiom returns Axiom

 Constraint:
     (override?='override'? name=ID conclusion=RuleConclusion)

      • sequence_CachedClauseForAuxiliary

        protected void sequence_CachedClauseForAuxiliary​(org.eclipse.xtext.serializer.ISerializationContext context,
                                                 CachedClause semanticObject)
         Contexts:
     CachedClauseForAuxiliary returns CachedClause

 Constraint:
     condition=XExpression?

      • sequence_CachedClauseForJudgment

        protected void sequence_CachedClauseForJudgment​(org.eclipse.xtext.serializer.ISerializationContext context,
                                                CachedClause semanticObject)
         Contexts:
     CachedClauseForJudgment returns CachedClause

 Constraint:
     (entryPointsOption=EntryPointsOption? condition=XExpression?)

      • sequence_CheckRule

        protected void sequence_CheckRule​(org.eclipse.xtext.serializer.ISerializationContext context,
                                  CheckRule semanticObject)
         Contexts:
     CheckRule returns CheckRule

 Constraint:
     (override?='override'? name=ID element=RuleParameter premises=XBlockExpression)

      • sequence_EnvironmentMapping

        protected void sequence_EnvironmentMapping​(org.eclipse.xtext.serializer.ISerializationContext context,
                                           EnvironmentMapping semanticObject)
         Contexts:
     EnvironmentSpecification returns EnvironmentMapping
     EnvironmentSpecification.EnvironmentComposition_1_0_0 returns EnvironmentMapping
     TerminalEnvironmentSpecification returns EnvironmentMapping
     EnvironmentMapping returns EnvironmentMapping

 Constraint:
     (key=EnvironmentMapping_EnvironmentMapping_1_0_0 value=XExpression)

      • sequence_EnvironmentSpecification

        protected void sequence_EnvironmentSpecification​(org.eclipse.xtext.serializer.ISerializationContext context,
                                                 EnvironmentComposition semanticObject)
         Contexts:
     EnvironmentSpecification returns EnvironmentComposition
     EnvironmentSpecification.EnvironmentComposition_1_0_0 returns EnvironmentComposition

 Constraint:
     (currentEnvironment=EnvironmentSpecification_EnvironmentComposition_1_0_0 subEnvironment=EnvironmentSpecification)

      • sequence_Environment

        protected void sequence_Environment​(org.eclipse.xtext.serializer.ISerializationContext context,
                                    Environment semanticObject)
         Contexts:
     Environment returns Environment

 Constraint:
     name=ID

      • sequence_ErrorSpecification

        protected void sequence_ErrorSpecification​(org.eclipse.xtext.serializer.ISerializationContext context,
                                           ErrorSpecification semanticObject)
         Contexts:
     ErrorSpecification returns ErrorSpecification

 Constraint:
     (error=XExpression (source=XExpression | feature=XExpression | data=XExpression)*)

      • sequence_ExpressionInConclusion

        protected void sequence_ExpressionInConclusion​(org.eclipse.xtext.serializer.ISerializationContext context,
                                               ExpressionInConclusion semanticObject)
         Contexts:
     RuleConclusionElement returns ExpressionInConclusion
     ExpressionInConclusion returns ExpressionInConclusion

 Constraint:
     expression=XExpression

      • sequence_JudgmentDescription

        protected void sequence_JudgmentDescription​(org.eclipse.xtext.serializer.ISerializationContext context,
                                            JudgmentDescription semanticObject)
         Contexts:
     JudgmentDescription returns JudgmentDescription

 Constraint:
     (
         override?='override'? 
         name=ID 
         judgmentSymbol=JudgmentSymbol 
         judgmentParameters+=JudgmentParameter 
         (relationSymbols+=RelationSymbol judgmentParameters+=JudgmentParameter)* 
         cachedClause=CachedClauseForJudgment? 
         error=ErrorSpecification?
     )

      • sequence_JudgmentParameter

        protected void sequence_JudgmentParameter​(org.eclipse.xtext.serializer.ISerializationContext context,
                                          InputParameter semanticObject)
         Contexts:
     JudgmentParameter returns InputParameter

 Constraint:
     parameter=FullJvmFormalParameter

      • sequence_JudgmentParameter

        protected void sequence_JudgmentParameter​(org.eclipse.xtext.serializer.ISerializationContext context,
                                          OutputParameter semanticObject)
         Contexts:
     JudgmentParameter returns OutputParameter

 Constraint:
     jvmTypeReference=JvmTypeReference

      • sequence_PremiseExpression

        protected void sequence_PremiseExpression​(org.eclipse.xtext.serializer.ISerializationContext context,
                                          OrExpression semanticObject)
         Contexts:
     XExpressionOrVarDeclaration returns OrExpression
     PremiseExpression returns OrExpression
     PremiseExpression.OrExpression_1_0_0 returns OrExpression

 Constraint:
     (branches+=PremiseExpression_OrExpression_1_0_0 branches+=XExpressionOrVarDeclaration)

      • sequence_RuleConclusion

        protected void sequence_RuleConclusion​(org.eclipse.xtext.serializer.ISerializationContext context,
                                       RuleConclusion semanticObject)
         Contexts:
     RuleConclusion returns RuleConclusion

 Constraint:
     (
         environment=Environment 
         judgmentSymbol=JudgmentSymbol 
         conclusionElements+=RuleConclusionElement 
         (relationSymbols+=RelationSymbol conclusionElements+=RuleConclusionElement)* 
         error=ErrorSpecification?
     )

      • sequence_RuleInvocation

        protected void sequence_RuleInvocation​(org.eclipse.xtext.serializer.ISerializationContext context,
                                       RuleInvocation semanticObject)
         Contexts:
     XExpressionOrVarDeclaration returns RuleInvocation
     PremiseExpression returns RuleInvocation
     PremiseExpression.OrExpression_1_0_0 returns RuleInvocation
     TerminalPremiseExpression returns RuleInvocation
     RuleInvocation returns RuleInvocation

 Constraint:
     (
         environment=EnvironmentSpecification 
         judgmentSymbol=JudgmentSymbol 
         expressions+=RuleInvocationExpression 
         (relationSymbols+=RelationSymbol expressions+=RuleInvocationExpression)*
     )

      • sequence_RuleParameter

        protected void sequence_RuleParameter​(org.eclipse.xtext.serializer.ISerializationContext context,
                                      RuleParameter semanticObject)
         Contexts:
     RuleConclusionElement returns RuleParameter
     RuleParameter returns RuleParameter

 Constraint:
     parameter=FullJvmFormalParameter

      • sequence_RuleWithPremises

        protected void sequence_RuleWithPremises​(org.eclipse.xtext.serializer.ISerializationContext context,
                                         RuleWithPremises semanticObject)
         Contexts:
     Rule returns RuleWithPremises
     RuleWithPremises returns RuleWithPremises

 Constraint:
     (override?='override'? name=ID conclusion=RuleConclusion premises=XBlockExpression)

      • sequence_TerminalEnvironmentMapping

        protected void sequence_TerminalEnvironmentMapping​(org.eclipse.xtext.serializer.ISerializationContext context,
                                                   EmptyEnvironment semanticObject)
         Contexts:
     EnvironmentSpecification returns EmptyEnvironment
     EnvironmentSpecification.EnvironmentComposition_1_0_0 returns EmptyEnvironment
     TerminalEnvironmentSpecification returns EmptyEnvironment
     EnvironmentMapping returns EmptyEnvironment
     EnvironmentMapping.EnvironmentMapping_1_0_0 returns EmptyEnvironment
     TerminalEnvironmentMapping returns EmptyEnvironment

 Constraint:
     {EmptyEnvironment}

      • sequence_TerminalPremiseExpression

        protected void sequence_TerminalPremiseExpression​(org.eclipse.xtext.serializer.ISerializationContext context,
                                                  Fail semanticObject)
         Contexts:
     XExpressionOrVarDeclaration returns Fail
     PremiseExpression returns Fail
     PremiseExpression.OrExpression_1_0_0 returns Fail
     TerminalPremiseExpression returns Fail

 Constraint:
     error=ErrorSpecification?

      • sequence_XsemanticsFile

        protected void sequence_XsemanticsFile​(org.eclipse.xtext.serializer.ISerializationContext context,
                                       XsemanticsFile semanticObject)
         Contexts:
     XsemanticsFile returns XsemanticsFile

 Constraint:
     ((importSection=XImportSection xsemanticsSystem=XsemanticsSystem) | xsemanticsSystem=XsemanticsSystem)?

      • sequence_XsemanticsSystem

        protected void sequence_XsemanticsSystem​(org.eclipse.xtext.serializer.ISerializationContext context,
                                         XsemanticsSystem semanticObject)
         Contexts:
     XsemanticsSystem returns XsemanticsSystem

 Constraint:
     (
         name=QualifiedName 
         superSystem=JvmParameterizedTypeReference? 
         copyright=STRING? 
         validatorExtends=JvmParameterizedTypeReference? 
         importSection=XImportSection? 
         fields+=AbstractFieldDefinition* 
         auxiliaryDescriptions+=AuxiliaryDescription* 
         judgmentDescriptions+=JudgmentDescription* 
         auxiliaryFunctions+=AuxiliaryFunction* 
         rules+=Rule* 
         checkrules+=CheckRule*
     )