diff options
author | 2019-03-06 17:26:43 -0500 | |
---|---|---|
committer | 2020-06-07 19:22:45 -0400 | |
commit | 6cac004e4935f4cdbfaf1004c74ba7604f990ddc (patch) | |
tree | 8dff613a63e8f3125365c49d01b551f0b088fa3d /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser | |
parent | Restructure Vampire Reasoner project (diff) | |
download | VIATRA-Generator-6cac004e4935f4cdbfaf1004c74ba7604f990ddc.tar.gz VIATRA-Generator-6cac004e4935f4cdbfaf1004c74ba7604f990ddc.tar.zst VIATRA-Generator-6cac004e4935f4cdbfaf1004c74ba7604f990ddc.zip |
Implement Enum handling and study hierarchy handling
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser')
4 files changed, 66 insertions, 66 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/VampireLanguageAntlrTokenFileProvider.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/VampireLanguageAntlrTokenFileProvider.java index a4da8047..43a00009 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/VampireLanguageAntlrTokenFileProvider.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/VampireLanguageAntlrTokenFileProvider.java | |||
@@ -1,5 +1,5 @@ | |||
1 | /* | 1 | /* |
2 | * generated by Xtext 2.12.0 | 2 | * generated by Xtext 2.14.0 |
3 | */ | 3 | */ |
4 | package ca.mcgill.ecse.dslreasoner.parser.antlr; | 4 | package ca.mcgill.ecse.dslreasoner.parser.antlr; |
5 | 5 | ||
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/VampireLanguageParser.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/VampireLanguageParser.java index 0e487d5c..11a9d1ed 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/VampireLanguageParser.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/VampireLanguageParser.java | |||
@@ -1,5 +1,5 @@ | |||
1 | /* | 1 | /* |
2 | * generated by Xtext 2.12.0 | 2 | * generated by Xtext 2.14.0 |
3 | */ | 3 | */ |
4 | package ca.mcgill.ecse.dslreasoner.parser.antlr; | 4 | package ca.mcgill.ecse.dslreasoner.parser.antlr; |
5 | 5 | ||
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguage.g b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguage.g index 2ab53393..62840209 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguage.g +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguage.g | |||
@@ -1,5 +1,5 @@ | |||
1 | /* | 1 | /* |
2 | * generated by Xtext 2.12.0 | 2 | * generated by Xtext 2.14.0 |
3 | */ | 3 | */ |
4 | grammar InternalVampireLanguage; | 4 | grammar InternalVampireLanguage; |
5 | 5 | ||
@@ -2187,11 +2187,11 @@ ruleVLSFofTerm returns [EObject current=null] | |||
2187 | } | 2187 | } |
2188 | | | 2188 | | |
2189 | { | 2189 | { |
2190 | newCompositeNode(grammarAccess.getVLSFofTermAccess().getVLSFunctionFofParserRuleCall_1()); | 2190 | newCompositeNode(grammarAccess.getVLSFofTermAccess().getVLSFunctionAsTermParserRuleCall_1()); |
2191 | } | 2191 | } |
2192 | this_VLSFunctionFof_1=ruleVLSFunctionFof | 2192 | this_VLSFunctionAsTerm_1=ruleVLSFunctionAsTerm |
2193 | { | 2193 | { |
2194 | $current = $this_VLSFunctionFof_1.current; | 2194 | $current = $this_VLSFunctionAsTerm_1.current; |
2195 | afterParserOrEnumRuleCall(); | 2195 | afterParserOrEnumRuleCall(); |
2196 | } | 2196 | } |
2197 | | | 2197 | | |
@@ -2206,15 +2206,15 @@ ruleVLSFofTerm returns [EObject current=null] | |||
2206 | ) | 2206 | ) |
2207 | ; | 2207 | ; |
2208 | 2208 | ||
2209 | // Entry rule entryRuleVLSFunctionFof | 2209 | // Entry rule entryRuleVLSFunctionAsTerm |
2210 | entryRuleVLSFunctionFof returns [EObject current=null]: | 2210 | entryRuleVLSFunctionAsTerm returns [EObject current=null]: |
2211 | { newCompositeNode(grammarAccess.getVLSFunctionFofRule()); } | 2211 | { newCompositeNode(grammarAccess.getVLSFunctionAsTermRule()); } |
2212 | iv_ruleVLSFunctionFof=ruleVLSFunctionFof | 2212 | iv_ruleVLSFunctionAsTerm=ruleVLSFunctionAsTerm |
2213 | { $current=$iv_ruleVLSFunctionFof.current; } | 2213 | { $current=$iv_ruleVLSFunctionAsTerm.current; } |
2214 | EOF; | 2214 | EOF; |
2215 | 2215 | ||
2216 | // Rule VLSFunctionFof | 2216 | // Rule VLSFunctionAsTerm |
2217 | ruleVLSFunctionFof returns [EObject current=null] | 2217 | ruleVLSFunctionAsTerm returns [EObject current=null] |
2218 | @init { | 2218 | @init { |
2219 | enterRule(); | 2219 | enterRule(); |
2220 | } | 2220 | } |
@@ -2227,11 +2227,11 @@ ruleVLSFunctionFof returns [EObject current=null] | |||
2227 | ( | 2227 | ( |
2228 | lv_functor_0_1=RULE_LOWER_WORD_ID | 2228 | lv_functor_0_1=RULE_LOWER_WORD_ID |
2229 | { | 2229 | { |
2230 | newLeafNode(lv_functor_0_1, grammarAccess.getVLSFunctionFofAccess().getFunctorLOWER_WORD_IDTerminalRuleCall_0_0_0()); | 2230 | newLeafNode(lv_functor_0_1, grammarAccess.getVLSFunctionAsTermAccess().getFunctorLOWER_WORD_IDTerminalRuleCall_0_0_0()); |
2231 | } | 2231 | } |
2232 | { | 2232 | { |
2233 | if ($current==null) { | 2233 | if ($current==null) { |
2234 | $current = createModelElement(grammarAccess.getVLSFunctionFofRule()); | 2234 | $current = createModelElement(grammarAccess.getVLSFunctionAsTermRule()); |
2235 | } | 2235 | } |
2236 | setWithLastConsumed( | 2236 | setWithLastConsumed( |
2237 | $current, | 2237 | $current, |
@@ -2242,11 +2242,11 @@ ruleVLSFunctionFof returns [EObject current=null] | |||
2242 | | | 2242 | | |
2243 | lv_functor_0_2=RULE_SINGLE_QUOTE | 2243 | lv_functor_0_2=RULE_SINGLE_QUOTE |
2244 | { | 2244 | { |
2245 | newLeafNode(lv_functor_0_2, grammarAccess.getVLSFunctionFofAccess().getFunctorSINGLE_QUOTETerminalRuleCall_0_0_1()); | 2245 | newLeafNode(lv_functor_0_2, grammarAccess.getVLSFunctionAsTermAccess().getFunctorSINGLE_QUOTETerminalRuleCall_0_0_1()); |
2246 | } | 2246 | } |
2247 | { | 2247 | { |
2248 | if ($current==null) { | 2248 | if ($current==null) { |
2249 | $current = createModelElement(grammarAccess.getVLSFunctionFofRule()); | 2249 | $current = createModelElement(grammarAccess.getVLSFunctionAsTermRule()); |
2250 | } | 2250 | } |
2251 | setWithLastConsumed( | 2251 | setWithLastConsumed( |
2252 | $current, | 2252 | $current, |
@@ -2257,11 +2257,11 @@ ruleVLSFunctionFof returns [EObject current=null] | |||
2257 | | | 2257 | | |
2258 | lv_functor_0_3=RULE_DOLLAR_ID | 2258 | lv_functor_0_3=RULE_DOLLAR_ID |
2259 | { | 2259 | { |
2260 | newLeafNode(lv_functor_0_3, grammarAccess.getVLSFunctionFofAccess().getFunctorDOLLAR_IDTerminalRuleCall_0_0_2()); | 2260 | newLeafNode(lv_functor_0_3, grammarAccess.getVLSFunctionAsTermAccess().getFunctorDOLLAR_IDTerminalRuleCall_0_0_2()); |
2261 | } | 2261 | } |
2262 | { | 2262 | { |
2263 | if ($current==null) { | 2263 | if ($current==null) { |
2264 | $current = createModelElement(grammarAccess.getVLSFunctionFofRule()); | 2264 | $current = createModelElement(grammarAccess.getVLSFunctionAsTermRule()); |
2265 | } | 2265 | } |
2266 | setWithLastConsumed( | 2266 | setWithLastConsumed( |
2267 | $current, | 2267 | $current, |
@@ -2272,11 +2272,11 @@ ruleVLSFunctionFof returns [EObject current=null] | |||
2272 | | | 2272 | | |
2273 | lv_functor_0_4=RULE_DOUBLE_DOLLAR_ID | 2273 | lv_functor_0_4=RULE_DOUBLE_DOLLAR_ID |
2274 | { | 2274 | { |
2275 | newLeafNode(lv_functor_0_4, grammarAccess.getVLSFunctionFofAccess().getFunctorDOUBLE_DOLLAR_IDTerminalRuleCall_0_0_3()); | 2275 | newLeafNode(lv_functor_0_4, grammarAccess.getVLSFunctionAsTermAccess().getFunctorDOUBLE_DOLLAR_IDTerminalRuleCall_0_0_3()); |
2276 | } | 2276 | } |
2277 | { | 2277 | { |
2278 | if ($current==null) { | 2278 | if ($current==null) { |
2279 | $current = createModelElement(grammarAccess.getVLSFunctionFofRule()); | 2279 | $current = createModelElement(grammarAccess.getVLSFunctionAsTermRule()); |
2280 | } | 2280 | } |
2281 | setWithLastConsumed( | 2281 | setWithLastConsumed( |
2282 | $current, | 2282 | $current, |
@@ -2290,17 +2290,17 @@ ruleVLSFunctionFof returns [EObject current=null] | |||
2290 | ( | 2290 | ( |
2291 | otherlv_1='(' | 2291 | otherlv_1='(' |
2292 | { | 2292 | { |
2293 | newLeafNode(otherlv_1, grammarAccess.getVLSFunctionFofAccess().getLeftParenthesisKeyword_1_0()); | 2293 | newLeafNode(otherlv_1, grammarAccess.getVLSFunctionAsTermAccess().getLeftParenthesisKeyword_1_0()); |
2294 | } | 2294 | } |
2295 | ( | 2295 | ( |
2296 | ( | 2296 | ( |
2297 | { | 2297 | { |
2298 | newCompositeNode(grammarAccess.getVLSFunctionFofAccess().getTermsVLSFofTermParserRuleCall_1_1_0()); | 2298 | newCompositeNode(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_1_0()); |
2299 | } | 2299 | } |
2300 | lv_terms_2_0=ruleVLSFofTerm | 2300 | lv_terms_2_0=ruleVLSFofTerm |
2301 | { | 2301 | { |
2302 | if ($current==null) { | 2302 | if ($current==null) { |
2303 | $current = createModelElementForParent(grammarAccess.getVLSFunctionFofRule()); | 2303 | $current = createModelElementForParent(grammarAccess.getVLSFunctionAsTermRule()); |
2304 | } | 2304 | } |
2305 | add( | 2305 | add( |
2306 | $current, | 2306 | $current, |
@@ -2314,17 +2314,17 @@ ruleVLSFunctionFof returns [EObject current=null] | |||
2314 | ( | 2314 | ( |
2315 | otherlv_3=',' | 2315 | otherlv_3=',' |
2316 | { | 2316 | { |
2317 | newLeafNode(otherlv_3, grammarAccess.getVLSFunctionFofAccess().getCommaKeyword_1_2_0()); | 2317 | newLeafNode(otherlv_3, grammarAccess.getVLSFunctionAsTermAccess().getCommaKeyword_1_2_0()); |
2318 | } | 2318 | } |
2319 | ( | 2319 | ( |
2320 | ( | 2320 | ( |
2321 | { | 2321 | { |
2322 | newCompositeNode(grammarAccess.getVLSFunctionFofAccess().getTermsVLSFofTermParserRuleCall_1_2_1_0()); | 2322 | newCompositeNode(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_2_1_0()); |
2323 | } | 2323 | } |
2324 | lv_terms_4_0=ruleVLSFofTerm | 2324 | lv_terms_4_0=ruleVLSFofTerm |
2325 | { | 2325 | { |
2326 | if ($current==null) { | 2326 | if ($current==null) { |
2327 | $current = createModelElementForParent(grammarAccess.getVLSFunctionFofRule()); | 2327 | $current = createModelElementForParent(grammarAccess.getVLSFunctionAsTermRule()); |
2328 | } | 2328 | } |
2329 | add( | 2329 | add( |
2330 | $current, | 2330 | $current, |
@@ -2338,7 +2338,7 @@ ruleVLSFunctionFof returns [EObject current=null] | |||
2338 | )* | 2338 | )* |
2339 | otherlv_5=')' | 2339 | otherlv_5=')' |
2340 | { | 2340 | { |
2341 | newLeafNode(otherlv_5, grammarAccess.getVLSFunctionFofAccess().getRightParenthesisKeyword_1_3()); | 2341 | newLeafNode(otherlv_5, grammarAccess.getVLSFunctionAsTermAccess().getRightParenthesisKeyword_1_3()); |
2342 | } | 2342 | } |
2343 | )? | 2343 | )? |
2344 | ) | 2344 | ) |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguageParser.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguageParser.java index 3d1e277b..f44428a0 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguageParser.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguageParser.java | |||
@@ -5509,13 +5509,13 @@ public class InternalVampireLanguageParser extends AbstractInternalAntlrParser { | |||
5509 | 5509 | ||
5510 | 5510 | ||
5511 | // $ANTLR start "ruleVLSFofTerm" | 5511 | // $ANTLR start "ruleVLSFofTerm" |
5512 | // InternalVampireLanguage.g:2172:1: ruleVLSFofTerm returns [EObject current=null] : (this_VLSVariable_0= ruleVLSVariable | this_VLSFunctionFof_1= ruleVLSFunctionFof | this_VLSDefinedTerm_2= ruleVLSDefinedTerm ) ; | 5512 | // InternalVampireLanguage.g:2172:1: ruleVLSFofTerm returns [EObject current=null] : (this_VLSVariable_0= ruleVLSVariable | this_VLSFunctionAsTerm_1= ruleVLSFunctionAsTerm | this_VLSDefinedTerm_2= ruleVLSDefinedTerm ) ; |
5513 | public final EObject ruleVLSFofTerm() throws RecognitionException { | 5513 | public final EObject ruleVLSFofTerm() throws RecognitionException { |
5514 | EObject current = null; | 5514 | EObject current = null; |
5515 | 5515 | ||
5516 | EObject this_VLSVariable_0 = null; | 5516 | EObject this_VLSVariable_0 = null; |
5517 | 5517 | ||
5518 | EObject this_VLSFunctionFof_1 = null; | 5518 | EObject this_VLSFunctionAsTerm_1 = null; |
5519 | 5519 | ||
5520 | EObject this_VLSDefinedTerm_2 = null; | 5520 | EObject this_VLSDefinedTerm_2 = null; |
5521 | 5521 | ||
@@ -5524,10 +5524,10 @@ public class InternalVampireLanguageParser extends AbstractInternalAntlrParser { | |||
5524 | enterRule(); | 5524 | enterRule(); |
5525 | 5525 | ||
5526 | try { | 5526 | try { |
5527 | // InternalVampireLanguage.g:2178:2: ( (this_VLSVariable_0= ruleVLSVariable | this_VLSFunctionFof_1= ruleVLSFunctionFof | this_VLSDefinedTerm_2= ruleVLSDefinedTerm ) ) | 5527 | // InternalVampireLanguage.g:2178:2: ( (this_VLSVariable_0= ruleVLSVariable | this_VLSFunctionAsTerm_1= ruleVLSFunctionAsTerm | this_VLSDefinedTerm_2= ruleVLSDefinedTerm ) ) |
5528 | // InternalVampireLanguage.g:2179:2: (this_VLSVariable_0= ruleVLSVariable | this_VLSFunctionFof_1= ruleVLSFunctionFof | this_VLSDefinedTerm_2= ruleVLSDefinedTerm ) | 5528 | // InternalVampireLanguage.g:2179:2: (this_VLSVariable_0= ruleVLSVariable | this_VLSFunctionAsTerm_1= ruleVLSFunctionAsTerm | this_VLSDefinedTerm_2= ruleVLSDefinedTerm ) |
5529 | { | 5529 | { |
5530 | // InternalVampireLanguage.g:2179:2: (this_VLSVariable_0= ruleVLSVariable | this_VLSFunctionFof_1= ruleVLSFunctionFof | this_VLSDefinedTerm_2= ruleVLSDefinedTerm ) | 5530 | // InternalVampireLanguage.g:2179:2: (this_VLSVariable_0= ruleVLSVariable | this_VLSFunctionAsTerm_1= ruleVLSFunctionAsTerm | this_VLSDefinedTerm_2= ruleVLSDefinedTerm ) |
5531 | int alt31=3; | 5531 | int alt31=3; |
5532 | switch ( input.LA(1) ) { | 5532 | switch ( input.LA(1) ) { |
5533 | case RULE_UPPER_WORD_ID: | 5533 | case RULE_UPPER_WORD_ID: |
@@ -5578,18 +5578,18 @@ public class InternalVampireLanguageParser extends AbstractInternalAntlrParser { | |||
5578 | } | 5578 | } |
5579 | break; | 5579 | break; |
5580 | case 2 : | 5580 | case 2 : |
5581 | // InternalVampireLanguage.g:2189:3: this_VLSFunctionFof_1= ruleVLSFunctionFof | 5581 | // InternalVampireLanguage.g:2189:3: this_VLSFunctionAsTerm_1= ruleVLSFunctionAsTerm |
5582 | { | 5582 | { |
5583 | 5583 | ||
5584 | newCompositeNode(grammarAccess.getVLSFofTermAccess().getVLSFunctionFofParserRuleCall_1()); | 5584 | newCompositeNode(grammarAccess.getVLSFofTermAccess().getVLSFunctionAsTermParserRuleCall_1()); |
5585 | 5585 | ||
5586 | pushFollow(FOLLOW_2); | 5586 | pushFollow(FOLLOW_2); |
5587 | this_VLSFunctionFof_1=ruleVLSFunctionFof(); | 5587 | this_VLSFunctionAsTerm_1=ruleVLSFunctionAsTerm(); |
5588 | 5588 | ||
5589 | state._fsp--; | 5589 | state._fsp--; |
5590 | 5590 | ||
5591 | 5591 | ||
5592 | current = this_VLSFunctionFof_1; | 5592 | current = this_VLSFunctionAsTerm_1; |
5593 | afterParserOrEnumRuleCall(); | 5593 | afterParserOrEnumRuleCall(); |
5594 | 5594 | ||
5595 | 5595 | ||
@@ -5635,25 +5635,25 @@ public class InternalVampireLanguageParser extends AbstractInternalAntlrParser { | |||
5635 | // $ANTLR end "ruleVLSFofTerm" | 5635 | // $ANTLR end "ruleVLSFofTerm" |
5636 | 5636 | ||
5637 | 5637 | ||
5638 | // $ANTLR start "entryRuleVLSFunctionFof" | 5638 | // $ANTLR start "entryRuleVLSFunctionAsTerm" |
5639 | // InternalVampireLanguage.g:2210:1: entryRuleVLSFunctionFof returns [EObject current=null] : iv_ruleVLSFunctionFof= ruleVLSFunctionFof EOF ; | 5639 | // InternalVampireLanguage.g:2210:1: entryRuleVLSFunctionAsTerm returns [EObject current=null] : iv_ruleVLSFunctionAsTerm= ruleVLSFunctionAsTerm EOF ; |
5640 | public final EObject entryRuleVLSFunctionFof() throws RecognitionException { | 5640 | public final EObject entryRuleVLSFunctionAsTerm() throws RecognitionException { |
5641 | EObject current = null; | 5641 | EObject current = null; |
5642 | 5642 | ||
5643 | EObject iv_ruleVLSFunctionFof = null; | 5643 | EObject iv_ruleVLSFunctionAsTerm = null; |
5644 | 5644 | ||
5645 | 5645 | ||
5646 | try { | 5646 | try { |
5647 | // InternalVampireLanguage.g:2210:55: (iv_ruleVLSFunctionFof= ruleVLSFunctionFof EOF ) | 5647 | // InternalVampireLanguage.g:2210:58: (iv_ruleVLSFunctionAsTerm= ruleVLSFunctionAsTerm EOF ) |
5648 | // InternalVampireLanguage.g:2211:2: iv_ruleVLSFunctionFof= ruleVLSFunctionFof EOF | 5648 | // InternalVampireLanguage.g:2211:2: iv_ruleVLSFunctionAsTerm= ruleVLSFunctionAsTerm EOF |
5649 | { | 5649 | { |
5650 | newCompositeNode(grammarAccess.getVLSFunctionFofRule()); | 5650 | newCompositeNode(grammarAccess.getVLSFunctionAsTermRule()); |
5651 | pushFollow(FOLLOW_1); | 5651 | pushFollow(FOLLOW_1); |
5652 | iv_ruleVLSFunctionFof=ruleVLSFunctionFof(); | 5652 | iv_ruleVLSFunctionAsTerm=ruleVLSFunctionAsTerm(); |
5653 | 5653 | ||
5654 | state._fsp--; | 5654 | state._fsp--; |
5655 | 5655 | ||
5656 | current =iv_ruleVLSFunctionFof; | 5656 | current =iv_ruleVLSFunctionAsTerm; |
5657 | match(input,EOF,FOLLOW_2); | 5657 | match(input,EOF,FOLLOW_2); |
5658 | 5658 | ||
5659 | } | 5659 | } |
@@ -5668,12 +5668,12 @@ public class InternalVampireLanguageParser extends AbstractInternalAntlrParser { | |||
5668 | } | 5668 | } |
5669 | return current; | 5669 | return current; |
5670 | } | 5670 | } |
5671 | // $ANTLR end "entryRuleVLSFunctionFof" | 5671 | // $ANTLR end "entryRuleVLSFunctionAsTerm" |
5672 | 5672 | ||
5673 | 5673 | ||
5674 | // $ANTLR start "ruleVLSFunctionFof" | 5674 | // $ANTLR start "ruleVLSFunctionAsTerm" |
5675 | // InternalVampireLanguage.g:2217:1: ruleVLSFunctionFof returns [EObject current=null] : ( ( ( (lv_functor_0_1= RULE_LOWER_WORD_ID | lv_functor_0_2= RULE_SINGLE_QUOTE | lv_functor_0_3= RULE_DOLLAR_ID | lv_functor_0_4= RULE_DOUBLE_DOLLAR_ID ) ) ) (otherlv_1= '(' ( (lv_terms_2_0= ruleVLSFofTerm ) ) (otherlv_3= ',' ( (lv_terms_4_0= ruleVLSFofTerm ) ) )* otherlv_5= ')' )? ) ; | 5675 | // InternalVampireLanguage.g:2217:1: ruleVLSFunctionAsTerm returns [EObject current=null] : ( ( ( (lv_functor_0_1= RULE_LOWER_WORD_ID | lv_functor_0_2= RULE_SINGLE_QUOTE | lv_functor_0_3= RULE_DOLLAR_ID | lv_functor_0_4= RULE_DOUBLE_DOLLAR_ID ) ) ) (otherlv_1= '(' ( (lv_terms_2_0= ruleVLSFofTerm ) ) (otherlv_3= ',' ( (lv_terms_4_0= ruleVLSFofTerm ) ) )* otherlv_5= ')' )? ) ; |
5676 | public final EObject ruleVLSFunctionFof() throws RecognitionException { | 5676 | public final EObject ruleVLSFunctionAsTerm() throws RecognitionException { |
5677 | EObject current = null; | 5677 | EObject current = null; |
5678 | 5678 | ||
5679 | Token lv_functor_0_1=null; | 5679 | Token lv_functor_0_1=null; |
@@ -5740,11 +5740,11 @@ public class InternalVampireLanguageParser extends AbstractInternalAntlrParser { | |||
5740 | { | 5740 | { |
5741 | lv_functor_0_1=(Token)match(input,RULE_LOWER_WORD_ID,FOLLOW_31); | 5741 | lv_functor_0_1=(Token)match(input,RULE_LOWER_WORD_ID,FOLLOW_31); |
5742 | 5742 | ||
5743 | newLeafNode(lv_functor_0_1, grammarAccess.getVLSFunctionFofAccess().getFunctorLOWER_WORD_IDTerminalRuleCall_0_0_0()); | 5743 | newLeafNode(lv_functor_0_1, grammarAccess.getVLSFunctionAsTermAccess().getFunctorLOWER_WORD_IDTerminalRuleCall_0_0_0()); |
5744 | 5744 | ||
5745 | 5745 | ||
5746 | if (current==null) { | 5746 | if (current==null) { |
5747 | current = createModelElement(grammarAccess.getVLSFunctionFofRule()); | 5747 | current = createModelElement(grammarAccess.getVLSFunctionAsTermRule()); |
5748 | } | 5748 | } |
5749 | setWithLastConsumed( | 5749 | setWithLastConsumed( |
5750 | current, | 5750 | current, |
@@ -5760,11 +5760,11 @@ public class InternalVampireLanguageParser extends AbstractInternalAntlrParser { | |||
5760 | { | 5760 | { |
5761 | lv_functor_0_2=(Token)match(input,RULE_SINGLE_QUOTE,FOLLOW_31); | 5761 | lv_functor_0_2=(Token)match(input,RULE_SINGLE_QUOTE,FOLLOW_31); |
5762 | 5762 | ||
5763 | newLeafNode(lv_functor_0_2, grammarAccess.getVLSFunctionFofAccess().getFunctorSINGLE_QUOTETerminalRuleCall_0_0_1()); | 5763 | newLeafNode(lv_functor_0_2, grammarAccess.getVLSFunctionAsTermAccess().getFunctorSINGLE_QUOTETerminalRuleCall_0_0_1()); |
5764 | 5764 | ||
5765 | 5765 | ||
5766 | if (current==null) { | 5766 | if (current==null) { |
5767 | current = createModelElement(grammarAccess.getVLSFunctionFofRule()); | 5767 | current = createModelElement(grammarAccess.getVLSFunctionAsTermRule()); |
5768 | } | 5768 | } |
5769 | setWithLastConsumed( | 5769 | setWithLastConsumed( |
5770 | current, | 5770 | current, |
@@ -5780,11 +5780,11 @@ public class InternalVampireLanguageParser extends AbstractInternalAntlrParser { | |||
5780 | { | 5780 | { |
5781 | lv_functor_0_3=(Token)match(input,RULE_DOLLAR_ID,FOLLOW_31); | 5781 | lv_functor_0_3=(Token)match(input,RULE_DOLLAR_ID,FOLLOW_31); |
5782 | 5782 | ||
5783 | newLeafNode(lv_functor_0_3, grammarAccess.getVLSFunctionFofAccess().getFunctorDOLLAR_IDTerminalRuleCall_0_0_2()); | 5783 | newLeafNode(lv_functor_0_3, grammarAccess.getVLSFunctionAsTermAccess().getFunctorDOLLAR_IDTerminalRuleCall_0_0_2()); |
5784 | 5784 | ||
5785 | 5785 | ||
5786 | if (current==null) { | 5786 | if (current==null) { |
5787 | current = createModelElement(grammarAccess.getVLSFunctionFofRule()); | 5787 | current = createModelElement(grammarAccess.getVLSFunctionAsTermRule()); |
5788 | } | 5788 | } |
5789 | setWithLastConsumed( | 5789 | setWithLastConsumed( |
5790 | current, | 5790 | current, |
@@ -5800,11 +5800,11 @@ public class InternalVampireLanguageParser extends AbstractInternalAntlrParser { | |||
5800 | { | 5800 | { |
5801 | lv_functor_0_4=(Token)match(input,RULE_DOUBLE_DOLLAR_ID,FOLLOW_31); | 5801 | lv_functor_0_4=(Token)match(input,RULE_DOUBLE_DOLLAR_ID,FOLLOW_31); |
5802 | 5802 | ||
5803 | newLeafNode(lv_functor_0_4, grammarAccess.getVLSFunctionFofAccess().getFunctorDOUBLE_DOLLAR_IDTerminalRuleCall_0_0_3()); | 5803 | newLeafNode(lv_functor_0_4, grammarAccess.getVLSFunctionAsTermAccess().getFunctorDOUBLE_DOLLAR_IDTerminalRuleCall_0_0_3()); |
5804 | 5804 | ||
5805 | 5805 | ||
5806 | if (current==null) { | 5806 | if (current==null) { |
5807 | current = createModelElement(grammarAccess.getVLSFunctionFofRule()); | 5807 | current = createModelElement(grammarAccess.getVLSFunctionAsTermRule()); |
5808 | } | 5808 | } |
5809 | setWithLastConsumed( | 5809 | setWithLastConsumed( |
5810 | current, | 5810 | current, |
@@ -5837,7 +5837,7 @@ public class InternalVampireLanguageParser extends AbstractInternalAntlrParser { | |||
5837 | { | 5837 | { |
5838 | otherlv_1=(Token)match(input,34,FOLLOW_30); | 5838 | otherlv_1=(Token)match(input,34,FOLLOW_30); |
5839 | 5839 | ||
5840 | newLeafNode(otherlv_1, grammarAccess.getVLSFunctionFofAccess().getLeftParenthesisKeyword_1_0()); | 5840 | newLeafNode(otherlv_1, grammarAccess.getVLSFunctionAsTermAccess().getLeftParenthesisKeyword_1_0()); |
5841 | 5841 | ||
5842 | // InternalVampireLanguage.g:2295:4: ( (lv_terms_2_0= ruleVLSFofTerm ) ) | 5842 | // InternalVampireLanguage.g:2295:4: ( (lv_terms_2_0= ruleVLSFofTerm ) ) |
5843 | // InternalVampireLanguage.g:2296:5: (lv_terms_2_0= ruleVLSFofTerm ) | 5843 | // InternalVampireLanguage.g:2296:5: (lv_terms_2_0= ruleVLSFofTerm ) |
@@ -5846,7 +5846,7 @@ public class InternalVampireLanguageParser extends AbstractInternalAntlrParser { | |||
5846 | // InternalVampireLanguage.g:2297:6: lv_terms_2_0= ruleVLSFofTerm | 5846 | // InternalVampireLanguage.g:2297:6: lv_terms_2_0= ruleVLSFofTerm |
5847 | { | 5847 | { |
5848 | 5848 | ||
5849 | newCompositeNode(grammarAccess.getVLSFunctionFofAccess().getTermsVLSFofTermParserRuleCall_1_1_0()); | 5849 | newCompositeNode(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_1_0()); |
5850 | 5850 | ||
5851 | pushFollow(FOLLOW_14); | 5851 | pushFollow(FOLLOW_14); |
5852 | lv_terms_2_0=ruleVLSFofTerm(); | 5852 | lv_terms_2_0=ruleVLSFofTerm(); |
@@ -5855,7 +5855,7 @@ public class InternalVampireLanguageParser extends AbstractInternalAntlrParser { | |||
5855 | 5855 | ||
5856 | 5856 | ||
5857 | if (current==null) { | 5857 | if (current==null) { |
5858 | current = createModelElementForParent(grammarAccess.getVLSFunctionFofRule()); | 5858 | current = createModelElementForParent(grammarAccess.getVLSFunctionAsTermRule()); |
5859 | } | 5859 | } |
5860 | add( | 5860 | add( |
5861 | current, | 5861 | current, |
@@ -5887,7 +5887,7 @@ public class InternalVampireLanguageParser extends AbstractInternalAntlrParser { | |||
5887 | { | 5887 | { |
5888 | otherlv_3=(Token)match(input,29,FOLLOW_30); | 5888 | otherlv_3=(Token)match(input,29,FOLLOW_30); |
5889 | 5889 | ||
5890 | newLeafNode(otherlv_3, grammarAccess.getVLSFunctionFofAccess().getCommaKeyword_1_2_0()); | 5890 | newLeafNode(otherlv_3, grammarAccess.getVLSFunctionAsTermAccess().getCommaKeyword_1_2_0()); |
5891 | 5891 | ||
5892 | // InternalVampireLanguage.g:2319:5: ( (lv_terms_4_0= ruleVLSFofTerm ) ) | 5892 | // InternalVampireLanguage.g:2319:5: ( (lv_terms_4_0= ruleVLSFofTerm ) ) |
5893 | // InternalVampireLanguage.g:2320:6: (lv_terms_4_0= ruleVLSFofTerm ) | 5893 | // InternalVampireLanguage.g:2320:6: (lv_terms_4_0= ruleVLSFofTerm ) |
@@ -5896,7 +5896,7 @@ public class InternalVampireLanguageParser extends AbstractInternalAntlrParser { | |||
5896 | // InternalVampireLanguage.g:2321:7: lv_terms_4_0= ruleVLSFofTerm | 5896 | // InternalVampireLanguage.g:2321:7: lv_terms_4_0= ruleVLSFofTerm |
5897 | { | 5897 | { |
5898 | 5898 | ||
5899 | newCompositeNode(grammarAccess.getVLSFunctionFofAccess().getTermsVLSFofTermParserRuleCall_1_2_1_0()); | 5899 | newCompositeNode(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_2_1_0()); |
5900 | 5900 | ||
5901 | pushFollow(FOLLOW_14); | 5901 | pushFollow(FOLLOW_14); |
5902 | lv_terms_4_0=ruleVLSFofTerm(); | 5902 | lv_terms_4_0=ruleVLSFofTerm(); |
@@ -5905,7 +5905,7 @@ public class InternalVampireLanguageParser extends AbstractInternalAntlrParser { | |||
5905 | 5905 | ||
5906 | 5906 | ||
5907 | if (current==null) { | 5907 | if (current==null) { |
5908 | current = createModelElementForParent(grammarAccess.getVLSFunctionFofRule()); | 5908 | current = createModelElementForParent(grammarAccess.getVLSFunctionAsTermRule()); |
5909 | } | 5909 | } |
5910 | add( | 5910 | add( |
5911 | current, | 5911 | current, |
@@ -5931,7 +5931,7 @@ public class InternalVampireLanguageParser extends AbstractInternalAntlrParser { | |||
5931 | 5931 | ||
5932 | otherlv_5=(Token)match(input,35,FOLLOW_2); | 5932 | otherlv_5=(Token)match(input,35,FOLLOW_2); |
5933 | 5933 | ||
5934 | newLeafNode(otherlv_5, grammarAccess.getVLSFunctionFofAccess().getRightParenthesisKeyword_1_3()); | 5934 | newLeafNode(otherlv_5, grammarAccess.getVLSFunctionAsTermAccess().getRightParenthesisKeyword_1_3()); |
5935 | 5935 | ||
5936 | 5936 | ||
5937 | } | 5937 | } |
@@ -5958,7 +5958,7 @@ public class InternalVampireLanguageParser extends AbstractInternalAntlrParser { | |||
5958 | } | 5958 | } |
5959 | return current; | 5959 | return current; |
5960 | } | 5960 | } |
5961 | // $ANTLR end "ruleVLSFunctionFof" | 5961 | // $ANTLR end "ruleVLSFunctionAsTerm" |
5962 | 5962 | ||
5963 | 5963 | ||
5964 | // $ANTLR start "entryRuleVLSDefinedTerm" | 5964 | // $ANTLR start "entryRuleVLSDefinedTerm" |