diff options
author | 2019-09-02 03:47:21 -0400 | |
---|---|---|
committer | 2020-06-07 19:41:44 -0400 | |
commit | 35ac37963fc3e3f3fb142aaf1fdffd26e05e473a (patch) | |
tree | 5e2449306e2fd7169b05ac72fe78e167934d7f8c /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide | |
parent | VAMPIRE: setup structure of model interpretation (diff) | |
download | VIATRA-Generator-35ac37963fc3e3f3fb142aaf1fdffd26e05e473a.tar.gz VIATRA-Generator-35ac37963fc3e3f3fb142aaf1fdffd26e05e473a.tar.zst VIATRA-Generator-35ac37963fc3e3f3fb142aaf1fdffd26e05e473a.zip |
VAMPIRE: implement Vampire Model Interpreter, 2/3 done
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide')
4 files changed, 400 insertions, 274 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/VampireLanguageParser.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/VampireLanguageParser.java index 48510a2d..e3b7a679 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/VampireLanguageParser.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/VampireLanguageParser.java | |||
@@ -128,7 +128,9 @@ public class VampireLanguageParser extends AbstractContentAssistParser { | |||
128 | builder.put(grammarAccess.getVLSAnnotationAccess().getFollowupAssignment_2_1(), "rule__VLSAnnotation__FollowupAssignment_2_1"); | 128 | builder.put(grammarAccess.getVLSAnnotationAccess().getFollowupAssignment_2_1(), "rule__VLSAnnotation__FollowupAssignment_2_1"); |
129 | builder.put(grammarAccess.getVLSAnnotationTermsAccess().getTermsAssignment_0(), "rule__VLSAnnotationTerms__TermsAssignment_0"); | 129 | builder.put(grammarAccess.getVLSAnnotationTermsAccess().getTermsAssignment_0(), "rule__VLSAnnotationTerms__TermsAssignment_0"); |
130 | builder.put(grammarAccess.getVLSAnnotationTermsAccess().getTermsAssignment_1_1(), "rule__VLSAnnotationTerms__TermsAssignment_1_1"); | 130 | builder.put(grammarAccess.getVLSAnnotationTermsAccess().getTermsAssignment_1_1(), "rule__VLSAnnotationTerms__TermsAssignment_1_1"); |
131 | builder.put(grammarAccess.getVLSOtherDeclarationAccess().getNameAssignment_0(), "rule__VLSOtherDeclaration__NameAssignment_0"); | ||
131 | builder.put(grammarAccess.getVLSOtherDeclarationAccess().getTypeAssignment_2(), "rule__VLSOtherDeclaration__TypeAssignment_2"); | 132 | builder.put(grammarAccess.getVLSOtherDeclarationAccess().getTypeAssignment_2(), "rule__VLSOtherDeclaration__TypeAssignment_2"); |
133 | builder.put(grammarAccess.getVLSVariableDeclarationAccess().getNameAssignment_0(), "rule__VLSVariableDeclaration__NameAssignment_0"); | ||
132 | builder.put(grammarAccess.getVLSVariableDeclarationAccess().getTypeAssignment_2(), "rule__VLSVariableDeclaration__TypeAssignment_2"); | 134 | builder.put(grammarAccess.getVLSVariableDeclarationAccess().getTypeAssignment_2(), "rule__VLSVariableDeclaration__TypeAssignment_2"); |
133 | builder.put(grammarAccess.getVLSTypeDefAccess().getTypeSigAssignment_0(), "rule__VLSTypeDef__TypeSigAssignment_0"); | 135 | builder.put(grammarAccess.getVLSTypeDefAccess().getTypeSigAssignment_0(), "rule__VLSTypeDef__TypeSigAssignment_0"); |
134 | builder.put(grammarAccess.getVLSTypeDefAccess().getMapsToAssignment_1_1(), "rule__VLSTypeDef__MapsToAssignment_1_1"); | 136 | builder.put(grammarAccess.getVLSTypeDefAccess().getMapsToAssignment_1_1(), "rule__VLSTypeDef__MapsToAssignment_1_1"); |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguage.g b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguage.g index 8bab57ae..7b766803 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguage.g +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguage.g | |||
@@ -3191,9 +3191,9 @@ rule__VLSOtherDeclaration__Group__0__Impl | |||
3191 | } | 3191 | } |
3192 | : | 3192 | : |
3193 | ( | 3193 | ( |
3194 | { before(grammarAccess.getVLSOtherDeclarationAccess().getVLSAtomicConstantParserRuleCall_0()); } | 3194 | { before(grammarAccess.getVLSOtherDeclarationAccess().getNameAssignment_0()); } |
3195 | ruleVLSAtomicConstant | 3195 | (rule__VLSOtherDeclaration__NameAssignment_0) |
3196 | { after(grammarAccess.getVLSOtherDeclarationAccess().getVLSAtomicConstantParserRuleCall_0()); } | 3196 | { after(grammarAccess.getVLSOtherDeclarationAccess().getNameAssignment_0()); } |
3197 | ) | 3197 | ) |
3198 | ; | 3198 | ; |
3199 | finally { | 3199 | finally { |
@@ -3272,9 +3272,9 @@ rule__VLSVariableDeclaration__Group__0__Impl | |||
3272 | } | 3272 | } |
3273 | : | 3273 | : |
3274 | ( | 3274 | ( |
3275 | { before(grammarAccess.getVLSVariableDeclarationAccess().getVLSVariableParserRuleCall_0()); } | 3275 | { before(grammarAccess.getVLSVariableDeclarationAccess().getNameAssignment_0()); } |
3276 | ruleVLSVariable | 3276 | (rule__VLSVariableDeclaration__NameAssignment_0) |
3277 | { after(grammarAccess.getVLSVariableDeclarationAccess().getVLSVariableParserRuleCall_0()); } | 3277 | { after(grammarAccess.getVLSVariableDeclarationAccess().getNameAssignment_0()); } |
3278 | ) | 3278 | ) |
3279 | ; | 3279 | ; |
3280 | finally { | 3280 | finally { |
@@ -6359,6 +6359,21 @@ finally { | |||
6359 | restoreStackSize(stackSize); | 6359 | restoreStackSize(stackSize); |
6360 | } | 6360 | } |
6361 | 6361 | ||
6362 | rule__VLSOtherDeclaration__NameAssignment_0 | ||
6363 | @init { | ||
6364 | int stackSize = keepStackSize(); | ||
6365 | } | ||
6366 | : | ||
6367 | ( | ||
6368 | { before(grammarAccess.getVLSOtherDeclarationAccess().getNameVLSAtomicConstantParserRuleCall_0_0()); } | ||
6369 | ruleVLSAtomicConstant | ||
6370 | { after(grammarAccess.getVLSOtherDeclarationAccess().getNameVLSAtomicConstantParserRuleCall_0_0()); } | ||
6371 | ) | ||
6372 | ; | ||
6373 | finally { | ||
6374 | restoreStackSize(stackSize); | ||
6375 | } | ||
6376 | |||
6362 | rule__VLSOtherDeclaration__TypeAssignment_2 | 6377 | rule__VLSOtherDeclaration__TypeAssignment_2 |
6363 | @init { | 6378 | @init { |
6364 | int stackSize = keepStackSize(); | 6379 | int stackSize = keepStackSize(); |
@@ -6374,6 +6389,21 @@ finally { | |||
6374 | restoreStackSize(stackSize); | 6389 | restoreStackSize(stackSize); |
6375 | } | 6390 | } |
6376 | 6391 | ||
6392 | rule__VLSVariableDeclaration__NameAssignment_0 | ||
6393 | @init { | ||
6394 | int stackSize = keepStackSize(); | ||
6395 | } | ||
6396 | : | ||
6397 | ( | ||
6398 | { before(grammarAccess.getVLSVariableDeclarationAccess().getNameVLSVariableParserRuleCall_0_0()); } | ||
6399 | ruleVLSVariable | ||
6400 | { after(grammarAccess.getVLSVariableDeclarationAccess().getNameVLSVariableParserRuleCall_0_0()); } | ||
6401 | ) | ||
6402 | ; | ||
6403 | finally { | ||
6404 | restoreStackSize(stackSize); | ||
6405 | } | ||
6406 | |||
6377 | rule__VLSVariableDeclaration__TypeAssignment_2 | 6407 | rule__VLSVariableDeclaration__TypeAssignment_2 |
6378 | @init { | 6408 | @init { |
6379 | int stackSize = keepStackSize(); | 6409 | int stackSize = keepStackSize(); |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguageLexer.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguageLexer.java index 4efcb64c..82eb18b1 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguageLexer.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguageLexer.java | |||
@@ -1331,8 +1331,8 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
1331 | // $ANTLR start "RULE_ALPHA_NUMERIC" | 1331 | // $ANTLR start "RULE_ALPHA_NUMERIC" |
1332 | public final void mRULE_ALPHA_NUMERIC() throws RecognitionException { | 1332 | public final void mRULE_ALPHA_NUMERIC() throws RecognitionException { |
1333 | try { | 1333 | try { |
1334 | // InternalVampireLanguage.g:6816:29: ( ( 'a' .. 'z' | 'A' .. 'Z' | '0' .. '9' | '_' ) ) | 1334 | // InternalVampireLanguage.g:6846:29: ( ( 'a' .. 'z' | 'A' .. 'Z' | '0' .. '9' | '_' ) ) |
1335 | // InternalVampireLanguage.g:6816:31: ( 'a' .. 'z' | 'A' .. 'Z' | '0' .. '9' | '_' ) | 1335 | // InternalVampireLanguage.g:6846:31: ( 'a' .. 'z' | 'A' .. 'Z' | '0' .. '9' | '_' ) |
1336 | { | 1336 | { |
1337 | if ( (input.LA(1)>='0' && input.LA(1)<='9')||(input.LA(1)>='A' && input.LA(1)<='Z')||input.LA(1)=='_'||(input.LA(1)>='a' && input.LA(1)<='z') ) { | 1337 | if ( (input.LA(1)>='0' && input.LA(1)<='9')||(input.LA(1)>='A' && input.LA(1)<='Z')||input.LA(1)=='_'||(input.LA(1)>='a' && input.LA(1)<='z') ) { |
1338 | input.consume(); | 1338 | input.consume(); |
@@ -1357,11 +1357,11 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
1357 | try { | 1357 | try { |
1358 | int _type = RULE_UPPER_WORD_ID; | 1358 | int _type = RULE_UPPER_WORD_ID; |
1359 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1359 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1360 | // InternalVampireLanguage.g:6818:20: ( 'A' .. 'Z' ( RULE_ALPHA_NUMERIC )* ) | 1360 | // InternalVampireLanguage.g:6848:20: ( 'A' .. 'Z' ( RULE_ALPHA_NUMERIC )* ) |
1361 | // InternalVampireLanguage.g:6818:22: 'A' .. 'Z' ( RULE_ALPHA_NUMERIC )* | 1361 | // InternalVampireLanguage.g:6848:22: 'A' .. 'Z' ( RULE_ALPHA_NUMERIC )* |
1362 | { | 1362 | { |
1363 | matchRange('A','Z'); | 1363 | matchRange('A','Z'); |
1364 | // InternalVampireLanguage.g:6818:31: ( RULE_ALPHA_NUMERIC )* | 1364 | // InternalVampireLanguage.g:6848:31: ( RULE_ALPHA_NUMERIC )* |
1365 | loop1: | 1365 | loop1: |
1366 | do { | 1366 | do { |
1367 | int alt1=2; | 1367 | int alt1=2; |
@@ -1374,7 +1374,7 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
1374 | 1374 | ||
1375 | switch (alt1) { | 1375 | switch (alt1) { |
1376 | case 1 : | 1376 | case 1 : |
1377 | // InternalVampireLanguage.g:6818:31: RULE_ALPHA_NUMERIC | 1377 | // InternalVampireLanguage.g:6848:31: RULE_ALPHA_NUMERIC |
1378 | { | 1378 | { |
1379 | mRULE_ALPHA_NUMERIC(); | 1379 | mRULE_ALPHA_NUMERIC(); |
1380 | 1380 | ||
@@ -1402,11 +1402,11 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
1402 | try { | 1402 | try { |
1403 | int _type = RULE_LOWER_WORD_ID; | 1403 | int _type = RULE_LOWER_WORD_ID; |
1404 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1404 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1405 | // InternalVampireLanguage.g:6820:20: ( 'a' .. 'z' ( RULE_ALPHA_NUMERIC )* ) | 1405 | // InternalVampireLanguage.g:6850:20: ( 'a' .. 'z' ( RULE_ALPHA_NUMERIC )* ) |
1406 | // InternalVampireLanguage.g:6820:22: 'a' .. 'z' ( RULE_ALPHA_NUMERIC )* | 1406 | // InternalVampireLanguage.g:6850:22: 'a' .. 'z' ( RULE_ALPHA_NUMERIC )* |
1407 | { | 1407 | { |
1408 | matchRange('a','z'); | 1408 | matchRange('a','z'); |
1409 | // InternalVampireLanguage.g:6820:31: ( RULE_ALPHA_NUMERIC )* | 1409 | // InternalVampireLanguage.g:6850:31: ( RULE_ALPHA_NUMERIC )* |
1410 | loop2: | 1410 | loop2: |
1411 | do { | 1411 | do { |
1412 | int alt2=2; | 1412 | int alt2=2; |
@@ -1419,7 +1419,7 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
1419 | 1419 | ||
1420 | switch (alt2) { | 1420 | switch (alt2) { |
1421 | case 1 : | 1421 | case 1 : |
1422 | // InternalVampireLanguage.g:6820:31: RULE_ALPHA_NUMERIC | 1422 | // InternalVampireLanguage.g:6850:31: RULE_ALPHA_NUMERIC |
1423 | { | 1423 | { |
1424 | mRULE_ALPHA_NUMERIC(); | 1424 | mRULE_ALPHA_NUMERIC(); |
1425 | 1425 | ||
@@ -1447,11 +1447,11 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
1447 | try { | 1447 | try { |
1448 | int _type = RULE_DOUBLE_QUOTE; | 1448 | int _type = RULE_DOUBLE_QUOTE; |
1449 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1449 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1450 | // InternalVampireLanguage.g:6822:19: ( '\"' ( '\\\\' ( '\"' | '\\\\' ) | ~ ( ( '\\\\' | '\"' ) ) )* '\"' ) | 1450 | // InternalVampireLanguage.g:6852:19: ( '\"' ( '\\\\' ( '\"' | '\\\\' ) | ~ ( ( '\\\\' | '\"' ) ) )* '\"' ) |
1451 | // InternalVampireLanguage.g:6822:21: '\"' ( '\\\\' ( '\"' | '\\\\' ) | ~ ( ( '\\\\' | '\"' ) ) )* '\"' | 1451 | // InternalVampireLanguage.g:6852:21: '\"' ( '\\\\' ( '\"' | '\\\\' ) | ~ ( ( '\\\\' | '\"' ) ) )* '\"' |
1452 | { | 1452 | { |
1453 | match('\"'); | 1453 | match('\"'); |
1454 | // InternalVampireLanguage.g:6822:25: ( '\\\\' ( '\"' | '\\\\' ) | ~ ( ( '\\\\' | '\"' ) ) )* | 1454 | // InternalVampireLanguage.g:6852:25: ( '\\\\' ( '\"' | '\\\\' ) | ~ ( ( '\\\\' | '\"' ) ) )* |
1455 | loop3: | 1455 | loop3: |
1456 | do { | 1456 | do { |
1457 | int alt3=3; | 1457 | int alt3=3; |
@@ -1467,7 +1467,7 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
1467 | 1467 | ||
1468 | switch (alt3) { | 1468 | switch (alt3) { |
1469 | case 1 : | 1469 | case 1 : |
1470 | // InternalVampireLanguage.g:6822:26: '\\\\' ( '\"' | '\\\\' ) | 1470 | // InternalVampireLanguage.g:6852:26: '\\\\' ( '\"' | '\\\\' ) |
1471 | { | 1471 | { |
1472 | match('\\'); | 1472 | match('\\'); |
1473 | if ( input.LA(1)=='\"'||input.LA(1)=='\\' ) { | 1473 | if ( input.LA(1)=='\"'||input.LA(1)=='\\' ) { |
@@ -1483,7 +1483,7 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
1483 | } | 1483 | } |
1484 | break; | 1484 | break; |
1485 | case 2 : | 1485 | case 2 : |
1486 | // InternalVampireLanguage.g:6822:42: ~ ( ( '\\\\' | '\"' ) ) | 1486 | // InternalVampireLanguage.g:6852:42: ~ ( ( '\\\\' | '\"' ) ) |
1487 | { | 1487 | { |
1488 | if ( (input.LA(1)>='\u0000' && input.LA(1)<='!')||(input.LA(1)>='#' && input.LA(1)<='[')||(input.LA(1)>=']' && input.LA(1)<='\uFFFF') ) { | 1488 | if ( (input.LA(1)>='\u0000' && input.LA(1)<='!')||(input.LA(1)>='#' && input.LA(1)<='[')||(input.LA(1)>=']' && input.LA(1)<='\uFFFF') ) { |
1489 | input.consume(); | 1489 | input.consume(); |
@@ -1520,11 +1520,11 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
1520 | try { | 1520 | try { |
1521 | int _type = RULE_SINGLE_QUOTE; | 1521 | int _type = RULE_SINGLE_QUOTE; |
1522 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1522 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1523 | // InternalVampireLanguage.g:6824:19: ( '\\'' ( '\\\\' ( '\\'' | '\\\\' ) | ~ ( ( '\\\\' | '\\'' ) ) )+ '\\'' ) | 1523 | // InternalVampireLanguage.g:6854:19: ( '\\'' ( '\\\\' ( '\\'' | '\\\\' ) | ~ ( ( '\\\\' | '\\'' ) ) )+ '\\'' ) |
1524 | // InternalVampireLanguage.g:6824:21: '\\'' ( '\\\\' ( '\\'' | '\\\\' ) | ~ ( ( '\\\\' | '\\'' ) ) )+ '\\'' | 1524 | // InternalVampireLanguage.g:6854:21: '\\'' ( '\\\\' ( '\\'' | '\\\\' ) | ~ ( ( '\\\\' | '\\'' ) ) )+ '\\'' |
1525 | { | 1525 | { |
1526 | match('\''); | 1526 | match('\''); |
1527 | // InternalVampireLanguage.g:6824:26: ( '\\\\' ( '\\'' | '\\\\' ) | ~ ( ( '\\\\' | '\\'' ) ) )+ | 1527 | // InternalVampireLanguage.g:6854:26: ( '\\\\' ( '\\'' | '\\\\' ) | ~ ( ( '\\\\' | '\\'' ) ) )+ |
1528 | int cnt4=0; | 1528 | int cnt4=0; |
1529 | loop4: | 1529 | loop4: |
1530 | do { | 1530 | do { |
@@ -1541,7 +1541,7 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
1541 | 1541 | ||
1542 | switch (alt4) { | 1542 | switch (alt4) { |
1543 | case 1 : | 1543 | case 1 : |
1544 | // InternalVampireLanguage.g:6824:27: '\\\\' ( '\\'' | '\\\\' ) | 1544 | // InternalVampireLanguage.g:6854:27: '\\\\' ( '\\'' | '\\\\' ) |
1545 | { | 1545 | { |
1546 | match('\\'); | 1546 | match('\\'); |
1547 | if ( input.LA(1)=='\''||input.LA(1)=='\\' ) { | 1547 | if ( input.LA(1)=='\''||input.LA(1)=='\\' ) { |
@@ -1557,7 +1557,7 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
1557 | } | 1557 | } |
1558 | break; | 1558 | break; |
1559 | case 2 : | 1559 | case 2 : |
1560 | // InternalVampireLanguage.g:6824:44: ~ ( ( '\\\\' | '\\'' ) ) | 1560 | // InternalVampireLanguage.g:6854:44: ~ ( ( '\\\\' | '\\'' ) ) |
1561 | { | 1561 | { |
1562 | if ( (input.LA(1)>='\u0000' && input.LA(1)<='&')||(input.LA(1)>='(' && input.LA(1)<='[')||(input.LA(1)>=']' && input.LA(1)<='\uFFFF') ) { | 1562 | if ( (input.LA(1)>='\u0000' && input.LA(1)<='&')||(input.LA(1)>='(' && input.LA(1)<='[')||(input.LA(1)>=']' && input.LA(1)<='\uFFFF') ) { |
1563 | input.consume(); | 1563 | input.consume(); |
@@ -1596,8 +1596,8 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
1596 | // $ANTLR start "RULE_SIGN" | 1596 | // $ANTLR start "RULE_SIGN" |
1597 | public final void mRULE_SIGN() throws RecognitionException { | 1597 | public final void mRULE_SIGN() throws RecognitionException { |
1598 | try { | 1598 | try { |
1599 | // InternalVampireLanguage.g:6826:20: ( ( '+' | '-' ) ) | 1599 | // InternalVampireLanguage.g:6856:20: ( ( '+' | '-' ) ) |
1600 | // InternalVampireLanguage.g:6826:22: ( '+' | '-' ) | 1600 | // InternalVampireLanguage.g:6856:22: ( '+' | '-' ) |
1601 | { | 1601 | { |
1602 | if ( input.LA(1)=='+'||input.LA(1)=='-' ) { | 1602 | if ( input.LA(1)=='+'||input.LA(1)=='-' ) { |
1603 | input.consume(); | 1603 | input.consume(); |
@@ -1622,8 +1622,8 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
1622 | try { | 1622 | try { |
1623 | int _type = RULE_DOLLAR_ID; | 1623 | int _type = RULE_DOLLAR_ID; |
1624 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1624 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1625 | // InternalVampireLanguage.g:6828:16: ( '$' RULE_LOWER_WORD_ID ) | 1625 | // InternalVampireLanguage.g:6858:16: ( '$' RULE_LOWER_WORD_ID ) |
1626 | // InternalVampireLanguage.g:6828:18: '$' RULE_LOWER_WORD_ID | 1626 | // InternalVampireLanguage.g:6858:18: '$' RULE_LOWER_WORD_ID |
1627 | { | 1627 | { |
1628 | match('$'); | 1628 | match('$'); |
1629 | mRULE_LOWER_WORD_ID(); | 1629 | mRULE_LOWER_WORD_ID(); |
@@ -1643,8 +1643,8 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
1643 | try { | 1643 | try { |
1644 | int _type = RULE_DOUBLE_DOLLAR_ID; | 1644 | int _type = RULE_DOUBLE_DOLLAR_ID; |
1645 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1645 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1646 | // InternalVampireLanguage.g:6830:23: ( '$$' RULE_LOWER_WORD_ID ) | 1646 | // InternalVampireLanguage.g:6860:23: ( '$$' RULE_LOWER_WORD_ID ) |
1647 | // InternalVampireLanguage.g:6830:25: '$$' RULE_LOWER_WORD_ID | 1647 | // InternalVampireLanguage.g:6860:25: '$$' RULE_LOWER_WORD_ID |
1648 | { | 1648 | { |
1649 | match("$$"); | 1649 | match("$$"); |
1650 | 1650 | ||
@@ -1665,10 +1665,10 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
1665 | try { | 1665 | try { |
1666 | int _type = RULE_LITERAL; | 1666 | int _type = RULE_LITERAL; |
1667 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1667 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1668 | // InternalVampireLanguage.g:6832:14: ( ( '0' | '1' .. '9' ( RULE_INT )? ) ) | 1668 | // InternalVampireLanguage.g:6862:14: ( ( '0' | '1' .. '9' ( RULE_INT )? ) ) |
1669 | // InternalVampireLanguage.g:6832:16: ( '0' | '1' .. '9' ( RULE_INT )? ) | 1669 | // InternalVampireLanguage.g:6862:16: ( '0' | '1' .. '9' ( RULE_INT )? ) |
1670 | { | 1670 | { |
1671 | // InternalVampireLanguage.g:6832:16: ( '0' | '1' .. '9' ( RULE_INT )? ) | 1671 | // InternalVampireLanguage.g:6862:16: ( '0' | '1' .. '9' ( RULE_INT )? ) |
1672 | int alt6=2; | 1672 | int alt6=2; |
1673 | int LA6_0 = input.LA(1); | 1673 | int LA6_0 = input.LA(1); |
1674 | 1674 | ||
@@ -1686,17 +1686,17 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
1686 | } | 1686 | } |
1687 | switch (alt6) { | 1687 | switch (alt6) { |
1688 | case 1 : | 1688 | case 1 : |
1689 | // InternalVampireLanguage.g:6832:17: '0' | 1689 | // InternalVampireLanguage.g:6862:17: '0' |
1690 | { | 1690 | { |
1691 | match('0'); | 1691 | match('0'); |
1692 | 1692 | ||
1693 | } | 1693 | } |
1694 | break; | 1694 | break; |
1695 | case 2 : | 1695 | case 2 : |
1696 | // InternalVampireLanguage.g:6832:21: '1' .. '9' ( RULE_INT )? | 1696 | // InternalVampireLanguage.g:6862:21: '1' .. '9' ( RULE_INT )? |
1697 | { | 1697 | { |
1698 | matchRange('1','9'); | 1698 | matchRange('1','9'); |
1699 | // InternalVampireLanguage.g:6832:30: ( RULE_INT )? | 1699 | // InternalVampireLanguage.g:6862:30: ( RULE_INT )? |
1700 | int alt5=2; | 1700 | int alt5=2; |
1701 | int LA5_0 = input.LA(1); | 1701 | int LA5_0 = input.LA(1); |
1702 | 1702 | ||
@@ -1705,7 +1705,7 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
1705 | } | 1705 | } |
1706 | switch (alt5) { | 1706 | switch (alt5) { |
1707 | case 1 : | 1707 | case 1 : |
1708 | // InternalVampireLanguage.g:6832:30: RULE_INT | 1708 | // InternalVampireLanguage.g:6862:30: RULE_INT |
1709 | { | 1709 | { |
1710 | mRULE_INT(); | 1710 | mRULE_INT(); |
1711 | 1711 | ||
@@ -1736,10 +1736,10 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
1736 | try { | 1736 | try { |
1737 | int _type = RULE_SIGNED_LITERAL; | 1737 | int _type = RULE_SIGNED_LITERAL; |
1738 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1738 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1739 | // InternalVampireLanguage.g:6834:21: ( ( RULE_SIGN )* RULE_LITERAL ) | 1739 | // InternalVampireLanguage.g:6864:21: ( ( RULE_SIGN )* RULE_LITERAL ) |
1740 | // InternalVampireLanguage.g:6834:23: ( RULE_SIGN )* RULE_LITERAL | 1740 | // InternalVampireLanguage.g:6864:23: ( RULE_SIGN )* RULE_LITERAL |
1741 | { | 1741 | { |
1742 | // InternalVampireLanguage.g:6834:23: ( RULE_SIGN )* | 1742 | // InternalVampireLanguage.g:6864:23: ( RULE_SIGN )* |
1743 | loop7: | 1743 | loop7: |
1744 | do { | 1744 | do { |
1745 | int alt7=2; | 1745 | int alt7=2; |
@@ -1752,7 +1752,7 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
1752 | 1752 | ||
1753 | switch (alt7) { | 1753 | switch (alt7) { |
1754 | case 1 : | 1754 | case 1 : |
1755 | // InternalVampireLanguage.g:6834:23: RULE_SIGN | 1755 | // InternalVampireLanguage.g:6864:23: RULE_SIGN |
1756 | { | 1756 | { |
1757 | mRULE_SIGN(); | 1757 | mRULE_SIGN(); |
1758 | 1758 | ||
@@ -1781,11 +1781,11 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
1781 | try { | 1781 | try { |
1782 | int _type = RULE_SINGLE_COMMENT; | 1782 | int _type = RULE_SINGLE_COMMENT; |
1783 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1783 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1784 | // InternalVampireLanguage.g:6836:21: ( '%' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? ) | 1784 | // InternalVampireLanguage.g:6866:21: ( '%' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? ) |
1785 | // InternalVampireLanguage.g:6836:23: '%' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? | 1785 | // InternalVampireLanguage.g:6866:23: '%' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? |
1786 | { | 1786 | { |
1787 | match('%'); | 1787 | match('%'); |
1788 | // InternalVampireLanguage.g:6836:27: (~ ( ( '\\n' | '\\r' ) ) )* | 1788 | // InternalVampireLanguage.g:6866:27: (~ ( ( '\\n' | '\\r' ) ) )* |
1789 | loop8: | 1789 | loop8: |
1790 | do { | 1790 | do { |
1791 | int alt8=2; | 1791 | int alt8=2; |
@@ -1798,7 +1798,7 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
1798 | 1798 | ||
1799 | switch (alt8) { | 1799 | switch (alt8) { |
1800 | case 1 : | 1800 | case 1 : |
1801 | // InternalVampireLanguage.g:6836:27: ~ ( ( '\\n' | '\\r' ) ) | 1801 | // InternalVampireLanguage.g:6866:27: ~ ( ( '\\n' | '\\r' ) ) |
1802 | { | 1802 | { |
1803 | if ( (input.LA(1)>='\u0000' && input.LA(1)<='\t')||(input.LA(1)>='\u000B' && input.LA(1)<='\f')||(input.LA(1)>='\u000E' && input.LA(1)<='\uFFFF') ) { | 1803 | if ( (input.LA(1)>='\u0000' && input.LA(1)<='\t')||(input.LA(1)>='\u000B' && input.LA(1)<='\f')||(input.LA(1)>='\u000E' && input.LA(1)<='\uFFFF') ) { |
1804 | input.consume(); | 1804 | input.consume(); |
@@ -1818,7 +1818,7 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
1818 | } | 1818 | } |
1819 | } while (true); | 1819 | } while (true); |
1820 | 1820 | ||
1821 | // InternalVampireLanguage.g:6836:43: ( ( '\\r' )? '\\n' )? | 1821 | // InternalVampireLanguage.g:6866:43: ( ( '\\r' )? '\\n' )? |
1822 | int alt10=2; | 1822 | int alt10=2; |
1823 | int LA10_0 = input.LA(1); | 1823 | int LA10_0 = input.LA(1); |
1824 | 1824 | ||
@@ -1827,9 +1827,9 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
1827 | } | 1827 | } |
1828 | switch (alt10) { | 1828 | switch (alt10) { |
1829 | case 1 : | 1829 | case 1 : |
1830 | // InternalVampireLanguage.g:6836:44: ( '\\r' )? '\\n' | 1830 | // InternalVampireLanguage.g:6866:44: ( '\\r' )? '\\n' |
1831 | { | 1831 | { |
1832 | // InternalVampireLanguage.g:6836:44: ( '\\r' )? | 1832 | // InternalVampireLanguage.g:6866:44: ( '\\r' )? |
1833 | int alt9=2; | 1833 | int alt9=2; |
1834 | int LA9_0 = input.LA(1); | 1834 | int LA9_0 = input.LA(1); |
1835 | 1835 | ||
@@ -1838,7 +1838,7 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
1838 | } | 1838 | } |
1839 | switch (alt9) { | 1839 | switch (alt9) { |
1840 | case 1 : | 1840 | case 1 : |
1841 | // InternalVampireLanguage.g:6836:44: '\\r' | 1841 | // InternalVampireLanguage.g:6866:44: '\\r' |
1842 | { | 1842 | { |
1843 | match('\r'); | 1843 | match('\r'); |
1844 | 1844 | ||
@@ -1870,10 +1870,10 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
1870 | try { | 1870 | try { |
1871 | int _type = RULE_ID; | 1871 | int _type = RULE_ID; |
1872 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1872 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1873 | // InternalVampireLanguage.g:6838:9: ( ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* ) | 1873 | // InternalVampireLanguage.g:6868:9: ( ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* ) |
1874 | // InternalVampireLanguage.g:6838:11: ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* | 1874 | // InternalVampireLanguage.g:6868:11: ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* |
1875 | { | 1875 | { |
1876 | // InternalVampireLanguage.g:6838:11: ( '^' )? | 1876 | // InternalVampireLanguage.g:6868:11: ( '^' )? |
1877 | int alt11=2; | 1877 | int alt11=2; |
1878 | int LA11_0 = input.LA(1); | 1878 | int LA11_0 = input.LA(1); |
1879 | 1879 | ||
@@ -1882,7 +1882,7 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
1882 | } | 1882 | } |
1883 | switch (alt11) { | 1883 | switch (alt11) { |
1884 | case 1 : | 1884 | case 1 : |
1885 | // InternalVampireLanguage.g:6838:11: '^' | 1885 | // InternalVampireLanguage.g:6868:11: '^' |
1886 | { | 1886 | { |
1887 | match('^'); | 1887 | match('^'); |
1888 | 1888 | ||
@@ -1900,7 +1900,7 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
1900 | recover(mse); | 1900 | recover(mse); |
1901 | throw mse;} | 1901 | throw mse;} |
1902 | 1902 | ||
1903 | // InternalVampireLanguage.g:6838:40: ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* | 1903 | // InternalVampireLanguage.g:6868:40: ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* |
1904 | loop12: | 1904 | loop12: |
1905 | do { | 1905 | do { |
1906 | int alt12=2; | 1906 | int alt12=2; |
@@ -1947,10 +1947,10 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
1947 | // $ANTLR start "RULE_INT" | 1947 | // $ANTLR start "RULE_INT" |
1948 | public final void mRULE_INT() throws RecognitionException { | 1948 | public final void mRULE_INT() throws RecognitionException { |
1949 | try { | 1949 | try { |
1950 | // InternalVampireLanguage.g:6840:19: ( ( '0' .. '9' )+ ) | 1950 | // InternalVampireLanguage.g:6870:19: ( ( '0' .. '9' )+ ) |
1951 | // InternalVampireLanguage.g:6840:21: ( '0' .. '9' )+ | 1951 | // InternalVampireLanguage.g:6870:21: ( '0' .. '9' )+ |
1952 | { | 1952 | { |
1953 | // InternalVampireLanguage.g:6840:21: ( '0' .. '9' )+ | 1953 | // InternalVampireLanguage.g:6870:21: ( '0' .. '9' )+ |
1954 | int cnt13=0; | 1954 | int cnt13=0; |
1955 | loop13: | 1955 | loop13: |
1956 | do { | 1956 | do { |
@@ -1964,7 +1964,7 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
1964 | 1964 | ||
1965 | switch (alt13) { | 1965 | switch (alt13) { |
1966 | case 1 : | 1966 | case 1 : |
1967 | // InternalVampireLanguage.g:6840:22: '0' .. '9' | 1967 | // InternalVampireLanguage.g:6870:22: '0' .. '9' |
1968 | { | 1968 | { |
1969 | matchRange('0','9'); | 1969 | matchRange('0','9'); |
1970 | 1970 | ||
@@ -1994,10 +1994,10 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
1994 | try { | 1994 | try { |
1995 | int _type = RULE_STRING; | 1995 | int _type = RULE_STRING; |
1996 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1996 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1997 | // InternalVampireLanguage.g:6842:13: ( ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' | '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' ) ) | 1997 | // InternalVampireLanguage.g:6872:13: ( ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' | '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' ) ) |
1998 | // InternalVampireLanguage.g:6842:15: ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' | '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' ) | 1998 | // InternalVampireLanguage.g:6872:15: ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' | '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' ) |
1999 | { | 1999 | { |
2000 | // InternalVampireLanguage.g:6842:15: ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' | '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' ) | 2000 | // InternalVampireLanguage.g:6872:15: ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' | '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' ) |
2001 | int alt16=2; | 2001 | int alt16=2; |
2002 | int LA16_0 = input.LA(1); | 2002 | int LA16_0 = input.LA(1); |
2003 | 2003 | ||
@@ -2015,10 +2015,10 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
2015 | } | 2015 | } |
2016 | switch (alt16) { | 2016 | switch (alt16) { |
2017 | case 1 : | 2017 | case 1 : |
2018 | // InternalVampireLanguage.g:6842:16: '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' | 2018 | // InternalVampireLanguage.g:6872:16: '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' |
2019 | { | 2019 | { |
2020 | match('\"'); | 2020 | match('\"'); |
2021 | // InternalVampireLanguage.g:6842:20: ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* | 2021 | // InternalVampireLanguage.g:6872:20: ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* |
2022 | loop14: | 2022 | loop14: |
2023 | do { | 2023 | do { |
2024 | int alt14=3; | 2024 | int alt14=3; |
@@ -2034,7 +2034,7 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
2034 | 2034 | ||
2035 | switch (alt14) { | 2035 | switch (alt14) { |
2036 | case 1 : | 2036 | case 1 : |
2037 | // InternalVampireLanguage.g:6842:21: '\\\\' . | 2037 | // InternalVampireLanguage.g:6872:21: '\\\\' . |
2038 | { | 2038 | { |
2039 | match('\\'); | 2039 | match('\\'); |
2040 | matchAny(); | 2040 | matchAny(); |
@@ -2042,7 +2042,7 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
2042 | } | 2042 | } |
2043 | break; | 2043 | break; |
2044 | case 2 : | 2044 | case 2 : |
2045 | // InternalVampireLanguage.g:6842:28: ~ ( ( '\\\\' | '\"' ) ) | 2045 | // InternalVampireLanguage.g:6872:28: ~ ( ( '\\\\' | '\"' ) ) |
2046 | { | 2046 | { |
2047 | if ( (input.LA(1)>='\u0000' && input.LA(1)<='!')||(input.LA(1)>='#' && input.LA(1)<='[')||(input.LA(1)>=']' && input.LA(1)<='\uFFFF') ) { | 2047 | if ( (input.LA(1)>='\u0000' && input.LA(1)<='!')||(input.LA(1)>='#' && input.LA(1)<='[')||(input.LA(1)>=']' && input.LA(1)<='\uFFFF') ) { |
2048 | input.consume(); | 2048 | input.consume(); |
@@ -2067,10 +2067,10 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
2067 | } | 2067 | } |
2068 | break; | 2068 | break; |
2069 | case 2 : | 2069 | case 2 : |
2070 | // InternalVampireLanguage.g:6842:48: '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' | 2070 | // InternalVampireLanguage.g:6872:48: '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' |
2071 | { | 2071 | { |
2072 | match('\''); | 2072 | match('\''); |
2073 | // InternalVampireLanguage.g:6842:53: ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* | 2073 | // InternalVampireLanguage.g:6872:53: ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* |
2074 | loop15: | 2074 | loop15: |
2075 | do { | 2075 | do { |
2076 | int alt15=3; | 2076 | int alt15=3; |
@@ -2086,7 +2086,7 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
2086 | 2086 | ||
2087 | switch (alt15) { | 2087 | switch (alt15) { |
2088 | case 1 : | 2088 | case 1 : |
2089 | // InternalVampireLanguage.g:6842:54: '\\\\' . | 2089 | // InternalVampireLanguage.g:6872:54: '\\\\' . |
2090 | { | 2090 | { |
2091 | match('\\'); | 2091 | match('\\'); |
2092 | matchAny(); | 2092 | matchAny(); |
@@ -2094,7 +2094,7 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
2094 | } | 2094 | } |
2095 | break; | 2095 | break; |
2096 | case 2 : | 2096 | case 2 : |
2097 | // InternalVampireLanguage.g:6842:61: ~ ( ( '\\\\' | '\\'' ) ) | 2097 | // InternalVampireLanguage.g:6872:61: ~ ( ( '\\\\' | '\\'' ) ) |
2098 | { | 2098 | { |
2099 | if ( (input.LA(1)>='\u0000' && input.LA(1)<='&')||(input.LA(1)>='(' && input.LA(1)<='[')||(input.LA(1)>=']' && input.LA(1)<='\uFFFF') ) { | 2099 | if ( (input.LA(1)>='\u0000' && input.LA(1)<='&')||(input.LA(1)>='(' && input.LA(1)<='[')||(input.LA(1)>=']' && input.LA(1)<='\uFFFF') ) { |
2100 | input.consume(); | 2100 | input.consume(); |
@@ -2137,12 +2137,12 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
2137 | try { | 2137 | try { |
2138 | int _type = RULE_ML_COMMENT; | 2138 | int _type = RULE_ML_COMMENT; |
2139 | int _channel = DEFAULT_TOKEN_CHANNEL; | 2139 | int _channel = DEFAULT_TOKEN_CHANNEL; |
2140 | // InternalVampireLanguage.g:6844:17: ( '/*' ( options {greedy=false; } : . )* '*/' ) | 2140 | // InternalVampireLanguage.g:6874:17: ( '/*' ( options {greedy=false; } : . )* '*/' ) |
2141 | // InternalVampireLanguage.g:6844:19: '/*' ( options {greedy=false; } : . )* '*/' | 2141 | // InternalVampireLanguage.g:6874:19: '/*' ( options {greedy=false; } : . )* '*/' |
2142 | { | 2142 | { |
2143 | match("/*"); | 2143 | match("/*"); |
2144 | 2144 | ||
2145 | // InternalVampireLanguage.g:6844:24: ( options {greedy=false; } : . )* | 2145 | // InternalVampireLanguage.g:6874:24: ( options {greedy=false; } : . )* |
2146 | loop17: | 2146 | loop17: |
2147 | do { | 2147 | do { |
2148 | int alt17=2; | 2148 | int alt17=2; |
@@ -2167,7 +2167,7 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
2167 | 2167 | ||
2168 | switch (alt17) { | 2168 | switch (alt17) { |
2169 | case 1 : | 2169 | case 1 : |
2170 | // InternalVampireLanguage.g:6844:52: . | 2170 | // InternalVampireLanguage.g:6874:52: . |
2171 | { | 2171 | { |
2172 | matchAny(); | 2172 | matchAny(); |
2173 | 2173 | ||
@@ -2197,12 +2197,12 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
2197 | try { | 2197 | try { |
2198 | int _type = RULE_SL_COMMENT; | 2198 | int _type = RULE_SL_COMMENT; |
2199 | int _channel = DEFAULT_TOKEN_CHANNEL; | 2199 | int _channel = DEFAULT_TOKEN_CHANNEL; |
2200 | // InternalVampireLanguage.g:6846:17: ( '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? ) | 2200 | // InternalVampireLanguage.g:6876:17: ( '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? ) |
2201 | // InternalVampireLanguage.g:6846:19: '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? | 2201 | // InternalVampireLanguage.g:6876:19: '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? |
2202 | { | 2202 | { |
2203 | match("//"); | 2203 | match("//"); |
2204 | 2204 | ||
2205 | // InternalVampireLanguage.g:6846:24: (~ ( ( '\\n' | '\\r' ) ) )* | 2205 | // InternalVampireLanguage.g:6876:24: (~ ( ( '\\n' | '\\r' ) ) )* |
2206 | loop18: | 2206 | loop18: |
2207 | do { | 2207 | do { |
2208 | int alt18=2; | 2208 | int alt18=2; |
@@ -2215,7 +2215,7 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
2215 | 2215 | ||
2216 | switch (alt18) { | 2216 | switch (alt18) { |
2217 | case 1 : | 2217 | case 1 : |
2218 | // InternalVampireLanguage.g:6846:24: ~ ( ( '\\n' | '\\r' ) ) | 2218 | // InternalVampireLanguage.g:6876:24: ~ ( ( '\\n' | '\\r' ) ) |
2219 | { | 2219 | { |
2220 | if ( (input.LA(1)>='\u0000' && input.LA(1)<='\t')||(input.LA(1)>='\u000B' && input.LA(1)<='\f')||(input.LA(1)>='\u000E' && input.LA(1)<='\uFFFF') ) { | 2220 | if ( (input.LA(1)>='\u0000' && input.LA(1)<='\t')||(input.LA(1)>='\u000B' && input.LA(1)<='\f')||(input.LA(1)>='\u000E' && input.LA(1)<='\uFFFF') ) { |
2221 | input.consume(); | 2221 | input.consume(); |
@@ -2235,7 +2235,7 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
2235 | } | 2235 | } |
2236 | } while (true); | 2236 | } while (true); |
2237 | 2237 | ||
2238 | // InternalVampireLanguage.g:6846:40: ( ( '\\r' )? '\\n' )? | 2238 | // InternalVampireLanguage.g:6876:40: ( ( '\\r' )? '\\n' )? |
2239 | int alt20=2; | 2239 | int alt20=2; |
2240 | int LA20_0 = input.LA(1); | 2240 | int LA20_0 = input.LA(1); |
2241 | 2241 | ||
@@ -2244,9 +2244,9 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
2244 | } | 2244 | } |
2245 | switch (alt20) { | 2245 | switch (alt20) { |
2246 | case 1 : | 2246 | case 1 : |
2247 | // InternalVampireLanguage.g:6846:41: ( '\\r' )? '\\n' | 2247 | // InternalVampireLanguage.g:6876:41: ( '\\r' )? '\\n' |
2248 | { | 2248 | { |
2249 | // InternalVampireLanguage.g:6846:41: ( '\\r' )? | 2249 | // InternalVampireLanguage.g:6876:41: ( '\\r' )? |
2250 | int alt19=2; | 2250 | int alt19=2; |
2251 | int LA19_0 = input.LA(1); | 2251 | int LA19_0 = input.LA(1); |
2252 | 2252 | ||
@@ -2255,7 +2255,7 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
2255 | } | 2255 | } |
2256 | switch (alt19) { | 2256 | switch (alt19) { |
2257 | case 1 : | 2257 | case 1 : |
2258 | // InternalVampireLanguage.g:6846:41: '\\r' | 2258 | // InternalVampireLanguage.g:6876:41: '\\r' |
2259 | { | 2259 | { |
2260 | match('\r'); | 2260 | match('\r'); |
2261 | 2261 | ||
@@ -2287,10 +2287,10 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
2287 | try { | 2287 | try { |
2288 | int _type = RULE_WS; | 2288 | int _type = RULE_WS; |
2289 | int _channel = DEFAULT_TOKEN_CHANNEL; | 2289 | int _channel = DEFAULT_TOKEN_CHANNEL; |
2290 | // InternalVampireLanguage.g:6848:9: ( ( ' ' | '\\t' | '\\r' | '\\n' )+ ) | 2290 | // InternalVampireLanguage.g:6878:9: ( ( ' ' | '\\t' | '\\r' | '\\n' )+ ) |
2291 | // InternalVampireLanguage.g:6848:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ | 2291 | // InternalVampireLanguage.g:6878:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ |
2292 | { | 2292 | { |
2293 | // InternalVampireLanguage.g:6848:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ | 2293 | // InternalVampireLanguage.g:6878:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ |
2294 | int cnt21=0; | 2294 | int cnt21=0; |
2295 | loop21: | 2295 | loop21: |
2296 | do { | 2296 | do { |
@@ -2344,8 +2344,8 @@ public class InternalVampireLanguageLexer extends Lexer { | |||
2344 | try { | 2344 | try { |
2345 | int _type = RULE_ANY_OTHER; | 2345 | int _type = RULE_ANY_OTHER; |
2346 | int _channel = DEFAULT_TOKEN_CHANNEL; | 2346 | int _channel = DEFAULT_TOKEN_CHANNEL; |
2347 | // InternalVampireLanguage.g:6850:16: ( . ) | 2347 | // InternalVampireLanguage.g:6880:16: ( . ) |
2348 | // InternalVampireLanguage.g:6850:18: . | 2348 | // InternalVampireLanguage.g:6880:18: . |
2349 | { | 2349 | { |
2350 | matchAny(); | 2350 | matchAny(); |
2351 | 2351 | ||
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguageParser.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguageParser.java index fefa9ff7..38a7d70f 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguageParser.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguageParser.java | |||
@@ -4414,12 +4414,12 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
4414 | if ( (LA16_0==RULE_UPPER_WORD_ID) ) { | 4414 | if ( (LA16_0==RULE_UPPER_WORD_ID) ) { |
4415 | int LA16_1 = input.LA(2); | 4415 | int LA16_1 = input.LA(2); |
4416 | 4416 | ||
4417 | if ( (LA16_1==50||LA16_1==56) ) { | 4417 | if ( (LA16_1==61) ) { |
4418 | alt16=1; | ||
4419 | } | ||
4420 | else if ( (LA16_1==61) ) { | ||
4421 | alt16=2; | 4418 | alt16=2; |
4422 | } | 4419 | } |
4420 | else if ( (LA16_1==50||LA16_1==56) ) { | ||
4421 | alt16=1; | ||
4422 | } | ||
4423 | else { | 4423 | else { |
4424 | NoViableAltException nvae = | 4424 | NoViableAltException nvae = |
4425 | new NoViableAltException("", 16, 1, input); | 4425 | new NoViableAltException("", 16, 1, input); |
@@ -10357,25 +10357,31 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
10357 | 10357 | ||
10358 | 10358 | ||
10359 | // $ANTLR start "rule__VLSOtherDeclaration__Group__0__Impl" | 10359 | // $ANTLR start "rule__VLSOtherDeclaration__Group__0__Impl" |
10360 | // InternalVampireLanguage.g:3188:1: rule__VLSOtherDeclaration__Group__0__Impl : ( ruleVLSAtomicConstant ) ; | 10360 | // InternalVampireLanguage.g:3188:1: rule__VLSOtherDeclaration__Group__0__Impl : ( ( rule__VLSOtherDeclaration__NameAssignment_0 ) ) ; |
10361 | public final void rule__VLSOtherDeclaration__Group__0__Impl() throws RecognitionException { | 10361 | public final void rule__VLSOtherDeclaration__Group__0__Impl() throws RecognitionException { |
10362 | 10362 | ||
10363 | int stackSize = keepStackSize(); | 10363 | int stackSize = keepStackSize(); |
10364 | 10364 | ||
10365 | try { | 10365 | try { |
10366 | // InternalVampireLanguage.g:3192:1: ( ( ruleVLSAtomicConstant ) ) | 10366 | // InternalVampireLanguage.g:3192:1: ( ( ( rule__VLSOtherDeclaration__NameAssignment_0 ) ) ) |
10367 | // InternalVampireLanguage.g:3193:1: ( ruleVLSAtomicConstant ) | 10367 | // InternalVampireLanguage.g:3193:1: ( ( rule__VLSOtherDeclaration__NameAssignment_0 ) ) |
10368 | { | 10368 | { |
10369 | // InternalVampireLanguage.g:3193:1: ( ruleVLSAtomicConstant ) | 10369 | // InternalVampireLanguage.g:3193:1: ( ( rule__VLSOtherDeclaration__NameAssignment_0 ) ) |
10370 | // InternalVampireLanguage.g:3194:2: ruleVLSAtomicConstant | 10370 | // InternalVampireLanguage.g:3194:2: ( rule__VLSOtherDeclaration__NameAssignment_0 ) |
10371 | { | ||
10372 | before(grammarAccess.getVLSOtherDeclarationAccess().getNameAssignment_0()); | ||
10373 | // InternalVampireLanguage.g:3195:2: ( rule__VLSOtherDeclaration__NameAssignment_0 ) | ||
10374 | // InternalVampireLanguage.g:3195:3: rule__VLSOtherDeclaration__NameAssignment_0 | ||
10371 | { | 10375 | { |
10372 | before(grammarAccess.getVLSOtherDeclarationAccess().getVLSAtomicConstantParserRuleCall_0()); | ||
10373 | pushFollow(FOLLOW_2); | 10376 | pushFollow(FOLLOW_2); |
10374 | ruleVLSAtomicConstant(); | 10377 | rule__VLSOtherDeclaration__NameAssignment_0(); |
10375 | 10378 | ||
10376 | state._fsp--; | 10379 | state._fsp--; |
10377 | 10380 | ||
10378 | after(grammarAccess.getVLSOtherDeclarationAccess().getVLSAtomicConstantParserRuleCall_0()); | 10381 | |
10382 | } | ||
10383 | |||
10384 | after(grammarAccess.getVLSOtherDeclarationAccess().getNameAssignment_0()); | ||
10379 | 10385 | ||
10380 | } | 10386 | } |
10381 | 10387 | ||
@@ -10591,25 +10597,31 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
10591 | 10597 | ||
10592 | 10598 | ||
10593 | // $ANTLR start "rule__VLSVariableDeclaration__Group__0__Impl" | 10599 | // $ANTLR start "rule__VLSVariableDeclaration__Group__0__Impl" |
10594 | // InternalVampireLanguage.g:3269:1: rule__VLSVariableDeclaration__Group__0__Impl : ( ruleVLSVariable ) ; | 10600 | // InternalVampireLanguage.g:3269:1: rule__VLSVariableDeclaration__Group__0__Impl : ( ( rule__VLSVariableDeclaration__NameAssignment_0 ) ) ; |
10595 | public final void rule__VLSVariableDeclaration__Group__0__Impl() throws RecognitionException { | 10601 | public final void rule__VLSVariableDeclaration__Group__0__Impl() throws RecognitionException { |
10596 | 10602 | ||
10597 | int stackSize = keepStackSize(); | 10603 | int stackSize = keepStackSize(); |
10598 | 10604 | ||
10599 | try { | 10605 | try { |
10600 | // InternalVampireLanguage.g:3273:1: ( ( ruleVLSVariable ) ) | 10606 | // InternalVampireLanguage.g:3273:1: ( ( ( rule__VLSVariableDeclaration__NameAssignment_0 ) ) ) |
10601 | // InternalVampireLanguage.g:3274:1: ( ruleVLSVariable ) | 10607 | // InternalVampireLanguage.g:3274:1: ( ( rule__VLSVariableDeclaration__NameAssignment_0 ) ) |
10608 | { | ||
10609 | // InternalVampireLanguage.g:3274:1: ( ( rule__VLSVariableDeclaration__NameAssignment_0 ) ) | ||
10610 | // InternalVampireLanguage.g:3275:2: ( rule__VLSVariableDeclaration__NameAssignment_0 ) | ||
10602 | { | 10611 | { |
10603 | // InternalVampireLanguage.g:3274:1: ( ruleVLSVariable ) | 10612 | before(grammarAccess.getVLSVariableDeclarationAccess().getNameAssignment_0()); |
10604 | // InternalVampireLanguage.g:3275:2: ruleVLSVariable | 10613 | // InternalVampireLanguage.g:3276:2: ( rule__VLSVariableDeclaration__NameAssignment_0 ) |
10614 | // InternalVampireLanguage.g:3276:3: rule__VLSVariableDeclaration__NameAssignment_0 | ||
10605 | { | 10615 | { |
10606 | before(grammarAccess.getVLSVariableDeclarationAccess().getVLSVariableParserRuleCall_0()); | ||
10607 | pushFollow(FOLLOW_2); | 10616 | pushFollow(FOLLOW_2); |
10608 | ruleVLSVariable(); | 10617 | rule__VLSVariableDeclaration__NameAssignment_0(); |
10609 | 10618 | ||
10610 | state._fsp--; | 10619 | state._fsp--; |
10611 | 10620 | ||
10612 | after(grammarAccess.getVLSVariableDeclarationAccess().getVLSVariableParserRuleCall_0()); | 10621 | |
10622 | } | ||
10623 | |||
10624 | after(grammarAccess.getVLSVariableDeclarationAccess().getNameAssignment_0()); | ||
10613 | 10625 | ||
10614 | } | 10626 | } |
10615 | 10627 | ||
@@ -19539,18 +19551,59 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
19539 | // $ANTLR end "rule__VLSAnnotationTerms__TermsAssignment_1_1" | 19551 | // $ANTLR end "rule__VLSAnnotationTerms__TermsAssignment_1_1" |
19540 | 19552 | ||
19541 | 19553 | ||
19554 | // $ANTLR start "rule__VLSOtherDeclaration__NameAssignment_0" | ||
19555 | // InternalVampireLanguage.g:6362:1: rule__VLSOtherDeclaration__NameAssignment_0 : ( ruleVLSAtomicConstant ) ; | ||
19556 | public final void rule__VLSOtherDeclaration__NameAssignment_0() throws RecognitionException { | ||
19557 | |||
19558 | int stackSize = keepStackSize(); | ||
19559 | |||
19560 | try { | ||
19561 | // InternalVampireLanguage.g:6366:1: ( ( ruleVLSAtomicConstant ) ) | ||
19562 | // InternalVampireLanguage.g:6367:2: ( ruleVLSAtomicConstant ) | ||
19563 | { | ||
19564 | // InternalVampireLanguage.g:6367:2: ( ruleVLSAtomicConstant ) | ||
19565 | // InternalVampireLanguage.g:6368:3: ruleVLSAtomicConstant | ||
19566 | { | ||
19567 | before(grammarAccess.getVLSOtherDeclarationAccess().getNameVLSAtomicConstantParserRuleCall_0_0()); | ||
19568 | pushFollow(FOLLOW_2); | ||
19569 | ruleVLSAtomicConstant(); | ||
19570 | |||
19571 | state._fsp--; | ||
19572 | |||
19573 | after(grammarAccess.getVLSOtherDeclarationAccess().getNameVLSAtomicConstantParserRuleCall_0_0()); | ||
19574 | |||
19575 | } | ||
19576 | |||
19577 | |||
19578 | } | ||
19579 | |||
19580 | } | ||
19581 | catch (RecognitionException re) { | ||
19582 | reportError(re); | ||
19583 | recover(input,re); | ||
19584 | } | ||
19585 | finally { | ||
19586 | |||
19587 | restoreStackSize(stackSize); | ||
19588 | |||
19589 | } | ||
19590 | return ; | ||
19591 | } | ||
19592 | // $ANTLR end "rule__VLSOtherDeclaration__NameAssignment_0" | ||
19593 | |||
19594 | |||
19542 | // $ANTLR start "rule__VLSOtherDeclaration__TypeAssignment_2" | 19595 | // $ANTLR start "rule__VLSOtherDeclaration__TypeAssignment_2" |
19543 | // InternalVampireLanguage.g:6362:1: rule__VLSOtherDeclaration__TypeAssignment_2 : ( ruleVLSTypeDef ) ; | 19596 | // InternalVampireLanguage.g:6377:1: rule__VLSOtherDeclaration__TypeAssignment_2 : ( ruleVLSTypeDef ) ; |
19544 | public final void rule__VLSOtherDeclaration__TypeAssignment_2() throws RecognitionException { | 19597 | public final void rule__VLSOtherDeclaration__TypeAssignment_2() throws RecognitionException { |
19545 | 19598 | ||
19546 | int stackSize = keepStackSize(); | 19599 | int stackSize = keepStackSize(); |
19547 | 19600 | ||
19548 | try { | 19601 | try { |
19549 | // InternalVampireLanguage.g:6366:1: ( ( ruleVLSTypeDef ) ) | 19602 | // InternalVampireLanguage.g:6381:1: ( ( ruleVLSTypeDef ) ) |
19550 | // InternalVampireLanguage.g:6367:2: ( ruleVLSTypeDef ) | 19603 | // InternalVampireLanguage.g:6382:2: ( ruleVLSTypeDef ) |
19551 | { | 19604 | { |
19552 | // InternalVampireLanguage.g:6367:2: ( ruleVLSTypeDef ) | 19605 | // InternalVampireLanguage.g:6382:2: ( ruleVLSTypeDef ) |
19553 | // InternalVampireLanguage.g:6368:3: ruleVLSTypeDef | 19606 | // InternalVampireLanguage.g:6383:3: ruleVLSTypeDef |
19554 | { | 19607 | { |
19555 | before(grammarAccess.getVLSOtherDeclarationAccess().getTypeVLSTypeDefParserRuleCall_2_0()); | 19608 | before(grammarAccess.getVLSOtherDeclarationAccess().getTypeVLSTypeDefParserRuleCall_2_0()); |
19556 | pushFollow(FOLLOW_2); | 19609 | pushFollow(FOLLOW_2); |
@@ -19580,18 +19633,59 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
19580 | // $ANTLR end "rule__VLSOtherDeclaration__TypeAssignment_2" | 19633 | // $ANTLR end "rule__VLSOtherDeclaration__TypeAssignment_2" |
19581 | 19634 | ||
19582 | 19635 | ||
19636 | // $ANTLR start "rule__VLSVariableDeclaration__NameAssignment_0" | ||
19637 | // InternalVampireLanguage.g:6392:1: rule__VLSVariableDeclaration__NameAssignment_0 : ( ruleVLSVariable ) ; | ||
19638 | public final void rule__VLSVariableDeclaration__NameAssignment_0() throws RecognitionException { | ||
19639 | |||
19640 | int stackSize = keepStackSize(); | ||
19641 | |||
19642 | try { | ||
19643 | // InternalVampireLanguage.g:6396:1: ( ( ruleVLSVariable ) ) | ||
19644 | // InternalVampireLanguage.g:6397:2: ( ruleVLSVariable ) | ||
19645 | { | ||
19646 | // InternalVampireLanguage.g:6397:2: ( ruleVLSVariable ) | ||
19647 | // InternalVampireLanguage.g:6398:3: ruleVLSVariable | ||
19648 | { | ||
19649 | before(grammarAccess.getVLSVariableDeclarationAccess().getNameVLSVariableParserRuleCall_0_0()); | ||
19650 | pushFollow(FOLLOW_2); | ||
19651 | ruleVLSVariable(); | ||
19652 | |||
19653 | state._fsp--; | ||
19654 | |||
19655 | after(grammarAccess.getVLSVariableDeclarationAccess().getNameVLSVariableParserRuleCall_0_0()); | ||
19656 | |||
19657 | } | ||
19658 | |||
19659 | |||
19660 | } | ||
19661 | |||
19662 | } | ||
19663 | catch (RecognitionException re) { | ||
19664 | reportError(re); | ||
19665 | recover(input,re); | ||
19666 | } | ||
19667 | finally { | ||
19668 | |||
19669 | restoreStackSize(stackSize); | ||
19670 | |||
19671 | } | ||
19672 | return ; | ||
19673 | } | ||
19674 | // $ANTLR end "rule__VLSVariableDeclaration__NameAssignment_0" | ||
19675 | |||
19676 | |||
19583 | // $ANTLR start "rule__VLSVariableDeclaration__TypeAssignment_2" | 19677 | // $ANTLR start "rule__VLSVariableDeclaration__TypeAssignment_2" |
19584 | // InternalVampireLanguage.g:6377:1: rule__VLSVariableDeclaration__TypeAssignment_2 : ( ruleVLSTypeDef ) ; | 19678 | // InternalVampireLanguage.g:6407:1: rule__VLSVariableDeclaration__TypeAssignment_2 : ( ruleVLSTypeDef ) ; |
19585 | public final void rule__VLSVariableDeclaration__TypeAssignment_2() throws RecognitionException { | 19679 | public final void rule__VLSVariableDeclaration__TypeAssignment_2() throws RecognitionException { |
19586 | 19680 | ||
19587 | int stackSize = keepStackSize(); | 19681 | int stackSize = keepStackSize(); |
19588 | 19682 | ||
19589 | try { | 19683 | try { |
19590 | // InternalVampireLanguage.g:6381:1: ( ( ruleVLSTypeDef ) ) | 19684 | // InternalVampireLanguage.g:6411:1: ( ( ruleVLSTypeDef ) ) |
19591 | // InternalVampireLanguage.g:6382:2: ( ruleVLSTypeDef ) | 19685 | // InternalVampireLanguage.g:6412:2: ( ruleVLSTypeDef ) |
19592 | { | 19686 | { |
19593 | // InternalVampireLanguage.g:6382:2: ( ruleVLSTypeDef ) | 19687 | // InternalVampireLanguage.g:6412:2: ( ruleVLSTypeDef ) |
19594 | // InternalVampireLanguage.g:6383:3: ruleVLSTypeDef | 19688 | // InternalVampireLanguage.g:6413:3: ruleVLSTypeDef |
19595 | { | 19689 | { |
19596 | before(grammarAccess.getVLSVariableDeclarationAccess().getTypeVLSTypeDefParserRuleCall_2_0()); | 19690 | before(grammarAccess.getVLSVariableDeclarationAccess().getTypeVLSTypeDefParserRuleCall_2_0()); |
19597 | pushFollow(FOLLOW_2); | 19691 | pushFollow(FOLLOW_2); |
@@ -19622,17 +19716,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
19622 | 19716 | ||
19623 | 19717 | ||
19624 | // $ANTLR start "rule__VLSTypeDef__TypeSigAssignment_0" | 19718 | // $ANTLR start "rule__VLSTypeDef__TypeSigAssignment_0" |
19625 | // InternalVampireLanguage.g:6392:1: rule__VLSTypeDef__TypeSigAssignment_0 : ( ruleVLSUnitaryTerm ) ; | 19719 | // InternalVampireLanguage.g:6422:1: rule__VLSTypeDef__TypeSigAssignment_0 : ( ruleVLSUnitaryTerm ) ; |
19626 | public final void rule__VLSTypeDef__TypeSigAssignment_0() throws RecognitionException { | 19720 | public final void rule__VLSTypeDef__TypeSigAssignment_0() throws RecognitionException { |
19627 | 19721 | ||
19628 | int stackSize = keepStackSize(); | 19722 | int stackSize = keepStackSize(); |
19629 | 19723 | ||
19630 | try { | 19724 | try { |
19631 | // InternalVampireLanguage.g:6396:1: ( ( ruleVLSUnitaryTerm ) ) | 19725 | // InternalVampireLanguage.g:6426:1: ( ( ruleVLSUnitaryTerm ) ) |
19632 | // InternalVampireLanguage.g:6397:2: ( ruleVLSUnitaryTerm ) | 19726 | // InternalVampireLanguage.g:6427:2: ( ruleVLSUnitaryTerm ) |
19633 | { | 19727 | { |
19634 | // InternalVampireLanguage.g:6397:2: ( ruleVLSUnitaryTerm ) | 19728 | // InternalVampireLanguage.g:6427:2: ( ruleVLSUnitaryTerm ) |
19635 | // InternalVampireLanguage.g:6398:3: ruleVLSUnitaryTerm | 19729 | // InternalVampireLanguage.g:6428:3: ruleVLSUnitaryTerm |
19636 | { | 19730 | { |
19637 | before(grammarAccess.getVLSTypeDefAccess().getTypeSigVLSUnitaryTermParserRuleCall_0_0()); | 19731 | before(grammarAccess.getVLSTypeDefAccess().getTypeSigVLSUnitaryTermParserRuleCall_0_0()); |
19638 | pushFollow(FOLLOW_2); | 19732 | pushFollow(FOLLOW_2); |
@@ -19663,17 +19757,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
19663 | 19757 | ||
19664 | 19758 | ||
19665 | // $ANTLR start "rule__VLSTypeDef__MapsToAssignment_1_1" | 19759 | // $ANTLR start "rule__VLSTypeDef__MapsToAssignment_1_1" |
19666 | // InternalVampireLanguage.g:6407:1: rule__VLSTypeDef__MapsToAssignment_1_1 : ( ruleVLSAtomicConstant ) ; | 19760 | // InternalVampireLanguage.g:6437:1: rule__VLSTypeDef__MapsToAssignment_1_1 : ( ruleVLSAtomicConstant ) ; |
19667 | public final void rule__VLSTypeDef__MapsToAssignment_1_1() throws RecognitionException { | 19761 | public final void rule__VLSTypeDef__MapsToAssignment_1_1() throws RecognitionException { |
19668 | 19762 | ||
19669 | int stackSize = keepStackSize(); | 19763 | int stackSize = keepStackSize(); |
19670 | 19764 | ||
19671 | try { | 19765 | try { |
19672 | // InternalVampireLanguage.g:6411:1: ( ( ruleVLSAtomicConstant ) ) | 19766 | // InternalVampireLanguage.g:6441:1: ( ( ruleVLSAtomicConstant ) ) |
19673 | // InternalVampireLanguage.g:6412:2: ( ruleVLSAtomicConstant ) | 19767 | // InternalVampireLanguage.g:6442:2: ( ruleVLSAtomicConstant ) |
19674 | { | 19768 | { |
19675 | // InternalVampireLanguage.g:6412:2: ( ruleVLSAtomicConstant ) | 19769 | // InternalVampireLanguage.g:6442:2: ( ruleVLSAtomicConstant ) |
19676 | // InternalVampireLanguage.g:6413:3: ruleVLSAtomicConstant | 19770 | // InternalVampireLanguage.g:6443:3: ruleVLSAtomicConstant |
19677 | { | 19771 | { |
19678 | before(grammarAccess.getVLSTypeDefAccess().getMapsToVLSAtomicConstantParserRuleCall_1_1_0()); | 19772 | before(grammarAccess.getVLSTypeDefAccess().getMapsToVLSAtomicConstantParserRuleCall_1_1_0()); |
19679 | pushFollow(FOLLOW_2); | 19773 | pushFollow(FOLLOW_2); |
@@ -19704,17 +19798,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
19704 | 19798 | ||
19705 | 19799 | ||
19706 | // $ANTLR start "rule__VLSUnitaryTerm__InitTypeAssignment_0" | 19800 | // $ANTLR start "rule__VLSUnitaryTerm__InitTypeAssignment_0" |
19707 | // InternalVampireLanguage.g:6422:1: rule__VLSUnitaryTerm__InitTypeAssignment_0 : ( ruleVLSAtomic ) ; | 19801 | // InternalVampireLanguage.g:6452:1: rule__VLSUnitaryTerm__InitTypeAssignment_0 : ( ruleVLSAtomic ) ; |
19708 | public final void rule__VLSUnitaryTerm__InitTypeAssignment_0() throws RecognitionException { | 19802 | public final void rule__VLSUnitaryTerm__InitTypeAssignment_0() throws RecognitionException { |
19709 | 19803 | ||
19710 | int stackSize = keepStackSize(); | 19804 | int stackSize = keepStackSize(); |
19711 | 19805 | ||
19712 | try { | 19806 | try { |
19713 | // InternalVampireLanguage.g:6426:1: ( ( ruleVLSAtomic ) ) | 19807 | // InternalVampireLanguage.g:6456:1: ( ( ruleVLSAtomic ) ) |
19714 | // InternalVampireLanguage.g:6427:2: ( ruleVLSAtomic ) | 19808 | // InternalVampireLanguage.g:6457:2: ( ruleVLSAtomic ) |
19715 | { | 19809 | { |
19716 | // InternalVampireLanguage.g:6427:2: ( ruleVLSAtomic ) | 19810 | // InternalVampireLanguage.g:6457:2: ( ruleVLSAtomic ) |
19717 | // InternalVampireLanguage.g:6428:3: ruleVLSAtomic | 19811 | // InternalVampireLanguage.g:6458:3: ruleVLSAtomic |
19718 | { | 19812 | { |
19719 | before(grammarAccess.getVLSUnitaryTermAccess().getInitTypeVLSAtomicParserRuleCall_0_0()); | 19813 | before(grammarAccess.getVLSUnitaryTermAccess().getInitTypeVLSAtomicParserRuleCall_0_0()); |
19720 | pushFollow(FOLLOW_2); | 19814 | pushFollow(FOLLOW_2); |
@@ -19745,17 +19839,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
19745 | 19839 | ||
19746 | 19840 | ||
19747 | // $ANTLR start "rule__VLSUnitaryTerm__NextTypeAssignment_1_1" | 19841 | // $ANTLR start "rule__VLSUnitaryTerm__NextTypeAssignment_1_1" |
19748 | // InternalVampireLanguage.g:6437:1: rule__VLSUnitaryTerm__NextTypeAssignment_1_1 : ( ruleVLSAtomicConstant ) ; | 19842 | // InternalVampireLanguage.g:6467:1: rule__VLSUnitaryTerm__NextTypeAssignment_1_1 : ( ruleVLSAtomicConstant ) ; |
19749 | public final void rule__VLSUnitaryTerm__NextTypeAssignment_1_1() throws RecognitionException { | 19843 | public final void rule__VLSUnitaryTerm__NextTypeAssignment_1_1() throws RecognitionException { |
19750 | 19844 | ||
19751 | int stackSize = keepStackSize(); | 19845 | int stackSize = keepStackSize(); |
19752 | 19846 | ||
19753 | try { | 19847 | try { |
19754 | // InternalVampireLanguage.g:6441:1: ( ( ruleVLSAtomicConstant ) ) | 19848 | // InternalVampireLanguage.g:6471:1: ( ( ruleVLSAtomicConstant ) ) |
19755 | // InternalVampireLanguage.g:6442:2: ( ruleVLSAtomicConstant ) | 19849 | // InternalVampireLanguage.g:6472:2: ( ruleVLSAtomicConstant ) |
19756 | { | 19850 | { |
19757 | // InternalVampireLanguage.g:6442:2: ( ruleVLSAtomicConstant ) | 19851 | // InternalVampireLanguage.g:6472:2: ( ruleVLSAtomicConstant ) |
19758 | // InternalVampireLanguage.g:6443:3: ruleVLSAtomicConstant | 19852 | // InternalVampireLanguage.g:6473:3: ruleVLSAtomicConstant |
19759 | { | 19853 | { |
19760 | before(grammarAccess.getVLSUnitaryTermAccess().getNextTypeVLSAtomicConstantParserRuleCall_1_1_0()); | 19854 | before(grammarAccess.getVLSUnitaryTermAccess().getNextTypeVLSAtomicConstantParserRuleCall_1_1_0()); |
19761 | pushFollow(FOLLOW_2); | 19855 | pushFollow(FOLLOW_2); |
@@ -19786,17 +19880,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
19786 | 19880 | ||
19787 | 19881 | ||
19788 | // $ANTLR start "rule__VLSBinary__RightAssignment_1_0_1" | 19882 | // $ANTLR start "rule__VLSBinary__RightAssignment_1_0_1" |
19789 | // InternalVampireLanguage.g:6452:1: rule__VLSBinary__RightAssignment_1_0_1 : ( ruleVLSUnitaryFormula ) ; | 19883 | // InternalVampireLanguage.g:6482:1: rule__VLSBinary__RightAssignment_1_0_1 : ( ruleVLSUnitaryFormula ) ; |
19790 | public final void rule__VLSBinary__RightAssignment_1_0_1() throws RecognitionException { | 19884 | public final void rule__VLSBinary__RightAssignment_1_0_1() throws RecognitionException { |
19791 | 19885 | ||
19792 | int stackSize = keepStackSize(); | 19886 | int stackSize = keepStackSize(); |
19793 | 19887 | ||
19794 | try { | 19888 | try { |
19795 | // InternalVampireLanguage.g:6456:1: ( ( ruleVLSUnitaryFormula ) ) | 19889 | // InternalVampireLanguage.g:6486:1: ( ( ruleVLSUnitaryFormula ) ) |
19796 | // InternalVampireLanguage.g:6457:2: ( ruleVLSUnitaryFormula ) | 19890 | // InternalVampireLanguage.g:6487:2: ( ruleVLSUnitaryFormula ) |
19797 | { | 19891 | { |
19798 | // InternalVampireLanguage.g:6457:2: ( ruleVLSUnitaryFormula ) | 19892 | // InternalVampireLanguage.g:6487:2: ( ruleVLSUnitaryFormula ) |
19799 | // InternalVampireLanguage.g:6458:3: ruleVLSUnitaryFormula | 19893 | // InternalVampireLanguage.g:6488:3: ruleVLSUnitaryFormula |
19800 | { | 19894 | { |
19801 | before(grammarAccess.getVLSBinaryAccess().getRightVLSUnitaryFormulaParserRuleCall_1_0_1_0()); | 19895 | before(grammarAccess.getVLSBinaryAccess().getRightVLSUnitaryFormulaParserRuleCall_1_0_1_0()); |
19802 | pushFollow(FOLLOW_2); | 19896 | pushFollow(FOLLOW_2); |
@@ -19827,17 +19921,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
19827 | 19921 | ||
19828 | 19922 | ||
19829 | // $ANTLR start "rule__VLSBinary__RightAssignment_1_1_2" | 19923 | // $ANTLR start "rule__VLSBinary__RightAssignment_1_1_2" |
19830 | // InternalVampireLanguage.g:6467:1: rule__VLSBinary__RightAssignment_1_1_2 : ( ruleVLSUnitaryFormula ) ; | 19924 | // InternalVampireLanguage.g:6497:1: rule__VLSBinary__RightAssignment_1_1_2 : ( ruleVLSUnitaryFormula ) ; |
19831 | public final void rule__VLSBinary__RightAssignment_1_1_2() throws RecognitionException { | 19925 | public final void rule__VLSBinary__RightAssignment_1_1_2() throws RecognitionException { |
19832 | 19926 | ||
19833 | int stackSize = keepStackSize(); | 19927 | int stackSize = keepStackSize(); |
19834 | 19928 | ||
19835 | try { | 19929 | try { |
19836 | // InternalVampireLanguage.g:6471:1: ( ( ruleVLSUnitaryFormula ) ) | 19930 | // InternalVampireLanguage.g:6501:1: ( ( ruleVLSUnitaryFormula ) ) |
19837 | // InternalVampireLanguage.g:6472:2: ( ruleVLSUnitaryFormula ) | 19931 | // InternalVampireLanguage.g:6502:2: ( ruleVLSUnitaryFormula ) |
19838 | { | 19932 | { |
19839 | // InternalVampireLanguage.g:6472:2: ( ruleVLSUnitaryFormula ) | 19933 | // InternalVampireLanguage.g:6502:2: ( ruleVLSUnitaryFormula ) |
19840 | // InternalVampireLanguage.g:6473:3: ruleVLSUnitaryFormula | 19934 | // InternalVampireLanguage.g:6503:3: ruleVLSUnitaryFormula |
19841 | { | 19935 | { |
19842 | before(grammarAccess.getVLSBinaryAccess().getRightVLSUnitaryFormulaParserRuleCall_1_1_2_0()); | 19936 | before(grammarAccess.getVLSBinaryAccess().getRightVLSUnitaryFormulaParserRuleCall_1_1_2_0()); |
19843 | pushFollow(FOLLOW_2); | 19937 | pushFollow(FOLLOW_2); |
@@ -19868,17 +19962,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
19868 | 19962 | ||
19869 | 19963 | ||
19870 | // $ANTLR start "rule__VLSBinary__RightAssignment_1_2_2" | 19964 | // $ANTLR start "rule__VLSBinary__RightAssignment_1_2_2" |
19871 | // InternalVampireLanguage.g:6482:1: rule__VLSBinary__RightAssignment_1_2_2 : ( ruleVLSUnitaryFormula ) ; | 19965 | // InternalVampireLanguage.g:6512:1: rule__VLSBinary__RightAssignment_1_2_2 : ( ruleVLSUnitaryFormula ) ; |
19872 | public final void rule__VLSBinary__RightAssignment_1_2_2() throws RecognitionException { | 19966 | public final void rule__VLSBinary__RightAssignment_1_2_2() throws RecognitionException { |
19873 | 19967 | ||
19874 | int stackSize = keepStackSize(); | 19968 | int stackSize = keepStackSize(); |
19875 | 19969 | ||
19876 | try { | 19970 | try { |
19877 | // InternalVampireLanguage.g:6486:1: ( ( ruleVLSUnitaryFormula ) ) | 19971 | // InternalVampireLanguage.g:6516:1: ( ( ruleVLSUnitaryFormula ) ) |
19878 | // InternalVampireLanguage.g:6487:2: ( ruleVLSUnitaryFormula ) | 19972 | // InternalVampireLanguage.g:6517:2: ( ruleVLSUnitaryFormula ) |
19879 | { | 19973 | { |
19880 | // InternalVampireLanguage.g:6487:2: ( ruleVLSUnitaryFormula ) | 19974 | // InternalVampireLanguage.g:6517:2: ( ruleVLSUnitaryFormula ) |
19881 | // InternalVampireLanguage.g:6488:3: ruleVLSUnitaryFormula | 19975 | // InternalVampireLanguage.g:6518:3: ruleVLSUnitaryFormula |
19882 | { | 19976 | { |
19883 | before(grammarAccess.getVLSBinaryAccess().getRightVLSUnitaryFormulaParserRuleCall_1_2_2_0()); | 19977 | before(grammarAccess.getVLSBinaryAccess().getRightVLSUnitaryFormulaParserRuleCall_1_2_2_0()); |
19884 | pushFollow(FOLLOW_2); | 19978 | pushFollow(FOLLOW_2); |
@@ -19909,21 +20003,21 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
19909 | 20003 | ||
19910 | 20004 | ||
19911 | // $ANTLR start "rule__VLSUniversalQuantifier__VariablesAssignment_1_2" | 20005 | // $ANTLR start "rule__VLSUniversalQuantifier__VariablesAssignment_1_2" |
19912 | // InternalVampireLanguage.g:6497:1: rule__VLSUniversalQuantifier__VariablesAssignment_1_2 : ( ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_2_0 ) ) ; | 20006 | // InternalVampireLanguage.g:6527:1: rule__VLSUniversalQuantifier__VariablesAssignment_1_2 : ( ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_2_0 ) ) ; |
19913 | public final void rule__VLSUniversalQuantifier__VariablesAssignment_1_2() throws RecognitionException { | 20007 | public final void rule__VLSUniversalQuantifier__VariablesAssignment_1_2() throws RecognitionException { |
19914 | 20008 | ||
19915 | int stackSize = keepStackSize(); | 20009 | int stackSize = keepStackSize(); |
19916 | 20010 | ||
19917 | try { | 20011 | try { |
19918 | // InternalVampireLanguage.g:6501:1: ( ( ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_2_0 ) ) ) | 20012 | // InternalVampireLanguage.g:6531:1: ( ( ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_2_0 ) ) ) |
19919 | // InternalVampireLanguage.g:6502:2: ( ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_2_0 ) ) | 20013 | // InternalVampireLanguage.g:6532:2: ( ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_2_0 ) ) |
19920 | { | 20014 | { |
19921 | // InternalVampireLanguage.g:6502:2: ( ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_2_0 ) ) | 20015 | // InternalVampireLanguage.g:6532:2: ( ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_2_0 ) ) |
19922 | // InternalVampireLanguage.g:6503:3: ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_2_0 ) | 20016 | // InternalVampireLanguage.g:6533:3: ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_2_0 ) |
19923 | { | 20017 | { |
19924 | before(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesAlternatives_1_2_0()); | 20018 | before(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesAlternatives_1_2_0()); |
19925 | // InternalVampireLanguage.g:6504:3: ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_2_0 ) | 20019 | // InternalVampireLanguage.g:6534:3: ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_2_0 ) |
19926 | // InternalVampireLanguage.g:6504:4: rule__VLSUniversalQuantifier__VariablesAlternatives_1_2_0 | 20020 | // InternalVampireLanguage.g:6534:4: rule__VLSUniversalQuantifier__VariablesAlternatives_1_2_0 |
19927 | { | 20021 | { |
19928 | pushFollow(FOLLOW_2); | 20022 | pushFollow(FOLLOW_2); |
19929 | rule__VLSUniversalQuantifier__VariablesAlternatives_1_2_0(); | 20023 | rule__VLSUniversalQuantifier__VariablesAlternatives_1_2_0(); |
@@ -19956,21 +20050,21 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
19956 | 20050 | ||
19957 | 20051 | ||
19958 | // $ANTLR start "rule__VLSUniversalQuantifier__VariablesAssignment_1_3_1" | 20052 | // $ANTLR start "rule__VLSUniversalQuantifier__VariablesAssignment_1_3_1" |
19959 | // InternalVampireLanguage.g:6512:1: rule__VLSUniversalQuantifier__VariablesAssignment_1_3_1 : ( ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_3_1_0 ) ) ; | 20053 | // InternalVampireLanguage.g:6542:1: rule__VLSUniversalQuantifier__VariablesAssignment_1_3_1 : ( ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_3_1_0 ) ) ; |
19960 | public final void rule__VLSUniversalQuantifier__VariablesAssignment_1_3_1() throws RecognitionException { | 20054 | public final void rule__VLSUniversalQuantifier__VariablesAssignment_1_3_1() throws RecognitionException { |
19961 | 20055 | ||
19962 | int stackSize = keepStackSize(); | 20056 | int stackSize = keepStackSize(); |
19963 | 20057 | ||
19964 | try { | 20058 | try { |
19965 | // InternalVampireLanguage.g:6516:1: ( ( ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_3_1_0 ) ) ) | 20059 | // InternalVampireLanguage.g:6546:1: ( ( ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_3_1_0 ) ) ) |
19966 | // InternalVampireLanguage.g:6517:2: ( ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_3_1_0 ) ) | 20060 | // InternalVampireLanguage.g:6547:2: ( ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_3_1_0 ) ) |
19967 | { | 20061 | { |
19968 | // InternalVampireLanguage.g:6517:2: ( ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_3_1_0 ) ) | 20062 | // InternalVampireLanguage.g:6547:2: ( ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_3_1_0 ) ) |
19969 | // InternalVampireLanguage.g:6518:3: ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_3_1_0 ) | 20063 | // InternalVampireLanguage.g:6548:3: ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_3_1_0 ) |
19970 | { | 20064 | { |
19971 | before(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesAlternatives_1_3_1_0()); | 20065 | before(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesAlternatives_1_3_1_0()); |
19972 | // InternalVampireLanguage.g:6519:3: ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_3_1_0 ) | 20066 | // InternalVampireLanguage.g:6549:3: ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_3_1_0 ) |
19973 | // InternalVampireLanguage.g:6519:4: rule__VLSUniversalQuantifier__VariablesAlternatives_1_3_1_0 | 20067 | // InternalVampireLanguage.g:6549:4: rule__VLSUniversalQuantifier__VariablesAlternatives_1_3_1_0 |
19974 | { | 20068 | { |
19975 | pushFollow(FOLLOW_2); | 20069 | pushFollow(FOLLOW_2); |
19976 | rule__VLSUniversalQuantifier__VariablesAlternatives_1_3_1_0(); | 20070 | rule__VLSUniversalQuantifier__VariablesAlternatives_1_3_1_0(); |
@@ -20003,17 +20097,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
20003 | 20097 | ||
20004 | 20098 | ||
20005 | // $ANTLR start "rule__VLSUniversalQuantifier__OperandAssignment_2" | 20099 | // $ANTLR start "rule__VLSUniversalQuantifier__OperandAssignment_2" |
20006 | // InternalVampireLanguage.g:6527:1: rule__VLSUniversalQuantifier__OperandAssignment_2 : ( ruleVLSUnitaryFormula ) ; | 20100 | // InternalVampireLanguage.g:6557:1: rule__VLSUniversalQuantifier__OperandAssignment_2 : ( ruleVLSUnitaryFormula ) ; |
20007 | public final void rule__VLSUniversalQuantifier__OperandAssignment_2() throws RecognitionException { | 20101 | public final void rule__VLSUniversalQuantifier__OperandAssignment_2() throws RecognitionException { |
20008 | 20102 | ||
20009 | int stackSize = keepStackSize(); | 20103 | int stackSize = keepStackSize(); |
20010 | 20104 | ||
20011 | try { | 20105 | try { |
20012 | // InternalVampireLanguage.g:6531:1: ( ( ruleVLSUnitaryFormula ) ) | 20106 | // InternalVampireLanguage.g:6561:1: ( ( ruleVLSUnitaryFormula ) ) |
20013 | // InternalVampireLanguage.g:6532:2: ( ruleVLSUnitaryFormula ) | 20107 | // InternalVampireLanguage.g:6562:2: ( ruleVLSUnitaryFormula ) |
20014 | { | 20108 | { |
20015 | // InternalVampireLanguage.g:6532:2: ( ruleVLSUnitaryFormula ) | 20109 | // InternalVampireLanguage.g:6562:2: ( ruleVLSUnitaryFormula ) |
20016 | // InternalVampireLanguage.g:6533:3: ruleVLSUnitaryFormula | 20110 | // InternalVampireLanguage.g:6563:3: ruleVLSUnitaryFormula |
20017 | { | 20111 | { |
20018 | before(grammarAccess.getVLSUniversalQuantifierAccess().getOperandVLSUnitaryFormulaParserRuleCall_2_0()); | 20112 | before(grammarAccess.getVLSUniversalQuantifierAccess().getOperandVLSUnitaryFormulaParserRuleCall_2_0()); |
20019 | pushFollow(FOLLOW_2); | 20113 | pushFollow(FOLLOW_2); |
@@ -20044,21 +20138,21 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
20044 | 20138 | ||
20045 | 20139 | ||
20046 | // $ANTLR start "rule__VLSExistentialQuantifier__VariablesAssignment_1_2" | 20140 | // $ANTLR start "rule__VLSExistentialQuantifier__VariablesAssignment_1_2" |
20047 | // InternalVampireLanguage.g:6542:1: rule__VLSExistentialQuantifier__VariablesAssignment_1_2 : ( ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_2_0 ) ) ; | 20141 | // InternalVampireLanguage.g:6572:1: rule__VLSExistentialQuantifier__VariablesAssignment_1_2 : ( ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_2_0 ) ) ; |
20048 | public final void rule__VLSExistentialQuantifier__VariablesAssignment_1_2() throws RecognitionException { | 20142 | public final void rule__VLSExistentialQuantifier__VariablesAssignment_1_2() throws RecognitionException { |
20049 | 20143 | ||
20050 | int stackSize = keepStackSize(); | 20144 | int stackSize = keepStackSize(); |
20051 | 20145 | ||
20052 | try { | 20146 | try { |
20053 | // InternalVampireLanguage.g:6546:1: ( ( ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_2_0 ) ) ) | 20147 | // InternalVampireLanguage.g:6576:1: ( ( ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_2_0 ) ) ) |
20054 | // InternalVampireLanguage.g:6547:2: ( ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_2_0 ) ) | 20148 | // InternalVampireLanguage.g:6577:2: ( ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_2_0 ) ) |
20055 | { | 20149 | { |
20056 | // InternalVampireLanguage.g:6547:2: ( ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_2_0 ) ) | 20150 | // InternalVampireLanguage.g:6577:2: ( ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_2_0 ) ) |
20057 | // InternalVampireLanguage.g:6548:3: ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_2_0 ) | 20151 | // InternalVampireLanguage.g:6578:3: ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_2_0 ) |
20058 | { | 20152 | { |
20059 | before(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesAlternatives_1_2_0()); | 20153 | before(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesAlternatives_1_2_0()); |
20060 | // InternalVampireLanguage.g:6549:3: ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_2_0 ) | 20154 | // InternalVampireLanguage.g:6579:3: ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_2_0 ) |
20061 | // InternalVampireLanguage.g:6549:4: rule__VLSExistentialQuantifier__VariablesAlternatives_1_2_0 | 20155 | // InternalVampireLanguage.g:6579:4: rule__VLSExistentialQuantifier__VariablesAlternatives_1_2_0 |
20062 | { | 20156 | { |
20063 | pushFollow(FOLLOW_2); | 20157 | pushFollow(FOLLOW_2); |
20064 | rule__VLSExistentialQuantifier__VariablesAlternatives_1_2_0(); | 20158 | rule__VLSExistentialQuantifier__VariablesAlternatives_1_2_0(); |
@@ -20091,21 +20185,21 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
20091 | 20185 | ||
20092 | 20186 | ||
20093 | // $ANTLR start "rule__VLSExistentialQuantifier__VariablesAssignment_1_3_1" | 20187 | // $ANTLR start "rule__VLSExistentialQuantifier__VariablesAssignment_1_3_1" |
20094 | // InternalVampireLanguage.g:6557:1: rule__VLSExistentialQuantifier__VariablesAssignment_1_3_1 : ( ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_3_1_0 ) ) ; | 20188 | // InternalVampireLanguage.g:6587:1: rule__VLSExistentialQuantifier__VariablesAssignment_1_3_1 : ( ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_3_1_0 ) ) ; |
20095 | public final void rule__VLSExistentialQuantifier__VariablesAssignment_1_3_1() throws RecognitionException { | 20189 | public final void rule__VLSExistentialQuantifier__VariablesAssignment_1_3_1() throws RecognitionException { |
20096 | 20190 | ||
20097 | int stackSize = keepStackSize(); | 20191 | int stackSize = keepStackSize(); |
20098 | 20192 | ||
20099 | try { | 20193 | try { |
20100 | // InternalVampireLanguage.g:6561:1: ( ( ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_3_1_0 ) ) ) | 20194 | // InternalVampireLanguage.g:6591:1: ( ( ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_3_1_0 ) ) ) |
20101 | // InternalVampireLanguage.g:6562:2: ( ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_3_1_0 ) ) | 20195 | // InternalVampireLanguage.g:6592:2: ( ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_3_1_0 ) ) |
20102 | { | 20196 | { |
20103 | // InternalVampireLanguage.g:6562:2: ( ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_3_1_0 ) ) | 20197 | // InternalVampireLanguage.g:6592:2: ( ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_3_1_0 ) ) |
20104 | // InternalVampireLanguage.g:6563:3: ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_3_1_0 ) | 20198 | // InternalVampireLanguage.g:6593:3: ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_3_1_0 ) |
20105 | { | 20199 | { |
20106 | before(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesAlternatives_1_3_1_0()); | 20200 | before(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesAlternatives_1_3_1_0()); |
20107 | // InternalVampireLanguage.g:6564:3: ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_3_1_0 ) | 20201 | // InternalVampireLanguage.g:6594:3: ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_3_1_0 ) |
20108 | // InternalVampireLanguage.g:6564:4: rule__VLSExistentialQuantifier__VariablesAlternatives_1_3_1_0 | 20202 | // InternalVampireLanguage.g:6594:4: rule__VLSExistentialQuantifier__VariablesAlternatives_1_3_1_0 |
20109 | { | 20203 | { |
20110 | pushFollow(FOLLOW_2); | 20204 | pushFollow(FOLLOW_2); |
20111 | rule__VLSExistentialQuantifier__VariablesAlternatives_1_3_1_0(); | 20205 | rule__VLSExistentialQuantifier__VariablesAlternatives_1_3_1_0(); |
@@ -20138,17 +20232,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
20138 | 20232 | ||
20139 | 20233 | ||
20140 | // $ANTLR start "rule__VLSExistentialQuantifier__OperandAssignment_2" | 20234 | // $ANTLR start "rule__VLSExistentialQuantifier__OperandAssignment_2" |
20141 | // InternalVampireLanguage.g:6572:1: rule__VLSExistentialQuantifier__OperandAssignment_2 : ( ruleVLSUnitaryFormula ) ; | 20235 | // InternalVampireLanguage.g:6602:1: rule__VLSExistentialQuantifier__OperandAssignment_2 : ( ruleVLSUnitaryFormula ) ; |
20142 | public final void rule__VLSExistentialQuantifier__OperandAssignment_2() throws RecognitionException { | 20236 | public final void rule__VLSExistentialQuantifier__OperandAssignment_2() throws RecognitionException { |
20143 | 20237 | ||
20144 | int stackSize = keepStackSize(); | 20238 | int stackSize = keepStackSize(); |
20145 | 20239 | ||
20146 | try { | 20240 | try { |
20147 | // InternalVampireLanguage.g:6576:1: ( ( ruleVLSUnitaryFormula ) ) | 20241 | // InternalVampireLanguage.g:6606:1: ( ( ruleVLSUnitaryFormula ) ) |
20148 | // InternalVampireLanguage.g:6577:2: ( ruleVLSUnitaryFormula ) | 20242 | // InternalVampireLanguage.g:6607:2: ( ruleVLSUnitaryFormula ) |
20149 | { | 20243 | { |
20150 | // InternalVampireLanguage.g:6577:2: ( ruleVLSUnitaryFormula ) | 20244 | // InternalVampireLanguage.g:6607:2: ( ruleVLSUnitaryFormula ) |
20151 | // InternalVampireLanguage.g:6578:3: ruleVLSUnitaryFormula | 20245 | // InternalVampireLanguage.g:6608:3: ruleVLSUnitaryFormula |
20152 | { | 20246 | { |
20153 | before(grammarAccess.getVLSExistentialQuantifierAccess().getOperandVLSUnitaryFormulaParserRuleCall_2_0()); | 20247 | before(grammarAccess.getVLSExistentialQuantifierAccess().getOperandVLSUnitaryFormulaParserRuleCall_2_0()); |
20154 | pushFollow(FOLLOW_2); | 20248 | pushFollow(FOLLOW_2); |
@@ -20179,17 +20273,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
20179 | 20273 | ||
20180 | 20274 | ||
20181 | // $ANTLR start "rule__VLSUnaryNegation__OperandAssignment_2" | 20275 | // $ANTLR start "rule__VLSUnaryNegation__OperandAssignment_2" |
20182 | // InternalVampireLanguage.g:6587:1: rule__VLSUnaryNegation__OperandAssignment_2 : ( ruleVLSUnitaryFormula ) ; | 20276 | // InternalVampireLanguage.g:6617:1: rule__VLSUnaryNegation__OperandAssignment_2 : ( ruleVLSUnitaryFormula ) ; |
20183 | public final void rule__VLSUnaryNegation__OperandAssignment_2() throws RecognitionException { | 20277 | public final void rule__VLSUnaryNegation__OperandAssignment_2() throws RecognitionException { |
20184 | 20278 | ||
20185 | int stackSize = keepStackSize(); | 20279 | int stackSize = keepStackSize(); |
20186 | 20280 | ||
20187 | try { | 20281 | try { |
20188 | // InternalVampireLanguage.g:6591:1: ( ( ruleVLSUnitaryFormula ) ) | 20282 | // InternalVampireLanguage.g:6621:1: ( ( ruleVLSUnitaryFormula ) ) |
20189 | // InternalVampireLanguage.g:6592:2: ( ruleVLSUnitaryFormula ) | 20283 | // InternalVampireLanguage.g:6622:2: ( ruleVLSUnitaryFormula ) |
20190 | { | 20284 | { |
20191 | // InternalVampireLanguage.g:6592:2: ( ruleVLSUnitaryFormula ) | 20285 | // InternalVampireLanguage.g:6622:2: ( ruleVLSUnitaryFormula ) |
20192 | // InternalVampireLanguage.g:6593:3: ruleVLSUnitaryFormula | 20286 | // InternalVampireLanguage.g:6623:3: ruleVLSUnitaryFormula |
20193 | { | 20287 | { |
20194 | before(grammarAccess.getVLSUnaryNegationAccess().getOperandVLSUnitaryFormulaParserRuleCall_2_0()); | 20288 | before(grammarAccess.getVLSUnaryNegationAccess().getOperandVLSUnitaryFormulaParserRuleCall_2_0()); |
20195 | pushFollow(FOLLOW_2); | 20289 | pushFollow(FOLLOW_2); |
@@ -20220,17 +20314,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
20220 | 20314 | ||
20221 | 20315 | ||
20222 | // $ANTLR start "rule__VLSUnaryInfix__RightAssignment_1_1" | 20316 | // $ANTLR start "rule__VLSUnaryInfix__RightAssignment_1_1" |
20223 | // InternalVampireLanguage.g:6602:1: rule__VLSUnaryInfix__RightAssignment_1_1 : ( ruleVLSAtomic ) ; | 20317 | // InternalVampireLanguage.g:6632:1: rule__VLSUnaryInfix__RightAssignment_1_1 : ( ruleVLSAtomic ) ; |
20224 | public final void rule__VLSUnaryInfix__RightAssignment_1_1() throws RecognitionException { | 20318 | public final void rule__VLSUnaryInfix__RightAssignment_1_1() throws RecognitionException { |
20225 | 20319 | ||
20226 | int stackSize = keepStackSize(); | 20320 | int stackSize = keepStackSize(); |
20227 | 20321 | ||
20228 | try { | 20322 | try { |
20229 | // InternalVampireLanguage.g:6606:1: ( ( ruleVLSAtomic ) ) | 20323 | // InternalVampireLanguage.g:6636:1: ( ( ruleVLSAtomic ) ) |
20230 | // InternalVampireLanguage.g:6607:2: ( ruleVLSAtomic ) | 20324 | // InternalVampireLanguage.g:6637:2: ( ruleVLSAtomic ) |
20231 | { | 20325 | { |
20232 | // InternalVampireLanguage.g:6607:2: ( ruleVLSAtomic ) | 20326 | // InternalVampireLanguage.g:6637:2: ( ruleVLSAtomic ) |
20233 | // InternalVampireLanguage.g:6608:3: ruleVLSAtomic | 20327 | // InternalVampireLanguage.g:6638:3: ruleVLSAtomic |
20234 | { | 20328 | { |
20235 | before(grammarAccess.getVLSUnaryInfixAccess().getRightVLSAtomicParserRuleCall_1_1_0()); | 20329 | before(grammarAccess.getVLSUnaryInfixAccess().getRightVLSAtomicParserRuleCall_1_1_0()); |
20236 | pushFollow(FOLLOW_2); | 20330 | pushFollow(FOLLOW_2); |
@@ -20261,21 +20355,21 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
20261 | 20355 | ||
20262 | 20356 | ||
20263 | // $ANTLR start "rule__VLSAtomicConstant__NameAssignment_0_1" | 20357 | // $ANTLR start "rule__VLSAtomicConstant__NameAssignment_0_1" |
20264 | // InternalVampireLanguage.g:6617:1: rule__VLSAtomicConstant__NameAssignment_0_1 : ( ( rule__VLSAtomicConstant__NameAlternatives_0_1_0 ) ) ; | 20358 | // InternalVampireLanguage.g:6647:1: rule__VLSAtomicConstant__NameAssignment_0_1 : ( ( rule__VLSAtomicConstant__NameAlternatives_0_1_0 ) ) ; |
20265 | public final void rule__VLSAtomicConstant__NameAssignment_0_1() throws RecognitionException { | 20359 | public final void rule__VLSAtomicConstant__NameAssignment_0_1() throws RecognitionException { |
20266 | 20360 | ||
20267 | int stackSize = keepStackSize(); | 20361 | int stackSize = keepStackSize(); |
20268 | 20362 | ||
20269 | try { | 20363 | try { |
20270 | // InternalVampireLanguage.g:6621:1: ( ( ( rule__VLSAtomicConstant__NameAlternatives_0_1_0 ) ) ) | 20364 | // InternalVampireLanguage.g:6651:1: ( ( ( rule__VLSAtomicConstant__NameAlternatives_0_1_0 ) ) ) |
20271 | // InternalVampireLanguage.g:6622:2: ( ( rule__VLSAtomicConstant__NameAlternatives_0_1_0 ) ) | 20365 | // InternalVampireLanguage.g:6652:2: ( ( rule__VLSAtomicConstant__NameAlternatives_0_1_0 ) ) |
20272 | { | 20366 | { |
20273 | // InternalVampireLanguage.g:6622:2: ( ( rule__VLSAtomicConstant__NameAlternatives_0_1_0 ) ) | 20367 | // InternalVampireLanguage.g:6652:2: ( ( rule__VLSAtomicConstant__NameAlternatives_0_1_0 ) ) |
20274 | // InternalVampireLanguage.g:6623:3: ( rule__VLSAtomicConstant__NameAlternatives_0_1_0 ) | 20368 | // InternalVampireLanguage.g:6653:3: ( rule__VLSAtomicConstant__NameAlternatives_0_1_0 ) |
20275 | { | 20369 | { |
20276 | before(grammarAccess.getVLSAtomicConstantAccess().getNameAlternatives_0_1_0()); | 20370 | before(grammarAccess.getVLSAtomicConstantAccess().getNameAlternatives_0_1_0()); |
20277 | // InternalVampireLanguage.g:6624:3: ( rule__VLSAtomicConstant__NameAlternatives_0_1_0 ) | 20371 | // InternalVampireLanguage.g:6654:3: ( rule__VLSAtomicConstant__NameAlternatives_0_1_0 ) |
20278 | // InternalVampireLanguage.g:6624:4: rule__VLSAtomicConstant__NameAlternatives_0_1_0 | 20372 | // InternalVampireLanguage.g:6654:4: rule__VLSAtomicConstant__NameAlternatives_0_1_0 |
20279 | { | 20373 | { |
20280 | pushFollow(FOLLOW_2); | 20374 | pushFollow(FOLLOW_2); |
20281 | rule__VLSAtomicConstant__NameAlternatives_0_1_0(); | 20375 | rule__VLSAtomicConstant__NameAlternatives_0_1_0(); |
@@ -20308,21 +20402,21 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
20308 | 20402 | ||
20309 | 20403 | ||
20310 | // $ANTLR start "rule__VLSAtomicFunction__ConstantAssignment_0_1" | 20404 | // $ANTLR start "rule__VLSAtomicFunction__ConstantAssignment_0_1" |
20311 | // InternalVampireLanguage.g:6632:1: rule__VLSAtomicFunction__ConstantAssignment_0_1 : ( ( rule__VLSAtomicFunction__ConstantAlternatives_0_1_0 ) ) ; | 20405 | // InternalVampireLanguage.g:6662:1: rule__VLSAtomicFunction__ConstantAssignment_0_1 : ( ( rule__VLSAtomicFunction__ConstantAlternatives_0_1_0 ) ) ; |
20312 | public final void rule__VLSAtomicFunction__ConstantAssignment_0_1() throws RecognitionException { | 20406 | public final void rule__VLSAtomicFunction__ConstantAssignment_0_1() throws RecognitionException { |
20313 | 20407 | ||
20314 | int stackSize = keepStackSize(); | 20408 | int stackSize = keepStackSize(); |
20315 | 20409 | ||
20316 | try { | 20410 | try { |
20317 | // InternalVampireLanguage.g:6636:1: ( ( ( rule__VLSAtomicFunction__ConstantAlternatives_0_1_0 ) ) ) | 20411 | // InternalVampireLanguage.g:6666:1: ( ( ( rule__VLSAtomicFunction__ConstantAlternatives_0_1_0 ) ) ) |
20318 | // InternalVampireLanguage.g:6637:2: ( ( rule__VLSAtomicFunction__ConstantAlternatives_0_1_0 ) ) | 20412 | // InternalVampireLanguage.g:6667:2: ( ( rule__VLSAtomicFunction__ConstantAlternatives_0_1_0 ) ) |
20319 | { | 20413 | { |
20320 | // InternalVampireLanguage.g:6637:2: ( ( rule__VLSAtomicFunction__ConstantAlternatives_0_1_0 ) ) | 20414 | // InternalVampireLanguage.g:6667:2: ( ( rule__VLSAtomicFunction__ConstantAlternatives_0_1_0 ) ) |
20321 | // InternalVampireLanguage.g:6638:3: ( rule__VLSAtomicFunction__ConstantAlternatives_0_1_0 ) | 20415 | // InternalVampireLanguage.g:6668:3: ( rule__VLSAtomicFunction__ConstantAlternatives_0_1_0 ) |
20322 | { | 20416 | { |
20323 | before(grammarAccess.getVLSAtomicFunctionAccess().getConstantAlternatives_0_1_0()); | 20417 | before(grammarAccess.getVLSAtomicFunctionAccess().getConstantAlternatives_0_1_0()); |
20324 | // InternalVampireLanguage.g:6639:3: ( rule__VLSAtomicFunction__ConstantAlternatives_0_1_0 ) | 20418 | // InternalVampireLanguage.g:6669:3: ( rule__VLSAtomicFunction__ConstantAlternatives_0_1_0 ) |
20325 | // InternalVampireLanguage.g:6639:4: rule__VLSAtomicFunction__ConstantAlternatives_0_1_0 | 20419 | // InternalVampireLanguage.g:6669:4: rule__VLSAtomicFunction__ConstantAlternatives_0_1_0 |
20326 | { | 20420 | { |
20327 | pushFollow(FOLLOW_2); | 20421 | pushFollow(FOLLOW_2); |
20328 | rule__VLSAtomicFunction__ConstantAlternatives_0_1_0(); | 20422 | rule__VLSAtomicFunction__ConstantAlternatives_0_1_0(); |
@@ -20355,17 +20449,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
20355 | 20449 | ||
20356 | 20450 | ||
20357 | // $ANTLR start "rule__VLSAtomicFunction__TermsAssignment_0_2_1" | 20451 | // $ANTLR start "rule__VLSAtomicFunction__TermsAssignment_0_2_1" |
20358 | // InternalVampireLanguage.g:6647:1: rule__VLSAtomicFunction__TermsAssignment_0_2_1 : ( ruleVLSFofTerm ) ; | 20452 | // InternalVampireLanguage.g:6677:1: rule__VLSAtomicFunction__TermsAssignment_0_2_1 : ( ruleVLSFofTerm ) ; |
20359 | public final void rule__VLSAtomicFunction__TermsAssignment_0_2_1() throws RecognitionException { | 20453 | public final void rule__VLSAtomicFunction__TermsAssignment_0_2_1() throws RecognitionException { |
20360 | 20454 | ||
20361 | int stackSize = keepStackSize(); | 20455 | int stackSize = keepStackSize(); |
20362 | 20456 | ||
20363 | try { | 20457 | try { |
20364 | // InternalVampireLanguage.g:6651:1: ( ( ruleVLSFofTerm ) ) | 20458 | // InternalVampireLanguage.g:6681:1: ( ( ruleVLSFofTerm ) ) |
20365 | // InternalVampireLanguage.g:6652:2: ( ruleVLSFofTerm ) | 20459 | // InternalVampireLanguage.g:6682:2: ( ruleVLSFofTerm ) |
20366 | { | 20460 | { |
20367 | // InternalVampireLanguage.g:6652:2: ( ruleVLSFofTerm ) | 20461 | // InternalVampireLanguage.g:6682:2: ( ruleVLSFofTerm ) |
20368 | // InternalVampireLanguage.g:6653:3: ruleVLSFofTerm | 20462 | // InternalVampireLanguage.g:6683:3: ruleVLSFofTerm |
20369 | { | 20463 | { |
20370 | before(grammarAccess.getVLSAtomicFunctionAccess().getTermsVLSFofTermParserRuleCall_0_2_1_0()); | 20464 | before(grammarAccess.getVLSAtomicFunctionAccess().getTermsVLSFofTermParserRuleCall_0_2_1_0()); |
20371 | pushFollow(FOLLOW_2); | 20465 | pushFollow(FOLLOW_2); |
@@ -20396,17 +20490,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
20396 | 20490 | ||
20397 | 20491 | ||
20398 | // $ANTLR start "rule__VLSAtomicFunction__TermsAssignment_0_2_2_1" | 20492 | // $ANTLR start "rule__VLSAtomicFunction__TermsAssignment_0_2_2_1" |
20399 | // InternalVampireLanguage.g:6662:1: rule__VLSAtomicFunction__TermsAssignment_0_2_2_1 : ( ruleVLSFofTerm ) ; | 20493 | // InternalVampireLanguage.g:6692:1: rule__VLSAtomicFunction__TermsAssignment_0_2_2_1 : ( ruleVLSFofTerm ) ; |
20400 | public final void rule__VLSAtomicFunction__TermsAssignment_0_2_2_1() throws RecognitionException { | 20494 | public final void rule__VLSAtomicFunction__TermsAssignment_0_2_2_1() throws RecognitionException { |
20401 | 20495 | ||
20402 | int stackSize = keepStackSize(); | 20496 | int stackSize = keepStackSize(); |
20403 | 20497 | ||
20404 | try { | 20498 | try { |
20405 | // InternalVampireLanguage.g:6666:1: ( ( ruleVLSFofTerm ) ) | 20499 | // InternalVampireLanguage.g:6696:1: ( ( ruleVLSFofTerm ) ) |
20406 | // InternalVampireLanguage.g:6667:2: ( ruleVLSFofTerm ) | 20500 | // InternalVampireLanguage.g:6697:2: ( ruleVLSFofTerm ) |
20407 | { | 20501 | { |
20408 | // InternalVampireLanguage.g:6667:2: ( ruleVLSFofTerm ) | 20502 | // InternalVampireLanguage.g:6697:2: ( ruleVLSFofTerm ) |
20409 | // InternalVampireLanguage.g:6668:3: ruleVLSFofTerm | 20503 | // InternalVampireLanguage.g:6698:3: ruleVLSFofTerm |
20410 | { | 20504 | { |
20411 | before(grammarAccess.getVLSAtomicFunctionAccess().getTermsVLSFofTermParserRuleCall_0_2_2_1_0()); | 20505 | before(grammarAccess.getVLSAtomicFunctionAccess().getTermsVLSFofTermParserRuleCall_0_2_2_1_0()); |
20412 | pushFollow(FOLLOW_2); | 20506 | pushFollow(FOLLOW_2); |
@@ -20437,21 +20531,21 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
20437 | 20531 | ||
20438 | 20532 | ||
20439 | // $ANTLR start "rule__VLSAtomicFunction__NameAssignment_1_1" | 20533 | // $ANTLR start "rule__VLSAtomicFunction__NameAssignment_1_1" |
20440 | // InternalVampireLanguage.g:6677:1: rule__VLSAtomicFunction__NameAssignment_1_1 : ( ( '$less' ) ) ; | 20534 | // InternalVampireLanguage.g:6707:1: rule__VLSAtomicFunction__NameAssignment_1_1 : ( ( '$less' ) ) ; |
20441 | public final void rule__VLSAtomicFunction__NameAssignment_1_1() throws RecognitionException { | 20535 | public final void rule__VLSAtomicFunction__NameAssignment_1_1() throws RecognitionException { |
20442 | 20536 | ||
20443 | int stackSize = keepStackSize(); | 20537 | int stackSize = keepStackSize(); |
20444 | 20538 | ||
20445 | try { | 20539 | try { |
20446 | // InternalVampireLanguage.g:6681:1: ( ( ( '$less' ) ) ) | 20540 | // InternalVampireLanguage.g:6711:1: ( ( ( '$less' ) ) ) |
20447 | // InternalVampireLanguage.g:6682:2: ( ( '$less' ) ) | 20541 | // InternalVampireLanguage.g:6712:2: ( ( '$less' ) ) |
20448 | { | 20542 | { |
20449 | // InternalVampireLanguage.g:6682:2: ( ( '$less' ) ) | 20543 | // InternalVampireLanguage.g:6712:2: ( ( '$less' ) ) |
20450 | // InternalVampireLanguage.g:6683:3: ( '$less' ) | 20544 | // InternalVampireLanguage.g:6713:3: ( '$less' ) |
20451 | { | 20545 | { |
20452 | before(grammarAccess.getVLSAtomicFunctionAccess().getNameLessKeyword_1_1_0()); | 20546 | before(grammarAccess.getVLSAtomicFunctionAccess().getNameLessKeyword_1_1_0()); |
20453 | // InternalVampireLanguage.g:6684:3: ( '$less' ) | 20547 | // InternalVampireLanguage.g:6714:3: ( '$less' ) |
20454 | // InternalVampireLanguage.g:6685:4: '$less' | 20548 | // InternalVampireLanguage.g:6715:4: '$less' |
20455 | { | 20549 | { |
20456 | before(grammarAccess.getVLSAtomicFunctionAccess().getNameLessKeyword_1_1_0()); | 20550 | before(grammarAccess.getVLSAtomicFunctionAccess().getNameLessKeyword_1_1_0()); |
20457 | match(input,80,FOLLOW_2); | 20551 | match(input,80,FOLLOW_2); |
@@ -20482,17 +20576,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
20482 | 20576 | ||
20483 | 20577 | ||
20484 | // $ANTLR start "rule__VLSAtomicFunction__TermsAssignment_1_3" | 20578 | // $ANTLR start "rule__VLSAtomicFunction__TermsAssignment_1_3" |
20485 | // InternalVampireLanguage.g:6696:1: rule__VLSAtomicFunction__TermsAssignment_1_3 : ( ruleVLSFofTerm ) ; | 20579 | // InternalVampireLanguage.g:6726:1: rule__VLSAtomicFunction__TermsAssignment_1_3 : ( ruleVLSFofTerm ) ; |
20486 | public final void rule__VLSAtomicFunction__TermsAssignment_1_3() throws RecognitionException { | 20580 | public final void rule__VLSAtomicFunction__TermsAssignment_1_3() throws RecognitionException { |
20487 | 20581 | ||
20488 | int stackSize = keepStackSize(); | 20582 | int stackSize = keepStackSize(); |
20489 | 20583 | ||
20490 | try { | 20584 | try { |
20491 | // InternalVampireLanguage.g:6700:1: ( ( ruleVLSFofTerm ) ) | 20585 | // InternalVampireLanguage.g:6730:1: ( ( ruleVLSFofTerm ) ) |
20492 | // InternalVampireLanguage.g:6701:2: ( ruleVLSFofTerm ) | 20586 | // InternalVampireLanguage.g:6731:2: ( ruleVLSFofTerm ) |
20493 | { | 20587 | { |
20494 | // InternalVampireLanguage.g:6701:2: ( ruleVLSFofTerm ) | 20588 | // InternalVampireLanguage.g:6731:2: ( ruleVLSFofTerm ) |
20495 | // InternalVampireLanguage.g:6702:3: ruleVLSFofTerm | 20589 | // InternalVampireLanguage.g:6732:3: ruleVLSFofTerm |
20496 | { | 20590 | { |
20497 | before(grammarAccess.getVLSAtomicFunctionAccess().getTermsVLSFofTermParserRuleCall_1_3_0()); | 20591 | before(grammarAccess.getVLSAtomicFunctionAccess().getTermsVLSFofTermParserRuleCall_1_3_0()); |
20498 | pushFollow(FOLLOW_2); | 20592 | pushFollow(FOLLOW_2); |
@@ -20523,17 +20617,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
20523 | 20617 | ||
20524 | 20618 | ||
20525 | // $ANTLR start "rule__VLSAtomicFunction__TermsAssignment_1_5" | 20619 | // $ANTLR start "rule__VLSAtomicFunction__TermsAssignment_1_5" |
20526 | // InternalVampireLanguage.g:6711:1: rule__VLSAtomicFunction__TermsAssignment_1_5 : ( ruleVLSFofTerm ) ; | 20620 | // InternalVampireLanguage.g:6741:1: rule__VLSAtomicFunction__TermsAssignment_1_5 : ( ruleVLSFofTerm ) ; |
20527 | public final void rule__VLSAtomicFunction__TermsAssignment_1_5() throws RecognitionException { | 20621 | public final void rule__VLSAtomicFunction__TermsAssignment_1_5() throws RecognitionException { |
20528 | 20622 | ||
20529 | int stackSize = keepStackSize(); | 20623 | int stackSize = keepStackSize(); |
20530 | 20624 | ||
20531 | try { | 20625 | try { |
20532 | // InternalVampireLanguage.g:6715:1: ( ( ruleVLSFofTerm ) ) | 20626 | // InternalVampireLanguage.g:6745:1: ( ( ruleVLSFofTerm ) ) |
20533 | // InternalVampireLanguage.g:6716:2: ( ruleVLSFofTerm ) | 20627 | // InternalVampireLanguage.g:6746:2: ( ruleVLSFofTerm ) |
20534 | { | 20628 | { |
20535 | // InternalVampireLanguage.g:6716:2: ( ruleVLSFofTerm ) | 20629 | // InternalVampireLanguage.g:6746:2: ( ruleVLSFofTerm ) |
20536 | // InternalVampireLanguage.g:6717:3: ruleVLSFofTerm | 20630 | // InternalVampireLanguage.g:6747:3: ruleVLSFofTerm |
20537 | { | 20631 | { |
20538 | before(grammarAccess.getVLSAtomicFunctionAccess().getTermsVLSFofTermParserRuleCall_1_5_0()); | 20632 | before(grammarAccess.getVLSAtomicFunctionAccess().getTermsVLSFofTermParserRuleCall_1_5_0()); |
20539 | pushFollow(FOLLOW_2); | 20633 | pushFollow(FOLLOW_2); |
@@ -20564,17 +20658,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
20564 | 20658 | ||
20565 | 20659 | ||
20566 | // $ANTLR start "rule__VLSVariable__NameAssignment" | 20660 | // $ANTLR start "rule__VLSVariable__NameAssignment" |
20567 | // InternalVampireLanguage.g:6726:1: rule__VLSVariable__NameAssignment : ( RULE_UPPER_WORD_ID ) ; | 20661 | // InternalVampireLanguage.g:6756:1: rule__VLSVariable__NameAssignment : ( RULE_UPPER_WORD_ID ) ; |
20568 | public final void rule__VLSVariable__NameAssignment() throws RecognitionException { | 20662 | public final void rule__VLSVariable__NameAssignment() throws RecognitionException { |
20569 | 20663 | ||
20570 | int stackSize = keepStackSize(); | 20664 | int stackSize = keepStackSize(); |
20571 | 20665 | ||
20572 | try { | 20666 | try { |
20573 | // InternalVampireLanguage.g:6730:1: ( ( RULE_UPPER_WORD_ID ) ) | 20667 | // InternalVampireLanguage.g:6760:1: ( ( RULE_UPPER_WORD_ID ) ) |
20574 | // InternalVampireLanguage.g:6731:2: ( RULE_UPPER_WORD_ID ) | 20668 | // InternalVampireLanguage.g:6761:2: ( RULE_UPPER_WORD_ID ) |
20575 | { | 20669 | { |
20576 | // InternalVampireLanguage.g:6731:2: ( RULE_UPPER_WORD_ID ) | 20670 | // InternalVampireLanguage.g:6761:2: ( RULE_UPPER_WORD_ID ) |
20577 | // InternalVampireLanguage.g:6732:3: RULE_UPPER_WORD_ID | 20671 | // InternalVampireLanguage.g:6762:3: RULE_UPPER_WORD_ID |
20578 | { | 20672 | { |
20579 | before(grammarAccess.getVLSVariableAccess().getNameUPPER_WORD_IDTerminalRuleCall_0()); | 20673 | before(grammarAccess.getVLSVariableAccess().getNameUPPER_WORD_IDTerminalRuleCall_0()); |
20580 | match(input,RULE_UPPER_WORD_ID,FOLLOW_2); | 20674 | match(input,RULE_UPPER_WORD_ID,FOLLOW_2); |
@@ -20601,21 +20695,21 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
20601 | 20695 | ||
20602 | 20696 | ||
20603 | // $ANTLR start "rule__VLSFunctionAsTerm__FunctorAssignment_0" | 20697 | // $ANTLR start "rule__VLSFunctionAsTerm__FunctorAssignment_0" |
20604 | // InternalVampireLanguage.g:6741:1: rule__VLSFunctionAsTerm__FunctorAssignment_0 : ( ( rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 ) ) ; | 20698 | // InternalVampireLanguage.g:6771:1: rule__VLSFunctionAsTerm__FunctorAssignment_0 : ( ( rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 ) ) ; |
20605 | public final void rule__VLSFunctionAsTerm__FunctorAssignment_0() throws RecognitionException { | 20699 | public final void rule__VLSFunctionAsTerm__FunctorAssignment_0() throws RecognitionException { |
20606 | 20700 | ||
20607 | int stackSize = keepStackSize(); | 20701 | int stackSize = keepStackSize(); |
20608 | 20702 | ||
20609 | try { | 20703 | try { |
20610 | // InternalVampireLanguage.g:6745:1: ( ( ( rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 ) ) ) | 20704 | // InternalVampireLanguage.g:6775:1: ( ( ( rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 ) ) ) |
20611 | // InternalVampireLanguage.g:6746:2: ( ( rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 ) ) | 20705 | // InternalVampireLanguage.g:6776:2: ( ( rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 ) ) |
20612 | { | 20706 | { |
20613 | // InternalVampireLanguage.g:6746:2: ( ( rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 ) ) | 20707 | // InternalVampireLanguage.g:6776:2: ( ( rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 ) ) |
20614 | // InternalVampireLanguage.g:6747:3: ( rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 ) | 20708 | // InternalVampireLanguage.g:6777:3: ( rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 ) |
20615 | { | 20709 | { |
20616 | before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorAlternatives_0_0()); | 20710 | before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorAlternatives_0_0()); |
20617 | // InternalVampireLanguage.g:6748:3: ( rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 ) | 20711 | // InternalVampireLanguage.g:6778:3: ( rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 ) |
20618 | // InternalVampireLanguage.g:6748:4: rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 | 20712 | // InternalVampireLanguage.g:6778:4: rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 |
20619 | { | 20713 | { |
20620 | pushFollow(FOLLOW_2); | 20714 | pushFollow(FOLLOW_2); |
20621 | rule__VLSFunctionAsTerm__FunctorAlternatives_0_0(); | 20715 | rule__VLSFunctionAsTerm__FunctorAlternatives_0_0(); |
@@ -20648,17 +20742,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
20648 | 20742 | ||
20649 | 20743 | ||
20650 | // $ANTLR start "rule__VLSFunctionAsTerm__TermsAssignment_1_1" | 20744 | // $ANTLR start "rule__VLSFunctionAsTerm__TermsAssignment_1_1" |
20651 | // InternalVampireLanguage.g:6756:1: rule__VLSFunctionAsTerm__TermsAssignment_1_1 : ( ruleVLSFofTerm ) ; | 20745 | // InternalVampireLanguage.g:6786:1: rule__VLSFunctionAsTerm__TermsAssignment_1_1 : ( ruleVLSFofTerm ) ; |
20652 | public final void rule__VLSFunctionAsTerm__TermsAssignment_1_1() throws RecognitionException { | 20746 | public final void rule__VLSFunctionAsTerm__TermsAssignment_1_1() throws RecognitionException { |
20653 | 20747 | ||
20654 | int stackSize = keepStackSize(); | 20748 | int stackSize = keepStackSize(); |
20655 | 20749 | ||
20656 | try { | 20750 | try { |
20657 | // InternalVampireLanguage.g:6760:1: ( ( ruleVLSFofTerm ) ) | 20751 | // InternalVampireLanguage.g:6790:1: ( ( ruleVLSFofTerm ) ) |
20658 | // InternalVampireLanguage.g:6761:2: ( ruleVLSFofTerm ) | 20752 | // InternalVampireLanguage.g:6791:2: ( ruleVLSFofTerm ) |
20659 | { | 20753 | { |
20660 | // InternalVampireLanguage.g:6761:2: ( ruleVLSFofTerm ) | 20754 | // InternalVampireLanguage.g:6791:2: ( ruleVLSFofTerm ) |
20661 | // InternalVampireLanguage.g:6762:3: ruleVLSFofTerm | 20755 | // InternalVampireLanguage.g:6792:3: ruleVLSFofTerm |
20662 | { | 20756 | { |
20663 | before(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_1_0()); | 20757 | before(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_1_0()); |
20664 | pushFollow(FOLLOW_2); | 20758 | pushFollow(FOLLOW_2); |
@@ -20689,17 +20783,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
20689 | 20783 | ||
20690 | 20784 | ||
20691 | // $ANTLR start "rule__VLSFunctionAsTerm__TermsAssignment_1_2_1" | 20785 | // $ANTLR start "rule__VLSFunctionAsTerm__TermsAssignment_1_2_1" |
20692 | // InternalVampireLanguage.g:6771:1: rule__VLSFunctionAsTerm__TermsAssignment_1_2_1 : ( ruleVLSFofTerm ) ; | 20786 | // InternalVampireLanguage.g:6801:1: rule__VLSFunctionAsTerm__TermsAssignment_1_2_1 : ( ruleVLSFofTerm ) ; |
20693 | public final void rule__VLSFunctionAsTerm__TermsAssignment_1_2_1() throws RecognitionException { | 20787 | public final void rule__VLSFunctionAsTerm__TermsAssignment_1_2_1() throws RecognitionException { |
20694 | 20788 | ||
20695 | int stackSize = keepStackSize(); | 20789 | int stackSize = keepStackSize(); |
20696 | 20790 | ||
20697 | try { | 20791 | try { |
20698 | // InternalVampireLanguage.g:6775:1: ( ( ruleVLSFofTerm ) ) | 20792 | // InternalVampireLanguage.g:6805:1: ( ( ruleVLSFofTerm ) ) |
20699 | // InternalVampireLanguage.g:6776:2: ( ruleVLSFofTerm ) | 20793 | // InternalVampireLanguage.g:6806:2: ( ruleVLSFofTerm ) |
20700 | { | 20794 | { |
20701 | // InternalVampireLanguage.g:6776:2: ( ruleVLSFofTerm ) | 20795 | // InternalVampireLanguage.g:6806:2: ( ruleVLSFofTerm ) |
20702 | // InternalVampireLanguage.g:6777:3: ruleVLSFofTerm | 20796 | // InternalVampireLanguage.g:6807:3: ruleVLSFofTerm |
20703 | { | 20797 | { |
20704 | before(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_2_1_0()); | 20798 | before(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_2_1_0()); |
20705 | pushFollow(FOLLOW_2); | 20799 | pushFollow(FOLLOW_2); |
@@ -20730,17 +20824,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
20730 | 20824 | ||
20731 | 20825 | ||
20732 | // $ANTLR start "rule__VLSDefinedTerm__ValueAssignment_0_1" | 20826 | // $ANTLR start "rule__VLSDefinedTerm__ValueAssignment_0_1" |
20733 | // InternalVampireLanguage.g:6786:1: rule__VLSDefinedTerm__ValueAssignment_0_1 : ( RULE_SIGNED_LITERAL ) ; | 20827 | // InternalVampireLanguage.g:6816:1: rule__VLSDefinedTerm__ValueAssignment_0_1 : ( RULE_SIGNED_LITERAL ) ; |
20734 | public final void rule__VLSDefinedTerm__ValueAssignment_0_1() throws RecognitionException { | 20828 | public final void rule__VLSDefinedTerm__ValueAssignment_0_1() throws RecognitionException { |
20735 | 20829 | ||
20736 | int stackSize = keepStackSize(); | 20830 | int stackSize = keepStackSize(); |
20737 | 20831 | ||
20738 | try { | 20832 | try { |
20739 | // InternalVampireLanguage.g:6790:1: ( ( RULE_SIGNED_LITERAL ) ) | 20833 | // InternalVampireLanguage.g:6820:1: ( ( RULE_SIGNED_LITERAL ) ) |
20740 | // InternalVampireLanguage.g:6791:2: ( RULE_SIGNED_LITERAL ) | 20834 | // InternalVampireLanguage.g:6821:2: ( RULE_SIGNED_LITERAL ) |
20741 | { | 20835 | { |
20742 | // InternalVampireLanguage.g:6791:2: ( RULE_SIGNED_LITERAL ) | 20836 | // InternalVampireLanguage.g:6821:2: ( RULE_SIGNED_LITERAL ) |
20743 | // InternalVampireLanguage.g:6792:3: RULE_SIGNED_LITERAL | 20837 | // InternalVampireLanguage.g:6822:3: RULE_SIGNED_LITERAL |
20744 | { | 20838 | { |
20745 | before(grammarAccess.getVLSDefinedTermAccess().getValueSIGNED_LITERALTerminalRuleCall_0_1_0()); | 20839 | before(grammarAccess.getVLSDefinedTermAccess().getValueSIGNED_LITERALTerminalRuleCall_0_1_0()); |
20746 | match(input,RULE_SIGNED_LITERAL,FOLLOW_2); | 20840 | match(input,RULE_SIGNED_LITERAL,FOLLOW_2); |
@@ -20767,17 +20861,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
20767 | 20861 | ||
20768 | 20862 | ||
20769 | // $ANTLR start "rule__VLSDefinedTerm__ValueAssignment_1_1" | 20863 | // $ANTLR start "rule__VLSDefinedTerm__ValueAssignment_1_1" |
20770 | // InternalVampireLanguage.g:6801:1: rule__VLSDefinedTerm__ValueAssignment_1_1 : ( RULE_DOUBLE_QUOTE ) ; | 20864 | // InternalVampireLanguage.g:6831:1: rule__VLSDefinedTerm__ValueAssignment_1_1 : ( RULE_DOUBLE_QUOTE ) ; |
20771 | public final void rule__VLSDefinedTerm__ValueAssignment_1_1() throws RecognitionException { | 20865 | public final void rule__VLSDefinedTerm__ValueAssignment_1_1() throws RecognitionException { |
20772 | 20866 | ||
20773 | int stackSize = keepStackSize(); | 20867 | int stackSize = keepStackSize(); |
20774 | 20868 | ||
20775 | try { | 20869 | try { |
20776 | // InternalVampireLanguage.g:6805:1: ( ( RULE_DOUBLE_QUOTE ) ) | 20870 | // InternalVampireLanguage.g:6835:1: ( ( RULE_DOUBLE_QUOTE ) ) |
20777 | // InternalVampireLanguage.g:6806:2: ( RULE_DOUBLE_QUOTE ) | 20871 | // InternalVampireLanguage.g:6836:2: ( RULE_DOUBLE_QUOTE ) |
20778 | { | 20872 | { |
20779 | // InternalVampireLanguage.g:6806:2: ( RULE_DOUBLE_QUOTE ) | 20873 | // InternalVampireLanguage.g:6836:2: ( RULE_DOUBLE_QUOTE ) |
20780 | // InternalVampireLanguage.g:6807:3: RULE_DOUBLE_QUOTE | 20874 | // InternalVampireLanguage.g:6837:3: RULE_DOUBLE_QUOTE |
20781 | { | 20875 | { |
20782 | before(grammarAccess.getVLSDefinedTermAccess().getValueDOUBLE_QUOTETerminalRuleCall_1_1_0()); | 20876 | before(grammarAccess.getVLSDefinedTermAccess().getValueDOUBLE_QUOTETerminalRuleCall_1_1_0()); |
20783 | match(input,RULE_DOUBLE_QUOTE,FOLLOW_2); | 20877 | match(input,RULE_DOUBLE_QUOTE,FOLLOW_2); |