aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguageLexer.java
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguageLexer.java')
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguageLexer.java164
1 files changed, 82 insertions, 82 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguageLexer.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguageLexer.java
index a35c88e6..f3377c74 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguageLexer.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/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:2796:29: ( ( 'a' .. 'z' | 'A' .. 'Z' | '0' .. '9' | '_' ) ) 1334 // InternalVampireLanguage.g:2840:29: ( ( 'a' .. 'z' | 'A' .. 'Z' | '0' .. '9' | '_' ) )
1335 // InternalVampireLanguage.g:2796:31: ( 'a' .. 'z' | 'A' .. 'Z' | '0' .. '9' | '_' ) 1335 // InternalVampireLanguage.g:2840: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:2798:20: ( 'A' .. 'Z' ( RULE_ALPHA_NUMERIC )* ) 1360 // InternalVampireLanguage.g:2842:20: ( 'A' .. 'Z' ( RULE_ALPHA_NUMERIC )* )
1361 // InternalVampireLanguage.g:2798:22: 'A' .. 'Z' ( RULE_ALPHA_NUMERIC )* 1361 // InternalVampireLanguage.g:2842:22: 'A' .. 'Z' ( RULE_ALPHA_NUMERIC )*
1362 { 1362 {
1363 matchRange('A','Z'); 1363 matchRange('A','Z');
1364 // InternalVampireLanguage.g:2798:31: ( RULE_ALPHA_NUMERIC )* 1364 // InternalVampireLanguage.g:2842: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:2798:31: RULE_ALPHA_NUMERIC 1377 // InternalVampireLanguage.g:2842: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:2800:20: ( 'a' .. 'z' ( RULE_ALPHA_NUMERIC )* ) 1405 // InternalVampireLanguage.g:2844:20: ( 'a' .. 'z' ( RULE_ALPHA_NUMERIC )* )
1406 // InternalVampireLanguage.g:2800:22: 'a' .. 'z' ( RULE_ALPHA_NUMERIC )* 1406 // InternalVampireLanguage.g:2844:22: 'a' .. 'z' ( RULE_ALPHA_NUMERIC )*
1407 { 1407 {
1408 matchRange('a','z'); 1408 matchRange('a','z');
1409 // InternalVampireLanguage.g:2800:31: ( RULE_ALPHA_NUMERIC )* 1409 // InternalVampireLanguage.g:2844: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:2800:31: RULE_ALPHA_NUMERIC 1422 // InternalVampireLanguage.g:2844: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:2802:19: ( '\"' ( '\\\\' ( '\"' | '\\\\' ) | ~ ( ( '\\\\' | '\"' ) ) )* '\"' ) 1450 // InternalVampireLanguage.g:2846:19: ( '\"' ( '\\\\' ( '\"' | '\\\\' ) | ~ ( ( '\\\\' | '\"' ) ) )* '\"' )
1451 // InternalVampireLanguage.g:2802:21: '\"' ( '\\\\' ( '\"' | '\\\\' ) | ~ ( ( '\\\\' | '\"' ) ) )* '\"' 1451 // InternalVampireLanguage.g:2846:21: '\"' ( '\\\\' ( '\"' | '\\\\' ) | ~ ( ( '\\\\' | '\"' ) ) )* '\"'
1452 { 1452 {
1453 match('\"'); 1453 match('\"');
1454 // InternalVampireLanguage.g:2802:25: ( '\\\\' ( '\"' | '\\\\' ) | ~ ( ( '\\\\' | '\"' ) ) )* 1454 // InternalVampireLanguage.g:2846: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:2802:26: '\\\\' ( '\"' | '\\\\' ) 1470 // InternalVampireLanguage.g:2846: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:2802:42: ~ ( ( '\\\\' | '\"' ) ) 1486 // InternalVampireLanguage.g:2846: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:2804:19: ( '\\'' ( '\\\\' ( '\\'' | '\\\\' ) | ~ ( ( '\\\\' | '\\'' ) ) )+ '\\'' ) 1523 // InternalVampireLanguage.g:2848:19: ( '\\'' ( '\\\\' ( '\\'' | '\\\\' ) | ~ ( ( '\\\\' | '\\'' ) ) )+ '\\'' )
1524 // InternalVampireLanguage.g:2804:21: '\\'' ( '\\\\' ( '\\'' | '\\\\' ) | ~ ( ( '\\\\' | '\\'' ) ) )+ '\\'' 1524 // InternalVampireLanguage.g:2848:21: '\\'' ( '\\\\' ( '\\'' | '\\\\' ) | ~ ( ( '\\\\' | '\\'' ) ) )+ '\\''
1525 { 1525 {
1526 match('\''); 1526 match('\'');
1527 // InternalVampireLanguage.g:2804:26: ( '\\\\' ( '\\'' | '\\\\' ) | ~ ( ( '\\\\' | '\\'' ) ) )+ 1527 // InternalVampireLanguage.g:2848: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:2804:27: '\\\\' ( '\\'' | '\\\\' ) 1544 // InternalVampireLanguage.g:2848: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:2804:44: ~ ( ( '\\\\' | '\\'' ) ) 1560 // InternalVampireLanguage.g:2848: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:2806:20: ( ( '+' | '-' ) ) 1599 // InternalVampireLanguage.g:2850:20: ( ( '+' | '-' ) )
1600 // InternalVampireLanguage.g:2806:22: ( '+' | '-' ) 1600 // InternalVampireLanguage.g:2850: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:2808:16: ( '$' RULE_LOWER_WORD_ID ) 1625 // InternalVampireLanguage.g:2852:16: ( '$' RULE_LOWER_WORD_ID )
1626 // InternalVampireLanguage.g:2808:18: '$' RULE_LOWER_WORD_ID 1626 // InternalVampireLanguage.g:2852: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:2810:23: ( '$$' RULE_LOWER_WORD_ID ) 1646 // InternalVampireLanguage.g:2854:23: ( '$$' RULE_LOWER_WORD_ID )
1647 // InternalVampireLanguage.g:2810:25: '$$' RULE_LOWER_WORD_ID 1647 // InternalVampireLanguage.g:2854: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:2812:14: ( ( '0' | '1' .. '9' ( RULE_INT )? ) ) 1668 // InternalVampireLanguage.g:2856:14: ( ( '0' | '1' .. '9' ( RULE_INT )? ) )
1669 // InternalVampireLanguage.g:2812:16: ( '0' | '1' .. '9' ( RULE_INT )? ) 1669 // InternalVampireLanguage.g:2856:16: ( '0' | '1' .. '9' ( RULE_INT )? )
1670 { 1670 {
1671 // InternalVampireLanguage.g:2812:16: ( '0' | '1' .. '9' ( RULE_INT )? ) 1671 // InternalVampireLanguage.g:2856: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:2812:17: '0' 1689 // InternalVampireLanguage.g:2856: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:2812:21: '1' .. '9' ( RULE_INT )? 1696 // InternalVampireLanguage.g:2856:21: '1' .. '9' ( RULE_INT )?
1697 { 1697 {
1698 matchRange('1','9'); 1698 matchRange('1','9');
1699 // InternalVampireLanguage.g:2812:30: ( RULE_INT )? 1699 // InternalVampireLanguage.g:2856: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:2812:30: RULE_INT 1708 // InternalVampireLanguage.g:2856: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:2814:21: ( ( RULE_SIGN )* RULE_LITERAL ) 1739 // InternalVampireLanguage.g:2858:21: ( ( RULE_SIGN )* RULE_LITERAL )
1740 // InternalVampireLanguage.g:2814:23: ( RULE_SIGN )* RULE_LITERAL 1740 // InternalVampireLanguage.g:2858:23: ( RULE_SIGN )* RULE_LITERAL
1741 { 1741 {
1742 // InternalVampireLanguage.g:2814:23: ( RULE_SIGN )* 1742 // InternalVampireLanguage.g:2858: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:2814:23: RULE_SIGN 1755 // InternalVampireLanguage.g:2858: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:2816:21: ( '%' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? ) 1784 // InternalVampireLanguage.g:2860:21: ( '%' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? )
1785 // InternalVampireLanguage.g:2816:23: '%' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? 1785 // InternalVampireLanguage.g:2860:23: '%' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )?
1786 { 1786 {
1787 match('%'); 1787 match('%');
1788 // InternalVampireLanguage.g:2816:27: (~ ( ( '\\n' | '\\r' ) ) )* 1788 // InternalVampireLanguage.g:2860: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:2816:27: ~ ( ( '\\n' | '\\r' ) ) 1801 // InternalVampireLanguage.g:2860: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:2816:43: ( ( '\\r' )? '\\n' )? 1821 // InternalVampireLanguage.g:2860: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:2816:44: ( '\\r' )? '\\n' 1830 // InternalVampireLanguage.g:2860:44: ( '\\r' )? '\\n'
1831 { 1831 {
1832 // InternalVampireLanguage.g:2816:44: ( '\\r' )? 1832 // InternalVampireLanguage.g:2860: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:2816:44: '\\r' 1841 // InternalVampireLanguage.g:2860: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:2818:9: ( ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* ) 1873 // InternalVampireLanguage.g:2862:9: ( ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* )
1874 // InternalVampireLanguage.g:2818:11: ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* 1874 // InternalVampireLanguage.g:2862:11: ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )*
1875 { 1875 {
1876 // InternalVampireLanguage.g:2818:11: ( '^' )? 1876 // InternalVampireLanguage.g:2862: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:2818:11: '^' 1885 // InternalVampireLanguage.g:2862: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:2818:40: ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* 1903 // InternalVampireLanguage.g:2862: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:2820:19: ( ( '0' .. '9' )+ ) 1950 // InternalVampireLanguage.g:2864:19: ( ( '0' .. '9' )+ )
1951 // InternalVampireLanguage.g:2820:21: ( '0' .. '9' )+ 1951 // InternalVampireLanguage.g:2864:21: ( '0' .. '9' )+
1952 { 1952 {
1953 // InternalVampireLanguage.g:2820:21: ( '0' .. '9' )+ 1953 // InternalVampireLanguage.g:2864: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:2820:22: '0' .. '9' 1967 // InternalVampireLanguage.g:2864: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:2822:13: ( ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' | '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' ) ) 1997 // InternalVampireLanguage.g:2866:13: ( ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' | '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' ) )
1998 // InternalVampireLanguage.g:2822:15: ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' | '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' ) 1998 // InternalVampireLanguage.g:2866:15: ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' | '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' )
1999 { 1999 {
2000 // InternalVampireLanguage.g:2822:15: ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' | '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' ) 2000 // InternalVampireLanguage.g:2866: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:2822:16: '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' 2018 // InternalVampireLanguage.g:2866:16: '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"'
2019 { 2019 {
2020 match('\"'); 2020 match('\"');
2021 // InternalVampireLanguage.g:2822:20: ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* 2021 // InternalVampireLanguage.g:2866: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:2822:21: '\\\\' . 2037 // InternalVampireLanguage.g:2866: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:2822:28: ~ ( ( '\\\\' | '\"' ) ) 2045 // InternalVampireLanguage.g:2866: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:2822:48: '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' 2070 // InternalVampireLanguage.g:2866:48: '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\''
2071 { 2071 {
2072 match('\''); 2072 match('\'');
2073 // InternalVampireLanguage.g:2822:53: ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* 2073 // InternalVampireLanguage.g:2866: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:2822:54: '\\\\' . 2089 // InternalVampireLanguage.g:2866: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:2822:61: ~ ( ( '\\\\' | '\\'' ) ) 2097 // InternalVampireLanguage.g:2866: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:2824:17: ( '/*' ( options {greedy=false; } : . )* '*/' ) 2140 // InternalVampireLanguage.g:2868:17: ( '/*' ( options {greedy=false; } : . )* '*/' )
2141 // InternalVampireLanguage.g:2824:19: '/*' ( options {greedy=false; } : . )* '*/' 2141 // InternalVampireLanguage.g:2868:19: '/*' ( options {greedy=false; } : . )* '*/'
2142 { 2142 {
2143 match("/*"); 2143 match("/*");
2144 2144
2145 // InternalVampireLanguage.g:2824:24: ( options {greedy=false; } : . )* 2145 // InternalVampireLanguage.g:2868: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:2824:52: . 2170 // InternalVampireLanguage.g:2868: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:2826:17: ( '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? ) 2200 // InternalVampireLanguage.g:2870:17: ( '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? )
2201 // InternalVampireLanguage.g:2826:19: '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? 2201 // InternalVampireLanguage.g:2870:19: '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )?
2202 { 2202 {
2203 match("//"); 2203 match("//");
2204 2204
2205 // InternalVampireLanguage.g:2826:24: (~ ( ( '\\n' | '\\r' ) ) )* 2205 // InternalVampireLanguage.g:2870: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:2826:24: ~ ( ( '\\n' | '\\r' ) ) 2218 // InternalVampireLanguage.g:2870: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:2826:40: ( ( '\\r' )? '\\n' )? 2238 // InternalVampireLanguage.g:2870: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:2826:41: ( '\\r' )? '\\n' 2247 // InternalVampireLanguage.g:2870:41: ( '\\r' )? '\\n'
2248 { 2248 {
2249 // InternalVampireLanguage.g:2826:41: ( '\\r' )? 2249 // InternalVampireLanguage.g:2870: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:2826:41: '\\r' 2258 // InternalVampireLanguage.g:2870: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:2828:9: ( ( ' ' | '\\t' | '\\r' | '\\n' )+ ) 2290 // InternalVampireLanguage.g:2872:9: ( ( ' ' | '\\t' | '\\r' | '\\n' )+ )
2291 // InternalVampireLanguage.g:2828:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ 2291 // InternalVampireLanguage.g:2872:11: ( ' ' | '\\t' | '\\r' | '\\n' )+
2292 { 2292 {
2293 // InternalVampireLanguage.g:2828:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ 2293 // InternalVampireLanguage.g:2872: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:2830:16: ( . ) 2347 // InternalVampireLanguage.g:2874:16: ( . )
2348 // InternalVampireLanguage.g:2830:18: . 2348 // InternalVampireLanguage.g:2874:18: .
2349 { 2349 {
2350 matchAny(); 2350 matchAny();
2351 2351
generated by cgit v1.2.3-54-g00ecf (git 2.45.1) at 2024-05-27 20:55:06 +0000