diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-01-15 12:44:33 -0500 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:06:26 -0400 |
commit | f87b4233437f0900c19f462b5e443a3c81b27b6e (patch) | |
tree | fa5af86016db54e24f54e3d801424eb1216efc2f /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/services/VampireLanguageGrammarAccess.java | |
parent | Fix numeric-solver-at-end (diff) | |
download | VIATRA-Generator-f87b4233437f0900c19f462b5e443a3c81b27b6e.tar.gz VIATRA-Generator-f87b4233437f0900c19f462b5e443a3c81b27b6e.tar.zst VIATRA-Generator-f87b4233437f0900c19f462b5e443a3c81b27b6e.zip |
Initial workspace setup
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/services/VampireLanguageGrammarAccess.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/services/VampireLanguageGrammarAccess.java | 2220 |
1 files changed, 2220 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/services/VampireLanguageGrammarAccess.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/services/VampireLanguageGrammarAccess.java new file mode 100644 index 00000000..4c2157c3 --- /dev/null +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/services/VampireLanguageGrammarAccess.java | |||
@@ -0,0 +1,2220 @@ | |||
1 | /* | ||
2 | * generated by Xtext 2.12.0 | ||
3 | */ | ||
4 | package ca.mcgill.ecse.dslreasoner.services; | ||
5 | |||
6 | import com.google.inject.Inject; | ||
7 | import com.google.inject.Singleton; | ||
8 | import java.util.List; | ||
9 | import org.eclipse.xtext.Action; | ||
10 | import org.eclipse.xtext.Alternatives; | ||
11 | import org.eclipse.xtext.Assignment; | ||
12 | import org.eclipse.xtext.Grammar; | ||
13 | import org.eclipse.xtext.GrammarUtil; | ||
14 | import org.eclipse.xtext.Group; | ||
15 | import org.eclipse.xtext.Keyword; | ||
16 | import org.eclipse.xtext.ParserRule; | ||
17 | import org.eclipse.xtext.RuleCall; | ||
18 | import org.eclipse.xtext.TerminalRule; | ||
19 | import org.eclipse.xtext.common.services.TerminalsGrammarAccess; | ||
20 | import org.eclipse.xtext.service.AbstractElementFinder.AbstractGrammarElementFinder; | ||
21 | import org.eclipse.xtext.service.GrammarProvider; | ||
22 | |||
23 | @Singleton | ||
24 | public class VampireLanguageGrammarAccess extends AbstractGrammarElementFinder { | ||
25 | |||
26 | public class VampireModelElements extends AbstractParserRuleElementFinder { | ||
27 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VampireModel"); | ||
28 | private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1); | ||
29 | private final Assignment cIncludesAssignment_0 = (Assignment)cAlternatives.eContents().get(0); | ||
30 | private final RuleCall cIncludesVLSIncludeParserRuleCall_0_0 = (RuleCall)cIncludesAssignment_0.eContents().get(0); | ||
31 | private final Assignment cCommentsAssignment_1 = (Assignment)cAlternatives.eContents().get(1); | ||
32 | private final RuleCall cCommentsVLSCommentParserRuleCall_1_0 = (RuleCall)cCommentsAssignment_1.eContents().get(0); | ||
33 | private final Assignment cFormulasAssignment_2 = (Assignment)cAlternatives.eContents().get(2); | ||
34 | private final RuleCall cFormulasVLSFofFormulaParserRuleCall_2_0 = (RuleCall)cFormulasAssignment_2.eContents().get(0); | ||
35 | |||
36 | ////@@@@@@@@@@@ | ||
37 | ////2 things TODO: | ||
38 | ////1. fix anotations (ln77) | ||
39 | ////2. can only use declared variables in formula (ln 158) | ||
40 | ////@@@@@@@@@@@ | ||
41 | //VampireModel: | ||
42 | // (includes+=VLSInclude | comments+=VLSComment | formulas+=VLSFofFormula)*; | ||
43 | @Override public ParserRule getRule() { return rule; } | ||
44 | |||
45 | //(includes+=VLSInclude | comments+=VLSComment | formulas+=VLSFofFormula)* | ||
46 | public Alternatives getAlternatives() { return cAlternatives; } | ||
47 | |||
48 | //includes+=VLSInclude | ||
49 | public Assignment getIncludesAssignment_0() { return cIncludesAssignment_0; } | ||
50 | |||
51 | //VLSInclude | ||
52 | public RuleCall getIncludesVLSIncludeParserRuleCall_0_0() { return cIncludesVLSIncludeParserRuleCall_0_0; } | ||
53 | |||
54 | //comments+=VLSComment | ||
55 | public Assignment getCommentsAssignment_1() { return cCommentsAssignment_1; } | ||
56 | |||
57 | //VLSComment | ||
58 | public RuleCall getCommentsVLSCommentParserRuleCall_1_0() { return cCommentsVLSCommentParserRuleCall_1_0; } | ||
59 | |||
60 | //formulas+=VLSFofFormula | ||
61 | public Assignment getFormulasAssignment_2() { return cFormulasAssignment_2; } | ||
62 | |||
63 | //VLSFofFormula | ||
64 | public RuleCall getFormulasVLSFofFormulaParserRuleCall_2_0() { return cFormulasVLSFofFormulaParserRuleCall_2_0; } | ||
65 | } | ||
66 | public class VLSIncludeElements extends AbstractParserRuleElementFinder { | ||
67 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSInclude"); | ||
68 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
69 | private final Keyword cIncludeKeyword_0 = (Keyword)cGroup.eContents().get(0); | ||
70 | private final Assignment cFileNameAssignment_1 = (Assignment)cGroup.eContents().get(1); | ||
71 | private final RuleCall cFileNameSINGLE_QUOTETerminalRuleCall_1_0 = (RuleCall)cFileNameAssignment_1.eContents().get(0); | ||
72 | private final Group cGroup_2 = (Group)cGroup.eContents().get(2); | ||
73 | private final Keyword cCommaLeftSquareBracketKeyword_2_0 = (Keyword)cGroup_2.eContents().get(0); | ||
74 | private final Assignment cNamesAssignment_2_1 = (Assignment)cGroup_2.eContents().get(1); | ||
75 | private final RuleCall cNamesVLSNameParserRuleCall_2_1_0 = (RuleCall)cNamesAssignment_2_1.eContents().get(0); | ||
76 | private final Group cGroup_2_2 = (Group)cGroup_2.eContents().get(2); | ||
77 | private final Keyword cCommaKeyword_2_2_0 = (Keyword)cGroup_2_2.eContents().get(0); | ||
78 | private final Assignment cNamesAssignment_2_2_1 = (Assignment)cGroup_2_2.eContents().get(1); | ||
79 | private final RuleCall cNamesVLSNameParserRuleCall_2_2_1_0 = (RuleCall)cNamesAssignment_2_2_1.eContents().get(0); | ||
80 | private final Keyword cRightSquareBracketKeyword_2_3 = (Keyword)cGroup_2.eContents().get(3); | ||
81 | |||
82 | ////terminal ID: ( !('('|')'|'\r'|'\n') )+ ; | ||
83 | //////////////////////////////////// | ||
84 | //// VLS types | ||
85 | //////////////////////////////////// | ||
86 | //// <includes> | ||
87 | //VLSInclude: | ||
88 | // 'include(' fileName=SINGLE_QUOTE (',[' names+=VLSName (',' names+=VLSName)* ']')?; | ||
89 | @Override public ParserRule getRule() { return rule; } | ||
90 | |||
91 | //'include(' fileName=SINGLE_QUOTE (',[' names+=VLSName (',' names+=VLSName)* ']')? | ||
92 | public Group getGroup() { return cGroup; } | ||
93 | |||
94 | //'include(' | ||
95 | public Keyword getIncludeKeyword_0() { return cIncludeKeyword_0; } | ||
96 | |||
97 | //fileName=SINGLE_QUOTE | ||
98 | public Assignment getFileNameAssignment_1() { return cFileNameAssignment_1; } | ||
99 | |||
100 | //SINGLE_QUOTE | ||
101 | public RuleCall getFileNameSINGLE_QUOTETerminalRuleCall_1_0() { return cFileNameSINGLE_QUOTETerminalRuleCall_1_0; } | ||
102 | |||
103 | //(',[' names+=VLSName (',' names+=VLSName)* ']')? | ||
104 | public Group getGroup_2() { return cGroup_2; } | ||
105 | |||
106 | //',[' | ||
107 | public Keyword getCommaLeftSquareBracketKeyword_2_0() { return cCommaLeftSquareBracketKeyword_2_0; } | ||
108 | |||
109 | //names+=VLSName | ||
110 | public Assignment getNamesAssignment_2_1() { return cNamesAssignment_2_1; } | ||
111 | |||
112 | //VLSName | ||
113 | public RuleCall getNamesVLSNameParserRuleCall_2_1_0() { return cNamesVLSNameParserRuleCall_2_1_0; } | ||
114 | |||
115 | //(',' names+=VLSName)* | ||
116 | public Group getGroup_2_2() { return cGroup_2_2; } | ||
117 | |||
118 | //',' | ||
119 | public Keyword getCommaKeyword_2_2_0() { return cCommaKeyword_2_2_0; } | ||
120 | |||
121 | //names+=VLSName | ||
122 | public Assignment getNamesAssignment_2_2_1() { return cNamesAssignment_2_2_1; } | ||
123 | |||
124 | //VLSName | ||
125 | public RuleCall getNamesVLSNameParserRuleCall_2_2_1_0() { return cNamesVLSNameParserRuleCall_2_2_1_0; } | ||
126 | |||
127 | //']' | ||
128 | public Keyword getRightSquareBracketKeyword_2_3() { return cRightSquareBracketKeyword_2_3; } | ||
129 | } | ||
130 | public class VLSNameElements extends AbstractParserRuleElementFinder { | ||
131 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSName"); | ||
132 | private final Assignment cNameAssignment = (Assignment)rule.eContents().get(1); | ||
133 | private final Alternatives cNameAlternatives_0 = (Alternatives)cNameAssignment.eContents().get(0); | ||
134 | private final RuleCall cNameLOWER_WORD_IDTerminalRuleCall_0_0 = (RuleCall)cNameAlternatives_0.eContents().get(0); | ||
135 | private final RuleCall cNameSINGLE_QUOTETerminalRuleCall_0_1 = (RuleCall)cNameAlternatives_0.eContents().get(1); | ||
136 | private final RuleCall cNameLITERALTerminalRuleCall_0_2 = (RuleCall)cNameAlternatives_0.eContents().get(2); | ||
137 | private final RuleCall cNameSIGNED_LITERALTerminalRuleCall_0_3 = (RuleCall)cNameAlternatives_0.eContents().get(3); | ||
138 | |||
139 | //VLSName: | ||
140 | // name=(LOWER_WORD_ID | SINGLE_QUOTE | LITERAL | SIGNED_LITERAL); | ||
141 | @Override public ParserRule getRule() { return rule; } | ||
142 | |||
143 | //name=(LOWER_WORD_ID | SINGLE_QUOTE | LITERAL | SIGNED_LITERAL) | ||
144 | public Assignment getNameAssignment() { return cNameAssignment; } | ||
145 | |||
146 | //(LOWER_WORD_ID | SINGLE_QUOTE | LITERAL | SIGNED_LITERAL) | ||
147 | public Alternatives getNameAlternatives_0() { return cNameAlternatives_0; } | ||
148 | |||
149 | //LOWER_WORD_ID | ||
150 | public RuleCall getNameLOWER_WORD_IDTerminalRuleCall_0_0() { return cNameLOWER_WORD_IDTerminalRuleCall_0_0; } | ||
151 | |||
152 | //SINGLE_QUOTE | ||
153 | public RuleCall getNameSINGLE_QUOTETerminalRuleCall_0_1() { return cNameSINGLE_QUOTETerminalRuleCall_0_1; } | ||
154 | |||
155 | //LITERAL | ||
156 | public RuleCall getNameLITERALTerminalRuleCall_0_2() { return cNameLITERALTerminalRuleCall_0_2; } | ||
157 | |||
158 | //SIGNED_LITERAL | ||
159 | public RuleCall getNameSIGNED_LITERALTerminalRuleCall_0_3() { return cNameSIGNED_LITERALTerminalRuleCall_0_3; } | ||
160 | } | ||
161 | public class VLSCommentElements extends AbstractParserRuleElementFinder { | ||
162 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSComment"); | ||
163 | private final Assignment cCommentAssignment = (Assignment)rule.eContents().get(1); | ||
164 | private final RuleCall cCommentSINGLE_COMMENTTerminalRuleCall_0 = (RuleCall)cCommentAssignment.eContents().get(0); | ||
165 | |||
166 | //// <comments> | ||
167 | //VLSComment: | ||
168 | // comment=SINGLE_COMMENT | ||
169 | // //need to add a new line at the end of the file for the case where the last line is a comment | ||
170 | //; | ||
171 | @Override public ParserRule getRule() { return rule; } | ||
172 | |||
173 | //comment=SINGLE_COMMENT | ||
174 | public Assignment getCommentAssignment() { return cCommentAssignment; } | ||
175 | |||
176 | //SINGLE_COMMENT | ||
177 | public RuleCall getCommentSINGLE_COMMENTTerminalRuleCall_0() { return cCommentSINGLE_COMMENTTerminalRuleCall_0; } | ||
178 | } | ||
179 | public class VLSFofFormulaElements extends AbstractParserRuleElementFinder { | ||
180 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSFofFormula"); | ||
181 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
182 | private final Keyword cFofKeyword_0 = (Keyword)cGroup.eContents().get(0); | ||
183 | private final Keyword cLeftParenthesisKeyword_1 = (Keyword)cGroup.eContents().get(1); | ||
184 | private final Assignment cNameAssignment_2 = (Assignment)cGroup.eContents().get(2); | ||
185 | private final Alternatives cNameAlternatives_2_0 = (Alternatives)cNameAssignment_2.eContents().get(0); | ||
186 | private final RuleCall cNameLOWER_WORD_IDTerminalRuleCall_2_0_0 = (RuleCall)cNameAlternatives_2_0.eContents().get(0); | ||
187 | private final RuleCall cNameSIGNED_LITERALTerminalRuleCall_2_0_1 = (RuleCall)cNameAlternatives_2_0.eContents().get(1); | ||
188 | private final RuleCall cNameSINGLE_QUOTETerminalRuleCall_2_0_2 = (RuleCall)cNameAlternatives_2_0.eContents().get(2); | ||
189 | private final Keyword cCommaKeyword_3 = (Keyword)cGroup.eContents().get(3); | ||
190 | private final Assignment cFofRoleAssignment_4 = (Assignment)cGroup.eContents().get(4); | ||
191 | private final RuleCall cFofRoleVLSRoleParserRuleCall_4_0 = (RuleCall)cFofRoleAssignment_4.eContents().get(0); | ||
192 | private final Keyword cCommaKeyword_5 = (Keyword)cGroup.eContents().get(5); | ||
193 | private final Assignment cFofFormulaAssignment_6 = (Assignment)cGroup.eContents().get(6); | ||
194 | private final RuleCall cFofFormulaVLSTermParserRuleCall_6_0 = (RuleCall)cFofFormulaAssignment_6.eContents().get(0); | ||
195 | private final Group cGroup_7 = (Group)cGroup.eContents().get(7); | ||
196 | private final Keyword cCommaKeyword_7_0 = (Keyword)cGroup_7.eContents().get(0); | ||
197 | private final Assignment cAnnotationsAssignment_7_1 = (Assignment)cGroup_7.eContents().get(1); | ||
198 | private final RuleCall cAnnotationsVLSAnnotationParserRuleCall_7_1_0 = (RuleCall)cAnnotationsAssignment_7_1.eContents().get(0); | ||
199 | private final Keyword cRightParenthesisKeyword_8 = (Keyword)cGroup.eContents().get(8); | ||
200 | private final Keyword cFullStopKeyword_9 = (Keyword)cGroup.eContents().get(9); | ||
201 | |||
202 | ////VLSConstantDeclaration: name = (LOWER_WORD_ID | SINGLE_QUOTE | DOLLAR_ID | DOUBLE_DOLLAR_ID ); | ||
203 | //// <FOF formulas> | ||
204 | //VLSFofFormula: | ||
205 | // 'fof' '(' name=(LOWER_WORD_ID | SIGNED_LITERAL | SINGLE_QUOTE) ',' fofRole=VLSRole ',' fofFormula=VLSTerm (',' | ||
206 | // annotations=VLSAnnotation)? ')' '.'; | ||
207 | @Override public ParserRule getRule() { return rule; } | ||
208 | |||
209 | //'fof' '(' name=(LOWER_WORD_ID | SIGNED_LITERAL | SINGLE_QUOTE) ',' fofRole=VLSRole ',' fofFormula=VLSTerm (',' | ||
210 | //annotations=VLSAnnotation)? ')' '.' | ||
211 | public Group getGroup() { return cGroup; } | ||
212 | |||
213 | //'fof' | ||
214 | public Keyword getFofKeyword_0() { return cFofKeyword_0; } | ||
215 | |||
216 | //'(' | ||
217 | public Keyword getLeftParenthesisKeyword_1() { return cLeftParenthesisKeyword_1; } | ||
218 | |||
219 | //name=(LOWER_WORD_ID | SIGNED_LITERAL | SINGLE_QUOTE) | ||
220 | public Assignment getNameAssignment_2() { return cNameAssignment_2; } | ||
221 | |||
222 | //(LOWER_WORD_ID | SIGNED_LITERAL | SINGLE_QUOTE) | ||
223 | public Alternatives getNameAlternatives_2_0() { return cNameAlternatives_2_0; } | ||
224 | |||
225 | //LOWER_WORD_ID | ||
226 | public RuleCall getNameLOWER_WORD_IDTerminalRuleCall_2_0_0() { return cNameLOWER_WORD_IDTerminalRuleCall_2_0_0; } | ||
227 | |||
228 | //SIGNED_LITERAL | ||
229 | public RuleCall getNameSIGNED_LITERALTerminalRuleCall_2_0_1() { return cNameSIGNED_LITERALTerminalRuleCall_2_0_1; } | ||
230 | |||
231 | //SINGLE_QUOTE | ||
232 | public RuleCall getNameSINGLE_QUOTETerminalRuleCall_2_0_2() { return cNameSINGLE_QUOTETerminalRuleCall_2_0_2; } | ||
233 | |||
234 | //',' | ||
235 | public Keyword getCommaKeyword_3() { return cCommaKeyword_3; } | ||
236 | |||
237 | //fofRole=VLSRole | ||
238 | public Assignment getFofRoleAssignment_4() { return cFofRoleAssignment_4; } | ||
239 | |||
240 | //VLSRole | ||
241 | public RuleCall getFofRoleVLSRoleParserRuleCall_4_0() { return cFofRoleVLSRoleParserRuleCall_4_0; } | ||
242 | |||
243 | //',' | ||
244 | public Keyword getCommaKeyword_5() { return cCommaKeyword_5; } | ||
245 | |||
246 | //fofFormula=VLSTerm | ||
247 | public Assignment getFofFormulaAssignment_6() { return cFofFormulaAssignment_6; } | ||
248 | |||
249 | //VLSTerm | ||
250 | public RuleCall getFofFormulaVLSTermParserRuleCall_6_0() { return cFofFormulaVLSTermParserRuleCall_6_0; } | ||
251 | |||
252 | //(',' annotations=VLSAnnotation)? | ||
253 | public Group getGroup_7() { return cGroup_7; } | ||
254 | |||
255 | //',' | ||
256 | public Keyword getCommaKeyword_7_0() { return cCommaKeyword_7_0; } | ||
257 | |||
258 | //annotations=VLSAnnotation | ||
259 | public Assignment getAnnotationsAssignment_7_1() { return cAnnotationsAssignment_7_1; } | ||
260 | |||
261 | //VLSAnnotation | ||
262 | public RuleCall getAnnotationsVLSAnnotationParserRuleCall_7_1_0() { return cAnnotationsVLSAnnotationParserRuleCall_7_1_0; } | ||
263 | |||
264 | //')' | ||
265 | public Keyword getRightParenthesisKeyword_8() { return cRightParenthesisKeyword_8; } | ||
266 | |||
267 | //'.' | ||
268 | public Keyword getFullStopKeyword_9() { return cFullStopKeyword_9; } | ||
269 | } | ||
270 | public class VLSRoleElements extends AbstractParserRuleElementFinder { | ||
271 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSRole"); | ||
272 | private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1); | ||
273 | private final RuleCall cVLSAxiomParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0); | ||
274 | private final RuleCall cVLSConjectureParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1); | ||
275 | private final RuleCall cVLSHypothesisParserRuleCall_2 = (RuleCall)cAlternatives.eContents().get(2); | ||
276 | private final RuleCall cVLSDefinitionParserRuleCall_3 = (RuleCall)cAlternatives.eContents().get(3); | ||
277 | private final RuleCall cVLSAssumptionParserRuleCall_4 = (RuleCall)cAlternatives.eContents().get(4); | ||
278 | private final RuleCall cVLSLemmaParserRuleCall_5 = (RuleCall)cAlternatives.eContents().get(5); | ||
279 | private final RuleCall cVLSTheoremParserRuleCall_6 = (RuleCall)cAlternatives.eContents().get(6); | ||
280 | private final RuleCall cVLSCorollaryParserRuleCall_7 = (RuleCall)cAlternatives.eContents().get(7); | ||
281 | private final RuleCall cVLSNegated_ConjectureParserRuleCall_8 = (RuleCall)cAlternatives.eContents().get(8); | ||
282 | private final RuleCall cVLSPlainParserRuleCall_9 = (RuleCall)cAlternatives.eContents().get(9); | ||
283 | private final RuleCall cVLSTypeParserRuleCall_10 = (RuleCall)cAlternatives.eContents().get(10); | ||
284 | private final RuleCall cVLSFi_DomainParserRuleCall_11 = (RuleCall)cAlternatives.eContents().get(11); | ||
285 | private final RuleCall cVLSFi_FunctorsParserRuleCall_12 = (RuleCall)cAlternatives.eContents().get(12); | ||
286 | private final RuleCall cVLSFi_PredicatesParserRuleCall_13 = (RuleCall)cAlternatives.eContents().get(13); | ||
287 | private final RuleCall cVLSUnknownParserRuleCall_14 = (RuleCall)cAlternatives.eContents().get(14); | ||
288 | |||
289 | ///* | ||
290 | ////NAME | ||
291 | //VLSName: | ||
292 | // //(atomic_Word = Atomic_Word | integer = Integer | single_quote_word = Single_Quote_Word) | ||
293 | // name = (LOWER_WORD_ID | SIGNED_INT_ID | SINGLE_QUOTE) | ||
294 | //; | ||
295 | //*/ //<ROLE> | ||
296 | //VLSRole: | ||
297 | // VLSAxiom | VLSConjecture | VLSHypothesis | VLSDefinition | VLSAssumption | VLSLemma | VLSTheorem | VLSCorollary | | ||
298 | // VLSNegated_Conjecture | VLSPlain | VLSType | VLSFi_Domain | VLSFi_Functors | VLSFi_Predicates | VLSUnknown; | ||
299 | @Override public ParserRule getRule() { return rule; } | ||
300 | |||
301 | //VLSAxiom | VLSConjecture | VLSHypothesis | VLSDefinition | VLSAssumption | VLSLemma | VLSTheorem | VLSCorollary | | ||
302 | //VLSNegated_Conjecture | VLSPlain | VLSType | VLSFi_Domain | VLSFi_Functors | VLSFi_Predicates | VLSUnknown | ||
303 | public Alternatives getAlternatives() { return cAlternatives; } | ||
304 | |||
305 | //VLSAxiom | ||
306 | public RuleCall getVLSAxiomParserRuleCall_0() { return cVLSAxiomParserRuleCall_0; } | ||
307 | |||
308 | //VLSConjecture | ||
309 | public RuleCall getVLSConjectureParserRuleCall_1() { return cVLSConjectureParserRuleCall_1; } | ||
310 | |||
311 | //VLSHypothesis | ||
312 | public RuleCall getVLSHypothesisParserRuleCall_2() { return cVLSHypothesisParserRuleCall_2; } | ||
313 | |||
314 | //VLSDefinition | ||
315 | public RuleCall getVLSDefinitionParserRuleCall_3() { return cVLSDefinitionParserRuleCall_3; } | ||
316 | |||
317 | //VLSAssumption | ||
318 | public RuleCall getVLSAssumptionParserRuleCall_4() { return cVLSAssumptionParserRuleCall_4; } | ||
319 | |||
320 | //VLSLemma | ||
321 | public RuleCall getVLSLemmaParserRuleCall_5() { return cVLSLemmaParserRuleCall_5; } | ||
322 | |||
323 | //VLSTheorem | ||
324 | public RuleCall getVLSTheoremParserRuleCall_6() { return cVLSTheoremParserRuleCall_6; } | ||
325 | |||
326 | //VLSCorollary | ||
327 | public RuleCall getVLSCorollaryParserRuleCall_7() { return cVLSCorollaryParserRuleCall_7; } | ||
328 | |||
329 | //VLSNegated_Conjecture | ||
330 | public RuleCall getVLSNegated_ConjectureParserRuleCall_8() { return cVLSNegated_ConjectureParserRuleCall_8; } | ||
331 | |||
332 | //VLSPlain | ||
333 | public RuleCall getVLSPlainParserRuleCall_9() { return cVLSPlainParserRuleCall_9; } | ||
334 | |||
335 | //VLSType | ||
336 | public RuleCall getVLSTypeParserRuleCall_10() { return cVLSTypeParserRuleCall_10; } | ||
337 | |||
338 | //VLSFi_Domain | ||
339 | public RuleCall getVLSFi_DomainParserRuleCall_11() { return cVLSFi_DomainParserRuleCall_11; } | ||
340 | |||
341 | //VLSFi_Functors | ||
342 | public RuleCall getVLSFi_FunctorsParserRuleCall_12() { return cVLSFi_FunctorsParserRuleCall_12; } | ||
343 | |||
344 | //VLSFi_Predicates | ||
345 | public RuleCall getVLSFi_PredicatesParserRuleCall_13() { return cVLSFi_PredicatesParserRuleCall_13; } | ||
346 | |||
347 | //VLSUnknown | ||
348 | public RuleCall getVLSUnknownParserRuleCall_14() { return cVLSUnknownParserRuleCall_14; } | ||
349 | } | ||
350 | public class VLSAxiomElements extends AbstractParserRuleElementFinder { | ||
351 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSAxiom"); | ||
352 | private final Keyword cAxiomKeyword = (Keyword)rule.eContents().get(1); | ||
353 | |||
354 | //VLSAxiom: | ||
355 | // "axiom"; | ||
356 | @Override public ParserRule getRule() { return rule; } | ||
357 | |||
358 | //"axiom" | ||
359 | public Keyword getAxiomKeyword() { return cAxiomKeyword; } | ||
360 | } | ||
361 | public class VLSConjectureElements extends AbstractParserRuleElementFinder { | ||
362 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSConjecture"); | ||
363 | private final Keyword cConjectureKeyword = (Keyword)rule.eContents().get(1); | ||
364 | |||
365 | //VLSConjecture: | ||
366 | // "conjecture"; | ||
367 | @Override public ParserRule getRule() { return rule; } | ||
368 | |||
369 | //"conjecture" | ||
370 | public Keyword getConjectureKeyword() { return cConjectureKeyword; } | ||
371 | } | ||
372 | public class VLSHypothesisElements extends AbstractParserRuleElementFinder { | ||
373 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSHypothesis"); | ||
374 | private final Keyword cHypothesisKeyword = (Keyword)rule.eContents().get(1); | ||
375 | |||
376 | //VLSHypothesis: | ||
377 | // "hypothesis"; | ||
378 | @Override public ParserRule getRule() { return rule; } | ||
379 | |||
380 | //"hypothesis" | ||
381 | public Keyword getHypothesisKeyword() { return cHypothesisKeyword; } | ||
382 | } | ||
383 | public class VLSDefinitionElements extends AbstractParserRuleElementFinder { | ||
384 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSDefinition"); | ||
385 | private final Keyword cDefinitionKeyword = (Keyword)rule.eContents().get(1); | ||
386 | |||
387 | //VLSDefinition: | ||
388 | // "definition"; | ||
389 | @Override public ParserRule getRule() { return rule; } | ||
390 | |||
391 | //"definition" | ||
392 | public Keyword getDefinitionKeyword() { return cDefinitionKeyword; } | ||
393 | } | ||
394 | public class VLSAssumptionElements extends AbstractParserRuleElementFinder { | ||
395 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSAssumption"); | ||
396 | private final Keyword cAssumptionKeyword = (Keyword)rule.eContents().get(1); | ||
397 | |||
398 | //VLSAssumption: | ||
399 | // "assumption"; | ||
400 | @Override public ParserRule getRule() { return rule; } | ||
401 | |||
402 | //"assumption" | ||
403 | public Keyword getAssumptionKeyword() { return cAssumptionKeyword; } | ||
404 | } | ||
405 | public class VLSLemmaElements extends AbstractParserRuleElementFinder { | ||
406 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSLemma"); | ||
407 | private final Keyword cLemmaKeyword = (Keyword)rule.eContents().get(1); | ||
408 | |||
409 | //VLSLemma: | ||
410 | // "lemma"; | ||
411 | @Override public ParserRule getRule() { return rule; } | ||
412 | |||
413 | //"lemma" | ||
414 | public Keyword getLemmaKeyword() { return cLemmaKeyword; } | ||
415 | } | ||
416 | public class VLSTheoremElements extends AbstractParserRuleElementFinder { | ||
417 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSTheorem"); | ||
418 | private final Keyword cTheoremKeyword = (Keyword)rule.eContents().get(1); | ||
419 | |||
420 | //VLSTheorem: | ||
421 | // "theorem"; | ||
422 | @Override public ParserRule getRule() { return rule; } | ||
423 | |||
424 | //"theorem" | ||
425 | public Keyword getTheoremKeyword() { return cTheoremKeyword; } | ||
426 | } | ||
427 | public class VLSCorollaryElements extends AbstractParserRuleElementFinder { | ||
428 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSCorollary"); | ||
429 | private final Keyword cCorollaryKeyword = (Keyword)rule.eContents().get(1); | ||
430 | |||
431 | //VLSCorollary: | ||
432 | // "corollary"; | ||
433 | @Override public ParserRule getRule() { return rule; } | ||
434 | |||
435 | //"corollary" | ||
436 | public Keyword getCorollaryKeyword() { return cCorollaryKeyword; } | ||
437 | } | ||
438 | public class VLSNegated_ConjectureElements extends AbstractParserRuleElementFinder { | ||
439 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSNegated_Conjecture"); | ||
440 | private final Keyword cNegated_conjectureKeyword = (Keyword)rule.eContents().get(1); | ||
441 | |||
442 | //VLSNegated_Conjecture: | ||
443 | // "negated_conjecture"; | ||
444 | @Override public ParserRule getRule() { return rule; } | ||
445 | |||
446 | //"negated_conjecture" | ||
447 | public Keyword getNegated_conjectureKeyword() { return cNegated_conjectureKeyword; } | ||
448 | } | ||
449 | public class VLSPlainElements extends AbstractParserRuleElementFinder { | ||
450 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSPlain"); | ||
451 | private final Keyword cPlainKeyword = (Keyword)rule.eContents().get(1); | ||
452 | |||
453 | //VLSPlain: | ||
454 | // "plain"; | ||
455 | @Override public ParserRule getRule() { return rule; } | ||
456 | |||
457 | //"plain" | ||
458 | public Keyword getPlainKeyword() { return cPlainKeyword; } | ||
459 | } | ||
460 | public class VLSTypeElements extends AbstractParserRuleElementFinder { | ||
461 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSType"); | ||
462 | private final Keyword cTypeKeyword = (Keyword)rule.eContents().get(1); | ||
463 | |||
464 | //VLSType: | ||
465 | // "type"; | ||
466 | @Override public ParserRule getRule() { return rule; } | ||
467 | |||
468 | //"type" | ||
469 | public Keyword getTypeKeyword() { return cTypeKeyword; } | ||
470 | } | ||
471 | public class VLSFi_DomainElements extends AbstractParserRuleElementFinder { | ||
472 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSFi_Domain"); | ||
473 | private final Keyword cFi_domainKeyword = (Keyword)rule.eContents().get(1); | ||
474 | |||
475 | //VLSFi_Domain: | ||
476 | // "fi_domain"; | ||
477 | @Override public ParserRule getRule() { return rule; } | ||
478 | |||
479 | //"fi_domain" | ||
480 | public Keyword getFi_domainKeyword() { return cFi_domainKeyword; } | ||
481 | } | ||
482 | public class VLSFi_FunctorsElements extends AbstractParserRuleElementFinder { | ||
483 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSFi_Functors"); | ||
484 | private final Keyword cFi_functorsKeyword = (Keyword)rule.eContents().get(1); | ||
485 | |||
486 | //VLSFi_Functors: | ||
487 | // "fi_functors"; | ||
488 | @Override public ParserRule getRule() { return rule; } | ||
489 | |||
490 | //"fi_functors" | ||
491 | public Keyword getFi_functorsKeyword() { return cFi_functorsKeyword; } | ||
492 | } | ||
493 | public class VLSFi_PredicatesElements extends AbstractParserRuleElementFinder { | ||
494 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSFi_Predicates"); | ||
495 | private final Keyword cFi_predicatesKeyword = (Keyword)rule.eContents().get(1); | ||
496 | |||
497 | //VLSFi_Predicates: | ||
498 | // "fi_predicates"; | ||
499 | @Override public ParserRule getRule() { return rule; } | ||
500 | |||
501 | //"fi_predicates" | ||
502 | public Keyword getFi_predicatesKeyword() { return cFi_predicatesKeyword; } | ||
503 | } | ||
504 | public class VLSUnknownElements extends AbstractParserRuleElementFinder { | ||
505 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSUnknown"); | ||
506 | private final Keyword cUnknownKeyword = (Keyword)rule.eContents().get(1); | ||
507 | |||
508 | //VLSUnknown: | ||
509 | // "unknown"; | ||
510 | @Override public ParserRule getRule() { return rule; } | ||
511 | |||
512 | //"unknown" | ||
513 | public Keyword getUnknownKeyword() { return cUnknownKeyword; } | ||
514 | } | ||
515 | public class VLSAnnotationElements extends AbstractParserRuleElementFinder { | ||
516 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSAnnotation"); | ||
517 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
518 | private final Keyword cLeftSquareBracketKeyword_0 = (Keyword)cGroup.eContents().get(0); | ||
519 | private final Assignment cNameAssignment_1 = (Assignment)cGroup.eContents().get(1); | ||
520 | private final Alternatives cNameAlternatives_1_0 = (Alternatives)cNameAssignment_1.eContents().get(0); | ||
521 | private final RuleCall cNameLOWER_WORD_IDTerminalRuleCall_1_0_0 = (RuleCall)cNameAlternatives_1_0.eContents().get(0); | ||
522 | private final RuleCall cNameSINGLE_QUOTETerminalRuleCall_1_0_1 = (RuleCall)cNameAlternatives_1_0.eContents().get(1); | ||
523 | private final RuleCall cNameVLSRoleParserRuleCall_1_0_2 = (RuleCall)cNameAlternatives_1_0.eContents().get(2); | ||
524 | private final Group cGroup_2 = (Group)cGroup.eContents().get(2); | ||
525 | private final Keyword cLeftParenthesisKeyword_2_0 = (Keyword)cGroup_2.eContents().get(0); | ||
526 | private final Assignment cFollowupAssignment_2_1 = (Assignment)cGroup_2.eContents().get(1); | ||
527 | private final RuleCall cFollowupVLSAnnotationTermsParserRuleCall_2_1_0 = (RuleCall)cFollowupAssignment_2_1.eContents().get(0); | ||
528 | private final Keyword cRightParenthesisKeyword_2_2 = (Keyword)cGroup_2.eContents().get(2); | ||
529 | private final Keyword cRightSquareBracketKeyword_3 = (Keyword)cGroup.eContents().get(3); | ||
530 | |||
531 | //// <ANNOTATION> | ||
532 | //// Not at all based on the website. based on what we think the output will be like | ||
533 | //VLSAnnotation: | ||
534 | // '['? name=(LOWER_WORD_ID | SINGLE_QUOTE | VLSRole)? ('(' followup=VLSAnnotationTerms ')')? ']'?; | ||
535 | @Override public ParserRule getRule() { return rule; } | ||
536 | |||
537 | //'['? name=(LOWER_WORD_ID | SINGLE_QUOTE | VLSRole)? ('(' followup=VLSAnnotationTerms ')')? ']'? | ||
538 | public Group getGroup() { return cGroup; } | ||
539 | |||
540 | //'['? | ||
541 | public Keyword getLeftSquareBracketKeyword_0() { return cLeftSquareBracketKeyword_0; } | ||
542 | |||
543 | //name=(LOWER_WORD_ID | SINGLE_QUOTE | VLSRole)? | ||
544 | public Assignment getNameAssignment_1() { return cNameAssignment_1; } | ||
545 | |||
546 | //(LOWER_WORD_ID | SINGLE_QUOTE | VLSRole) | ||
547 | public Alternatives getNameAlternatives_1_0() { return cNameAlternatives_1_0; } | ||
548 | |||
549 | //LOWER_WORD_ID | ||
550 | public RuleCall getNameLOWER_WORD_IDTerminalRuleCall_1_0_0() { return cNameLOWER_WORD_IDTerminalRuleCall_1_0_0; } | ||
551 | |||
552 | //SINGLE_QUOTE | ||
553 | public RuleCall getNameSINGLE_QUOTETerminalRuleCall_1_0_1() { return cNameSINGLE_QUOTETerminalRuleCall_1_0_1; } | ||
554 | |||
555 | //VLSRole | ||
556 | public RuleCall getNameVLSRoleParserRuleCall_1_0_2() { return cNameVLSRoleParserRuleCall_1_0_2; } | ||
557 | |||
558 | //('(' followup=VLSAnnotationTerms ')')? | ||
559 | public Group getGroup_2() { return cGroup_2; } | ||
560 | |||
561 | //'(' | ||
562 | public Keyword getLeftParenthesisKeyword_2_0() { return cLeftParenthesisKeyword_2_0; } | ||
563 | |||
564 | //followup=VLSAnnotationTerms | ||
565 | public Assignment getFollowupAssignment_2_1() { return cFollowupAssignment_2_1; } | ||
566 | |||
567 | //VLSAnnotationTerms | ||
568 | public RuleCall getFollowupVLSAnnotationTermsParserRuleCall_2_1_0() { return cFollowupVLSAnnotationTermsParserRuleCall_2_1_0; } | ||
569 | |||
570 | //')' | ||
571 | public Keyword getRightParenthesisKeyword_2_2() { return cRightParenthesisKeyword_2_2; } | ||
572 | |||
573 | //']'? | ||
574 | public Keyword getRightSquareBracketKeyword_3() { return cRightSquareBracketKeyword_3; } | ||
575 | } | ||
576 | public class VLSAnnotationTermsElements extends AbstractParserRuleElementFinder { | ||
577 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSAnnotationTerms"); | ||
578 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
579 | private final Assignment cTermsAssignment_0 = (Assignment)cGroup.eContents().get(0); | ||
580 | private final RuleCall cTermsVLSAnnotationParserRuleCall_0_0 = (RuleCall)cTermsAssignment_0.eContents().get(0); | ||
581 | private final Group cGroup_1 = (Group)cGroup.eContents().get(1); | ||
582 | private final Keyword cCommaKeyword_1_0 = (Keyword)cGroup_1.eContents().get(0); | ||
583 | private final Assignment cTermsAssignment_1_1 = (Assignment)cGroup_1.eContents().get(1); | ||
584 | private final RuleCall cTermsVLSAnnotationParserRuleCall_1_1_0 = (RuleCall)cTermsAssignment_1_1.eContents().get(0); | ||
585 | |||
586 | //VLSAnnotationTerms VLSAnnotation: | ||
587 | // terms+=VLSAnnotation (',' terms+=VLSAnnotation)*; | ||
588 | @Override public ParserRule getRule() { return rule; } | ||
589 | |||
590 | //terms+=VLSAnnotation (',' terms+=VLSAnnotation)* | ||
591 | public Group getGroup() { return cGroup; } | ||
592 | |||
593 | //terms+=VLSAnnotation | ||
594 | public Assignment getTermsAssignment_0() { return cTermsAssignment_0; } | ||
595 | |||
596 | //VLSAnnotation | ||
597 | public RuleCall getTermsVLSAnnotationParserRuleCall_0_0() { return cTermsVLSAnnotationParserRuleCall_0_0; } | ||
598 | |||
599 | //(',' terms+=VLSAnnotation)* | ||
600 | public Group getGroup_1() { return cGroup_1; } | ||
601 | |||
602 | //',' | ||
603 | public Keyword getCommaKeyword_1_0() { return cCommaKeyword_1_0; } | ||
604 | |||
605 | //terms+=VLSAnnotation | ||
606 | public Assignment getTermsAssignment_1_1() { return cTermsAssignment_1_1; } | ||
607 | |||
608 | //VLSAnnotation | ||
609 | public RuleCall getTermsVLSAnnotationParserRuleCall_1_1_0() { return cTermsVLSAnnotationParserRuleCall_1_1_0; } | ||
610 | } | ||
611 | public class VLSTermElements extends AbstractParserRuleElementFinder { | ||
612 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSTerm"); | ||
613 | private final RuleCall cVLSBinaryParserRuleCall = (RuleCall)rule.eContents().get(1); | ||
614 | |||
615 | //////////////////////////////////// | ||
616 | //// VLS Terms | ||
617 | //////////////////////////////////// | ||
618 | //VLSTerm: | ||
619 | // VLSBinary; | ||
620 | @Override public ParserRule getRule() { return rule; } | ||
621 | |||
622 | ////( VLSLogic | VLSSequent) | ||
623 | //VLSBinary | ||
624 | public RuleCall getVLSBinaryParserRuleCall() { return cVLSBinaryParserRuleCall; } | ||
625 | } | ||
626 | public class VLSBinaryElements extends AbstractParserRuleElementFinder { | ||
627 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSBinary"); | ||
628 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
629 | private final RuleCall cVLSUnitaryFormulaParserRuleCall_0 = (RuleCall)cGroup.eContents().get(0); | ||
630 | private final Alternatives cAlternatives_1 = (Alternatives)cGroup.eContents().get(1); | ||
631 | private final Group cGroup_1_0 = (Group)cAlternatives_1.eContents().get(0); | ||
632 | private final Alternatives cAlternatives_1_0_0 = (Alternatives)cGroup_1_0.eContents().get(0); | ||
633 | private final Group cGroup_1_0_0_0 = (Group)cAlternatives_1_0_0.eContents().get(0); | ||
634 | private final Action cVLSEquivalentLeftAction_1_0_0_0_0 = (Action)cGroup_1_0_0_0.eContents().get(0); | ||
635 | private final Keyword cLessThanSignEqualsSignGreaterThanSignKeyword_1_0_0_0_1 = (Keyword)cGroup_1_0_0_0.eContents().get(1); | ||
636 | private final Group cGroup_1_0_0_1 = (Group)cAlternatives_1_0_0.eContents().get(1); | ||
637 | private final Action cVLSImpliesLeftAction_1_0_0_1_0 = (Action)cGroup_1_0_0_1.eContents().get(0); | ||
638 | private final Keyword cEqualsSignGreaterThanSignKeyword_1_0_0_1_1 = (Keyword)cGroup_1_0_0_1.eContents().get(1); | ||
639 | private final Group cGroup_1_0_0_2 = (Group)cAlternatives_1_0_0.eContents().get(2); | ||
640 | private final Action cVLSRevImpliesLeftAction_1_0_0_2_0 = (Action)cGroup_1_0_0_2.eContents().get(0); | ||
641 | private final Keyword cLessThanSignEqualsSignKeyword_1_0_0_2_1 = (Keyword)cGroup_1_0_0_2.eContents().get(1); | ||
642 | private final Group cGroup_1_0_0_3 = (Group)cAlternatives_1_0_0.eContents().get(3); | ||
643 | private final Action cVLSXnorLeftAction_1_0_0_3_0 = (Action)cGroup_1_0_0_3.eContents().get(0); | ||
644 | private final Keyword cLessThanSignTildeGreaterThanSignKeyword_1_0_0_3_1 = (Keyword)cGroup_1_0_0_3.eContents().get(1); | ||
645 | private final Group cGroup_1_0_0_4 = (Group)cAlternatives_1_0_0.eContents().get(4); | ||
646 | private final Action cVLSNorLeftAction_1_0_0_4_0 = (Action)cGroup_1_0_0_4.eContents().get(0); | ||
647 | private final Keyword cTildeVerticalLineKeyword_1_0_0_4_1 = (Keyword)cGroup_1_0_0_4.eContents().get(1); | ||
648 | private final Group cGroup_1_0_0_5 = (Group)cAlternatives_1_0_0.eContents().get(5); | ||
649 | private final Action cVLSNandLeftAction_1_0_0_5_0 = (Action)cGroup_1_0_0_5.eContents().get(0); | ||
650 | private final Keyword cTildeAmpersandKeyword_1_0_0_5_1 = (Keyword)cGroup_1_0_0_5.eContents().get(1); | ||
651 | private final Assignment cRightAssignment_1_0_1 = (Assignment)cGroup_1_0.eContents().get(1); | ||
652 | private final RuleCall cRightVLSUnitaryFormulaParserRuleCall_1_0_1_0 = (RuleCall)cRightAssignment_1_0_1.eContents().get(0); | ||
653 | private final Group cGroup_1_1 = (Group)cAlternatives_1.eContents().get(1); | ||
654 | private final Action cVLSAndLeftAction_1_1_0 = (Action)cGroup_1_1.eContents().get(0); | ||
655 | private final Keyword cAmpersandKeyword_1_1_1 = (Keyword)cGroup_1_1.eContents().get(1); | ||
656 | private final Assignment cRightAssignment_1_1_2 = (Assignment)cGroup_1_1.eContents().get(2); | ||
657 | private final RuleCall cRightVLSUnitaryFormulaParserRuleCall_1_1_2_0 = (RuleCall)cRightAssignment_1_1_2.eContents().get(0); | ||
658 | private final Group cGroup_1_2 = (Group)cAlternatives_1.eContents().get(2); | ||
659 | private final Action cVLSOrLeftAction_1_2_0 = (Action)cGroup_1_2.eContents().get(0); | ||
660 | private final Keyword cVerticalLineKeyword_1_2_1 = (Keyword)cGroup_1_2.eContents().get(1); | ||
661 | private final Assignment cRightAssignment_1_2_2 = (Assignment)cGroup_1_2.eContents().get(2); | ||
662 | private final RuleCall cRightVLSUnitaryFormulaParserRuleCall_1_2_2_0 = (RuleCall)cRightAssignment_1_2_2.eContents().get(0); | ||
663 | |||
664 | ////* | ||
665 | ////VLSBinaryFormula | ||
666 | //VLSBinary VLSTerm: | ||
667 | // VLSUnitaryFormula (({VLSEquivalent.left=current} "<=>" | {VLSImplies.left=current} "=>" | | ||
668 | // {VLSRevImplies.left=current} "<=" | {VLSXnor.left=current} "<~>" | {VLSNor.left=current} "~|" | | ||
669 | // {VLSNand.left=current} "~&") right=VLSUnitaryFormula | ({VLSAnd.left=current} '&' right=VLSUnitaryFormula)+ | ||
670 | // | ({VLSOr.left=current} '|' right=VLSUnitaryFormula)+)?; | ||
671 | @Override public ParserRule getRule() { return rule; } | ||
672 | |||
673 | //VLSUnitaryFormula (({VLSEquivalent.left=current} "<=>" | {VLSImplies.left=current} "=>" | {VLSRevImplies.left=current} | ||
674 | //"<=" | {VLSXnor.left=current} "<~>" | {VLSNor.left=current} "~|" | {VLSNand.left=current} "~&") | ||
675 | //right=VLSUnitaryFormula | ({VLSAnd.left=current} '&' right=VLSUnitaryFormula)+ | ({VLSOr.left=current} '|' | ||
676 | //right=VLSUnitaryFormula)+)? | ||
677 | public Group getGroup() { return cGroup; } | ||
678 | |||
679 | //VLSUnitaryFormula | ||
680 | public RuleCall getVLSUnitaryFormulaParserRuleCall_0() { return cVLSUnitaryFormulaParserRuleCall_0; } | ||
681 | |||
682 | //(({VLSEquivalent.left=current} "<=>" | {VLSImplies.left=current} "=>" | {VLSRevImplies.left=current} "<=" | | ||
683 | //{VLSXnor.left=current} "<~>" | {VLSNor.left=current} "~|" | {VLSNand.left=current} "~&") right=VLSUnitaryFormula | | ||
684 | //({VLSAnd.left=current} '&' right=VLSUnitaryFormula)+ | ({VLSOr.left=current} '|' right=VLSUnitaryFormula)+)? | ||
685 | public Alternatives getAlternatives_1() { return cAlternatives_1; } | ||
686 | |||
687 | //({VLSEquivalent.left=current} "<=>" | {VLSImplies.left=current} "=>" | {VLSRevImplies.left=current} "<=" | | ||
688 | //{VLSXnor.left=current} "<~>" | {VLSNor.left=current} "~|" | {VLSNand.left=current} "~&") right=VLSUnitaryFormula | ||
689 | public Group getGroup_1_0() { return cGroup_1_0; } | ||
690 | |||
691 | //{VLSEquivalent.left=current} "<=>" | {VLSImplies.left=current} "=>" | {VLSRevImplies.left=current} "<=" | | ||
692 | //{VLSXnor.left=current} "<~>" | {VLSNor.left=current} "~|" | {VLSNand.left=current} "~&" | ||
693 | public Alternatives getAlternatives_1_0_0() { return cAlternatives_1_0_0; } | ||
694 | |||
695 | //{VLSEquivalent.left=current} "<=>" | ||
696 | public Group getGroup_1_0_0_0() { return cGroup_1_0_0_0; } | ||
697 | |||
698 | //{VLSEquivalent.left=current} | ||
699 | public Action getVLSEquivalentLeftAction_1_0_0_0_0() { return cVLSEquivalentLeftAction_1_0_0_0_0; } | ||
700 | |||
701 | //"<=>" | ||
702 | public Keyword getLessThanSignEqualsSignGreaterThanSignKeyword_1_0_0_0_1() { return cLessThanSignEqualsSignGreaterThanSignKeyword_1_0_0_0_1; } | ||
703 | |||
704 | //{VLSImplies.left=current} "=>" | ||
705 | public Group getGroup_1_0_0_1() { return cGroup_1_0_0_1; } | ||
706 | |||
707 | //{VLSImplies.left=current} | ||
708 | public Action getVLSImpliesLeftAction_1_0_0_1_0() { return cVLSImpliesLeftAction_1_0_0_1_0; } | ||
709 | |||
710 | //"=>" | ||
711 | public Keyword getEqualsSignGreaterThanSignKeyword_1_0_0_1_1() { return cEqualsSignGreaterThanSignKeyword_1_0_0_1_1; } | ||
712 | |||
713 | //{VLSRevImplies.left=current} "<=" | ||
714 | public Group getGroup_1_0_0_2() { return cGroup_1_0_0_2; } | ||
715 | |||
716 | //{VLSRevImplies.left=current} | ||
717 | public Action getVLSRevImpliesLeftAction_1_0_0_2_0() { return cVLSRevImpliesLeftAction_1_0_0_2_0; } | ||
718 | |||
719 | //"<=" | ||
720 | public Keyword getLessThanSignEqualsSignKeyword_1_0_0_2_1() { return cLessThanSignEqualsSignKeyword_1_0_0_2_1; } | ||
721 | |||
722 | //{VLSXnor.left=current} "<~>" | ||
723 | public Group getGroup_1_0_0_3() { return cGroup_1_0_0_3; } | ||
724 | |||
725 | //{VLSXnor.left=current} | ||
726 | public Action getVLSXnorLeftAction_1_0_0_3_0() { return cVLSXnorLeftAction_1_0_0_3_0; } | ||
727 | |||
728 | //"<~>" | ||
729 | public Keyword getLessThanSignTildeGreaterThanSignKeyword_1_0_0_3_1() { return cLessThanSignTildeGreaterThanSignKeyword_1_0_0_3_1; } | ||
730 | |||
731 | //{VLSNor.left=current} "~|" | ||
732 | public Group getGroup_1_0_0_4() { return cGroup_1_0_0_4; } | ||
733 | |||
734 | //{VLSNor.left=current} | ||
735 | public Action getVLSNorLeftAction_1_0_0_4_0() { return cVLSNorLeftAction_1_0_0_4_0; } | ||
736 | |||
737 | //"~|" | ||
738 | public Keyword getTildeVerticalLineKeyword_1_0_0_4_1() { return cTildeVerticalLineKeyword_1_0_0_4_1; } | ||
739 | |||
740 | //{VLSNand.left=current} "~&" | ||
741 | public Group getGroup_1_0_0_5() { return cGroup_1_0_0_5; } | ||
742 | |||
743 | //{VLSNand.left=current} | ||
744 | public Action getVLSNandLeftAction_1_0_0_5_0() { return cVLSNandLeftAction_1_0_0_5_0; } | ||
745 | |||
746 | //"~&" | ||
747 | public Keyword getTildeAmpersandKeyword_1_0_0_5_1() { return cTildeAmpersandKeyword_1_0_0_5_1; } | ||
748 | |||
749 | //right=VLSUnitaryFormula | ||
750 | public Assignment getRightAssignment_1_0_1() { return cRightAssignment_1_0_1; } | ||
751 | |||
752 | //VLSUnitaryFormula | ||
753 | public RuleCall getRightVLSUnitaryFormulaParserRuleCall_1_0_1_0() { return cRightVLSUnitaryFormulaParserRuleCall_1_0_1_0; } | ||
754 | |||
755 | //({VLSAnd.left=current} '&' right=VLSUnitaryFormula)+ | ||
756 | public Group getGroup_1_1() { return cGroup_1_1; } | ||
757 | |||
758 | //{VLSAnd.left=current} | ||
759 | public Action getVLSAndLeftAction_1_1_0() { return cVLSAndLeftAction_1_1_0; } | ||
760 | |||
761 | //'&' | ||
762 | public Keyword getAmpersandKeyword_1_1_1() { return cAmpersandKeyword_1_1_1; } | ||
763 | |||
764 | //right=VLSUnitaryFormula | ||
765 | public Assignment getRightAssignment_1_1_2() { return cRightAssignment_1_1_2; } | ||
766 | |||
767 | //VLSUnitaryFormula | ||
768 | public RuleCall getRightVLSUnitaryFormulaParserRuleCall_1_1_2_0() { return cRightVLSUnitaryFormulaParserRuleCall_1_1_2_0; } | ||
769 | |||
770 | //({VLSOr.left=current} '|' right=VLSUnitaryFormula)+ | ||
771 | public Group getGroup_1_2() { return cGroup_1_2; } | ||
772 | |||
773 | //{VLSOr.left=current} | ||
774 | public Action getVLSOrLeftAction_1_2_0() { return cVLSOrLeftAction_1_2_0; } | ||
775 | |||
776 | //'|' | ||
777 | public Keyword getVerticalLineKeyword_1_2_1() { return cVerticalLineKeyword_1_2_1; } | ||
778 | |||
779 | //right=VLSUnitaryFormula | ||
780 | public Assignment getRightAssignment_1_2_2() { return cRightAssignment_1_2_2; } | ||
781 | |||
782 | //VLSUnitaryFormula | ||
783 | public RuleCall getRightVLSUnitaryFormulaParserRuleCall_1_2_2_0() { return cRightVLSUnitaryFormulaParserRuleCall_1_2_2_0; } | ||
784 | } | ||
785 | public class VLSUnitaryFormulaElements extends AbstractParserRuleElementFinder { | ||
786 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSUnitaryFormula"); | ||
787 | private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1); | ||
788 | private final RuleCall cVLSUniversalQuantifierParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0); | ||
789 | private final RuleCall cVLSExistentialQuantifierParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1); | ||
790 | private final RuleCall cVLSUnaryNegationParserRuleCall_2 = (RuleCall)cAlternatives.eContents().get(2); | ||
791 | private final RuleCall cVLSUnaryInfixParserRuleCall_3 = (RuleCall)cAlternatives.eContents().get(3); | ||
792 | private final Group cGroup_4 = (Group)cAlternatives.eContents().get(4); | ||
793 | private final Keyword cLeftParenthesisKeyword_4_0 = (Keyword)cGroup_4.eContents().get(0); | ||
794 | private final RuleCall cVLSTermParserRuleCall_4_1 = (RuleCall)cGroup_4.eContents().get(1); | ||
795 | private final Keyword cRightParenthesisKeyword_4_2 = (Keyword)cGroup_4.eContents().get(2); | ||
796 | |||
797 | ////VLSUnitaryFormula | ||
798 | //VLSUnitaryFormula VLSTerm: | ||
799 | // VLSUniversalQuantifier | VLSExistentialQuantifier | VLSUnaryNegation | VLSUnaryInfix | ||
800 | // //| VLSEquality | ||
801 | // | '(' VLSTerm ')'; | ||
802 | @Override public ParserRule getRule() { return rule; } | ||
803 | |||
804 | //VLSUniversalQuantifier | VLSExistentialQuantifier | VLSUnaryNegation | VLSUnaryInfix //| VLSEquality | ||
805 | //| '(' VLSTerm ')' | ||
806 | public Alternatives getAlternatives() { return cAlternatives; } | ||
807 | |||
808 | //VLSUniversalQuantifier | ||
809 | public RuleCall getVLSUniversalQuantifierParserRuleCall_0() { return cVLSUniversalQuantifierParserRuleCall_0; } | ||
810 | |||
811 | //VLSExistentialQuantifier | ||
812 | public RuleCall getVLSExistentialQuantifierParserRuleCall_1() { return cVLSExistentialQuantifierParserRuleCall_1; } | ||
813 | |||
814 | //VLSUnaryNegation | ||
815 | public RuleCall getVLSUnaryNegationParserRuleCall_2() { return cVLSUnaryNegationParserRuleCall_2; } | ||
816 | |||
817 | //VLSUnaryInfix | ||
818 | public RuleCall getVLSUnaryInfixParserRuleCall_3() { return cVLSUnaryInfixParserRuleCall_3; } | ||
819 | |||
820 | //'(' VLSTerm ')' | ||
821 | public Group getGroup_4() { return cGroup_4; } | ||
822 | |||
823 | //'(' | ||
824 | public Keyword getLeftParenthesisKeyword_4_0() { return cLeftParenthesisKeyword_4_0; } | ||
825 | |||
826 | //VLSTerm | ||
827 | public RuleCall getVLSTermParserRuleCall_4_1() { return cVLSTermParserRuleCall_4_1; } | ||
828 | |||
829 | //')' | ||
830 | public Keyword getRightParenthesisKeyword_4_2() { return cRightParenthesisKeyword_4_2; } | ||
831 | } | ||
832 | public class VLSUniversalQuantifierElements extends AbstractParserRuleElementFinder { | ||
833 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSUniversalQuantifier"); | ||
834 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
835 | private final Action cVLSUniversalQuantifierAction_0 = (Action)cGroup.eContents().get(0); | ||
836 | private final Group cGroup_1 = (Group)cGroup.eContents().get(1); | ||
837 | private final Keyword cExclamationMarkKeyword_1_0 = (Keyword)cGroup_1.eContents().get(0); | ||
838 | private final Keyword cLeftSquareBracketKeyword_1_1 = (Keyword)cGroup_1.eContents().get(1); | ||
839 | private final Assignment cVariablesAssignment_1_2 = (Assignment)cGroup_1.eContents().get(2); | ||
840 | private final RuleCall cVariablesVLSVariableParserRuleCall_1_2_0 = (RuleCall)cVariablesAssignment_1_2.eContents().get(0); | ||
841 | private final Group cGroup_1_3 = (Group)cGroup_1.eContents().get(3); | ||
842 | private final Keyword cCommaKeyword_1_3_0 = (Keyword)cGroup_1_3.eContents().get(0); | ||
843 | private final Assignment cVariablesAssignment_1_3_1 = (Assignment)cGroup_1_3.eContents().get(1); | ||
844 | private final RuleCall cVariablesVLSVariableParserRuleCall_1_3_1_0 = (RuleCall)cVariablesAssignment_1_3_1.eContents().get(0); | ||
845 | private final Keyword cRightSquareBracketKeyword_1_4 = (Keyword)cGroup_1.eContents().get(4); | ||
846 | private final Keyword cColonKeyword_1_5 = (Keyword)cGroup_1.eContents().get(5); | ||
847 | private final Assignment cOperandAssignment_2 = (Assignment)cGroup.eContents().get(2); | ||
848 | private final RuleCall cOperandVLSUnitaryFormulaParserRuleCall_2_0 = (RuleCall)cOperandAssignment_2.eContents().get(0); | ||
849 | |||
850 | //VLSUniversalQuantifier VLSTerm: | ||
851 | // {VLSUniversalQuantifier} ("!" '[' variables+=VLSVariable (',' variables+=VLSVariable)* ']' ':') | ||
852 | // operand=VLSUnitaryFormula; | ||
853 | @Override public ParserRule getRule() { return rule; } | ||
854 | |||
855 | //{VLSUniversalQuantifier} ("!" '[' variables+=VLSVariable (',' variables+=VLSVariable)* ']' ':') | ||
856 | //operand=VLSUnitaryFormula | ||
857 | public Group getGroup() { return cGroup; } | ||
858 | |||
859 | //{VLSUniversalQuantifier} | ||
860 | public Action getVLSUniversalQuantifierAction_0() { return cVLSUniversalQuantifierAction_0; } | ||
861 | |||
862 | //"!" '[' variables+=VLSVariable (',' variables+=VLSVariable)* ']' ':' | ||
863 | public Group getGroup_1() { return cGroup_1; } | ||
864 | |||
865 | //"!" | ||
866 | public Keyword getExclamationMarkKeyword_1_0() { return cExclamationMarkKeyword_1_0; } | ||
867 | |||
868 | //'[' | ||
869 | public Keyword getLeftSquareBracketKeyword_1_1() { return cLeftSquareBracketKeyword_1_1; } | ||
870 | |||
871 | //variables+=VLSVariable | ||
872 | public Assignment getVariablesAssignment_1_2() { return cVariablesAssignment_1_2; } | ||
873 | |||
874 | //VLSVariable | ||
875 | public RuleCall getVariablesVLSVariableParserRuleCall_1_2_0() { return cVariablesVLSVariableParserRuleCall_1_2_0; } | ||
876 | |||
877 | //(',' variables+=VLSVariable)* | ||
878 | public Group getGroup_1_3() { return cGroup_1_3; } | ||
879 | |||
880 | //',' | ||
881 | public Keyword getCommaKeyword_1_3_0() { return cCommaKeyword_1_3_0; } | ||
882 | |||
883 | //variables+=VLSVariable | ||
884 | public Assignment getVariablesAssignment_1_3_1() { return cVariablesAssignment_1_3_1; } | ||
885 | |||
886 | //VLSVariable | ||
887 | public RuleCall getVariablesVLSVariableParserRuleCall_1_3_1_0() { return cVariablesVLSVariableParserRuleCall_1_3_1_0; } | ||
888 | |||
889 | //']' | ||
890 | public Keyword getRightSquareBracketKeyword_1_4() { return cRightSquareBracketKeyword_1_4; } | ||
891 | |||
892 | //':' | ||
893 | public Keyword getColonKeyword_1_5() { return cColonKeyword_1_5; } | ||
894 | |||
895 | //operand=VLSUnitaryFormula | ||
896 | public Assignment getOperandAssignment_2() { return cOperandAssignment_2; } | ||
897 | |||
898 | //VLSUnitaryFormula | ||
899 | public RuleCall getOperandVLSUnitaryFormulaParserRuleCall_2_0() { return cOperandVLSUnitaryFormulaParserRuleCall_2_0; } | ||
900 | } | ||
901 | public class VLSExistentialQuantifierElements extends AbstractParserRuleElementFinder { | ||
902 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSExistentialQuantifier"); | ||
903 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
904 | private final Action cVLSExistentialQuantifierAction_0 = (Action)cGroup.eContents().get(0); | ||
905 | private final Group cGroup_1 = (Group)cGroup.eContents().get(1); | ||
906 | private final Keyword cQuestionMarkKeyword_1_0 = (Keyword)cGroup_1.eContents().get(0); | ||
907 | private final Keyword cLeftSquareBracketKeyword_1_1 = (Keyword)cGroup_1.eContents().get(1); | ||
908 | private final Assignment cVariablesAssignment_1_2 = (Assignment)cGroup_1.eContents().get(2); | ||
909 | private final RuleCall cVariablesVLSVariableParserRuleCall_1_2_0 = (RuleCall)cVariablesAssignment_1_2.eContents().get(0); | ||
910 | private final Group cGroup_1_3 = (Group)cGroup_1.eContents().get(3); | ||
911 | private final Keyword cCommaKeyword_1_3_0 = (Keyword)cGroup_1_3.eContents().get(0); | ||
912 | private final Assignment cVariablesAssignment_1_3_1 = (Assignment)cGroup_1_3.eContents().get(1); | ||
913 | private final RuleCall cVariablesVLSVariableParserRuleCall_1_3_1_0 = (RuleCall)cVariablesAssignment_1_3_1.eContents().get(0); | ||
914 | private final Keyword cRightSquareBracketKeyword_1_4 = (Keyword)cGroup_1.eContents().get(4); | ||
915 | private final Keyword cColonKeyword_1_5 = (Keyword)cGroup_1.eContents().get(5); | ||
916 | private final Assignment cOperandAssignment_2 = (Assignment)cGroup.eContents().get(2); | ||
917 | private final RuleCall cOperandVLSUnitaryFormulaParserRuleCall_2_0 = (RuleCall)cOperandAssignment_2.eContents().get(0); | ||
918 | |||
919 | //VLSExistentialQuantifier VLSTerm: | ||
920 | // {VLSExistentialQuantifier} ("?" '[' variables+=VLSVariable (',' variables+=VLSVariable)* ']' ':') | ||
921 | // operand=VLSUnitaryFormula; | ||
922 | @Override public ParserRule getRule() { return rule; } | ||
923 | |||
924 | //{VLSExistentialQuantifier} ("?" '[' variables+=VLSVariable (',' variables+=VLSVariable)* ']' ':') | ||
925 | //operand=VLSUnitaryFormula | ||
926 | public Group getGroup() { return cGroup; } | ||
927 | |||
928 | //{VLSExistentialQuantifier} | ||
929 | public Action getVLSExistentialQuantifierAction_0() { return cVLSExistentialQuantifierAction_0; } | ||
930 | |||
931 | //"?" '[' variables+=VLSVariable (',' variables+=VLSVariable)* ']' ':' | ||
932 | public Group getGroup_1() { return cGroup_1; } | ||
933 | |||
934 | //"?" | ||
935 | public Keyword getQuestionMarkKeyword_1_0() { return cQuestionMarkKeyword_1_0; } | ||
936 | |||
937 | //'[' | ||
938 | public Keyword getLeftSquareBracketKeyword_1_1() { return cLeftSquareBracketKeyword_1_1; } | ||
939 | |||
940 | //variables+=VLSVariable | ||
941 | public Assignment getVariablesAssignment_1_2() { return cVariablesAssignment_1_2; } | ||
942 | |||
943 | //VLSVariable | ||
944 | public RuleCall getVariablesVLSVariableParserRuleCall_1_2_0() { return cVariablesVLSVariableParserRuleCall_1_2_0; } | ||
945 | |||
946 | //(',' variables+=VLSVariable)* | ||
947 | public Group getGroup_1_3() { return cGroup_1_3; } | ||
948 | |||
949 | //',' | ||
950 | public Keyword getCommaKeyword_1_3_0() { return cCommaKeyword_1_3_0; } | ||
951 | |||
952 | //variables+=VLSVariable | ||
953 | public Assignment getVariablesAssignment_1_3_1() { return cVariablesAssignment_1_3_1; } | ||
954 | |||
955 | //VLSVariable | ||
956 | public RuleCall getVariablesVLSVariableParserRuleCall_1_3_1_0() { return cVariablesVLSVariableParserRuleCall_1_3_1_0; } | ||
957 | |||
958 | //']' | ||
959 | public Keyword getRightSquareBracketKeyword_1_4() { return cRightSquareBracketKeyword_1_4; } | ||
960 | |||
961 | //':' | ||
962 | public Keyword getColonKeyword_1_5() { return cColonKeyword_1_5; } | ||
963 | |||
964 | //operand=VLSUnitaryFormula | ||
965 | public Assignment getOperandAssignment_2() { return cOperandAssignment_2; } | ||
966 | |||
967 | //VLSUnitaryFormula | ||
968 | public RuleCall getOperandVLSUnitaryFormulaParserRuleCall_2_0() { return cOperandVLSUnitaryFormulaParserRuleCall_2_0; } | ||
969 | } | ||
970 | public class VLSUnaryNegationElements extends AbstractParserRuleElementFinder { | ||
971 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSUnaryNegation"); | ||
972 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
973 | private final Action cVLSUnaryNegationAction_0 = (Action)cGroup.eContents().get(0); | ||
974 | private final Keyword cTildeKeyword_1 = (Keyword)cGroup.eContents().get(1); | ||
975 | private final Assignment cOperandAssignment_2 = (Assignment)cGroup.eContents().get(2); | ||
976 | private final RuleCall cOperandVLSUnitaryFormulaParserRuleCall_2_0 = (RuleCall)cOperandAssignment_2.eContents().get(0); | ||
977 | |||
978 | //VLSUnaryNegation VLSTerm: | ||
979 | // {VLSUnaryNegation} '~' operand=VLSUnitaryFormula; | ||
980 | @Override public ParserRule getRule() { return rule; } | ||
981 | |||
982 | //{VLSUnaryNegation} '~' operand=VLSUnitaryFormula | ||
983 | public Group getGroup() { return cGroup; } | ||
984 | |||
985 | //{VLSUnaryNegation} | ||
986 | public Action getVLSUnaryNegationAction_0() { return cVLSUnaryNegationAction_0; } | ||
987 | |||
988 | //'~' | ||
989 | public Keyword getTildeKeyword_1() { return cTildeKeyword_1; } | ||
990 | |||
991 | //operand=VLSUnitaryFormula | ||
992 | public Assignment getOperandAssignment_2() { return cOperandAssignment_2; } | ||
993 | |||
994 | //VLSUnitaryFormula | ||
995 | public RuleCall getOperandVLSUnitaryFormulaParserRuleCall_2_0() { return cOperandVLSUnitaryFormulaParserRuleCall_2_0; } | ||
996 | } | ||
997 | public class VLSUnaryInfixElements extends AbstractParserRuleElementFinder { | ||
998 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSUnaryInfix"); | ||
999 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
1000 | private final RuleCall cVLSAtomicParserRuleCall_0 = (RuleCall)cGroup.eContents().get(0); | ||
1001 | private final Group cGroup_1 = (Group)cGroup.eContents().get(1); | ||
1002 | private final Alternatives cAlternatives_1_0 = (Alternatives)cGroup_1.eContents().get(0); | ||
1003 | private final Group cGroup_1_0_0 = (Group)cAlternatives_1_0.eContents().get(0); | ||
1004 | private final Action cVLSInequalityLeftAction_1_0_0_0 = (Action)cGroup_1_0_0.eContents().get(0); | ||
1005 | private final Keyword cExclamationMarkEqualsSignKeyword_1_0_0_1 = (Keyword)cGroup_1_0_0.eContents().get(1); | ||
1006 | private final Group cGroup_1_0_1 = (Group)cAlternatives_1_0.eContents().get(1); | ||
1007 | private final Action cVLSEqualityLeftAction_1_0_1_0 = (Action)cGroup_1_0_1.eContents().get(0); | ||
1008 | private final Keyword cEqualsSignKeyword_1_0_1_1 = (Keyword)cGroup_1_0_1.eContents().get(1); | ||
1009 | private final Group cGroup_1_0_2 = (Group)cAlternatives_1_0.eContents().get(2); | ||
1010 | private final Action cVLSAssignmentLeftAction_1_0_2_0 = (Action)cGroup_1_0_2.eContents().get(0); | ||
1011 | private final Keyword cColonEqualsSignKeyword_1_0_2_1 = (Keyword)cGroup_1_0_2.eContents().get(1); | ||
1012 | private final Assignment cRightAssignment_1_1 = (Assignment)cGroup_1.eContents().get(1); | ||
1013 | private final RuleCall cRightVLSAtomicParserRuleCall_1_1_0 = (RuleCall)cRightAssignment_1_1.eContents().get(0); | ||
1014 | |||
1015 | //VLSUnaryInfix VLSTerm: | ||
1016 | // VLSAtomic (({VLSInequality.left=current} "!=" | {VLSEquality.left=current} "=" | {VLSAssignment.left=current} ":=") | ||
1017 | // right=VLSAtomic)?; | ||
1018 | @Override public ParserRule getRule() { return rule; } | ||
1019 | |||
1020 | //VLSAtomic (({VLSInequality.left=current} "!=" | {VLSEquality.left=current} "=" | {VLSAssignment.left=current} ":=") | ||
1021 | //right=VLSAtomic)? | ||
1022 | public Group getGroup() { return cGroup; } | ||
1023 | |||
1024 | //VLSAtomic | ||
1025 | public RuleCall getVLSAtomicParserRuleCall_0() { return cVLSAtomicParserRuleCall_0; } | ||
1026 | |||
1027 | //(({VLSInequality.left=current} "!=" | {VLSEquality.left=current} "=" | {VLSAssignment.left=current} ":=") | ||
1028 | //right=VLSAtomic)? | ||
1029 | public Group getGroup_1() { return cGroup_1; } | ||
1030 | |||
1031 | //{VLSInequality.left=current} "!=" | {VLSEquality.left=current} "=" | {VLSAssignment.left=current} ":=" | ||
1032 | public Alternatives getAlternatives_1_0() { return cAlternatives_1_0; } | ||
1033 | |||
1034 | //{VLSInequality.left=current} "!=" | ||
1035 | public Group getGroup_1_0_0() { return cGroup_1_0_0; } | ||
1036 | |||
1037 | //{VLSInequality.left=current} | ||
1038 | public Action getVLSInequalityLeftAction_1_0_0_0() { return cVLSInequalityLeftAction_1_0_0_0; } | ||
1039 | |||
1040 | //"!=" | ||
1041 | public Keyword getExclamationMarkEqualsSignKeyword_1_0_0_1() { return cExclamationMarkEqualsSignKeyword_1_0_0_1; } | ||
1042 | |||
1043 | //{VLSEquality.left=current} "=" | ||
1044 | public Group getGroup_1_0_1() { return cGroup_1_0_1; } | ||
1045 | |||
1046 | //{VLSEquality.left=current} | ||
1047 | public Action getVLSEqualityLeftAction_1_0_1_0() { return cVLSEqualityLeftAction_1_0_1_0; } | ||
1048 | |||
1049 | //"=" | ||
1050 | public Keyword getEqualsSignKeyword_1_0_1_1() { return cEqualsSignKeyword_1_0_1_1; } | ||
1051 | |||
1052 | //{VLSAssignment.left=current} ":=" | ||
1053 | public Group getGroup_1_0_2() { return cGroup_1_0_2; } | ||
1054 | |||
1055 | //{VLSAssignment.left=current} | ||
1056 | public Action getVLSAssignmentLeftAction_1_0_2_0() { return cVLSAssignmentLeftAction_1_0_2_0; } | ||
1057 | |||
1058 | //":=" | ||
1059 | public Keyword getColonEqualsSignKeyword_1_0_2_1() { return cColonEqualsSignKeyword_1_0_2_1; } | ||
1060 | |||
1061 | //right=VLSAtomic | ||
1062 | public Assignment getRightAssignment_1_1() { return cRightAssignment_1_1; } | ||
1063 | |||
1064 | //VLSAtomic | ||
1065 | public RuleCall getRightVLSAtomicParserRuleCall_1_1_0() { return cRightVLSAtomicParserRuleCall_1_1_0; } | ||
1066 | } | ||
1067 | public class VLSAtomicElements extends AbstractParserRuleElementFinder { | ||
1068 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSAtomic"); | ||
1069 | private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1); | ||
1070 | private final RuleCall cVLSAtomicConstantParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0); | ||
1071 | private final RuleCall cVLSAtomicFunctionParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1); | ||
1072 | private final RuleCall cVLSVariableParserRuleCall_2 = (RuleCall)cAlternatives.eContents().get(2); | ||
1073 | private final RuleCall cVLSDefinedTermParserRuleCall_3 = (RuleCall)cAlternatives.eContents().get(3); | ||
1074 | |||
1075 | ////NOT SUREEEE | ||
1076 | ////VLSEquality returns VLSTerm: | ||
1077 | //// VLSFofTerm ({VLSEquality.left = current} "=" right = VLSFofTerm)? | ||
1078 | //// | ||
1079 | ////; | ||
1080 | ///* | ||
1081 | //enum VLSDefinedFunctor: | ||
1082 | // UMINUS='$uminus' | SUM='$sum' | DIFFERENCE='$difference' | PRODUCT='$product' | QUOTIENT='$quotient' | | ||
1083 | // QUOTIENT_E='$quotient_e' | QUOTIENT_T='$quotient_t' | QUOTIENT_F='$quotient_f' | REMAINDER_E='$remainder_e' | | ||
1084 | // REMAINDER_T='$remainder_t' | REMAINDER_F='$remainder_f' | FLOOR='$floor' | CEILING='$ceiling' | | ||
1085 | // TRUNCATE='$truncate' | ROUND='$round' | TO_INT='$to_int' | TO_RAT='$to_rat' | TO_REAL='$to_real' | ||
1086 | // ; | ||
1087 | //*/ VLSAtomic VLSTerm: | ||
1088 | // VLSAtomicConstant | VLSAtomicFunction | VLSVariable | ||
1089 | // | VLSDefinedTerm //temporary solution. this is only valid for equality, not for != or := | ||
1090 | // //| VLSEquality | ||
1091 | //; | ||
1092 | @Override public ParserRule getRule() { return rule; } | ||
1093 | |||
1094 | //VLSAtomicConstant | VLSAtomicFunction | VLSVariable | VLSDefinedTerm | ||
1095 | public Alternatives getAlternatives() { return cAlternatives; } | ||
1096 | |||
1097 | //VLSAtomicConstant | ||
1098 | public RuleCall getVLSAtomicConstantParserRuleCall_0() { return cVLSAtomicConstantParserRuleCall_0; } | ||
1099 | |||
1100 | //VLSAtomicFunction | ||
1101 | public RuleCall getVLSAtomicFunctionParserRuleCall_1() { return cVLSAtomicFunctionParserRuleCall_1; } | ||
1102 | |||
1103 | //VLSVariable | ||
1104 | public RuleCall getVLSVariableParserRuleCall_2() { return cVLSVariableParserRuleCall_2; } | ||
1105 | |||
1106 | //VLSDefinedTerm | ||
1107 | public RuleCall getVLSDefinedTermParserRuleCall_3() { return cVLSDefinedTermParserRuleCall_3; } | ||
1108 | } | ||
1109 | public class VLSAtomicConstantElements extends AbstractParserRuleElementFinder { | ||
1110 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSAtomicConstant"); | ||
1111 | private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1); | ||
1112 | private final Group cGroup_0 = (Group)cAlternatives.eContents().get(0); | ||
1113 | private final Action cVLSConstantAction_0_0 = (Action)cGroup_0.eContents().get(0); | ||
1114 | private final Assignment cNameAssignment_0_1 = (Assignment)cGroup_0.eContents().get(1); | ||
1115 | private final Alternatives cNameAlternatives_0_1_0 = (Alternatives)cNameAssignment_0_1.eContents().get(0); | ||
1116 | private final RuleCall cNameLOWER_WORD_IDTerminalRuleCall_0_1_0_0 = (RuleCall)cNameAlternatives_0_1_0.eContents().get(0); | ||
1117 | private final RuleCall cNameSINGLE_QUOTETerminalRuleCall_0_1_0_1 = (RuleCall)cNameAlternatives_0_1_0.eContents().get(1); | ||
1118 | private final RuleCall cNameDOLLAR_IDTerminalRuleCall_0_1_0_2 = (RuleCall)cNameAlternatives_0_1_0.eContents().get(2); | ||
1119 | private final RuleCall cNameDOUBLE_DOLLAR_IDTerminalRuleCall_0_1_0_3 = (RuleCall)cNameAlternatives_0_1_0.eContents().get(3); | ||
1120 | private final RuleCall cNameVLSRoleParserRuleCall_0_1_0_4 = (RuleCall)cNameAlternatives_0_1_0.eContents().get(4); | ||
1121 | private final Group cGroup_1 = (Group)cAlternatives.eContents().get(1); | ||
1122 | private final Action cVLSTrueAction_1_0 = (Action)cGroup_1.eContents().get(0); | ||
1123 | private final Keyword cTrueKeyword_1_1 = (Keyword)cGroup_1.eContents().get(1); | ||
1124 | private final Group cGroup_2 = (Group)cAlternatives.eContents().get(2); | ||
1125 | private final Action cVLSFalseAction_2_0 = (Action)cGroup_2.eContents().get(0); | ||
1126 | private final Keyword cFalseKeyword_2_1 = (Keyword)cGroup_2.eContents().get(1); | ||
1127 | |||
1128 | //VLSAtomicConstant VLSTerm: | ||
1129 | // {VLSConstant} name=(LOWER_WORD_ID | SINGLE_QUOTE | DOLLAR_ID | DOUBLE_DOLLAR_ID | VLSRole) | {VLSTrue} '$true' | | ||
1130 | // {VLSFalse} '$false'; | ||
1131 | @Override public ParserRule getRule() { return rule; } | ||
1132 | |||
1133 | //{VLSConstant} name=(LOWER_WORD_ID | SINGLE_QUOTE | DOLLAR_ID | DOUBLE_DOLLAR_ID | VLSRole) | {VLSTrue} '$true' | | ||
1134 | //{VLSFalse} '$false' | ||
1135 | public Alternatives getAlternatives() { return cAlternatives; } | ||
1136 | |||
1137 | //{VLSConstant} name=(LOWER_WORD_ID | SINGLE_QUOTE | DOLLAR_ID | DOUBLE_DOLLAR_ID | VLSRole) | ||
1138 | public Group getGroup_0() { return cGroup_0; } | ||
1139 | |||
1140 | //{VLSConstant} | ||
1141 | public Action getVLSConstantAction_0_0() { return cVLSConstantAction_0_0; } | ||
1142 | |||
1143 | //name=(LOWER_WORD_ID | SINGLE_QUOTE | DOLLAR_ID | DOUBLE_DOLLAR_ID | VLSRole) | ||
1144 | public Assignment getNameAssignment_0_1() { return cNameAssignment_0_1; } | ||
1145 | |||
1146 | //(LOWER_WORD_ID | SINGLE_QUOTE | DOLLAR_ID | DOUBLE_DOLLAR_ID | VLSRole) | ||
1147 | public Alternatives getNameAlternatives_0_1_0() { return cNameAlternatives_0_1_0; } | ||
1148 | |||
1149 | //LOWER_WORD_ID | ||
1150 | public RuleCall getNameLOWER_WORD_IDTerminalRuleCall_0_1_0_0() { return cNameLOWER_WORD_IDTerminalRuleCall_0_1_0_0; } | ||
1151 | |||
1152 | //SINGLE_QUOTE | ||
1153 | public RuleCall getNameSINGLE_QUOTETerminalRuleCall_0_1_0_1() { return cNameSINGLE_QUOTETerminalRuleCall_0_1_0_1; } | ||
1154 | |||
1155 | //DOLLAR_ID | ||
1156 | public RuleCall getNameDOLLAR_IDTerminalRuleCall_0_1_0_2() { return cNameDOLLAR_IDTerminalRuleCall_0_1_0_2; } | ||
1157 | |||
1158 | //DOUBLE_DOLLAR_ID | ||
1159 | public RuleCall getNameDOUBLE_DOLLAR_IDTerminalRuleCall_0_1_0_3() { return cNameDOUBLE_DOLLAR_IDTerminalRuleCall_0_1_0_3; } | ||
1160 | |||
1161 | //VLSRole | ||
1162 | public RuleCall getNameVLSRoleParserRuleCall_0_1_0_4() { return cNameVLSRoleParserRuleCall_0_1_0_4; } | ||
1163 | |||
1164 | //{VLSTrue} '$true' | ||
1165 | public Group getGroup_1() { return cGroup_1; } | ||
1166 | |||
1167 | //{VLSTrue} | ||
1168 | public Action getVLSTrueAction_1_0() { return cVLSTrueAction_1_0; } | ||
1169 | |||
1170 | //'$true' | ||
1171 | public Keyword getTrueKeyword_1_1() { return cTrueKeyword_1_1; } | ||
1172 | |||
1173 | //{VLSFalse} '$false' | ||
1174 | public Group getGroup_2() { return cGroup_2; } | ||
1175 | |||
1176 | //{VLSFalse} | ||
1177 | public Action getVLSFalseAction_2_0() { return cVLSFalseAction_2_0; } | ||
1178 | |||
1179 | //'$false' | ||
1180 | public Keyword getFalseKeyword_2_1() { return cFalseKeyword_2_1; } | ||
1181 | } | ||
1182 | public class VLSAtomicFunctionElements extends AbstractParserRuleElementFinder { | ||
1183 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSAtomicFunction"); | ||
1184 | private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1); | ||
1185 | private final Group cGroup_0 = (Group)cAlternatives.eContents().get(0); | ||
1186 | private final Action cVLSFunctionAction_0_0 = (Action)cGroup_0.eContents().get(0); | ||
1187 | private final Assignment cConstantAssignment_0_1 = (Assignment)cGroup_0.eContents().get(1); | ||
1188 | private final Alternatives cConstantAlternatives_0_1_0 = (Alternatives)cConstantAssignment_0_1.eContents().get(0); | ||
1189 | private final RuleCall cConstantLOWER_WORD_IDTerminalRuleCall_0_1_0_0 = (RuleCall)cConstantAlternatives_0_1_0.eContents().get(0); | ||
1190 | private final RuleCall cConstantSINGLE_QUOTETerminalRuleCall_0_1_0_1 = (RuleCall)cConstantAlternatives_0_1_0.eContents().get(1); | ||
1191 | private final RuleCall cConstantDOLLAR_IDTerminalRuleCall_0_1_0_2 = (RuleCall)cConstantAlternatives_0_1_0.eContents().get(2); | ||
1192 | private final RuleCall cConstantDOUBLE_DOLLAR_IDTerminalRuleCall_0_1_0_3 = (RuleCall)cConstantAlternatives_0_1_0.eContents().get(3); | ||
1193 | private final RuleCall cConstantVLSRoleParserRuleCall_0_1_0_4 = (RuleCall)cConstantAlternatives_0_1_0.eContents().get(4); | ||
1194 | private final Group cGroup_0_2 = (Group)cGroup_0.eContents().get(2); | ||
1195 | private final Keyword cLeftParenthesisKeyword_0_2_0 = (Keyword)cGroup_0_2.eContents().get(0); | ||
1196 | private final Assignment cTermsAssignment_0_2_1 = (Assignment)cGroup_0_2.eContents().get(1); | ||
1197 | private final RuleCall cTermsVLSFofTermParserRuleCall_0_2_1_0 = (RuleCall)cTermsAssignment_0_2_1.eContents().get(0); | ||
1198 | private final Group cGroup_0_2_2 = (Group)cGroup_0_2.eContents().get(2); | ||
1199 | private final Keyword cCommaKeyword_0_2_2_0 = (Keyword)cGroup_0_2_2.eContents().get(0); | ||
1200 | private final Assignment cTermsAssignment_0_2_2_1 = (Assignment)cGroup_0_2_2.eContents().get(1); | ||
1201 | private final RuleCall cTermsVLSFofTermParserRuleCall_0_2_2_1_0 = (RuleCall)cTermsAssignment_0_2_2_1.eContents().get(0); | ||
1202 | private final Keyword cRightParenthesisKeyword_0_2_3 = (Keyword)cGroup_0_2.eContents().get(3); | ||
1203 | private final Group cGroup_1 = (Group)cAlternatives.eContents().get(1); | ||
1204 | private final Action cVLSLessAction_1_0 = (Action)cGroup_1.eContents().get(0); | ||
1205 | private final Assignment cNameAssignment_1_1 = (Assignment)cGroup_1.eContents().get(1); | ||
1206 | private final Keyword cNameLessKeyword_1_1_0 = (Keyword)cNameAssignment_1_1.eContents().get(0); | ||
1207 | private final Keyword cLeftParenthesisKeyword_1_2 = (Keyword)cGroup_1.eContents().get(2); | ||
1208 | private final Assignment cTermsAssignment_1_3 = (Assignment)cGroup_1.eContents().get(3); | ||
1209 | private final RuleCall cTermsVLSFofTermParserRuleCall_1_3_0 = (RuleCall)cTermsAssignment_1_3.eContents().get(0); | ||
1210 | private final Keyword cCommaKeyword_1_4 = (Keyword)cGroup_1.eContents().get(4); | ||
1211 | private final Assignment cTermsAssignment_1_5 = (Assignment)cGroup_1.eContents().get(5); | ||
1212 | private final RuleCall cTermsVLSFofTermParserRuleCall_1_5_0 = (RuleCall)cTermsAssignment_1_5.eContents().get(0); | ||
1213 | private final Keyword cRightParenthesisKeyword_1_6 = (Keyword)cGroup_1.eContents().get(6); | ||
1214 | |||
1215 | //VLSAtomicFunction VLSTerm: | ||
1216 | // {VLSFunction} constant=(LOWER_WORD_ID | SINGLE_QUOTE | DOLLAR_ID | DOUBLE_DOLLAR_ID | VLSRole) ('(' terms+=VLSFofTerm | ||
1217 | // (',' terms+=VLSFofTerm)* ')') | {VLSLess} name='$less' '(' terms+=VLSFofTerm ',' terms+=VLSFofTerm ')'; | ||
1218 | @Override public ParserRule getRule() { return rule; } | ||
1219 | |||
1220 | //{VLSFunction} constant=(LOWER_WORD_ID | SINGLE_QUOTE | DOLLAR_ID | DOUBLE_DOLLAR_ID | VLSRole) ('(' terms+=VLSFofTerm | ||
1221 | //(',' terms+=VLSFofTerm)* ')') | {VLSLess} name='$less' '(' terms+=VLSFofTerm ',' terms+=VLSFofTerm ')' | ||
1222 | public Alternatives getAlternatives() { return cAlternatives; } | ||
1223 | |||
1224 | //{VLSFunction} constant=(LOWER_WORD_ID | SINGLE_QUOTE | DOLLAR_ID | DOUBLE_DOLLAR_ID | VLSRole) ('(' terms+=VLSFofTerm | ||
1225 | //(',' terms+=VLSFofTerm)* ')') | ||
1226 | public Group getGroup_0() { return cGroup_0; } | ||
1227 | |||
1228 | //{VLSFunction} | ||
1229 | public Action getVLSFunctionAction_0_0() { return cVLSFunctionAction_0_0; } | ||
1230 | |||
1231 | //constant=(LOWER_WORD_ID | SINGLE_QUOTE | DOLLAR_ID | DOUBLE_DOLLAR_ID | VLSRole) | ||
1232 | public Assignment getConstantAssignment_0_1() { return cConstantAssignment_0_1; } | ||
1233 | |||
1234 | //(LOWER_WORD_ID | SINGLE_QUOTE | DOLLAR_ID | DOUBLE_DOLLAR_ID | VLSRole) | ||
1235 | public Alternatives getConstantAlternatives_0_1_0() { return cConstantAlternatives_0_1_0; } | ||
1236 | |||
1237 | //LOWER_WORD_ID | ||
1238 | public RuleCall getConstantLOWER_WORD_IDTerminalRuleCall_0_1_0_0() { return cConstantLOWER_WORD_IDTerminalRuleCall_0_1_0_0; } | ||
1239 | |||
1240 | //SINGLE_QUOTE | ||
1241 | public RuleCall getConstantSINGLE_QUOTETerminalRuleCall_0_1_0_1() { return cConstantSINGLE_QUOTETerminalRuleCall_0_1_0_1; } | ||
1242 | |||
1243 | //DOLLAR_ID | ||
1244 | public RuleCall getConstantDOLLAR_IDTerminalRuleCall_0_1_0_2() { return cConstantDOLLAR_IDTerminalRuleCall_0_1_0_2; } | ||
1245 | |||
1246 | //DOUBLE_DOLLAR_ID | ||
1247 | public RuleCall getConstantDOUBLE_DOLLAR_IDTerminalRuleCall_0_1_0_3() { return cConstantDOUBLE_DOLLAR_IDTerminalRuleCall_0_1_0_3; } | ||
1248 | |||
1249 | //VLSRole | ||
1250 | public RuleCall getConstantVLSRoleParserRuleCall_0_1_0_4() { return cConstantVLSRoleParserRuleCall_0_1_0_4; } | ||
1251 | |||
1252 | //'(' terms+=VLSFofTerm (',' terms+=VLSFofTerm)* ')' | ||
1253 | public Group getGroup_0_2() { return cGroup_0_2; } | ||
1254 | |||
1255 | //'(' | ||
1256 | public Keyword getLeftParenthesisKeyword_0_2_0() { return cLeftParenthesisKeyword_0_2_0; } | ||
1257 | |||
1258 | //terms+=VLSFofTerm | ||
1259 | public Assignment getTermsAssignment_0_2_1() { return cTermsAssignment_0_2_1; } | ||
1260 | |||
1261 | //VLSFofTerm | ||
1262 | public RuleCall getTermsVLSFofTermParserRuleCall_0_2_1_0() { return cTermsVLSFofTermParserRuleCall_0_2_1_0; } | ||
1263 | |||
1264 | //(',' terms+=VLSFofTerm)* | ||
1265 | public Group getGroup_0_2_2() { return cGroup_0_2_2; } | ||
1266 | |||
1267 | //',' | ||
1268 | public Keyword getCommaKeyword_0_2_2_0() { return cCommaKeyword_0_2_2_0; } | ||
1269 | |||
1270 | //terms+=VLSFofTerm | ||
1271 | public Assignment getTermsAssignment_0_2_2_1() { return cTermsAssignment_0_2_2_1; } | ||
1272 | |||
1273 | //VLSFofTerm | ||
1274 | public RuleCall getTermsVLSFofTermParserRuleCall_0_2_2_1_0() { return cTermsVLSFofTermParserRuleCall_0_2_2_1_0; } | ||
1275 | |||
1276 | //')' | ||
1277 | public Keyword getRightParenthesisKeyword_0_2_3() { return cRightParenthesisKeyword_0_2_3; } | ||
1278 | |||
1279 | //{VLSLess} name='$less' '(' terms+=VLSFofTerm ',' terms+=VLSFofTerm ')' | ||
1280 | public Group getGroup_1() { return cGroup_1; } | ||
1281 | |||
1282 | //{VLSLess} | ||
1283 | public Action getVLSLessAction_1_0() { return cVLSLessAction_1_0; } | ||
1284 | |||
1285 | //name='$less' | ||
1286 | public Assignment getNameAssignment_1_1() { return cNameAssignment_1_1; } | ||
1287 | |||
1288 | //'$less' | ||
1289 | public Keyword getNameLessKeyword_1_1_0() { return cNameLessKeyword_1_1_0; } | ||
1290 | |||
1291 | //'(' | ||
1292 | public Keyword getLeftParenthesisKeyword_1_2() { return cLeftParenthesisKeyword_1_2; } | ||
1293 | |||
1294 | //terms+=VLSFofTerm | ||
1295 | public Assignment getTermsAssignment_1_3() { return cTermsAssignment_1_3; } | ||
1296 | |||
1297 | //VLSFofTerm | ||
1298 | public RuleCall getTermsVLSFofTermParserRuleCall_1_3_0() { return cTermsVLSFofTermParserRuleCall_1_3_0; } | ||
1299 | |||
1300 | //',' | ||
1301 | public Keyword getCommaKeyword_1_4() { return cCommaKeyword_1_4; } | ||
1302 | |||
1303 | //terms+=VLSFofTerm | ||
1304 | public Assignment getTermsAssignment_1_5() { return cTermsAssignment_1_5; } | ||
1305 | |||
1306 | //VLSFofTerm | ||
1307 | public RuleCall getTermsVLSFofTermParserRuleCall_1_5_0() { return cTermsVLSFofTermParserRuleCall_1_5_0; } | ||
1308 | |||
1309 | //')' | ||
1310 | public Keyword getRightParenthesisKeyword_1_6() { return cRightParenthesisKeyword_1_6; } | ||
1311 | } | ||
1312 | public class VLSVariableElements extends AbstractParserRuleElementFinder { | ||
1313 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSVariable"); | ||
1314 | private final Assignment cNameAssignment = (Assignment)rule.eContents().get(1); | ||
1315 | private final RuleCall cNameUPPER_WORD_IDTerminalRuleCall_0 = (RuleCall)cNameAssignment.eContents().get(0); | ||
1316 | |||
1317 | //VLSVariable: | ||
1318 | // name=UPPER_WORD_ID; | ||
1319 | @Override public ParserRule getRule() { return rule; } | ||
1320 | |||
1321 | //name=UPPER_WORD_ID | ||
1322 | public Assignment getNameAssignment() { return cNameAssignment; } | ||
1323 | |||
1324 | //UPPER_WORD_ID | ||
1325 | public RuleCall getNameUPPER_WORD_IDTerminalRuleCall_0() { return cNameUPPER_WORD_IDTerminalRuleCall_0; } | ||
1326 | } | ||
1327 | public class VLSFofTermElements extends AbstractParserRuleElementFinder { | ||
1328 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSFofTerm"); | ||
1329 | private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1); | ||
1330 | private final RuleCall cVLSVariableParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0); | ||
1331 | private final RuleCall cVLSFunctionFofParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1); | ||
1332 | private final RuleCall cVLSDefinedTermParserRuleCall_2 = (RuleCall)cAlternatives.eContents().get(2); | ||
1333 | |||
1334 | //VLSFofTerm VLSTerm: | ||
1335 | // VLSVariable | VLSFunctionFof | VLSDefinedTerm; | ||
1336 | @Override public ParserRule getRule() { return rule; } | ||
1337 | |||
1338 | ////(VLSVariable | VLSFunction | VLSTffConditional | VLSTffLet | VLSTffTuple) | ||
1339 | //VLSVariable | VLSFunctionFof | VLSDefinedTerm | ||
1340 | public Alternatives getAlternatives() { return cAlternatives; } | ||
1341 | |||
1342 | //VLSVariable | ||
1343 | public RuleCall getVLSVariableParserRuleCall_0() { return cVLSVariableParserRuleCall_0; } | ||
1344 | |||
1345 | //VLSFunctionFof | ||
1346 | public RuleCall getVLSFunctionFofParserRuleCall_1() { return cVLSFunctionFofParserRuleCall_1; } | ||
1347 | |||
1348 | //VLSDefinedTerm | ||
1349 | public RuleCall getVLSDefinedTermParserRuleCall_2() { return cVLSDefinedTermParserRuleCall_2; } | ||
1350 | } | ||
1351 | public class VLSFunctionFofElements extends AbstractParserRuleElementFinder { | ||
1352 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSFunctionFof"); | ||
1353 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
1354 | private final Assignment cFunctorAssignment_0 = (Assignment)cGroup.eContents().get(0); | ||
1355 | private final Alternatives cFunctorAlternatives_0_0 = (Alternatives)cFunctorAssignment_0.eContents().get(0); | ||
1356 | private final RuleCall cFunctorLOWER_WORD_IDTerminalRuleCall_0_0_0 = (RuleCall)cFunctorAlternatives_0_0.eContents().get(0); | ||
1357 | private final RuleCall cFunctorSINGLE_QUOTETerminalRuleCall_0_0_1 = (RuleCall)cFunctorAlternatives_0_0.eContents().get(1); | ||
1358 | private final RuleCall cFunctorDOLLAR_IDTerminalRuleCall_0_0_2 = (RuleCall)cFunctorAlternatives_0_0.eContents().get(2); | ||
1359 | private final RuleCall cFunctorDOUBLE_DOLLAR_IDTerminalRuleCall_0_0_3 = (RuleCall)cFunctorAlternatives_0_0.eContents().get(3); | ||
1360 | private final Group cGroup_1 = (Group)cGroup.eContents().get(1); | ||
1361 | private final Keyword cLeftParenthesisKeyword_1_0 = (Keyword)cGroup_1.eContents().get(0); | ||
1362 | private final Assignment cTermsAssignment_1_1 = (Assignment)cGroup_1.eContents().get(1); | ||
1363 | private final RuleCall cTermsVLSFofTermParserRuleCall_1_1_0 = (RuleCall)cTermsAssignment_1_1.eContents().get(0); | ||
1364 | private final Group cGroup_1_2 = (Group)cGroup_1.eContents().get(2); | ||
1365 | private final Keyword cCommaKeyword_1_2_0 = (Keyword)cGroup_1_2.eContents().get(0); | ||
1366 | private final Assignment cTermsAssignment_1_2_1 = (Assignment)cGroup_1_2.eContents().get(1); | ||
1367 | private final RuleCall cTermsVLSFofTermParserRuleCall_1_2_1_0 = (RuleCall)cTermsAssignment_1_2_1.eContents().get(0); | ||
1368 | private final Keyword cRightParenthesisKeyword_1_3 = (Keyword)cGroup_1.eContents().get(3); | ||
1369 | |||
1370 | //VLSFunctionFof: | ||
1371 | // functor=(LOWER_WORD_ID | SINGLE_QUOTE | DOLLAR_ID | DOUBLE_DOLLAR_ID) ('(' terms+=VLSFofTerm (',' terms+=VLSFofTerm)* | ||
1372 | // ')')?; | ||
1373 | @Override public ParserRule getRule() { return rule; } | ||
1374 | |||
1375 | ////? on next line causes warning | ||
1376 | ////TODO might need replace DOLLAR_ID with enum rule | ||
1377 | //functor=(LOWER_WORD_ID | SINGLE_QUOTE | DOLLAR_ID | DOUBLE_DOLLAR_ID) ('(' terms+=VLSFofTerm (',' terms+=VLSFofTerm)* | ||
1378 | //')')? | ||
1379 | public Group getGroup() { return cGroup; } | ||
1380 | |||
1381 | ////? on next line causes warning | ||
1382 | ////TODO might need replace DOLLAR_ID with enum rule | ||
1383 | //functor=(LOWER_WORD_ID | SINGLE_QUOTE | DOLLAR_ID | DOUBLE_DOLLAR_ID) | ||
1384 | public Assignment getFunctorAssignment_0() { return cFunctorAssignment_0; } | ||
1385 | |||
1386 | //(LOWER_WORD_ID | SINGLE_QUOTE | DOLLAR_ID | DOUBLE_DOLLAR_ID) | ||
1387 | public Alternatives getFunctorAlternatives_0_0() { return cFunctorAlternatives_0_0; } | ||
1388 | |||
1389 | //LOWER_WORD_ID | ||
1390 | public RuleCall getFunctorLOWER_WORD_IDTerminalRuleCall_0_0_0() { return cFunctorLOWER_WORD_IDTerminalRuleCall_0_0_0; } | ||
1391 | |||
1392 | //SINGLE_QUOTE | ||
1393 | public RuleCall getFunctorSINGLE_QUOTETerminalRuleCall_0_0_1() { return cFunctorSINGLE_QUOTETerminalRuleCall_0_0_1; } | ||
1394 | |||
1395 | //DOLLAR_ID | ||
1396 | public RuleCall getFunctorDOLLAR_IDTerminalRuleCall_0_0_2() { return cFunctorDOLLAR_IDTerminalRuleCall_0_0_2; } | ||
1397 | |||
1398 | //DOUBLE_DOLLAR_ID | ||
1399 | public RuleCall getFunctorDOUBLE_DOLLAR_IDTerminalRuleCall_0_0_3() { return cFunctorDOUBLE_DOLLAR_IDTerminalRuleCall_0_0_3; } | ||
1400 | |||
1401 | //('(' terms+=VLSFofTerm (',' terms+=VLSFofTerm)* ')')? | ||
1402 | public Group getGroup_1() { return cGroup_1; } | ||
1403 | |||
1404 | //'(' | ||
1405 | public Keyword getLeftParenthesisKeyword_1_0() { return cLeftParenthesisKeyword_1_0; } | ||
1406 | |||
1407 | //terms+=VLSFofTerm | ||
1408 | public Assignment getTermsAssignment_1_1() { return cTermsAssignment_1_1; } | ||
1409 | |||
1410 | //VLSFofTerm | ||
1411 | public RuleCall getTermsVLSFofTermParserRuleCall_1_1_0() { return cTermsVLSFofTermParserRuleCall_1_1_0; } | ||
1412 | |||
1413 | //(',' terms+=VLSFofTerm)* | ||
1414 | public Group getGroup_1_2() { return cGroup_1_2; } | ||
1415 | |||
1416 | //',' | ||
1417 | public Keyword getCommaKeyword_1_2_0() { return cCommaKeyword_1_2_0; } | ||
1418 | |||
1419 | //terms+=VLSFofTerm | ||
1420 | public Assignment getTermsAssignment_1_2_1() { return cTermsAssignment_1_2_1; } | ||
1421 | |||
1422 | //VLSFofTerm | ||
1423 | public RuleCall getTermsVLSFofTermParserRuleCall_1_2_1_0() { return cTermsVLSFofTermParserRuleCall_1_2_1_0; } | ||
1424 | |||
1425 | //')' | ||
1426 | public Keyword getRightParenthesisKeyword_1_3() { return cRightParenthesisKeyword_1_3; } | ||
1427 | } | ||
1428 | public class VLSDefinedTermElements extends AbstractParserRuleElementFinder { | ||
1429 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSDefinedTerm"); | ||
1430 | private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1); | ||
1431 | private final Group cGroup_0 = (Group)cAlternatives.eContents().get(0); | ||
1432 | private final Action cVLSIntAction_0_0 = (Action)cGroup_0.eContents().get(0); | ||
1433 | private final Assignment cValueAssignment_0_1 = (Assignment)cGroup_0.eContents().get(1); | ||
1434 | private final RuleCall cValueSIGNED_LITERALTerminalRuleCall_0_1_0 = (RuleCall)cValueAssignment_0_1.eContents().get(0); | ||
1435 | private final Group cGroup_1 = (Group)cAlternatives.eContents().get(1); | ||
1436 | private final Action cVLSRealAction_1_0 = (Action)cGroup_1.eContents().get(0); | ||
1437 | private final Assignment cValueAssignment_1_1 = (Assignment)cGroup_1.eContents().get(1); | ||
1438 | private final RuleCall cValueSIGNED_REAL_IDTerminalRuleCall_1_1_0 = (RuleCall)cValueAssignment_1_1.eContents().get(0); | ||
1439 | private final Group cGroup_2 = (Group)cAlternatives.eContents().get(2); | ||
1440 | private final Action cVLSRationalAction_2_0 = (Action)cGroup_2.eContents().get(0); | ||
1441 | private final Assignment cValueAssignment_2_1 = (Assignment)cGroup_2.eContents().get(1); | ||
1442 | private final RuleCall cValueSIGNED_RAT_IDTerminalRuleCall_2_1_0 = (RuleCall)cValueAssignment_2_1.eContents().get(0); | ||
1443 | private final Group cGroup_3 = (Group)cAlternatives.eContents().get(3); | ||
1444 | private final Action cVLSDoubleQuoteAction_3_0 = (Action)cGroup_3.eContents().get(0); | ||
1445 | private final Assignment cValueAssignment_3_1 = (Assignment)cGroup_3.eContents().get(1); | ||
1446 | private final RuleCall cValueDOUBLE_QUOTETerminalRuleCall_3_1_0 = (RuleCall)cValueAssignment_3_1.eContents().get(0); | ||
1447 | |||
1448 | //VLSDefinedTerm: | ||
1449 | // {VLSInt} value=SIGNED_LITERAL | {VLSReal} value=SIGNED_REAL_ID | {VLSRational} value=SIGNED_RAT_ID | {VLSDoubleQuote} | ||
1450 | // value=DOUBLE_QUOTE; | ||
1451 | @Override public ParserRule getRule() { return rule; } | ||
1452 | |||
1453 | //{VLSInt} value=SIGNED_LITERAL | {VLSReal} value=SIGNED_REAL_ID | {VLSRational} value=SIGNED_RAT_ID | {VLSDoubleQuote} | ||
1454 | //value=DOUBLE_QUOTE | ||
1455 | public Alternatives getAlternatives() { return cAlternatives; } | ||
1456 | |||
1457 | //{VLSInt} value=SIGNED_LITERAL | ||
1458 | public Group getGroup_0() { return cGroup_0; } | ||
1459 | |||
1460 | //{VLSInt} | ||
1461 | public Action getVLSIntAction_0_0() { return cVLSIntAction_0_0; } | ||
1462 | |||
1463 | //value=SIGNED_LITERAL | ||
1464 | public Assignment getValueAssignment_0_1() { return cValueAssignment_0_1; } | ||
1465 | |||
1466 | //SIGNED_LITERAL | ||
1467 | public RuleCall getValueSIGNED_LITERALTerminalRuleCall_0_1_0() { return cValueSIGNED_LITERALTerminalRuleCall_0_1_0; } | ||
1468 | |||
1469 | //{VLSReal} value=SIGNED_REAL_ID | ||
1470 | public Group getGroup_1() { return cGroup_1; } | ||
1471 | |||
1472 | //{VLSReal} | ||
1473 | public Action getVLSRealAction_1_0() { return cVLSRealAction_1_0; } | ||
1474 | |||
1475 | //value=SIGNED_REAL_ID | ||
1476 | public Assignment getValueAssignment_1_1() { return cValueAssignment_1_1; } | ||
1477 | |||
1478 | //SIGNED_REAL_ID | ||
1479 | public RuleCall getValueSIGNED_REAL_IDTerminalRuleCall_1_1_0() { return cValueSIGNED_REAL_IDTerminalRuleCall_1_1_0; } | ||
1480 | |||
1481 | //{VLSRational} value=SIGNED_RAT_ID | ||
1482 | public Group getGroup_2() { return cGroup_2; } | ||
1483 | |||
1484 | //{VLSRational} | ||
1485 | public Action getVLSRationalAction_2_0() { return cVLSRationalAction_2_0; } | ||
1486 | |||
1487 | //value=SIGNED_RAT_ID | ||
1488 | public Assignment getValueAssignment_2_1() { return cValueAssignment_2_1; } | ||
1489 | |||
1490 | //SIGNED_RAT_ID | ||
1491 | public RuleCall getValueSIGNED_RAT_IDTerminalRuleCall_2_1_0() { return cValueSIGNED_RAT_IDTerminalRuleCall_2_1_0; } | ||
1492 | |||
1493 | //{VLSDoubleQuote} value=DOUBLE_QUOTE | ||
1494 | public Group getGroup_3() { return cGroup_3; } | ||
1495 | |||
1496 | //{VLSDoubleQuote} | ||
1497 | public Action getVLSDoubleQuoteAction_3_0() { return cVLSDoubleQuoteAction_3_0; } | ||
1498 | |||
1499 | //value=DOUBLE_QUOTE | ||
1500 | public Assignment getValueAssignment_3_1() { return cValueAssignment_3_1; } | ||
1501 | |||
1502 | //DOUBLE_QUOTE | ||
1503 | public RuleCall getValueDOUBLE_QUOTETerminalRuleCall_3_1_0() { return cValueDOUBLE_QUOTETerminalRuleCall_3_1_0; } | ||
1504 | } | ||
1505 | |||
1506 | |||
1507 | private final VampireModelElements pVampireModel; | ||
1508 | private final TerminalRule tALPHA_NUMERIC; | ||
1509 | private final TerminalRule tUPPER_WORD_ID; | ||
1510 | private final TerminalRule tLOWER_WORD_ID; | ||
1511 | private final TerminalRule tDOUBLE_QUOTE; | ||
1512 | private final TerminalRule tSINGLE_QUOTE; | ||
1513 | private final TerminalRule tSIGN; | ||
1514 | private final TerminalRule tDOLLAR_ID; | ||
1515 | private final TerminalRule tDOUBLE_DOLLAR_ID; | ||
1516 | private final TerminalRule tLITERAL; | ||
1517 | private final TerminalRule tSIGNED_LITERAL; | ||
1518 | private final TerminalRule tUNSIGNED_REAL_FRAC_ID; | ||
1519 | private final TerminalRule tUNSIGNED_REAL_EXP_ID; | ||
1520 | private final TerminalRule tSIGNED_REAL_ID; | ||
1521 | private final TerminalRule tUNSIGNED_RAT_ID; | ||
1522 | private final TerminalRule tSIGNED_RAT_ID; | ||
1523 | private final TerminalRule tANY_OTHER; | ||
1524 | private final TerminalRule tSINGLE_COMMENT; | ||
1525 | private final VLSIncludeElements pVLSInclude; | ||
1526 | private final VLSNameElements pVLSName; | ||
1527 | private final VLSCommentElements pVLSComment; | ||
1528 | private final VLSFofFormulaElements pVLSFofFormula; | ||
1529 | private final VLSRoleElements pVLSRole; | ||
1530 | private final VLSAxiomElements pVLSAxiom; | ||
1531 | private final VLSConjectureElements pVLSConjecture; | ||
1532 | private final VLSHypothesisElements pVLSHypothesis; | ||
1533 | private final VLSDefinitionElements pVLSDefinition; | ||
1534 | private final VLSAssumptionElements pVLSAssumption; | ||
1535 | private final VLSLemmaElements pVLSLemma; | ||
1536 | private final VLSTheoremElements pVLSTheorem; | ||
1537 | private final VLSCorollaryElements pVLSCorollary; | ||
1538 | private final VLSNegated_ConjectureElements pVLSNegated_Conjecture; | ||
1539 | private final VLSPlainElements pVLSPlain; | ||
1540 | private final VLSTypeElements pVLSType; | ||
1541 | private final VLSFi_DomainElements pVLSFi_Domain; | ||
1542 | private final VLSFi_FunctorsElements pVLSFi_Functors; | ||
1543 | private final VLSFi_PredicatesElements pVLSFi_Predicates; | ||
1544 | private final VLSUnknownElements pVLSUnknown; | ||
1545 | private final VLSAnnotationElements pVLSAnnotation; | ||
1546 | private final VLSAnnotationTermsElements pVLSAnnotationTerms; | ||
1547 | private final VLSTermElements pVLSTerm; | ||
1548 | private final VLSBinaryElements pVLSBinary; | ||
1549 | private final VLSUnitaryFormulaElements pVLSUnitaryFormula; | ||
1550 | private final VLSUniversalQuantifierElements pVLSUniversalQuantifier; | ||
1551 | private final VLSExistentialQuantifierElements pVLSExistentialQuantifier; | ||
1552 | private final VLSUnaryNegationElements pVLSUnaryNegation; | ||
1553 | private final VLSUnaryInfixElements pVLSUnaryInfix; | ||
1554 | private final VLSAtomicElements pVLSAtomic; | ||
1555 | private final VLSAtomicConstantElements pVLSAtomicConstant; | ||
1556 | private final VLSAtomicFunctionElements pVLSAtomicFunction; | ||
1557 | private final VLSVariableElements pVLSVariable; | ||
1558 | private final VLSFofTermElements pVLSFofTerm; | ||
1559 | private final VLSFunctionFofElements pVLSFunctionFof; | ||
1560 | private final VLSDefinedTermElements pVLSDefinedTerm; | ||
1561 | |||
1562 | private final Grammar grammar; | ||
1563 | |||
1564 | private final TerminalsGrammarAccess gaTerminals; | ||
1565 | |||
1566 | @Inject | ||
1567 | public VampireLanguageGrammarAccess(GrammarProvider grammarProvider, | ||
1568 | TerminalsGrammarAccess gaTerminals) { | ||
1569 | this.grammar = internalFindGrammar(grammarProvider); | ||
1570 | this.gaTerminals = gaTerminals; | ||
1571 | this.pVampireModel = new VampireModelElements(); | ||
1572 | this.tALPHA_NUMERIC = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.ALPHA_NUMERIC"); | ||
1573 | this.tUPPER_WORD_ID = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.UPPER_WORD_ID"); | ||
1574 | this.tLOWER_WORD_ID = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.LOWER_WORD_ID"); | ||
1575 | this.tDOUBLE_QUOTE = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.DOUBLE_QUOTE"); | ||
1576 | this.tSINGLE_QUOTE = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.SINGLE_QUOTE"); | ||
1577 | this.tSIGN = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.SIGN"); | ||
1578 | this.tDOLLAR_ID = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.DOLLAR_ID"); | ||
1579 | this.tDOUBLE_DOLLAR_ID = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.DOUBLE_DOLLAR_ID"); | ||
1580 | this.tLITERAL = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.LITERAL"); | ||
1581 | this.tSIGNED_LITERAL = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.SIGNED_LITERAL"); | ||
1582 | this.tUNSIGNED_REAL_FRAC_ID = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.UNSIGNED_REAL_FRAC_ID"); | ||
1583 | this.tUNSIGNED_REAL_EXP_ID = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.UNSIGNED_REAL_EXP_ID"); | ||
1584 | this.tSIGNED_REAL_ID = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.SIGNED_REAL_ID"); | ||
1585 | this.tUNSIGNED_RAT_ID = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.UNSIGNED_RAT_ID"); | ||
1586 | this.tSIGNED_RAT_ID = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.SIGNED_RAT_ID"); | ||
1587 | this.tANY_OTHER = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.ANY_OTHER"); | ||
1588 | this.tSINGLE_COMMENT = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.SINGLE_COMMENT"); | ||
1589 | this.pVLSInclude = new VLSIncludeElements(); | ||
1590 | this.pVLSName = new VLSNameElements(); | ||
1591 | this.pVLSComment = new VLSCommentElements(); | ||
1592 | this.pVLSFofFormula = new VLSFofFormulaElements(); | ||
1593 | this.pVLSRole = new VLSRoleElements(); | ||
1594 | this.pVLSAxiom = new VLSAxiomElements(); | ||
1595 | this.pVLSConjecture = new VLSConjectureElements(); | ||
1596 | this.pVLSHypothesis = new VLSHypothesisElements(); | ||
1597 | this.pVLSDefinition = new VLSDefinitionElements(); | ||
1598 | this.pVLSAssumption = new VLSAssumptionElements(); | ||
1599 | this.pVLSLemma = new VLSLemmaElements(); | ||
1600 | this.pVLSTheorem = new VLSTheoremElements(); | ||
1601 | this.pVLSCorollary = new VLSCorollaryElements(); | ||
1602 | this.pVLSNegated_Conjecture = new VLSNegated_ConjectureElements(); | ||
1603 | this.pVLSPlain = new VLSPlainElements(); | ||
1604 | this.pVLSType = new VLSTypeElements(); | ||
1605 | this.pVLSFi_Domain = new VLSFi_DomainElements(); | ||
1606 | this.pVLSFi_Functors = new VLSFi_FunctorsElements(); | ||
1607 | this.pVLSFi_Predicates = new VLSFi_PredicatesElements(); | ||
1608 | this.pVLSUnknown = new VLSUnknownElements(); | ||
1609 | this.pVLSAnnotation = new VLSAnnotationElements(); | ||
1610 | this.pVLSAnnotationTerms = new VLSAnnotationTermsElements(); | ||
1611 | this.pVLSTerm = new VLSTermElements(); | ||
1612 | this.pVLSBinary = new VLSBinaryElements(); | ||
1613 | this.pVLSUnitaryFormula = new VLSUnitaryFormulaElements(); | ||
1614 | this.pVLSUniversalQuantifier = new VLSUniversalQuantifierElements(); | ||
1615 | this.pVLSExistentialQuantifier = new VLSExistentialQuantifierElements(); | ||
1616 | this.pVLSUnaryNegation = new VLSUnaryNegationElements(); | ||
1617 | this.pVLSUnaryInfix = new VLSUnaryInfixElements(); | ||
1618 | this.pVLSAtomic = new VLSAtomicElements(); | ||
1619 | this.pVLSAtomicConstant = new VLSAtomicConstantElements(); | ||
1620 | this.pVLSAtomicFunction = new VLSAtomicFunctionElements(); | ||
1621 | this.pVLSVariable = new VLSVariableElements(); | ||
1622 | this.pVLSFofTerm = new VLSFofTermElements(); | ||
1623 | this.pVLSFunctionFof = new VLSFunctionFofElements(); | ||
1624 | this.pVLSDefinedTerm = new VLSDefinedTermElements(); | ||
1625 | } | ||
1626 | |||
1627 | protected Grammar internalFindGrammar(GrammarProvider grammarProvider) { | ||
1628 | Grammar grammar = grammarProvider.getGrammar(this); | ||
1629 | while (grammar != null) { | ||
1630 | if ("ca.mcgill.ecse.dslreasoner.VampireLanguage".equals(grammar.getName())) { | ||
1631 | return grammar; | ||
1632 | } | ||
1633 | List<Grammar> grammars = grammar.getUsedGrammars(); | ||
1634 | if (!grammars.isEmpty()) { | ||
1635 | grammar = grammars.iterator().next(); | ||
1636 | } else { | ||
1637 | return null; | ||
1638 | } | ||
1639 | } | ||
1640 | return grammar; | ||
1641 | } | ||
1642 | |||
1643 | @Override | ||
1644 | public Grammar getGrammar() { | ||
1645 | return grammar; | ||
1646 | } | ||
1647 | |||
1648 | |||
1649 | public TerminalsGrammarAccess getTerminalsGrammarAccess() { | ||
1650 | return gaTerminals; | ||
1651 | } | ||
1652 | |||
1653 | |||
1654 | ////@@@@@@@@@@@ | ||
1655 | ////2 things TODO: | ||
1656 | ////1. fix anotations (ln77) | ||
1657 | ////2. can only use declared variables in formula (ln 158) | ||
1658 | ////@@@@@@@@@@@ | ||
1659 | //VampireModel: | ||
1660 | // (includes+=VLSInclude | comments+=VLSComment | formulas+=VLSFofFormula)*; | ||
1661 | public VampireModelElements getVampireModelAccess() { | ||
1662 | return pVampireModel; | ||
1663 | } | ||
1664 | |||
1665 | public ParserRule getVampireModelRule() { | ||
1666 | return getVampireModelAccess().getRule(); | ||
1667 | } | ||
1668 | |||
1669 | //terminal ALPHA_NUMERIC: | ||
1670 | // 'a'..'z' | 'A'..'Z' | '0'..'9' | '_'; | ||
1671 | public TerminalRule getALPHA_NUMERICRule() { | ||
1672 | return tALPHA_NUMERIC; | ||
1673 | } | ||
1674 | |||
1675 | //terminal UPPER_WORD_ID: | ||
1676 | // 'A'..'Z' ALPHA_NUMERIC*; | ||
1677 | public TerminalRule getUPPER_WORD_IDRule() { | ||
1678 | return tUPPER_WORD_ID; | ||
1679 | } | ||
1680 | |||
1681 | //terminal LOWER_WORD_ID: | ||
1682 | // 'a'..'z' ALPHA_NUMERIC*; | ||
1683 | public TerminalRule getLOWER_WORD_IDRule() { | ||
1684 | return tLOWER_WORD_ID; | ||
1685 | } | ||
1686 | |||
1687 | //terminal DOUBLE_QUOTE: | ||
1688 | // '"' ('\\' ('"' | '\\') | !('\\' | '"'))* '"'; | ||
1689 | public TerminalRule getDOUBLE_QUOTERule() { | ||
1690 | return tDOUBLE_QUOTE; | ||
1691 | } | ||
1692 | |||
1693 | //terminal SINGLE_QUOTE: | ||
1694 | // "'" ('\\' ("'" | '\\') | !('\\' | "'"))+ "'"; | ||
1695 | public TerminalRule getSINGLE_QUOTERule() { | ||
1696 | return tSINGLE_QUOTE; | ||
1697 | } | ||
1698 | |||
1699 | //terminal SIGN: | ||
1700 | // '+' | '-'; | ||
1701 | public TerminalRule getSIGNRule() { | ||
1702 | return tSIGN; | ||
1703 | } | ||
1704 | |||
1705 | //terminal DOLLAR_ID: | ||
1706 | // '$' LOWER_WORD_ID; | ||
1707 | public TerminalRule getDOLLAR_IDRule() { | ||
1708 | return tDOLLAR_ID; | ||
1709 | } | ||
1710 | |||
1711 | //terminal DOUBLE_DOLLAR_ID: | ||
1712 | // '$$' LOWER_WORD_ID; | ||
1713 | public TerminalRule getDOUBLE_DOLLAR_IDRule() { | ||
1714 | return tDOUBLE_DOLLAR_ID; | ||
1715 | } | ||
1716 | |||
1717 | //terminal LITERAL: | ||
1718 | // '0' | '1'..'9' INT?; | ||
1719 | public TerminalRule getLITERALRule() { | ||
1720 | return tLITERAL; | ||
1721 | } | ||
1722 | |||
1723 | //terminal SIGNED_LITERAL: | ||
1724 | // SIGN* LITERAL; | ||
1725 | public TerminalRule getSIGNED_LITERALRule() { | ||
1726 | return tSIGNED_LITERAL; | ||
1727 | } | ||
1728 | |||
1729 | //terminal UNSIGNED_REAL_FRAC_ID: | ||
1730 | // LITERAL '.' INT; | ||
1731 | public TerminalRule getUNSIGNED_REAL_FRAC_IDRule() { | ||
1732 | return tUNSIGNED_REAL_FRAC_ID; | ||
1733 | } | ||
1734 | |||
1735 | //terminal UNSIGNED_REAL_EXP_ID: | ||
1736 | // (LITERAL | UNSIGNED_REAL_FRAC_ID) 'Ee' SIGN* INT; | ||
1737 | public TerminalRule getUNSIGNED_REAL_EXP_IDRule() { | ||
1738 | return tUNSIGNED_REAL_EXP_ID; | ||
1739 | } | ||
1740 | |||
1741 | //terminal SIGNED_REAL_ID: | ||
1742 | // SIGN* (UNSIGNED_REAL_FRAC_ID | UNSIGNED_REAL_EXP_ID); | ||
1743 | public TerminalRule getSIGNED_REAL_IDRule() { | ||
1744 | return tSIGNED_REAL_ID; | ||
1745 | } | ||
1746 | |||
1747 | //terminal UNSIGNED_RAT_ID: | ||
1748 | // LITERAL '/' '1'..'9' INT?; | ||
1749 | public TerminalRule getUNSIGNED_RAT_IDRule() { | ||
1750 | return tUNSIGNED_RAT_ID; | ||
1751 | } | ||
1752 | |||
1753 | //terminal SIGNED_RAT_ID: | ||
1754 | // SIGN* UNSIGNED_RAT_ID; | ||
1755 | public TerminalRule getSIGNED_RAT_IDRule() { | ||
1756 | return tSIGNED_RAT_ID; | ||
1757 | } | ||
1758 | |||
1759 | //terminal ANY_OTHER: | ||
1760 | // '%' !('\n' | '\r')* '\r'; | ||
1761 | public TerminalRule getANY_OTHERRule() { | ||
1762 | return tANY_OTHER; | ||
1763 | } | ||
1764 | |||
1765 | //terminal SINGLE_COMMENT: | ||
1766 | // ANY_OTHER; | ||
1767 | public TerminalRule getSINGLE_COMMENTRule() { | ||
1768 | return tSINGLE_COMMENT; | ||
1769 | } | ||
1770 | |||
1771 | ////terminal ID: ( !('('|')'|'\r'|'\n') )+ ; | ||
1772 | //////////////////////////////////// | ||
1773 | //// VLS types | ||
1774 | //////////////////////////////////// | ||
1775 | //// <includes> | ||
1776 | //VLSInclude: | ||
1777 | // 'include(' fileName=SINGLE_QUOTE (',[' names+=VLSName (',' names+=VLSName)* ']')?; | ||
1778 | public VLSIncludeElements getVLSIncludeAccess() { | ||
1779 | return pVLSInclude; | ||
1780 | } | ||
1781 | |||
1782 | public ParserRule getVLSIncludeRule() { | ||
1783 | return getVLSIncludeAccess().getRule(); | ||
1784 | } | ||
1785 | |||
1786 | //VLSName: | ||
1787 | // name=(LOWER_WORD_ID | SINGLE_QUOTE | LITERAL | SIGNED_LITERAL); | ||
1788 | public VLSNameElements getVLSNameAccess() { | ||
1789 | return pVLSName; | ||
1790 | } | ||
1791 | |||
1792 | public ParserRule getVLSNameRule() { | ||
1793 | return getVLSNameAccess().getRule(); | ||
1794 | } | ||
1795 | |||
1796 | //// <comments> | ||
1797 | //VLSComment: | ||
1798 | // comment=SINGLE_COMMENT | ||
1799 | // //need to add a new line at the end of the file for the case where the last line is a comment | ||
1800 | //; | ||
1801 | public VLSCommentElements getVLSCommentAccess() { | ||
1802 | return pVLSComment; | ||
1803 | } | ||
1804 | |||
1805 | public ParserRule getVLSCommentRule() { | ||
1806 | return getVLSCommentAccess().getRule(); | ||
1807 | } | ||
1808 | |||
1809 | ////VLSConstantDeclaration: name = (LOWER_WORD_ID | SINGLE_QUOTE | DOLLAR_ID | DOUBLE_DOLLAR_ID ); | ||
1810 | //// <FOF formulas> | ||
1811 | //VLSFofFormula: | ||
1812 | // 'fof' '(' name=(LOWER_WORD_ID | SIGNED_LITERAL | SINGLE_QUOTE) ',' fofRole=VLSRole ',' fofFormula=VLSTerm (',' | ||
1813 | // annotations=VLSAnnotation)? ')' '.'; | ||
1814 | public VLSFofFormulaElements getVLSFofFormulaAccess() { | ||
1815 | return pVLSFofFormula; | ||
1816 | } | ||
1817 | |||
1818 | public ParserRule getVLSFofFormulaRule() { | ||
1819 | return getVLSFofFormulaAccess().getRule(); | ||
1820 | } | ||
1821 | |||
1822 | ///* | ||
1823 | ////NAME | ||
1824 | //VLSName: | ||
1825 | // //(atomic_Word = Atomic_Word | integer = Integer | single_quote_word = Single_Quote_Word) | ||
1826 | // name = (LOWER_WORD_ID | SIGNED_INT_ID | SINGLE_QUOTE) | ||
1827 | //; | ||
1828 | //*/ //<ROLE> | ||
1829 | //VLSRole: | ||
1830 | // VLSAxiom | VLSConjecture | VLSHypothesis | VLSDefinition | VLSAssumption | VLSLemma | VLSTheorem | VLSCorollary | | ||
1831 | // VLSNegated_Conjecture | VLSPlain | VLSType | VLSFi_Domain | VLSFi_Functors | VLSFi_Predicates | VLSUnknown; | ||
1832 | public VLSRoleElements getVLSRoleAccess() { | ||
1833 | return pVLSRole; | ||
1834 | } | ||
1835 | |||
1836 | public ParserRule getVLSRoleRule() { | ||
1837 | return getVLSRoleAccess().getRule(); | ||
1838 | } | ||
1839 | |||
1840 | //VLSAxiom: | ||
1841 | // "axiom"; | ||
1842 | public VLSAxiomElements getVLSAxiomAccess() { | ||
1843 | return pVLSAxiom; | ||
1844 | } | ||
1845 | |||
1846 | public ParserRule getVLSAxiomRule() { | ||
1847 | return getVLSAxiomAccess().getRule(); | ||
1848 | } | ||
1849 | |||
1850 | //VLSConjecture: | ||
1851 | // "conjecture"; | ||
1852 | public VLSConjectureElements getVLSConjectureAccess() { | ||
1853 | return pVLSConjecture; | ||
1854 | } | ||
1855 | |||
1856 | public ParserRule getVLSConjectureRule() { | ||
1857 | return getVLSConjectureAccess().getRule(); | ||
1858 | } | ||
1859 | |||
1860 | //VLSHypothesis: | ||
1861 | // "hypothesis"; | ||
1862 | public VLSHypothesisElements getVLSHypothesisAccess() { | ||
1863 | return pVLSHypothesis; | ||
1864 | } | ||
1865 | |||
1866 | public ParserRule getVLSHypothesisRule() { | ||
1867 | return getVLSHypothesisAccess().getRule(); | ||
1868 | } | ||
1869 | |||
1870 | //VLSDefinition: | ||
1871 | // "definition"; | ||
1872 | public VLSDefinitionElements getVLSDefinitionAccess() { | ||
1873 | return pVLSDefinition; | ||
1874 | } | ||
1875 | |||
1876 | public ParserRule getVLSDefinitionRule() { | ||
1877 | return getVLSDefinitionAccess().getRule(); | ||
1878 | } | ||
1879 | |||
1880 | //VLSAssumption: | ||
1881 | // "assumption"; | ||
1882 | public VLSAssumptionElements getVLSAssumptionAccess() { | ||
1883 | return pVLSAssumption; | ||
1884 | } | ||
1885 | |||
1886 | public ParserRule getVLSAssumptionRule() { | ||
1887 | return getVLSAssumptionAccess().getRule(); | ||
1888 | } | ||
1889 | |||
1890 | //VLSLemma: | ||
1891 | // "lemma"; | ||
1892 | public VLSLemmaElements getVLSLemmaAccess() { | ||
1893 | return pVLSLemma; | ||
1894 | } | ||
1895 | |||
1896 | public ParserRule getVLSLemmaRule() { | ||
1897 | return getVLSLemmaAccess().getRule(); | ||
1898 | } | ||
1899 | |||
1900 | //VLSTheorem: | ||
1901 | // "theorem"; | ||
1902 | public VLSTheoremElements getVLSTheoremAccess() { | ||
1903 | return pVLSTheorem; | ||
1904 | } | ||
1905 | |||
1906 | public ParserRule getVLSTheoremRule() { | ||
1907 | return getVLSTheoremAccess().getRule(); | ||
1908 | } | ||
1909 | |||
1910 | //VLSCorollary: | ||
1911 | // "corollary"; | ||
1912 | public VLSCorollaryElements getVLSCorollaryAccess() { | ||
1913 | return pVLSCorollary; | ||
1914 | } | ||
1915 | |||
1916 | public ParserRule getVLSCorollaryRule() { | ||
1917 | return getVLSCorollaryAccess().getRule(); | ||
1918 | } | ||
1919 | |||
1920 | //VLSNegated_Conjecture: | ||
1921 | // "negated_conjecture"; | ||
1922 | public VLSNegated_ConjectureElements getVLSNegated_ConjectureAccess() { | ||
1923 | return pVLSNegated_Conjecture; | ||
1924 | } | ||
1925 | |||
1926 | public ParserRule getVLSNegated_ConjectureRule() { | ||
1927 | return getVLSNegated_ConjectureAccess().getRule(); | ||
1928 | } | ||
1929 | |||
1930 | //VLSPlain: | ||
1931 | // "plain"; | ||
1932 | public VLSPlainElements getVLSPlainAccess() { | ||
1933 | return pVLSPlain; | ||
1934 | } | ||
1935 | |||
1936 | public ParserRule getVLSPlainRule() { | ||
1937 | return getVLSPlainAccess().getRule(); | ||
1938 | } | ||
1939 | |||
1940 | //VLSType: | ||
1941 | // "type"; | ||
1942 | public VLSTypeElements getVLSTypeAccess() { | ||
1943 | return pVLSType; | ||
1944 | } | ||
1945 | |||
1946 | public ParserRule getVLSTypeRule() { | ||
1947 | return getVLSTypeAccess().getRule(); | ||
1948 | } | ||
1949 | |||
1950 | //VLSFi_Domain: | ||
1951 | // "fi_domain"; | ||
1952 | public VLSFi_DomainElements getVLSFi_DomainAccess() { | ||
1953 | return pVLSFi_Domain; | ||
1954 | } | ||
1955 | |||
1956 | public ParserRule getVLSFi_DomainRule() { | ||
1957 | return getVLSFi_DomainAccess().getRule(); | ||
1958 | } | ||
1959 | |||
1960 | //VLSFi_Functors: | ||
1961 | // "fi_functors"; | ||
1962 | public VLSFi_FunctorsElements getVLSFi_FunctorsAccess() { | ||
1963 | return pVLSFi_Functors; | ||
1964 | } | ||
1965 | |||
1966 | public ParserRule getVLSFi_FunctorsRule() { | ||
1967 | return getVLSFi_FunctorsAccess().getRule(); | ||
1968 | } | ||
1969 | |||
1970 | //VLSFi_Predicates: | ||
1971 | // "fi_predicates"; | ||
1972 | public VLSFi_PredicatesElements getVLSFi_PredicatesAccess() { | ||
1973 | return pVLSFi_Predicates; | ||
1974 | } | ||
1975 | |||
1976 | public ParserRule getVLSFi_PredicatesRule() { | ||
1977 | return getVLSFi_PredicatesAccess().getRule(); | ||
1978 | } | ||
1979 | |||
1980 | //VLSUnknown: | ||
1981 | // "unknown"; | ||
1982 | public VLSUnknownElements getVLSUnknownAccess() { | ||
1983 | return pVLSUnknown; | ||
1984 | } | ||
1985 | |||
1986 | public ParserRule getVLSUnknownRule() { | ||
1987 | return getVLSUnknownAccess().getRule(); | ||
1988 | } | ||
1989 | |||
1990 | //// <ANNOTATION> | ||
1991 | //// Not at all based on the website. based on what we think the output will be like | ||
1992 | //VLSAnnotation: | ||
1993 | // '['? name=(LOWER_WORD_ID | SINGLE_QUOTE | VLSRole)? ('(' followup=VLSAnnotationTerms ')')? ']'?; | ||
1994 | public VLSAnnotationElements getVLSAnnotationAccess() { | ||
1995 | return pVLSAnnotation; | ||
1996 | } | ||
1997 | |||
1998 | public ParserRule getVLSAnnotationRule() { | ||
1999 | return getVLSAnnotationAccess().getRule(); | ||
2000 | } | ||
2001 | |||
2002 | //VLSAnnotationTerms VLSAnnotation: | ||
2003 | // terms+=VLSAnnotation (',' terms+=VLSAnnotation)*; | ||
2004 | public VLSAnnotationTermsElements getVLSAnnotationTermsAccess() { | ||
2005 | return pVLSAnnotationTerms; | ||
2006 | } | ||
2007 | |||
2008 | public ParserRule getVLSAnnotationTermsRule() { | ||
2009 | return getVLSAnnotationTermsAccess().getRule(); | ||
2010 | } | ||
2011 | |||
2012 | //////////////////////////////////// | ||
2013 | //// VLS Terms | ||
2014 | //////////////////////////////////// | ||
2015 | //VLSTerm: | ||
2016 | // VLSBinary; | ||
2017 | public VLSTermElements getVLSTermAccess() { | ||
2018 | return pVLSTerm; | ||
2019 | } | ||
2020 | |||
2021 | public ParserRule getVLSTermRule() { | ||
2022 | return getVLSTermAccess().getRule(); | ||
2023 | } | ||
2024 | |||
2025 | ////* | ||
2026 | ////VLSBinaryFormula | ||
2027 | //VLSBinary VLSTerm: | ||
2028 | // VLSUnitaryFormula (({VLSEquivalent.left=current} "<=>" | {VLSImplies.left=current} "=>" | | ||
2029 | // {VLSRevImplies.left=current} "<=" | {VLSXnor.left=current} "<~>" | {VLSNor.left=current} "~|" | | ||
2030 | // {VLSNand.left=current} "~&") right=VLSUnitaryFormula | ({VLSAnd.left=current} '&' right=VLSUnitaryFormula)+ | ||
2031 | // | ({VLSOr.left=current} '|' right=VLSUnitaryFormula)+)?; | ||
2032 | public VLSBinaryElements getVLSBinaryAccess() { | ||
2033 | return pVLSBinary; | ||
2034 | } | ||
2035 | |||
2036 | public ParserRule getVLSBinaryRule() { | ||
2037 | return getVLSBinaryAccess().getRule(); | ||
2038 | } | ||
2039 | |||
2040 | ////VLSUnitaryFormula | ||
2041 | //VLSUnitaryFormula VLSTerm: | ||
2042 | // VLSUniversalQuantifier | VLSExistentialQuantifier | VLSUnaryNegation | VLSUnaryInfix | ||
2043 | // //| VLSEquality | ||
2044 | // | '(' VLSTerm ')'; | ||
2045 | public VLSUnitaryFormulaElements getVLSUnitaryFormulaAccess() { | ||
2046 | return pVLSUnitaryFormula; | ||
2047 | } | ||
2048 | |||
2049 | public ParserRule getVLSUnitaryFormulaRule() { | ||
2050 | return getVLSUnitaryFormulaAccess().getRule(); | ||
2051 | } | ||
2052 | |||
2053 | //VLSUniversalQuantifier VLSTerm: | ||
2054 | // {VLSUniversalQuantifier} ("!" '[' variables+=VLSVariable (',' variables+=VLSVariable)* ']' ':') | ||
2055 | // operand=VLSUnitaryFormula; | ||
2056 | public VLSUniversalQuantifierElements getVLSUniversalQuantifierAccess() { | ||
2057 | return pVLSUniversalQuantifier; | ||
2058 | } | ||
2059 | |||
2060 | public ParserRule getVLSUniversalQuantifierRule() { | ||
2061 | return getVLSUniversalQuantifierAccess().getRule(); | ||
2062 | } | ||
2063 | |||
2064 | //VLSExistentialQuantifier VLSTerm: | ||
2065 | // {VLSExistentialQuantifier} ("?" '[' variables+=VLSVariable (',' variables+=VLSVariable)* ']' ':') | ||
2066 | // operand=VLSUnitaryFormula; | ||
2067 | public VLSExistentialQuantifierElements getVLSExistentialQuantifierAccess() { | ||
2068 | return pVLSExistentialQuantifier; | ||
2069 | } | ||
2070 | |||
2071 | public ParserRule getVLSExistentialQuantifierRule() { | ||
2072 | return getVLSExistentialQuantifierAccess().getRule(); | ||
2073 | } | ||
2074 | |||
2075 | //VLSUnaryNegation VLSTerm: | ||
2076 | // {VLSUnaryNegation} '~' operand=VLSUnitaryFormula; | ||
2077 | public VLSUnaryNegationElements getVLSUnaryNegationAccess() { | ||
2078 | return pVLSUnaryNegation; | ||
2079 | } | ||
2080 | |||
2081 | public ParserRule getVLSUnaryNegationRule() { | ||
2082 | return getVLSUnaryNegationAccess().getRule(); | ||
2083 | } | ||
2084 | |||
2085 | //VLSUnaryInfix VLSTerm: | ||
2086 | // VLSAtomic (({VLSInequality.left=current} "!=" | {VLSEquality.left=current} "=" | {VLSAssignment.left=current} ":=") | ||
2087 | // right=VLSAtomic)?; | ||
2088 | public VLSUnaryInfixElements getVLSUnaryInfixAccess() { | ||
2089 | return pVLSUnaryInfix; | ||
2090 | } | ||
2091 | |||
2092 | public ParserRule getVLSUnaryInfixRule() { | ||
2093 | return getVLSUnaryInfixAccess().getRule(); | ||
2094 | } | ||
2095 | |||
2096 | ////NOT SUREEEE | ||
2097 | ////VLSEquality returns VLSTerm: | ||
2098 | //// VLSFofTerm ({VLSEquality.left = current} "=" right = VLSFofTerm)? | ||
2099 | //// | ||
2100 | ////; | ||
2101 | ///* | ||
2102 | //enum VLSDefinedFunctor: | ||
2103 | // UMINUS='$uminus' | SUM='$sum' | DIFFERENCE='$difference' | PRODUCT='$product' | QUOTIENT='$quotient' | | ||
2104 | // QUOTIENT_E='$quotient_e' | QUOTIENT_T='$quotient_t' | QUOTIENT_F='$quotient_f' | REMAINDER_E='$remainder_e' | | ||
2105 | // REMAINDER_T='$remainder_t' | REMAINDER_F='$remainder_f' | FLOOR='$floor' | CEILING='$ceiling' | | ||
2106 | // TRUNCATE='$truncate' | ROUND='$round' | TO_INT='$to_int' | TO_RAT='$to_rat' | TO_REAL='$to_real' | ||
2107 | // ; | ||
2108 | //*/ VLSAtomic VLSTerm: | ||
2109 | // VLSAtomicConstant | VLSAtomicFunction | VLSVariable | ||
2110 | // | VLSDefinedTerm //temporary solution. this is only valid for equality, not for != or := | ||
2111 | // //| VLSEquality | ||
2112 | //; | ||
2113 | public VLSAtomicElements getVLSAtomicAccess() { | ||
2114 | return pVLSAtomic; | ||
2115 | } | ||
2116 | |||
2117 | public ParserRule getVLSAtomicRule() { | ||
2118 | return getVLSAtomicAccess().getRule(); | ||
2119 | } | ||
2120 | |||
2121 | //VLSAtomicConstant VLSTerm: | ||
2122 | // {VLSConstant} name=(LOWER_WORD_ID | SINGLE_QUOTE | DOLLAR_ID | DOUBLE_DOLLAR_ID | VLSRole) | {VLSTrue} '$true' | | ||
2123 | // {VLSFalse} '$false'; | ||
2124 | public VLSAtomicConstantElements getVLSAtomicConstantAccess() { | ||
2125 | return pVLSAtomicConstant; | ||
2126 | } | ||
2127 | |||
2128 | public ParserRule getVLSAtomicConstantRule() { | ||
2129 | return getVLSAtomicConstantAccess().getRule(); | ||
2130 | } | ||
2131 | |||
2132 | //VLSAtomicFunction VLSTerm: | ||
2133 | // {VLSFunction} constant=(LOWER_WORD_ID | SINGLE_QUOTE | DOLLAR_ID | DOUBLE_DOLLAR_ID | VLSRole) ('(' terms+=VLSFofTerm | ||
2134 | // (',' terms+=VLSFofTerm)* ')') | {VLSLess} name='$less' '(' terms+=VLSFofTerm ',' terms+=VLSFofTerm ')'; | ||
2135 | public VLSAtomicFunctionElements getVLSAtomicFunctionAccess() { | ||
2136 | return pVLSAtomicFunction; | ||
2137 | } | ||
2138 | |||
2139 | public ParserRule getVLSAtomicFunctionRule() { | ||
2140 | return getVLSAtomicFunctionAccess().getRule(); | ||
2141 | } | ||
2142 | |||
2143 | //VLSVariable: | ||
2144 | // name=UPPER_WORD_ID; | ||
2145 | public VLSVariableElements getVLSVariableAccess() { | ||
2146 | return pVLSVariable; | ||
2147 | } | ||
2148 | |||
2149 | public ParserRule getVLSVariableRule() { | ||
2150 | return getVLSVariableAccess().getRule(); | ||
2151 | } | ||
2152 | |||
2153 | //VLSFofTerm VLSTerm: | ||
2154 | // VLSVariable | VLSFunctionFof | VLSDefinedTerm; | ||
2155 | public VLSFofTermElements getVLSFofTermAccess() { | ||
2156 | return pVLSFofTerm; | ||
2157 | } | ||
2158 | |||
2159 | public ParserRule getVLSFofTermRule() { | ||
2160 | return getVLSFofTermAccess().getRule(); | ||
2161 | } | ||
2162 | |||
2163 | //VLSFunctionFof: | ||
2164 | // functor=(LOWER_WORD_ID | SINGLE_QUOTE | DOLLAR_ID | DOUBLE_DOLLAR_ID) ('(' terms+=VLSFofTerm (',' terms+=VLSFofTerm)* | ||
2165 | // ')')?; | ||
2166 | public VLSFunctionFofElements getVLSFunctionFofAccess() { | ||
2167 | return pVLSFunctionFof; | ||
2168 | } | ||
2169 | |||
2170 | public ParserRule getVLSFunctionFofRule() { | ||
2171 | return getVLSFunctionFofAccess().getRule(); | ||
2172 | } | ||
2173 | |||
2174 | //VLSDefinedTerm: | ||
2175 | // {VLSInt} value=SIGNED_LITERAL | {VLSReal} value=SIGNED_REAL_ID | {VLSRational} value=SIGNED_RAT_ID | {VLSDoubleQuote} | ||
2176 | // value=DOUBLE_QUOTE; | ||
2177 | public VLSDefinedTermElements getVLSDefinedTermAccess() { | ||
2178 | return pVLSDefinedTerm; | ||
2179 | } | ||
2180 | |||
2181 | public ParserRule getVLSDefinedTermRule() { | ||
2182 | return getVLSDefinedTermAccess().getRule(); | ||
2183 | } | ||
2184 | |||
2185 | //terminal ID: | ||
2186 | // '^'? ('a'..'z' | 'A'..'Z' | '_') ('a'..'z' | 'A'..'Z' | '_' | '0'..'9')*; | ||
2187 | public TerminalRule getIDRule() { | ||
2188 | return gaTerminals.getIDRule(); | ||
2189 | } | ||
2190 | |||
2191 | //terminal INT returns ecore::EInt: | ||
2192 | // '0'..'9'+; | ||
2193 | public TerminalRule getINTRule() { | ||
2194 | return gaTerminals.getINTRule(); | ||
2195 | } | ||
2196 | |||
2197 | //terminal STRING: | ||
2198 | // '"' ('\\' . | !('\\' | '"'))* '"' | "'" ('\\' . | !('\\' | "'"))* "'"; | ||
2199 | public TerminalRule getSTRINGRule() { | ||
2200 | return gaTerminals.getSTRINGRule(); | ||
2201 | } | ||
2202 | |||
2203 | //terminal ML_COMMENT: | ||
2204 | // '/*'->'*/'; | ||
2205 | public TerminalRule getML_COMMENTRule() { | ||
2206 | return gaTerminals.getML_COMMENTRule(); | ||
2207 | } | ||
2208 | |||
2209 | //terminal SL_COMMENT: | ||
2210 | // '//' !('\n' | '\r')* ('\r'? '\n')?; | ||
2211 | public TerminalRule getSL_COMMENTRule() { | ||
2212 | return gaTerminals.getSL_COMMENTRule(); | ||
2213 | } | ||
2214 | |||
2215 | //terminal WS: | ||
2216 | // ' ' | '\t' | '\r' | '\n'+; | ||
2217 | public TerminalRule getWSRule() { | ||
2218 | return gaTerminals.getWSRule(); | ||
2219 | } | ||
2220 | } | ||