Package tools.refinery.language.serializer

Class ProblemSyntacticSequencer

java.lang.Object
org.eclipse.xtext.serializer.sequencer.AbstractSyntacticSequencer
tools.refinery.language.serializer.ProblemSyntacticSequencer
All Implemented Interfaces:
org.eclipse.xtext.serializer.acceptor.ISemanticSequenceAcceptor, org.eclipse.xtext.serializer.sequencer.ISyntacticSequencer
public class ProblemSyntacticSequencer extends org.eclipse.xtext.serializer.sequencer.AbstractSyntacticSequencer

  • Nested Class Summary

    Nested classes/interfaces inherited from class org.eclipse.xtext.serializer.sequencer.AbstractSyntacticSequencer

    org.eclipse.xtext.serializer.sequencer.AbstractSyntacticSequencer.SyntacticalContext

    Nested classes/interfaces inherited from interface org.eclipse.xtext.serializer.sequencer.ISyntacticSequencer

    org.eclipse.xtext.serializer.sequencer.ISyntacticSequencer.ISyntacticSequencerOwner

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    protected ProblemGrammarAccess
    grammarAccess
     
    protected org.eclipse.xtext.serializer.analysis.GrammarAlias.AbstractElementAlias
    match_AnnotatedStatement___CommaKeyword_1_1_3_0_1_2_0_or_SemicolonKeyword_1_1_3_0_1_2_1__q
     
    protected org.eclipse.xtext.serializer.analysis.GrammarAlias.AbstractElementAlias
    match_AnnotatedStatement_DeclareKeyword_1_7_1_1_0_q
     
    protected org.eclipse.xtext.serializer.analysis.GrammarAlias.AbstractElementAlias
    match_AnnotatedStatement_FullStopKeyword_1_0_5_1_or___LeftCurlyBracketKeyword_1_0_5_0_0_RightCurlyBracketKeyword_1_0_5_0_2__
     
    protected org.eclipse.xtext.serializer.analysis.GrammarAlias.AbstractElementAlias
    match_AnnotatedStatement_FullStopKeyword_1_1_3_1_or___LeftCurlyBracketKeyword_1_1_3_0_0_RightCurlyBracketKeyword_1_1_3_0_2__
     
    protected org.eclipse.xtext.serializer.analysis.GrammarAlias.AbstractElementAlias
    match_AnnotatedStatement_SemicolonKeyword_1_0_5_0_1_1_q
     
    protected org.eclipse.xtext.serializer.analysis.GrammarAlias.AbstractElementAlias
    match_Annotation___LeftParenthesisKeyword_2_0_RightParenthesisKeyword_2_2__q
     
    protected org.eclipse.xtext.serializer.analysis.GrammarAlias.AbstractElementAlias
    match_CastExprBody_LeftParenthesisKeyword_3_0_a
     
    protected org.eclipse.xtext.serializer.analysis.GrammarAlias.AbstractElementAlias
    match_CastExprBody_LeftParenthesisKeyword_3_0_p
     

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

    contexts, delegate, diagnosticProvider, errorAcceptor, pdaProvider, tokenUtil

    Fields inherited from interface org.eclipse.xtext.serializer.acceptor.ISemanticSequenceAcceptor

    NO_INDEX

  • Constructor Summary

    Constructors
    Constructor
    Description
    ProblemSyntacticSequencer()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    protected void
    emit_AnnotatedStatement___CommaKeyword_1_1_3_0_1_2_0_or_SemicolonKeyword_1_1_3_0_1_2_1__q(org.eclipse.emf.ecore.EObject semanticObject, org.eclipse.xtext.serializer.analysis.ISyntacticSequencerPDAProvider.ISynNavigable transition, List<org.eclipse.xtext.nodemodel.INode> nodes)
    Ambiguous syntax: (',' | ';')? This ambiguous syntax occurs at: literals+=EnumLiteral (ambiguity) '}' (rule end)
    protected void
    emit_AnnotatedStatement_DeclareKeyword_1_7_1_1_0_q(org.eclipse.emf.ecore.EObject semanticObject, org.eclipse.xtext.serializer.analysis.ISyntacticSequencerPDAProvider.ISynNavigable transition, List<org.eclipse.xtext.nodemodel.INode> nodes)
    Ambiguous syntax: 'declare'? This ambiguous syntax occurs at: {NodeDeclaration.annotations=} (ambiguity) kind=NodeKind
    protected void
    emit_AnnotatedStatement_FullStopKeyword_1_0_5_1_or___LeftCurlyBracketKeyword_1_0_5_0_0_RightCurlyBracketKeyword_1_0_5_0_2__(org.eclipse.emf.ecore.EObject semanticObject, org.eclipse.xtext.serializer.analysis.ISyntacticSequencerPDAProvider.ISynNavigable transition, List<org.eclipse.xtext.nodemodel.INode> nodes)
    Ambiguous syntax: ('{' '}') | '.' This ambiguous syntax occurs at: name=Identifier (ambiguity) (rule end) superTypes+=[Relation|QualifiedName] (ambiguity) (rule end)
    protected void
    emit_AnnotatedStatement_FullStopKeyword_1_1_3_1_or___LeftCurlyBracketKeyword_1_1_3_0_0_RightCurlyBracketKeyword_1_1_3_0_2__(org.eclipse.emf.ecore.EObject semanticObject, org.eclipse.xtext.serializer.analysis.ISyntacticSequencerPDAProvider.ISynNavigable transition, List<org.eclipse.xtext.nodemodel.INode> nodes)
    Ambiguous syntax: ('{' '}') | '.' This ambiguous syntax occurs at: name=Identifier (ambiguity) (rule end)
    protected void
    emit_AnnotatedStatement_SemicolonKeyword_1_0_5_0_1_1_q(org.eclipse.emf.ecore.EObject semanticObject, org.eclipse.xtext.serializer.analysis.ISyntacticSequencerPDAProvider.ISynNavigable transition, List<org.eclipse.xtext.nodemodel.INode> nodes)
    Ambiguous syntax: ';'? This ambiguous syntax occurs at: featureDeclarations+=ReferenceDeclaration (ambiguity) '}' (rule end) featureDeclarations+=ReferenceDeclaration (ambiguity) featureDeclarations+=ReferenceDeclaration
    protected void
    emit_Annotation___LeftParenthesisKeyword_2_0_RightParenthesisKeyword_2_2__q(org.eclipse.emf.ecore.EObject semanticObject, org.eclipse.xtext.serializer.analysis.ISyntacticSequencerPDAProvider.ISynNavigable transition, List<org.eclipse.xtext.nodemodel.INode> nodes)
    Ambiguous syntax: ('(' ')')? This ambiguous syntax occurs at: declaration=[AnnotationDeclaration|QualifiedName] (ambiguity) (rule end)
    protected void
    emit_CastExprBody_LeftParenthesisKeyword_3_0_a(org.eclipse.emf.ecore.EObject semanticObject, org.eclipse.xtext.serializer.analysis.ISyntacticSequencerPDAProvider.ISynNavigable transition, List<org.eclipse.xtext.nodemodel.INode> nodes)
    Ambiguous syntax: '('* This ambiguous syntax occurs at: (rule start) (ambiguity) '!' body=UnaryExpr (rule start) (ambiguity) '*' (rule start) (rule start) (ambiguity) 'count' body=UnaryExpr (rule start) (ambiguity) aggregator=[AggregatorDeclaration|QualifiedName] (rule start) (ambiguity) concreteness=Concreteness (rule start) (ambiguity) element=[NamedElement|QualifiedName] (rule start) (ambiguity) intValue=INT (rule start) (ambiguity) logicValue=LogicValue (rule start) (ambiguity) modality=Modality (rule start) (ambiguity) op=UnaryOp (rule start) (ambiguity) realValue=Real (rule start) (ambiguity) relation=[Relation|QualifiedName] (rule start) (ambiguity) stringValue=STRING (rule start) (ambiguity) {ArithmeticBinaryExpr.left=} (rule start) (ambiguity) {AssignmentExpr.left=} (rule start) (ambiguity) {CastExpr.body=} (rule start) (ambiguity) {ComparisonExpr.left=} (rule start) (ambiguity) {LatticeBinaryExpr.left=} (rule start) (ambiguity) {RangeExpr.left=}
    protected void
    emit_CastExprBody_LeftParenthesisKeyword_3_0_p(org.eclipse.emf.ecore.EObject semanticObject, org.eclipse.xtext.serializer.analysis.ISyntacticSequencerPDAProvider.ISynNavigable transition, List<org.eclipse.xtext.nodemodel.INode> nodes)
    Ambiguous syntax: '('+ This ambiguous syntax occurs at: (rule start) (ambiguity) '!' body=UnaryExpr (rule start) (ambiguity) 'count' body=UnaryExpr (rule start) (ambiguity) aggregator=[AggregatorDeclaration|QualifiedName] (rule start) (ambiguity) concreteness=Concreteness (rule start) (ambiguity) modality=Modality (rule start) (ambiguity) op=UnaryOp (rule start) (ambiguity) {ArithmeticBinaryExpr.left=} (rule start) (ambiguity) {AssignmentExpr.left=} (rule start) (ambiguity) {CastExpr.body=} (rule start) (ambiguity) {ComparisonExpr.left=} (rule start) (ambiguity) {LatticeBinaryExpr.left=} (rule start) (ambiguity) {RangeExpr.left=}
    protected void
    emitUnassignedTokens(org.eclipse.emf.ecore.EObject semanticObject, org.eclipse.xtext.serializer.analysis.ISyntacticSequencerPDAProvider.ISynTransition transition, org.eclipse.xtext.nodemodel.INode fromNode, org.eclipse.xtext.nodemodel.INode toNode)
     
    protected String
    getTRANSITIVE_CLOSUREToken(org.eclipse.emf.ecore.EObject semanticObject, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.nodemodel.INode node)
    Synthetic terminal rule.
    protected String
    getUnassignedRuleCallToken(org.eclipse.emf.ecore.EObject semanticObject, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.nodemodel.INode node)
     
    protected void
    init(org.eclipse.xtext.IGrammarAccess access)
     

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

    accept, accept, acceptAssignedCrossRefDatatype, acceptAssignedCrossRefEnum, acceptAssignedCrossRefKeyword, acceptAssignedCrossRefTerminal, acceptAssignedDatatype, acceptAssignedEnum, acceptAssignedKeyword, acceptAssignedTerminal, acceptNode, acceptNodes, acceptNodes, acceptUnassignedAction, acceptUnassignedDatatype, acceptUnassignedEnum, acceptUnassignedKeyword, acceptUnassignedTerminal, collectAbstractElements, collectNodes, enterAssignedAction, enterAssignedParserRuleCall, findTransition, finish, getLastLeaf, getLastNavigableState, getNodesFor, getTokenText, getUnassignedRuleCallToken, init, init, leaveAssignedAction, leaveAssignedParserRuleCall, navigateToAbsorber, navigateToAbsorber, navigateToEmitter, navigateToEmitter

    Methods inherited from class java.lang.Object

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

  • Field Details

    • grammarAccess

      protected ProblemGrammarAccess grammarAccess

    • match_AnnotatedStatement_DeclareKeyword_1_7_1_1_0_q

      protected org.eclipse.xtext.serializer.analysis.GrammarAlias.AbstractElementAlias match_AnnotatedStatement_DeclareKeyword_1_7_1_1_0_q

    • match_AnnotatedStatement_FullStopKeyword_1_0_5_1_or___LeftCurlyBracketKeyword_1_0_5_0_0_RightCurlyBracketKeyword_1_0_5_0_2__

      protected org.eclipse.xtext.serializer.analysis.GrammarAlias.AbstractElementAlias match_AnnotatedStatement_FullStopKeyword_1_0_5_1_or___LeftCurlyBracketKeyword_1_0_5_0_0_RightCurlyBracketKeyword_1_0_5_0_2__

    • match_AnnotatedStatement_FullStopKeyword_1_1_3_1_or___LeftCurlyBracketKeyword_1_1_3_0_0_RightCurlyBracketKeyword_1_1_3_0_2__

      protected org.eclipse.xtext.serializer.analysis.GrammarAlias.AbstractElementAlias match_AnnotatedStatement_FullStopKeyword_1_1_3_1_or___LeftCurlyBracketKeyword_1_1_3_0_0_RightCurlyBracketKeyword_1_1_3_0_2__

    • match_AnnotatedStatement_SemicolonKeyword_1_0_5_0_1_1_q

      protected org.eclipse.xtext.serializer.analysis.GrammarAlias.AbstractElementAlias match_AnnotatedStatement_SemicolonKeyword_1_0_5_0_1_1_q

    • match_AnnotatedStatement___CommaKeyword_1_1_3_0_1_2_0_or_SemicolonKeyword_1_1_3_0_1_2_1__q

      protected org.eclipse.xtext.serializer.analysis.GrammarAlias.AbstractElementAlias match_AnnotatedStatement___CommaKeyword_1_1_3_0_1_2_0_or_SemicolonKeyword_1_1_3_0_1_2_1__q

    • match_Annotation___LeftParenthesisKeyword_2_0_RightParenthesisKeyword_2_2__q

      protected org.eclipse.xtext.serializer.analysis.GrammarAlias.AbstractElementAlias match_Annotation___LeftParenthesisKeyword_2_0_RightParenthesisKeyword_2_2__q

    • match_CastExprBody_LeftParenthesisKeyword_3_0_a

      protected org.eclipse.xtext.serializer.analysis.GrammarAlias.AbstractElementAlias match_CastExprBody_LeftParenthesisKeyword_3_0_a

    • match_CastExprBody_LeftParenthesisKeyword_3_0_p

      protected org.eclipse.xtext.serializer.analysis.GrammarAlias.AbstractElementAlias match_CastExprBody_LeftParenthesisKeyword_3_0_p

  • Constructor Details

    • ProblemSyntacticSequencer

      public ProblemSyntacticSequencer()

  • Method Details

    • init

      @Inject protected void init(org.eclipse.xtext.IGrammarAccess access)

    • getUnassignedRuleCallToken

      protected String getUnassignedRuleCallToken(org.eclipse.emf.ecore.EObject semanticObject, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.nodemodel.INode node)
      Overrides:
      getUnassignedRuleCallToken in class org.eclipse.xtext.serializer.sequencer.AbstractSyntacticSequencer

    • getTRANSITIVE_CLOSUREToken

      protected String getTRANSITIVE_CLOSUREToken(org.eclipse.emf.ecore.EObject semanticObject, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.nodemodel.INode node)
      Synthetic terminal rule. The concrete syntax is to be specified by clients. Defaults to the empty string.

    • emitUnassignedTokens

      protected void emitUnassignedTokens(org.eclipse.emf.ecore.EObject semanticObject, org.eclipse.xtext.serializer.analysis.ISyntacticSequencerPDAProvider.ISynTransition transition, org.eclipse.xtext.nodemodel.INode fromNode, org.eclipse.xtext.nodemodel.INode toNode)
      Specified by:
      emitUnassignedTokens in class org.eclipse.xtext.serializer.sequencer.AbstractSyntacticSequencer

    • emit_AnnotatedStatement_DeclareKeyword_1_7_1_1_0_q

      protected void emit_AnnotatedStatement_DeclareKeyword_1_7_1_1_0_q(org.eclipse.emf.ecore.EObject semanticObject, org.eclipse.xtext.serializer.analysis.ISyntacticSequencerPDAProvider.ISynNavigable transition, List<org.eclipse.xtext.nodemodel.INode> nodes)
       Ambiguous syntax:
     'declare'?

 This ambiguous syntax occurs at:
     {NodeDeclaration.annotations=} (ambiguity) kind=NodeKind

    • emit_AnnotatedStatement_FullStopKeyword_1_0_5_1_or___LeftCurlyBracketKeyword_1_0_5_0_0_RightCurlyBracketKeyword_1_0_5_0_2__

      protected void emit_AnnotatedStatement_FullStopKeyword_1_0_5_1_or___LeftCurlyBracketKeyword_1_0_5_0_0_RightCurlyBracketKeyword_1_0_5_0_2__(org.eclipse.emf.ecore.EObject semanticObject, org.eclipse.xtext.serializer.analysis.ISyntacticSequencerPDAProvider.ISynNavigable transition, List<org.eclipse.xtext.nodemodel.INode> nodes)
       Ambiguous syntax:
     ('{' '}') | '.'

 This ambiguous syntax occurs at:
     name=Identifier (ambiguity) (rule end)
     superTypes+=[Relation|QualifiedName] (ambiguity) (rule end)

    • emit_AnnotatedStatement_FullStopKeyword_1_1_3_1_or___LeftCurlyBracketKeyword_1_1_3_0_0_RightCurlyBracketKeyword_1_1_3_0_2__

      protected void emit_AnnotatedStatement_FullStopKeyword_1_1_3_1_or___LeftCurlyBracketKeyword_1_1_3_0_0_RightCurlyBracketKeyword_1_1_3_0_2__(org.eclipse.emf.ecore.EObject semanticObject, org.eclipse.xtext.serializer.analysis.ISyntacticSequencerPDAProvider.ISynNavigable transition, List<org.eclipse.xtext.nodemodel.INode> nodes)
       Ambiguous syntax:
     ('{' '}') | '.'

 This ambiguous syntax occurs at:
     name=Identifier (ambiguity) (rule end)

    • emit_AnnotatedStatement_SemicolonKeyword_1_0_5_0_1_1_q

      protected void emit_AnnotatedStatement_SemicolonKeyword_1_0_5_0_1_1_q(org.eclipse.emf.ecore.EObject semanticObject, org.eclipse.xtext.serializer.analysis.ISyntacticSequencerPDAProvider.ISynNavigable transition, List<org.eclipse.xtext.nodemodel.INode> nodes)
       Ambiguous syntax:
     ';'?

 This ambiguous syntax occurs at:
     featureDeclarations+=ReferenceDeclaration (ambiguity) '}' (rule end)
     featureDeclarations+=ReferenceDeclaration (ambiguity) featureDeclarations+=ReferenceDeclaration

    • emit_AnnotatedStatement___CommaKeyword_1_1_3_0_1_2_0_or_SemicolonKeyword_1_1_3_0_1_2_1__q

      protected void emit_AnnotatedStatement___CommaKeyword_1_1_3_0_1_2_0_or_SemicolonKeyword_1_1_3_0_1_2_1__q(org.eclipse.emf.ecore.EObject semanticObject, org.eclipse.xtext.serializer.analysis.ISyntacticSequencerPDAProvider.ISynNavigable transition, List<org.eclipse.xtext.nodemodel.INode> nodes)
       Ambiguous syntax:
     (',' | ';')?

 This ambiguous syntax occurs at:
     literals+=EnumLiteral (ambiguity) '}' (rule end)

    • emit_Annotation___LeftParenthesisKeyword_2_0_RightParenthesisKeyword_2_2__q

      protected void emit_Annotation___LeftParenthesisKeyword_2_0_RightParenthesisKeyword_2_2__q(org.eclipse.emf.ecore.EObject semanticObject, org.eclipse.xtext.serializer.analysis.ISyntacticSequencerPDAProvider.ISynNavigable transition, List<org.eclipse.xtext.nodemodel.INode> nodes)
       Ambiguous syntax:
     ('(' ')')?

 This ambiguous syntax occurs at:
     declaration=[AnnotationDeclaration|QualifiedName] (ambiguity) (rule end)

    • emit_CastExprBody_LeftParenthesisKeyword_3_0_a

      protected void emit_CastExprBody_LeftParenthesisKeyword_3_0_a(org.eclipse.emf.ecore.EObject semanticObject, org.eclipse.xtext.serializer.analysis.ISyntacticSequencerPDAProvider.ISynNavigable transition, List<org.eclipse.xtext.nodemodel.INode> nodes)
       Ambiguous syntax:
     '('*

 This ambiguous syntax occurs at:
     (rule start) (ambiguity) '!' body=UnaryExpr
     (rule start) (ambiguity) '*' (rule start)
     (rule start) (ambiguity) 'count' body=UnaryExpr
     (rule start) (ambiguity) aggregator=[AggregatorDeclaration|QualifiedName]
     (rule start) (ambiguity) concreteness=Concreteness
     (rule start) (ambiguity) element=[NamedElement|QualifiedName]
     (rule start) (ambiguity) intValue=INT
     (rule start) (ambiguity) logicValue=LogicValue
     (rule start) (ambiguity) modality=Modality
     (rule start) (ambiguity) op=UnaryOp
     (rule start) (ambiguity) realValue=Real
     (rule start) (ambiguity) relation=[Relation|QualifiedName]
     (rule start) (ambiguity) stringValue=STRING
     (rule start) (ambiguity) {ArithmeticBinaryExpr.left=}
     (rule start) (ambiguity) {AssignmentExpr.left=}
     (rule start) (ambiguity) {CastExpr.body=}
     (rule start) (ambiguity) {ComparisonExpr.left=}
     (rule start) (ambiguity) {LatticeBinaryExpr.left=}
     (rule start) (ambiguity) {RangeExpr.left=}

    • emit_CastExprBody_LeftParenthesisKeyword_3_0_p

      protected void emit_CastExprBody_LeftParenthesisKeyword_3_0_p(org.eclipse.emf.ecore.EObject semanticObject, org.eclipse.xtext.serializer.analysis.ISyntacticSequencerPDAProvider.ISynNavigable transition, List<org.eclipse.xtext.nodemodel.INode> nodes)
       Ambiguous syntax:
     '('+

 This ambiguous syntax occurs at:
     (rule start) (ambiguity) '!' body=UnaryExpr
     (rule start) (ambiguity) 'count' body=UnaryExpr
     (rule start) (ambiguity) aggregator=[AggregatorDeclaration|QualifiedName]
     (rule start) (ambiguity) concreteness=Concreteness
     (rule start) (ambiguity) modality=Modality
     (rule start) (ambiguity) op=UnaryOp
     (rule start) (ambiguity) {ArithmeticBinaryExpr.left=}
     (rule start) (ambiguity) {AssignmentExpr.left=}
     (rule start) (ambiguity) {CastExpr.body=}
     (rule start) (ambiguity) {ComparisonExpr.left=}
     (rule start) (ambiguity) {LatticeBinaryExpr.left=}
     (rule start) (ambiguity) {RangeExpr.left=}