Class PrologSyntacticSequencer

  • All Implemented Interfaces:
    org.eclipse.xtext.serializer.acceptor.ISemanticSequenceAcceptor, org.eclipse.xtext.serializer.sequencer.ISyntacticSequencer

    public class PrologSyntacticSequencer
    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
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      protected void emit_Expression_Primary_LeftParenthesisKeyword_0_0_a​(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) '!' (rule start) (rule start) (ambiguity) '+' expr=Expression_200_fy (rule start) (ambiguity) '-' expr=Expression_200_fy (rule start) (ambiguity) '[' ']' (rule start) (rule start) (ambiguity) '[' heads+=Expression_900_fy (rule start) (ambiguity) '\' expr=Expression_200_fy (rule start) (ambiguity) '\+' expr=Expression_900_fy (rule start) (ambiguity) 'fail' (rule start) (rule start) (ambiguity) 'false' (rule start) (rule start) (ambiguity) 'true' (rule start) (rule start) (ambiguity) value=Double (rule start) (ambiguity) value=INT (rule start) (ambiguity) value=PROLOG_ID (rule start) (ambiguity) value=PROLOG_STRING (rule start) (ambiguity) {As.left=} (rule start) (ambiguity) {BinaryAnd.left=} (rule start) (ambiguity) {BinaryOr.left=} (rule start) (ambiguity) {BitwiseShiftLeft.left=} (rule start) (ambiguity) {Condition.left=} (rule start) (ambiguity) {Disequality.left=} (rule start) (ambiguity) {Div.left=} (rule start) (ambiguity) {Division.left=} (rule start) (ambiguity) {EqualOrStandardOrderAfter.left=} (rule start) (ambiguity) {EqualOrStandardOrderBefore.left=} (rule start) (ambiguity) {Equivalence.left=} (rule start) (ambiguity) {GreaterOrEqual.left=} (rule start) (ambiguity) {GreaterThan.left=} (rule start) (ambiguity) {IntegerDivision.left=} (rule start) (ambiguity) {Is.left=} (rule start) (ambiguity) {LessOrEqual.left=} (rule start) (ambiguity) {LessThan.left=} (rule start) (ambiguity) {LogicalAnd.left=} (rule start) (ambiguity) {LogicalOr.left=} (rule start) (ambiguity) {Minus.left=} (rule start) (ambiguity) {Mod.left=} (rule start) (ambiguity) {ModuleCall.left=} (rule start) (ambiguity) {Multiplication.left=} (rule start) (ambiguity) {NonEqualNumber.left=} (rule start) (ambiguity) {NotUnifiable.left=} (rule start) (ambiguity) {NumberEqual.left=} (rule start) (ambiguity) {ParticalUnification.left=} (rule start) (ambiguity) {Plus.left=} (rule start) (ambiguity) {Power.left=} (rule start) (ambiguity) {Rdiv.left=} (rule start) (ambiguity) {Rem.left=} (rule start) (ambiguity) {SoftCut.left=} (rule start) (ambiguity) {StandardOrderAfter.left=} (rule start) (ambiguity) {StandardOrderBefore.left=} (rule start) (ambiguity) {StructuralEquivalence.left=} (rule start) (ambiguity) {StructuralEquivalenceNotProvable.left=} (rule start) (ambiguity) {SubDict.left=} (rule start) (ambiguity) {Unification.left=} (rule start) (ambiguity) {Univ.left=} (rule start) (ambiguity) {Xor.left=}
      protected void emit_Expression_Primary_LeftParenthesisKeyword_0_0_p​(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) '+' expr=Expression_200_fy (rule start) (ambiguity) '-' expr=Expression_200_fy (rule start) (ambiguity) '\' expr=Expression_200_fy (rule start) (ambiguity) '\+' expr=Expression_900_fy (rule start) (ambiguity) {As.left=} (rule start) (ambiguity) {BinaryAnd.left=} (rule start) (ambiguity) {BinaryOr.left=} (rule start) (ambiguity) {BitwiseShiftLeft.left=} (rule start) (ambiguity) {Condition.left=} (rule start) (ambiguity) {Disequality.left=} (rule start) (ambiguity) {Div.left=} (rule start) (ambiguity) {Division.left=} (rule start) (ambiguity) {EqualOrStandardOrderAfter.left=} (rule start) (ambiguity) {EqualOrStandardOrderBefore.left=} (rule start) (ambiguity) {Equivalence.left=} (rule start) (ambiguity) {GreaterOrEqual.left=} (rule start) (ambiguity) {GreaterThan.left=} (rule start) (ambiguity) {IntegerDivision.left=} (rule start) (ambiguity) {Is.left=} (rule start) (ambiguity) {LessOrEqual.left=} (rule start) (ambiguity) {LessThan.left=} (rule start) (ambiguity) {LogicalAnd.left=} (rule start) (ambiguity) {LogicalOr.left=} (rule start) (ambiguity) {Minus.left=} (rule start) (ambiguity) {Mod.left=} (rule start) (ambiguity) {ModuleCall.left=} (rule start) (ambiguity) {Multiplication.left=} (rule start) (ambiguity) {NonEqualNumber.left=} (rule start) (ambiguity) {NotUnifiable.left=} (rule start) (ambiguity) {NumberEqual.left=} (rule start) (ambiguity) {ParticalUnification.left=} (rule start) (ambiguity) {Plus.left=} (rule start) (ambiguity) {Power.left=} (rule start) (ambiguity) {Rdiv.left=} (rule start) (ambiguity) {Rem.left=} (rule start) (ambiguity) {SoftCut.left=} (rule start) (ambiguity) {StandardOrderAfter.left=} (rule start) (ambiguity) {StandardOrderBefore.left=} (rule start) (ambiguity) {StructuralEquivalence.left=} (rule start) (ambiguity) {StructuralEquivalenceNotProvable.left=} (rule start) (ambiguity) {SubDict.left=} (rule start) (ambiguity) {Unification.left=} (rule start) (ambiguity) {Univ.left=} (rule start) (ambiguity) {Xor.left=}
      protected void emitUnassignedTokens​(EObject semanticObject, org.eclipse.xtext.serializer.analysis.ISyntacticSequencerPDAProvider.ISynTransition transition, org.eclipse.xtext.nodemodel.INode fromNode, org.eclipse.xtext.nodemodel.INode toNode)  
      protected String getUnassignedRuleCallToken​(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
    • Field Detail

      • match_Expression_Primary_LeftParenthesisKeyword_0_0_a

        protected org.eclipse.xtext.serializer.analysis.GrammarAlias.AbstractElementAlias match_Expression_Primary_LeftParenthesisKeyword_0_0_a
      • match_Expression_Primary_LeftParenthesisKeyword_0_0_p

        protected org.eclipse.xtext.serializer.analysis.GrammarAlias.AbstractElementAlias match_Expression_Primary_LeftParenthesisKeyword_0_0_p
    • Constructor Detail

      • PrologSyntacticSequencer

        public PrologSyntacticSequencer()
    • Method Detail

      • init

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

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

        protected void emitUnassignedTokens​(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_Expression_Primary_LeftParenthesisKeyword_0_0_a

        protected void emit_Expression_Primary_LeftParenthesisKeyword_0_0_a​(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) '!' (rule start) (rule start) (ambiguity) '+' expr=Expression_200_fy (rule start) (ambiguity) '-' expr=Expression_200_fy (rule start) (ambiguity) '[' ']' (rule start) (rule start) (ambiguity) '[' heads+=Expression_900_fy (rule start) (ambiguity) '\' expr=Expression_200_fy (rule start) (ambiguity) '\+' expr=Expression_900_fy (rule start) (ambiguity) 'fail' (rule start) (rule start) (ambiguity) 'false' (rule start) (rule start) (ambiguity) 'true' (rule start) (rule start) (ambiguity) value=Double (rule start) (ambiguity) value=INT (rule start) (ambiguity) value=PROLOG_ID (rule start) (ambiguity) value=PROLOG_STRING (rule start) (ambiguity) {As.left=} (rule start) (ambiguity) {BinaryAnd.left=} (rule start) (ambiguity) {BinaryOr.left=} (rule start) (ambiguity) {BitwiseShiftLeft.left=} (rule start) (ambiguity) {Condition.left=} (rule start) (ambiguity) {Disequality.left=} (rule start) (ambiguity) {Div.left=} (rule start) (ambiguity) {Division.left=} (rule start) (ambiguity) {EqualOrStandardOrderAfter.left=} (rule start) (ambiguity) {EqualOrStandardOrderBefore.left=} (rule start) (ambiguity) {Equivalence.left=} (rule start) (ambiguity) {GreaterOrEqual.left=} (rule start) (ambiguity) {GreaterThan.left=} (rule start) (ambiguity) {IntegerDivision.left=} (rule start) (ambiguity) {Is.left=} (rule start) (ambiguity) {LessOrEqual.left=} (rule start) (ambiguity) {LessThan.left=} (rule start) (ambiguity) {LogicalAnd.left=} (rule start) (ambiguity) {LogicalOr.left=} (rule start) (ambiguity) {Minus.left=} (rule start) (ambiguity) {Mod.left=} (rule start) (ambiguity) {ModuleCall.left=} (rule start) (ambiguity) {Multiplication.left=} (rule start) (ambiguity) {NonEqualNumber.left=} (rule start) (ambiguity) {NotUnifiable.left=} (rule start) (ambiguity) {NumberEqual.left=} (rule start) (ambiguity) {ParticalUnification.left=} (rule start) (ambiguity) {Plus.left=} (rule start) (ambiguity) {Power.left=} (rule start) (ambiguity) {Rdiv.left=} (rule start) (ambiguity) {Rem.left=} (rule start) (ambiguity) {SoftCut.left=} (rule start) (ambiguity) {StandardOrderAfter.left=} (rule start) (ambiguity) {StandardOrderBefore.left=} (rule start) (ambiguity) {StructuralEquivalence.left=} (rule start) (ambiguity) {StructuralEquivalenceNotProvable.left=} (rule start) (ambiguity) {SubDict.left=} (rule start) (ambiguity) {Unification.left=} (rule start) (ambiguity) {Univ.left=} (rule start) (ambiguity) {Xor.left=}
      • emit_Expression_Primary_LeftParenthesisKeyword_0_0_p

        protected void emit_Expression_Primary_LeftParenthesisKeyword_0_0_p​(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) '+' expr=Expression_200_fy (rule start) (ambiguity) '-' expr=Expression_200_fy (rule start) (ambiguity) '\' expr=Expression_200_fy (rule start) (ambiguity) '\+' expr=Expression_900_fy (rule start) (ambiguity) {As.left=} (rule start) (ambiguity) {BinaryAnd.left=} (rule start) (ambiguity) {BinaryOr.left=} (rule start) (ambiguity) {BitwiseShiftLeft.left=} (rule start) (ambiguity) {Condition.left=} (rule start) (ambiguity) {Disequality.left=} (rule start) (ambiguity) {Div.left=} (rule start) (ambiguity) {Division.left=} (rule start) (ambiguity) {EqualOrStandardOrderAfter.left=} (rule start) (ambiguity) {EqualOrStandardOrderBefore.left=} (rule start) (ambiguity) {Equivalence.left=} (rule start) (ambiguity) {GreaterOrEqual.left=} (rule start) (ambiguity) {GreaterThan.left=} (rule start) (ambiguity) {IntegerDivision.left=} (rule start) (ambiguity) {Is.left=} (rule start) (ambiguity) {LessOrEqual.left=} (rule start) (ambiguity) {LessThan.left=} (rule start) (ambiguity) {LogicalAnd.left=} (rule start) (ambiguity) {LogicalOr.left=} (rule start) (ambiguity) {Minus.left=} (rule start) (ambiguity) {Mod.left=} (rule start) (ambiguity) {ModuleCall.left=} (rule start) (ambiguity) {Multiplication.left=} (rule start) (ambiguity) {NonEqualNumber.left=} (rule start) (ambiguity) {NotUnifiable.left=} (rule start) (ambiguity) {NumberEqual.left=} (rule start) (ambiguity) {ParticalUnification.left=} (rule start) (ambiguity) {Plus.left=} (rule start) (ambiguity) {Power.left=} (rule start) (ambiguity) {Rdiv.left=} (rule start) (ambiguity) {Rem.left=} (rule start) (ambiguity) {SoftCut.left=} (rule start) (ambiguity) {StandardOrderAfter.left=} (rule start) (ambiguity) {StandardOrderBefore.left=} (rule start) (ambiguity) {StructuralEquivalence.left=} (rule start) (ambiguity) {StructuralEquivalenceNotProvable.left=} (rule start) (ambiguity) {SubDict.left=} (rule start) (ambiguity) {Unification.left=} (rule start) (ambiguity) {Univ.left=} (rule start) (ambiguity) {Xor.left=}