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_CastExprBody_LeftParenthesisKeyword_3_0_a
     
    protected org.eclipse.xtext.serializer.analysis.GrammarAlias.AbstractElementAlias
    match_CastExprBody_LeftParenthesisKeyword_3_0_p
     
    protected org.eclipse.xtext.serializer.analysis.GrammarAlias.AbstractElementAlias
    match_ClassDeclaration_FullStopKeyword_4_1_or___LeftCurlyBracketKeyword_4_0_0_RightCurlyBracketKeyword_4_0_2__
     
    protected org.eclipse.xtext.serializer.analysis.GrammarAlias.AbstractElementAlias
    match_ClassDeclaration_SemicolonKeyword_4_0_1_1_q
     
    protected org.eclipse.xtext.serializer.analysis.GrammarAlias.AbstractElementAlias
    match_EnumDeclaration___CommaKeyword_2_0_1_2_0_or_SemicolonKeyword_2_0_1_2_1__q
     
    protected org.eclipse.xtext.serializer.analysis.GrammarAlias.AbstractElementAlias
    match_EnumDeclaration_FullStopKeyword_2_1_or___LeftCurlyBracketKeyword_2_0_0_RightCurlyBracketKeyword_2_0_2__
     
    protected org.eclipse.xtext.serializer.analysis.GrammarAlias.AbstractElementAlias
    match_NodeDeclaration_DeclareKeyword_0_1_0_q
     
    protected org.eclipse.xtext.serializer.analysis.GrammarAlias.AbstractElementAlias
    match_PredicateDefinition_PredKeyword_1_1_1_q
     

    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_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) 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) variableOrNode=[VariableOrNode|QualifiedName] (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
    emit_ClassDeclaration_FullStopKeyword_4_1_or___LeftCurlyBracketKeyword_4_0_0_RightCurlyBracketKeyword_4_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_ClassDeclaration_SemicolonKeyword_4_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_EnumDeclaration___CommaKeyword_2_0_1_2_0_or_SemicolonKeyword_2_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_EnumDeclaration_FullStopKeyword_2_1_or___LeftCurlyBracketKeyword_2_0_0_RightCurlyBracketKeyword_2_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_NodeDeclaration_DeclareKeyword_0_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: (rule start) (ambiguity) kind=NodeKind
    protected void
    emit_PredicateDefinition_PredKeyword_1_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: 'pred'? This ambiguous syntax occurs at: error?='error' (ambiguity) name=Identifier
    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_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

    • match_ClassDeclaration_FullStopKeyword_4_1_or___LeftCurlyBracketKeyword_4_0_0_RightCurlyBracketKeyword_4_0_2__

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

    • match_ClassDeclaration_SemicolonKeyword_4_0_1_1_q

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

    • match_EnumDeclaration_FullStopKeyword_2_1_or___LeftCurlyBracketKeyword_2_0_0_RightCurlyBracketKeyword_2_0_2__

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

    • match_EnumDeclaration___CommaKeyword_2_0_1_2_0_or_SemicolonKeyword_2_0_1_2_1__q

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

    • match_NodeDeclaration_DeclareKeyword_0_1_0_q

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

    • match_PredicateDefinition_PredKeyword_1_1_1_q

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

  • 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_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) 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) variableOrNode=[VariableOrNode|QualifiedName]
     (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=}

    • emit_ClassDeclaration_FullStopKeyword_4_1_or___LeftCurlyBracketKeyword_4_0_0_RightCurlyBracketKeyword_4_0_2__

      protected void emit_ClassDeclaration_FullStopKeyword_4_1_or___LeftCurlyBracketKeyword_4_0_0_RightCurlyBracketKeyword_4_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_ClassDeclaration_SemicolonKeyword_4_0_1_1_q

      protected void emit_ClassDeclaration_SemicolonKeyword_4_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_EnumDeclaration_FullStopKeyword_2_1_or___LeftCurlyBracketKeyword_2_0_0_RightCurlyBracketKeyword_2_0_2__

      protected void emit_EnumDeclaration_FullStopKeyword_2_1_or___LeftCurlyBracketKeyword_2_0_0_RightCurlyBracketKeyword_2_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_EnumDeclaration___CommaKeyword_2_0_1_2_0_or_SemicolonKeyword_2_0_1_2_1__q

      protected void emit_EnumDeclaration___CommaKeyword_2_0_1_2_0_or_SemicolonKeyword_2_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_NodeDeclaration_DeclareKeyword_0_1_0_q

      protected void emit_NodeDeclaration_DeclareKeyword_0_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:
     (rule start) (ambiguity) kind=NodeKind

    • emit_PredicateDefinition_PredKeyword_1_1_1_q

      protected void emit_PredicateDefinition_PredKeyword_1_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:
     'pred'?

 This ambiguous syntax occurs at:
     error?='error' (ambiguity) name=Identifier