aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSyntacticSequencer.java
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSyntacticSequencer.java')
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSyntacticSequencer.java151
1 files changed, 151 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSyntacticSequencer.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSyntacticSequencer.java
new file mode 100644
index 00000000..5c1a720e
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSyntacticSequencer.java
@@ -0,0 +1,151 @@
1/*
2 * generated by Xtext 2.12.0
3 */
4package ca.mcgill.ecse.dslreasoner.serializer;
5
6import ca.mcgill.ecse.dslreasoner.services.VampireLanguageGrammarAccess;
7import com.google.inject.Inject;
8import java.util.List;
9import org.eclipse.emf.ecore.EObject;
10import org.eclipse.xtext.IGrammarAccess;
11import org.eclipse.xtext.RuleCall;
12import org.eclipse.xtext.nodemodel.INode;
13import org.eclipse.xtext.serializer.analysis.GrammarAlias.AbstractElementAlias;
14import org.eclipse.xtext.serializer.analysis.GrammarAlias.TokenAlias;
15import org.eclipse.xtext.serializer.analysis.ISyntacticSequencerPDAProvider.ISynNavigable;
16import org.eclipse.xtext.serializer.analysis.ISyntacticSequencerPDAProvider.ISynTransition;
17import org.eclipse.xtext.serializer.sequencer.AbstractSyntacticSequencer;
18
19@SuppressWarnings("all")
20public class VampireLanguageSyntacticSequencer extends AbstractSyntacticSequencer {
21
22 protected VampireLanguageGrammarAccess grammarAccess;
23 protected AbstractElementAlias match_VLSAnnotation_LeftSquareBracketKeyword_0_q;
24 protected AbstractElementAlias match_VLSAnnotation_RightSquareBracketKeyword_3_q;
25 protected AbstractElementAlias match_VLSUnitaryFormula_LeftParenthesisKeyword_4_0_a;
26 protected AbstractElementAlias match_VLSUnitaryFormula_LeftParenthesisKeyword_4_0_p;
27
28 @Inject
29 protected void init(IGrammarAccess access) {
30 grammarAccess = (VampireLanguageGrammarAccess) access;
31 match_VLSAnnotation_LeftSquareBracketKeyword_0_q = new TokenAlias(false, true, grammarAccess.getVLSAnnotationAccess().getLeftSquareBracketKeyword_0());
32 match_VLSAnnotation_RightSquareBracketKeyword_3_q = new TokenAlias(false, true, grammarAccess.getVLSAnnotationAccess().getRightSquareBracketKeyword_3());
33 match_VLSUnitaryFormula_LeftParenthesisKeyword_4_0_a = new TokenAlias(true, true, grammarAccess.getVLSUnitaryFormulaAccess().getLeftParenthesisKeyword_4_0());
34 match_VLSUnitaryFormula_LeftParenthesisKeyword_4_0_p = new TokenAlias(true, false, grammarAccess.getVLSUnitaryFormulaAccess().getLeftParenthesisKeyword_4_0());
35 }
36
37 @Override
38 protected String getUnassignedRuleCallToken(EObject semanticObject, RuleCall ruleCall, INode node) {
39 return "";
40 }
41
42
43 @Override
44 protected void emitUnassignedTokens(EObject semanticObject, ISynTransition transition, INode fromNode, INode toNode) {
45 if (transition.getAmbiguousSyntaxes().isEmpty()) return;
46 List<INode> transitionNodes = collectNodes(fromNode, toNode);
47 for (AbstractElementAlias syntax : transition.getAmbiguousSyntaxes()) {
48 List<INode> syntaxNodes = getNodesFor(transitionNodes, syntax);
49 if (match_VLSAnnotation_LeftSquareBracketKeyword_0_q.equals(syntax))
50 emit_VLSAnnotation_LeftSquareBracketKeyword_0_q(semanticObject, getLastNavigableState(), syntaxNodes);
51 else if (match_VLSAnnotation_RightSquareBracketKeyword_3_q.equals(syntax))
52 emit_VLSAnnotation_RightSquareBracketKeyword_3_q(semanticObject, getLastNavigableState(), syntaxNodes);
53 else if (match_VLSUnitaryFormula_LeftParenthesisKeyword_4_0_a.equals(syntax))
54 emit_VLSUnitaryFormula_LeftParenthesisKeyword_4_0_a(semanticObject, getLastNavigableState(), syntaxNodes);
55 else if (match_VLSUnitaryFormula_LeftParenthesisKeyword_4_0_p.equals(syntax))
56 emit_VLSUnitaryFormula_LeftParenthesisKeyword_4_0_p(semanticObject, getLastNavigableState(), syntaxNodes);
57 else acceptNodes(getLastNavigableState(), syntaxNodes);
58 }
59 }
60
61 /**
62 * Ambiguous syntax:
63 * '['?
64 *
65 * This ambiguous syntax occurs at:
66 * (rule start) (ambiguity) '(' followup=VLSAnnotationTerms
67 * (rule start) (ambiguity) ']'? (rule start)
68 * (rule start) (ambiguity) name=LOWER_WORD_ID
69 * (rule start) (ambiguity) name=SINGLE_QUOTE
70 * (rule start) (ambiguity) name=VLSRole
71 */
72 protected void emit_VLSAnnotation_LeftSquareBracketKeyword_0_q(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
73 acceptNodes(transition, nodes);
74 }
75
76 /**
77 * Ambiguous syntax:
78 * ']'?
79 *
80 * This ambiguous syntax occurs at:
81 * (rule start) '['? (ambiguity) (rule start)
82 * followup=VLSAnnotationTerms ')' (ambiguity) (rule end)
83 * name=LOWER_WORD_ID (ambiguity) (rule end)
84 * name=SINGLE_QUOTE (ambiguity) (rule end)
85 * name=VLSRole (ambiguity) (rule end)
86 */
87 protected void emit_VLSAnnotation_RightSquareBracketKeyword_3_q(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
88 acceptNodes(transition, nodes);
89 }
90
91 /**
92 * Ambiguous syntax:
93 * '('*
94 *
95 * This ambiguous syntax occurs at:
96 * (rule start) (ambiguity) '!' '[' variables+=VLSVariable
97 * (rule start) (ambiguity) '$false' (rule start)
98 * (rule start) (ambiguity) '$true' (rule start)
99 * (rule start) (ambiguity) '?' '[' variables+=VLSVariable
100 * (rule start) (ambiguity) '~' operand=VLSUnitaryFormula
101 * (rule start) (ambiguity) constant=DOLLAR_ID
102 * (rule start) (ambiguity) constant=DOUBLE_DOLLAR_ID
103 * (rule start) (ambiguity) constant=LOWER_WORD_ID
104 * (rule start) (ambiguity) constant=SINGLE_QUOTE
105 * (rule start) (ambiguity) constant=VLSRole
106 * (rule start) (ambiguity) name='$less'
107 * (rule start) (ambiguity) name=DOLLAR_ID
108 * (rule start) (ambiguity) name=DOUBLE_DOLLAR_ID
109 * (rule start) (ambiguity) name=LOWER_WORD_ID
110 * (rule start) (ambiguity) name=SINGLE_QUOTE
111 * (rule start) (ambiguity) name=UPPER_WORD_ID
112 * (rule start) (ambiguity) name=VLSRole
113 * (rule start) (ambiguity) value=DOUBLE_QUOTE
114 * (rule start) (ambiguity) value=SIGNED_LITERAL
115 * (rule start) (ambiguity) value=SIGNED_RAT_ID
116 * (rule start) (ambiguity) value=SIGNED_REAL_ID
117 * (rule start) (ambiguity) {VLSAnd.left=}
118 * (rule start) (ambiguity) {VLSAssignment.left=}
119 * (rule start) (ambiguity) {VLSEquality.left=}
120 * (rule start) (ambiguity) {VLSEquivalent.left=}
121 * (rule start) (ambiguity) {VLSImplies.left=}
122 * (rule start) (ambiguity) {VLSInequality.left=}
123 * (rule start) (ambiguity) {VLSNand.left=}
124 * (rule start) (ambiguity) {VLSNor.left=}
125 * (rule start) (ambiguity) {VLSOr.left=}
126 * (rule start) (ambiguity) {VLSRevImplies.left=}
127 * (rule start) (ambiguity) {VLSXnor.left=}
128 */
129 protected void emit_VLSUnitaryFormula_LeftParenthesisKeyword_4_0_a(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
130 acceptNodes(transition, nodes);
131 }
132
133 /**
134 * Ambiguous syntax:
135 * '('+
136 *
137 * This ambiguous syntax occurs at:
138 * (rule start) (ambiguity) {VLSAnd.left=}
139 * (rule start) (ambiguity) {VLSEquivalent.left=}
140 * (rule start) (ambiguity) {VLSImplies.left=}
141 * (rule start) (ambiguity) {VLSNand.left=}
142 * (rule start) (ambiguity) {VLSNor.left=}
143 * (rule start) (ambiguity) {VLSOr.left=}
144 * (rule start) (ambiguity) {VLSRevImplies.left=}
145 * (rule start) (ambiguity) {VLSXnor.left=}
146 */
147 protected void emit_VLSUnitaryFormula_LeftParenthesisKeyword_4_0_p(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
148 acceptNodes(transition, nodes);
149 }
150
151}
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-01 11:23:24 +0000