aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/antlr/internal/InternalAlloyLanguageLexer.java
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/antlr/internal/InternalAlloyLanguageLexer.java')
-rw-r--r--Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/antlr/internal/InternalAlloyLanguageLexer.java442
1 files changed, 240 insertions, 202 deletions
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/antlr/internal/InternalAlloyLanguageLexer.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/antlr/internal/InternalAlloyLanguageLexer.java
index 3009516a..e7720256 100644
--- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/antlr/internal/InternalAlloyLanguageLexer.java
+++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/antlr/internal/InternalAlloyLanguageLexer.java
@@ -73,6 +73,7 @@ public class InternalAlloyLanguageLexer extends Lexer {
73 public static final int T__31=31; 73 public static final int T__31=31;
74 public static final int T__75=75; 74 public static final int T__75=75;
75 public static final int T__32=32; 75 public static final int T__32=32;
76 public static final int T__76=76;
76 public static final int RULE_WS=9; 77 public static final int RULE_WS=9;
77 public static final int RULE_ANY_OTHER=10; 78 public static final int RULE_ANY_OTHER=10;
78 public static final int T__48=48; 79 public static final int T__48=48;
@@ -1304,10 +1305,11 @@ public class InternalAlloyLanguageLexer extends Lexer {
1304 try { 1305 try {
1305 int _type = T__69; 1306 int _type = T__69;
1306 int _channel = DEFAULT_TOKEN_CHANNEL; 1307 int _channel = DEFAULT_TOKEN_CHANNEL;
1307 // InternalAlloyLanguage.g:69:7: ( '(' ) 1308 // InternalAlloyLanguage.g:69:7: ( 'String' )
1308 // InternalAlloyLanguage.g:69:9: '(' 1309 // InternalAlloyLanguage.g:69:9: 'String'
1309 { 1310 {
1310 match('('); 1311 match("String");
1312
1311 1313
1312 } 1314 }
1313 1315
@@ -1324,10 +1326,10 @@ public class InternalAlloyLanguageLexer extends Lexer {
1324 try { 1326 try {
1325 int _type = T__70; 1327 int _type = T__70;
1326 int _channel = DEFAULT_TOKEN_CHANNEL; 1328 int _channel = DEFAULT_TOKEN_CHANNEL;
1327 // InternalAlloyLanguage.g:70:7: ( ')' ) 1329 // InternalAlloyLanguage.g:70:7: ( '(' )
1328 // InternalAlloyLanguage.g:70:9: ')' 1330 // InternalAlloyLanguage.g:70:9: '('
1329 { 1331 {
1330 match(')'); 1332 match('(');
1331 1333
1332 } 1334 }
1333 1335
@@ -1344,11 +1346,10 @@ public class InternalAlloyLanguageLexer extends Lexer {
1344 try { 1346 try {
1345 int _type = T__71; 1347 int _type = T__71;
1346 int _channel = DEFAULT_TOKEN_CHANNEL; 1348 int _channel = DEFAULT_TOKEN_CHANNEL;
1347 // InternalAlloyLanguage.g:71:7: ( 'run' ) 1349 // InternalAlloyLanguage.g:71:7: ( ')' )
1348 // InternalAlloyLanguage.g:71:9: 'run' 1350 // InternalAlloyLanguage.g:71:9: ')'
1349 { 1351 {
1350 match("run"); 1352 match(')');
1351
1352 1353
1353 } 1354 }
1354 1355
@@ -1365,10 +1366,10 @@ public class InternalAlloyLanguageLexer extends Lexer {
1365 try { 1366 try {
1366 int _type = T__72; 1367 int _type = T__72;
1367 int _channel = DEFAULT_TOKEN_CHANNEL; 1368 int _channel = DEFAULT_TOKEN_CHANNEL;
1368 // InternalAlloyLanguage.g:72:7: ( 'for' ) 1369 // InternalAlloyLanguage.g:72:7: ( 'run' )
1369 // InternalAlloyLanguage.g:72:9: 'for' 1370 // InternalAlloyLanguage.g:72:9: 'run'
1370 { 1371 {
1371 match("for"); 1372 match("run");
1372 1373
1373 1374
1374 } 1375 }
@@ -1386,10 +1387,10 @@ public class InternalAlloyLanguageLexer extends Lexer {
1386 try { 1387 try {
1387 int _type = T__73; 1388 int _type = T__73;
1388 int _channel = DEFAULT_TOKEN_CHANNEL; 1389 int _channel = DEFAULT_TOKEN_CHANNEL;
1389 // InternalAlloyLanguage.g:73:7: ( 'abstract' ) 1390 // InternalAlloyLanguage.g:73:7: ( 'for' )
1390 // InternalAlloyLanguage.g:73:9: 'abstract' 1391 // InternalAlloyLanguage.g:73:9: 'for'
1391 { 1392 {
1392 match("abstract"); 1393 match("for");
1393 1394
1394 1395
1395 } 1396 }
@@ -1407,10 +1408,10 @@ public class InternalAlloyLanguageLexer extends Lexer {
1407 try { 1408 try {
1408 int _type = T__74; 1409 int _type = T__74;
1409 int _channel = DEFAULT_TOKEN_CHANNEL; 1410 int _channel = DEFAULT_TOKEN_CHANNEL;
1410 // InternalAlloyLanguage.g:74:7: ( 'disj' ) 1411 // InternalAlloyLanguage.g:74:7: ( 'exactly' )
1411 // InternalAlloyLanguage.g:74:9: 'disj' 1412 // InternalAlloyLanguage.g:74:9: 'exactly'
1412 { 1413 {
1413 match("disj"); 1414 match("exactly");
1414 1415
1415 1416
1416 } 1417 }
@@ -1428,10 +1429,10 @@ public class InternalAlloyLanguageLexer extends Lexer {
1428 try { 1429 try {
1429 int _type = T__75; 1430 int _type = T__75;
1430 int _channel = DEFAULT_TOKEN_CHANNEL; 1431 int _channel = DEFAULT_TOKEN_CHANNEL;
1431 // InternalAlloyLanguage.g:75:7: ( 'exactly' ) 1432 // InternalAlloyLanguage.g:75:7: ( 'abstract' )
1432 // InternalAlloyLanguage.g:75:9: 'exactly' 1433 // InternalAlloyLanguage.g:75:9: 'abstract'
1433 { 1434 {
1434 match("exactly"); 1435 match("abstract");
1435 1436
1436 1437
1437 } 1438 }
@@ -1444,13 +1445,34 @@ public class InternalAlloyLanguageLexer extends Lexer {
1444 } 1445 }
1445 // $ANTLR end "T__75" 1446 // $ANTLR end "T__75"
1446 1447
1448 // $ANTLR start "T__76"
1449 public final void mT__76() throws RecognitionException {
1450 try {
1451 int _type = T__76;
1452 int _channel = DEFAULT_TOKEN_CHANNEL;
1453 // InternalAlloyLanguage.g:76:7: ( 'disj' )
1454 // InternalAlloyLanguage.g:76:9: 'disj'
1455 {
1456 match("disj");
1457
1458
1459 }
1460
1461 state.type = _type;
1462 state.channel = _channel;
1463 }
1464 finally {
1465 }
1466 }
1467 // $ANTLR end "T__76"
1468
1447 // $ANTLR start "RULE_ID" 1469 // $ANTLR start "RULE_ID"
1448 public final void mRULE_ID() throws RecognitionException { 1470 public final void mRULE_ID() throws RecognitionException {
1449 try { 1471 try {
1450 int _type = RULE_ID; 1472 int _type = RULE_ID;
1451 int _channel = DEFAULT_TOKEN_CHANNEL; 1473 int _channel = DEFAULT_TOKEN_CHANNEL;
1452 // InternalAlloyLanguage.g:10078:9: ( ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '\\'' | '\"' | '0' .. '9' )* ) 1474 // InternalAlloyLanguage.g:10378:9: ( ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '\\'' | '\"' | '0' .. '9' )* )
1453 // InternalAlloyLanguage.g:10078:11: ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '\\'' | '\"' | '0' .. '9' )* 1475 // InternalAlloyLanguage.g:10378:11: ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '\\'' | '\"' | '0' .. '9' )*
1454 { 1476 {
1455 if ( (input.LA(1)>='A' && input.LA(1)<='Z')||input.LA(1)=='_'||(input.LA(1)>='a' && input.LA(1)<='z') ) { 1477 if ( (input.LA(1)>='A' && input.LA(1)<='Z')||input.LA(1)=='_'||(input.LA(1)>='a' && input.LA(1)<='z') ) {
1456 input.consume(); 1478 input.consume();
@@ -1461,7 +1483,7 @@ public class InternalAlloyLanguageLexer extends Lexer {
1461 recover(mse); 1483 recover(mse);
1462 throw mse;} 1484 throw mse;}
1463 1485
1464 // InternalAlloyLanguage.g:10078:35: ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '\\'' | '\"' | '0' .. '9' )* 1486 // InternalAlloyLanguage.g:10378:35: ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '\\'' | '\"' | '0' .. '9' )*
1465 loop1: 1487 loop1:
1466 do { 1488 do {
1467 int alt1=2; 1489 int alt1=2;
@@ -1510,10 +1532,10 @@ public class InternalAlloyLanguageLexer extends Lexer {
1510 try { 1532 try {
1511 int _type = RULE_INT; 1533 int _type = RULE_INT;
1512 int _channel = DEFAULT_TOKEN_CHANNEL; 1534 int _channel = DEFAULT_TOKEN_CHANNEL;
1513 // InternalAlloyLanguage.g:10080:10: ( ( '0' .. '9' )+ ) 1535 // InternalAlloyLanguage.g:10380:10: ( ( '0' .. '9' )+ )
1514 // InternalAlloyLanguage.g:10080:12: ( '0' .. '9' )+ 1536 // InternalAlloyLanguage.g:10380:12: ( '0' .. '9' )+
1515 { 1537 {
1516 // InternalAlloyLanguage.g:10080:12: ( '0' .. '9' )+ 1538 // InternalAlloyLanguage.g:10380:12: ( '0' .. '9' )+
1517 int cnt2=0; 1539 int cnt2=0;
1518 loop2: 1540 loop2:
1519 do { 1541 do {
@@ -1527,7 +1549,7 @@ public class InternalAlloyLanguageLexer extends Lexer {
1527 1549
1528 switch (alt2) { 1550 switch (alt2) {
1529 case 1 : 1551 case 1 :
1530 // InternalAlloyLanguage.g:10080:13: '0' .. '9' 1552 // InternalAlloyLanguage.g:10380:13: '0' .. '9'
1531 { 1553 {
1532 matchRange('0','9'); 1554 matchRange('0','9');
1533 1555
@@ -1559,10 +1581,10 @@ public class InternalAlloyLanguageLexer extends Lexer {
1559 try { 1581 try {
1560 int _type = RULE_STRING; 1582 int _type = RULE_STRING;
1561 int _channel = DEFAULT_TOKEN_CHANNEL; 1583 int _channel = DEFAULT_TOKEN_CHANNEL;
1562 // InternalAlloyLanguage.g:10082:13: ( ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' | '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' ) ) 1584 // InternalAlloyLanguage.g:10382:13: ( ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' | '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' ) )
1563 // InternalAlloyLanguage.g:10082:15: ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' | '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' ) 1585 // InternalAlloyLanguage.g:10382:15: ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' | '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' )
1564 { 1586 {
1565 // InternalAlloyLanguage.g:10082:15: ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' | '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' ) 1587 // InternalAlloyLanguage.g:10382:15: ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' | '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' )
1566 int alt5=2; 1588 int alt5=2;
1567 int LA5_0 = input.LA(1); 1589 int LA5_0 = input.LA(1);
1568 1590
@@ -1580,10 +1602,10 @@ public class InternalAlloyLanguageLexer extends Lexer {
1580 } 1602 }
1581 switch (alt5) { 1603 switch (alt5) {
1582 case 1 : 1604 case 1 :
1583 // InternalAlloyLanguage.g:10082:16: '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' 1605 // InternalAlloyLanguage.g:10382:16: '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"'
1584 { 1606 {
1585 match('\"'); 1607 match('\"');
1586 // InternalAlloyLanguage.g:10082:20: ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* 1608 // InternalAlloyLanguage.g:10382:20: ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )*
1587 loop3: 1609 loop3:
1588 do { 1610 do {
1589 int alt3=3; 1611 int alt3=3;
@@ -1599,7 +1621,7 @@ public class InternalAlloyLanguageLexer extends Lexer {
1599 1621
1600 switch (alt3) { 1622 switch (alt3) {
1601 case 1 : 1623 case 1 :
1602 // InternalAlloyLanguage.g:10082:21: '\\\\' . 1624 // InternalAlloyLanguage.g:10382:21: '\\\\' .
1603 { 1625 {
1604 match('\\'); 1626 match('\\');
1605 matchAny(); 1627 matchAny();
@@ -1607,7 +1629,7 @@ public class InternalAlloyLanguageLexer extends Lexer {
1607 } 1629 }
1608 break; 1630 break;
1609 case 2 : 1631 case 2 :
1610 // InternalAlloyLanguage.g:10082:28: ~ ( ( '\\\\' | '\"' ) ) 1632 // InternalAlloyLanguage.g:10382:28: ~ ( ( '\\\\' | '\"' ) )
1611 { 1633 {
1612 if ( (input.LA(1)>='\u0000' && input.LA(1)<='!')||(input.LA(1)>='#' && input.LA(1)<='[')||(input.LA(1)>=']' && input.LA(1)<='\uFFFF') ) { 1634 if ( (input.LA(1)>='\u0000' && input.LA(1)<='!')||(input.LA(1)>='#' && input.LA(1)<='[')||(input.LA(1)>=']' && input.LA(1)<='\uFFFF') ) {
1613 input.consume(); 1635 input.consume();
@@ -1632,10 +1654,10 @@ public class InternalAlloyLanguageLexer extends Lexer {
1632 } 1654 }
1633 break; 1655 break;
1634 case 2 : 1656 case 2 :
1635 // InternalAlloyLanguage.g:10082:48: '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' 1657 // InternalAlloyLanguage.g:10382:48: '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\''
1636 { 1658 {
1637 match('\''); 1659 match('\'');
1638 // InternalAlloyLanguage.g:10082:53: ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* 1660 // InternalAlloyLanguage.g:10382:53: ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )*
1639 loop4: 1661 loop4:
1640 do { 1662 do {
1641 int alt4=3; 1663 int alt4=3;
@@ -1651,7 +1673,7 @@ public class InternalAlloyLanguageLexer extends Lexer {
1651 1673
1652 switch (alt4) { 1674 switch (alt4) {
1653 case 1 : 1675 case 1 :
1654 // InternalAlloyLanguage.g:10082:54: '\\\\' . 1676 // InternalAlloyLanguage.g:10382:54: '\\\\' .
1655 { 1677 {
1656 match('\\'); 1678 match('\\');
1657 matchAny(); 1679 matchAny();
@@ -1659,7 +1681,7 @@ public class InternalAlloyLanguageLexer extends Lexer {
1659 } 1681 }
1660 break; 1682 break;
1661 case 2 : 1683 case 2 :
1662 // InternalAlloyLanguage.g:10082:61: ~ ( ( '\\\\' | '\\'' ) ) 1684 // InternalAlloyLanguage.g:10382:61: ~ ( ( '\\\\' | '\\'' ) )
1663 { 1685 {
1664 if ( (input.LA(1)>='\u0000' && input.LA(1)<='&')||(input.LA(1)>='(' && input.LA(1)<='[')||(input.LA(1)>=']' && input.LA(1)<='\uFFFF') ) { 1686 if ( (input.LA(1)>='\u0000' && input.LA(1)<='&')||(input.LA(1)>='(' && input.LA(1)<='[')||(input.LA(1)>=']' && input.LA(1)<='\uFFFF') ) {
1665 input.consume(); 1687 input.consume();
@@ -1702,12 +1724,12 @@ public class InternalAlloyLanguageLexer extends Lexer {
1702 try { 1724 try {
1703 int _type = RULE_ML_COMMENT; 1725 int _type = RULE_ML_COMMENT;
1704 int _channel = DEFAULT_TOKEN_CHANNEL; 1726 int _channel = DEFAULT_TOKEN_CHANNEL;
1705 // InternalAlloyLanguage.g:10084:17: ( '/*' ( options {greedy=false; } : . )* '*/' ) 1727 // InternalAlloyLanguage.g:10384:17: ( '/*' ( options {greedy=false; } : . )* '*/' )
1706 // InternalAlloyLanguage.g:10084:19: '/*' ( options {greedy=false; } : . )* '*/' 1728 // InternalAlloyLanguage.g:10384:19: '/*' ( options {greedy=false; } : . )* '*/'
1707 { 1729 {
1708 match("/*"); 1730 match("/*");
1709 1731
1710 // InternalAlloyLanguage.g:10084:24: ( options {greedy=false; } : . )* 1732 // InternalAlloyLanguage.g:10384:24: ( options {greedy=false; } : . )*
1711 loop6: 1733 loop6:
1712 do { 1734 do {
1713 int alt6=2; 1735 int alt6=2;
@@ -1732,7 +1754,7 @@ public class InternalAlloyLanguageLexer extends Lexer {
1732 1754
1733 switch (alt6) { 1755 switch (alt6) {
1734 case 1 : 1756 case 1 :
1735 // InternalAlloyLanguage.g:10084:52: . 1757 // InternalAlloyLanguage.g:10384:52: .
1736 { 1758 {
1737 matchAny(); 1759 matchAny();
1738 1760
@@ -1762,12 +1784,12 @@ public class InternalAlloyLanguageLexer extends Lexer {
1762 try { 1784 try {
1763 int _type = RULE_SL_COMMENT; 1785 int _type = RULE_SL_COMMENT;
1764 int _channel = DEFAULT_TOKEN_CHANNEL; 1786 int _channel = DEFAULT_TOKEN_CHANNEL;
1765 // InternalAlloyLanguage.g:10086:17: ( '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? ) 1787 // InternalAlloyLanguage.g:10386:17: ( '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? )
1766 // InternalAlloyLanguage.g:10086:19: '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? 1788 // InternalAlloyLanguage.g:10386:19: '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )?
1767 { 1789 {
1768 match("//"); 1790 match("//");
1769 1791
1770 // InternalAlloyLanguage.g:10086:24: (~ ( ( '\\n' | '\\r' ) ) )* 1792 // InternalAlloyLanguage.g:10386:24: (~ ( ( '\\n' | '\\r' ) ) )*
1771 loop7: 1793 loop7:
1772 do { 1794 do {
1773 int alt7=2; 1795 int alt7=2;
@@ -1780,7 +1802,7 @@ public class InternalAlloyLanguageLexer extends Lexer {
1780 1802
1781 switch (alt7) { 1803 switch (alt7) {
1782 case 1 : 1804 case 1 :
1783 // InternalAlloyLanguage.g:10086:24: ~ ( ( '\\n' | '\\r' ) ) 1805 // InternalAlloyLanguage.g:10386:24: ~ ( ( '\\n' | '\\r' ) )
1784 { 1806 {
1785 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') ) { 1807 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') ) {
1786 input.consume(); 1808 input.consume();
@@ -1800,7 +1822,7 @@ public class InternalAlloyLanguageLexer extends Lexer {
1800 } 1822 }
1801 } while (true); 1823 } while (true);
1802 1824
1803 // InternalAlloyLanguage.g:10086:40: ( ( '\\r' )? '\\n' )? 1825 // InternalAlloyLanguage.g:10386:40: ( ( '\\r' )? '\\n' )?
1804 int alt9=2; 1826 int alt9=2;
1805 int LA9_0 = input.LA(1); 1827 int LA9_0 = input.LA(1);
1806 1828
@@ -1809,9 +1831,9 @@ public class InternalAlloyLanguageLexer extends Lexer {
1809 } 1831 }
1810 switch (alt9) { 1832 switch (alt9) {
1811 case 1 : 1833 case 1 :
1812 // InternalAlloyLanguage.g:10086:41: ( '\\r' )? '\\n' 1834 // InternalAlloyLanguage.g:10386:41: ( '\\r' )? '\\n'
1813 { 1835 {
1814 // InternalAlloyLanguage.g:10086:41: ( '\\r' )? 1836 // InternalAlloyLanguage.g:10386:41: ( '\\r' )?
1815 int alt8=2; 1837 int alt8=2;
1816 int LA8_0 = input.LA(1); 1838 int LA8_0 = input.LA(1);
1817 1839
@@ -1820,7 +1842,7 @@ public class InternalAlloyLanguageLexer extends Lexer {
1820 } 1842 }
1821 switch (alt8) { 1843 switch (alt8) {
1822 case 1 : 1844 case 1 :
1823 // InternalAlloyLanguage.g:10086:41: '\\r' 1845 // InternalAlloyLanguage.g:10386:41: '\\r'
1824 { 1846 {
1825 match('\r'); 1847 match('\r');
1826 1848
@@ -1852,10 +1874,10 @@ public class InternalAlloyLanguageLexer extends Lexer {
1852 try { 1874 try {
1853 int _type = RULE_WS; 1875 int _type = RULE_WS;
1854 int _channel = DEFAULT_TOKEN_CHANNEL; 1876 int _channel = DEFAULT_TOKEN_CHANNEL;
1855 // InternalAlloyLanguage.g:10088:9: ( ( ' ' | '\\t' | '\\r' | '\\n' )+ ) 1877 // InternalAlloyLanguage.g:10388:9: ( ( ' ' | '\\t' | '\\r' | '\\n' )+ )
1856 // InternalAlloyLanguage.g:10088:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ 1878 // InternalAlloyLanguage.g:10388:11: ( ' ' | '\\t' | '\\r' | '\\n' )+
1857 { 1879 {
1858 // InternalAlloyLanguage.g:10088:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ 1880 // InternalAlloyLanguage.g:10388:11: ( ' ' | '\\t' | '\\r' | '\\n' )+
1859 int cnt10=0; 1881 int cnt10=0;
1860 loop10: 1882 loop10:
1861 do { 1883 do {
@@ -1909,8 +1931,8 @@ public class InternalAlloyLanguageLexer extends Lexer {
1909 try { 1931 try {
1910 int _type = RULE_ANY_OTHER; 1932 int _type = RULE_ANY_OTHER;
1911 int _channel = DEFAULT_TOKEN_CHANNEL; 1933 int _channel = DEFAULT_TOKEN_CHANNEL;
1912 // InternalAlloyLanguage.g:10090:16: ( . ) 1934 // InternalAlloyLanguage.g:10390:16: ( . )
1913 // InternalAlloyLanguage.g:10090:18: . 1935 // InternalAlloyLanguage.g:10390:18: .
1914 { 1936 {
1915 matchAny(); 1937 matchAny();
1916 1938
@@ -1925,8 +1947,8 @@ public class InternalAlloyLanguageLexer extends Lexer {
1925 // $ANTLR end "RULE_ANY_OTHER" 1947 // $ANTLR end "RULE_ANY_OTHER"
1926 1948
1927 public void mTokens() throws RecognitionException { 1949 public void mTokens() throws RecognitionException {
1928 // InternalAlloyLanguage.g:1:8: ( T__11 | T__12 | T__13 | T__14 | T__15 | T__16 | T__17 | T__18 | T__19 | T__20 | T__21 | T__22 | T__23 | T__24 | T__25 | T__26 | T__27 | T__28 | T__29 | T__30 | T__31 | T__32 | T__33 | T__34 | T__35 | T__36 | T__37 | T__38 | T__39 | T__40 | T__41 | T__42 | T__43 | T__44 | T__45 | T__46 | T__47 | T__48 | T__49 | T__50 | T__51 | T__52 | T__53 | T__54 | T__55 | T__56 | T__57 | T__58 | T__59 | T__60 | T__61 | T__62 | T__63 | T__64 | T__65 | T__66 | T__67 | T__68 | T__69 | T__70 | T__71 | T__72 | T__73 | T__74 | T__75 | RULE_ID | RULE_INT | RULE_STRING | RULE_ML_COMMENT | RULE_SL_COMMENT | RULE_WS | RULE_ANY_OTHER ) 1950 // InternalAlloyLanguage.g:1:8: ( T__11 | T__12 | T__13 | T__14 | T__15 | T__16 | T__17 | T__18 | T__19 | T__20 | T__21 | T__22 | T__23 | T__24 | T__25 | T__26 | T__27 | T__28 | T__29 | T__30 | T__31 | T__32 | T__33 | T__34 | T__35 | T__36 | T__37 | T__38 | T__39 | T__40 | T__41 | T__42 | T__43 | T__44 | T__45 | T__46 | T__47 | T__48 | T__49 | T__50 | T__51 | T__52 | T__53 | T__54 | T__55 | T__56 | T__57 | T__58 | T__59 | T__60 | T__61 | T__62 | T__63 | T__64 | T__65 | T__66 | T__67 | T__68 | T__69 | T__70 | T__71 | T__72 | T__73 | T__74 | T__75 | T__76 | RULE_ID | RULE_INT | RULE_STRING | RULE_ML_COMMENT | RULE_SL_COMMENT | RULE_WS | RULE_ANY_OTHER )
1929 int alt11=72; 1951 int alt11=73;
1930 alt11 = dfa11.predict(input); 1952 alt11 = dfa11.predict(input);
1931 switch (alt11) { 1953 switch (alt11) {
1932 case 1 : 1954 case 1 :
@@ -2385,49 +2407,56 @@ public class InternalAlloyLanguageLexer extends Lexer {
2385 } 2407 }
2386 break; 2408 break;
2387 case 66 : 2409 case 66 :
2388 // InternalAlloyLanguage.g:1:400: RULE_ID 2410 // InternalAlloyLanguage.g:1:400: T__76
2389 { 2411 {
2390 mRULE_ID(); 2412 mT__76();
2391 2413
2392 } 2414 }
2393 break; 2415 break;
2394 case 67 : 2416 case 67 :
2395 // InternalAlloyLanguage.g:1:408: RULE_INT 2417 // InternalAlloyLanguage.g:1:406: RULE_ID
2396 { 2418 {
2397 mRULE_INT(); 2419 mRULE_ID();
2398 2420
2399 } 2421 }
2400 break; 2422 break;
2401 case 68 : 2423 case 68 :
2402 // InternalAlloyLanguage.g:1:417: RULE_STRING 2424 // InternalAlloyLanguage.g:1:414: RULE_INT
2403 { 2425 {
2404 mRULE_STRING(); 2426 mRULE_INT();
2405 2427
2406 } 2428 }
2407 break; 2429 break;
2408 case 69 : 2430 case 69 :
2409 // InternalAlloyLanguage.g:1:429: RULE_ML_COMMENT 2431 // InternalAlloyLanguage.g:1:423: RULE_STRING
2410 { 2432 {
2411 mRULE_ML_COMMENT(); 2433 mRULE_STRING();
2412 2434
2413 } 2435 }
2414 break; 2436 break;
2415 case 70 : 2437 case 70 :
2416 // InternalAlloyLanguage.g:1:445: RULE_SL_COMMENT 2438 // InternalAlloyLanguage.g:1:435: RULE_ML_COMMENT
2417 { 2439 {
2418 mRULE_SL_COMMENT(); 2440 mRULE_ML_COMMENT();
2419 2441
2420 } 2442 }
2421 break; 2443 break;
2422 case 71 : 2444 case 71 :
2423 // InternalAlloyLanguage.g:1:461: RULE_WS 2445 // InternalAlloyLanguage.g:1:451: RULE_SL_COMMENT
2424 { 2446 {
2425 mRULE_WS(); 2447 mRULE_SL_COMMENT();
2426 2448
2427 } 2449 }
2428 break; 2450 break;
2429 case 72 : 2451 case 72 :
2430 // InternalAlloyLanguage.g:1:469: RULE_ANY_OTHER 2452 // InternalAlloyLanguage.g:1:467: RULE_WS
2453 {
2454 mRULE_WS();
2455
2456 }
2457 break;
2458 case 73 :
2459 // InternalAlloyLanguage.g:1:475: RULE_ANY_OTHER
2431 { 2460 {
2432 mRULE_ANY_OTHER(); 2461 mRULE_ANY_OTHER();
2433 2462
@@ -2441,96 +2470,97 @@ public class InternalAlloyLanguageLexer extends Lexer {
2441 2470
2442 protected DFA11 dfa11 = new DFA11(this); 2471 protected DFA11 dfa11 = new DFA11(this);
2443 static final String DFA11_eotS = 2472 static final String DFA11_eotS =
2444 "\1\uffff\1\52\1\56\1\61\1\56\1\67\1\71\1\56\1\76\10\56\3\uffff\1\122\1\124\1\56\2\uffff\1\133\1\uffff\1\136\4\uffff\2\56\4\uffff\3\52\3\uffff\1\154\1\56\1\uffff\1\157\2\uffff\2\56\1\162\1\56\4\uffff\3\56\2\uffff\1\171\16\56\7\uffff\3\56\13\uffff\2\56\10\uffff\1\u0090\2\uffff\1\u0091\1\56\1\uffff\1\56\1\u0094\1\u0095\1\56\1\u0097\1\56\1\uffff\1\56\1\u009a\1\u009b\1\u009c\1\u009d\3\56\1\u00a1\1\u00a2\1\u00a3\1\u00a4\5\56\1\u00aa\1\56\1\u00ac\1\56\1\u00ae\2\uffff\1\56\1\u00b0\2\uffff\1\56\1\uffff\1\u00b2\1\u00b3\4\uffff\1\u00b4\1\u00b5\1\u00b6\4\uffff\1\u00b7\1\u00b8\2\56\1\u00bb\1\uffff\1\u00bc\1\uffff\1\u00bd\1\uffff\1\56\1\uffff\1\56\7\uffff\2\56\3\uffff\4\56\1\u00c6\1\56\1\u00c8\1\u00c9\1\uffff\1\u00ca\3\uffff"; 2473 "\1\uffff\1\53\1\57\1\62\1\57\1\70\1\72\1\57\1\77\10\57\3\uffff\1\123\1\125\1\57\2\uffff\1\134\1\uffff\1\137\4\uffff\3\57\4\uffff\3\53\3\uffff\1\156\1\57\1\uffff\1\161\2\uffff\2\57\1\164\1\57\4\uffff\3\57\2\uffff\1\173\16\57\7\uffff\3\57\13\uffff\3\57\10\uffff\1\u0093\2\uffff\1\u0094\1\57\1\uffff\1\57\1\u0097\1\u0098\1\57\1\u009a\1\57\1\uffff\1\57\1\u009d\1\u009e\1\u009f\1\u00a0\3\57\1\u00a4\1\u00a5\1\u00a6\1\u00a7\5\57\1\u00ad\1\57\1\u00af\1\57\1\u00b1\1\57\2\uffff\1\57\1\u00b4\2\uffff\1\57\1\uffff\1\u00b6\1\u00b7\4\uffff\1\u00b8\1\u00b9\1\u00ba\4\uffff\1\u00bb\1\u00bc\2\57\1\u00bf\1\uffff\1\u00c0\1\uffff\1\u00c1\1\uffff\2\57\1\uffff\1\57\7\uffff\2\57\3\uffff\5\57\1\u00cc\1\u00cd\1\57\1\u00cf\1\u00d0\2\uffff\1\u00d1\3\uffff";
2445 static final String DFA11_eofS = 2474 static final String DFA11_eofS =
2446 "\u00cb\uffff"; 2475 "\u00d2\uffff";
2447 static final String DFA11_minS = 2476 static final String DFA11_minS =
2448 "\1\0\1\174\1\156\1\72\1\144\1\76\1\46\1\142\1\75\1\157\1\145\1\157\1\154\1\165\1\145\1\151\1\154\3\uffff\1\53\1\76\1\141\2\uffff\1\75\1\uffff\1\76\4\uffff\2\156\4\uffff\2\0\1\52\3\uffff\1\42\1\145\1\uffff\1\76\2\uffff\1\146\1\160\1\42\1\145\4\uffff\1\144\1\154\1\163\2\uffff\1\42\1\155\1\164\1\142\1\147\1\156\1\165\1\145\1\154\1\155\1\156\1\163\1\165\1\141\1\163\7\uffff\1\156\1\143\1\162\13\uffff\1\151\1\164\10\uffff\1\42\2\uffff\1\42\1\154\1\uffff\1\156\2\42\1\164\1\42\1\145\1\uffff\1\145\4\42\1\145\1\163\1\144\4\42\1\152\1\155\1\145\1\143\1\145\1\42\1\164\1\42\1\166\1\42\2\uffff\1\151\1\42\2\uffff\1\162\1\uffff\2\42\4\uffff\3\42\4\uffff\2\42\1\156\1\164\1\42\1\uffff\1\42\1\uffff\1\42\1\uffff\1\145\1\uffff\1\141\7\uffff\1\144\1\154\3\uffff\1\163\1\143\1\163\1\171\1\42\1\164\2\42\1\uffff\1\42\3\uffff"; 2477 "\1\0\1\174\1\156\1\72\1\144\1\76\1\46\1\142\1\75\1\157\1\145\1\157\1\154\1\165\1\145\1\151\1\154\3\uffff\1\53\1\76\1\141\2\uffff\1\75\1\uffff\1\76\4\uffff\2\156\1\164\4\uffff\2\0\1\52\3\uffff\1\42\1\145\1\uffff\1\76\2\uffff\1\146\1\160\1\42\1\145\4\uffff\1\144\1\154\1\163\2\uffff\1\42\1\155\1\164\1\142\1\147\1\156\1\165\1\145\1\154\1\155\1\156\1\163\1\165\1\141\1\163\7\uffff\1\156\1\143\1\162\13\uffff\1\151\1\164\1\162\10\uffff\1\42\2\uffff\1\42\1\154\1\uffff\1\156\2\42\1\164\1\42\1\145\1\uffff\1\145\4\42\1\145\1\163\1\144\4\42\1\152\1\155\1\145\1\143\1\145\1\42\1\164\1\42\1\166\1\42\1\151\2\uffff\1\151\1\42\2\uffff\1\162\1\uffff\2\42\4\uffff\3\42\4\uffff\2\42\1\156\1\164\1\42\1\uffff\1\42\1\uffff\1\42\1\uffff\1\156\1\145\1\uffff\1\141\7\uffff\1\144\1\154\3\uffff\1\147\1\163\1\143\1\163\1\171\2\42\1\164\2\42\2\uffff\1\42\3\uffff";
2449 static final String DFA11_maxS = 2478 static final String DFA11_maxS =
2450 "\1\uffff\1\174\1\162\1\75\1\156\1\76\1\46\1\156\1\75\1\157\1\165\1\157\1\162\2\165\1\151\1\170\3\uffff\1\53\1\76\1\165\2\uffff\1\75\1\uffff\1\76\4\uffff\2\156\4\uffff\2\uffff\1\57\3\uffff\1\172\1\145\1\uffff\1\76\2\uffff\1\146\1\160\1\172\1\145\4\uffff\1\144\1\154\1\163\2\uffff\1\172\1\155\1\164\1\155\1\147\1\156\1\165\1\145\1\154\1\155\1\156\1\166\1\165\1\164\1\163\7\uffff\1\156\1\143\1\162\13\uffff\1\151\1\164\10\uffff\1\172\2\uffff\1\172\1\154\1\uffff\1\156\2\172\1\164\1\172\1\145\1\uffff\1\145\4\172\1\145\1\163\1\144\4\172\1\152\1\155\1\145\1\143\1\145\1\172\1\164\1\172\1\166\1\172\2\uffff\1\151\1\172\2\uffff\1\162\1\uffff\2\172\4\uffff\3\172\4\uffff\2\172\1\156\1\164\1\172\1\uffff\1\172\1\uffff\1\172\1\uffff\1\145\1\uffff\1\141\7\uffff\1\144\1\154\3\uffff\1\163\1\143\1\163\1\171\1\172\1\164\2\172\1\uffff\1\172\3\uffff"; 2479 "\1\uffff\1\174\1\162\1\75\1\156\1\76\1\46\1\156\1\75\1\157\1\165\1\157\1\162\2\165\1\151\1\170\3\uffff\1\53\1\76\1\165\2\uffff\1\75\1\uffff\1\76\4\uffff\2\156\1\164\4\uffff\2\uffff\1\57\3\uffff\1\172\1\145\1\uffff\1\76\2\uffff\1\146\1\160\1\172\1\145\4\uffff\1\144\1\154\1\163\2\uffff\1\172\1\155\1\164\1\155\1\147\1\156\1\165\1\145\1\154\1\155\1\156\1\166\1\165\1\164\1\163\7\uffff\1\156\1\143\1\162\13\uffff\1\151\1\164\1\162\10\uffff\1\172\2\uffff\1\172\1\154\1\uffff\1\156\2\172\1\164\1\172\1\145\1\uffff\1\145\4\172\1\145\1\163\1\144\4\172\1\152\1\155\1\145\1\143\1\145\1\172\1\164\1\172\1\166\1\172\1\151\2\uffff\1\151\1\172\2\uffff\1\162\1\uffff\2\172\4\uffff\3\172\4\uffff\2\172\1\156\1\164\1\172\1\uffff\1\172\1\uffff\1\172\1\uffff\1\156\1\145\1\uffff\1\141\7\uffff\1\144\1\154\3\uffff\1\147\1\163\1\143\1\163\1\171\2\172\1\164\2\172\2\uffff\1\172\3\uffff";
2451 static final String DFA11_acceptS = 2480 static final String DFA11_acceptS =
2452 "\21\uffff\1\27\1\30\1\31\3\uffff\1\40\1\41\1\uffff\1\56\1\uffff\1\62\1\63\1\64\1\65\2\uffff\1\73\1\74\1\102\1\103\3\uffff\1\107\1\110\1\1\2\uffff\1\102\1\uffff\1\55\1\51\4\uffff\1\5\1\45\1\7\1\60\3\uffff\1\46\1\11\17\uffff\1\27\1\30\1\31\1\53\1\35\1\54\1\36\3\uffff\1\40\1\41\1\50\1\47\1\56\1\61\1\57\1\62\1\63\1\64\1\65\2\uffff\1\73\1\74\1\103\1\104\1\105\1\106\1\107\1\2\1\uffff\1\3\1\52\2\uffff\1\34\6\uffff\1\14\26\uffff\1\17\1\4\2\uffff\1\10\1\13\1\uffff\1\12\2\uffff\1\20\1\22\1\66\1\32\3\uffff\1\23\1\24\1\75\1\25\5\uffff\1\37\1\uffff\1\76\1\uffff\1\72\1\uffff\1\70\1\uffff\1\67\1\15\1\16\1\21\1\42\1\100\1\26\2\uffff\1\44\1\43\1\71\10\uffff\1\6\1\uffff\1\33\1\101\1\77"; 2481 "\21\uffff\1\27\1\30\1\31\3\uffff\1\40\1\41\1\uffff\1\56\1\uffff\1\62\1\63\1\64\1\65\3\uffff\1\74\1\75\1\103\1\104\3\uffff\1\110\1\111\1\1\2\uffff\1\103\1\uffff\1\55\1\51\4\uffff\1\5\1\45\1\7\1\60\3\uffff\1\46\1\11\17\uffff\1\27\1\30\1\31\1\53\1\35\1\54\1\36\3\uffff\1\40\1\41\1\50\1\47\1\56\1\61\1\57\1\62\1\63\1\64\1\65\3\uffff\1\74\1\75\1\104\1\105\1\106\1\107\1\110\1\2\1\uffff\1\3\1\52\2\uffff\1\34\6\uffff\1\14\27\uffff\1\17\1\4\2\uffff\1\10\1\13\1\uffff\1\12\2\uffff\1\20\1\22\1\66\1\32\3\uffff\1\23\1\24\1\76\1\25\5\uffff\1\37\1\uffff\1\77\1\uffff\1\72\2\uffff\1\70\1\uffff\1\67\1\15\1\16\1\21\1\42\1\102\1\26\2\uffff\1\44\1\43\1\71\12\uffff\1\73\1\6\1\uffff\1\33\1\100\1\101";
2453 static final String DFA11_specialS = 2482 static final String DFA11_specialS =
2454 "\1\1\45\uffff\1\0\1\2\u00a3\uffff}>"; 2483 "\1\2\46\uffff\1\1\1\0\u00a9\uffff}>";
2455 static final String[] DFA11_transitionS = { 2484 static final String[] DFA11_transitionS = {
2456 "\11\52\2\51\2\52\1\51\22\52\1\51\1\10\1\46\1\37\2\52\1\6\1\47\1\42\1\43\1\36\1\24\1\23\1\33\1\32\1\50\12\45\1\25\1\52\1\3\1\5\1\31\2\52\10\44\1\41\21\44\1\27\1\52\1\30\1\35\1\44\1\52\1\7\2\44\1\17\1\20\1\26\2\44\1\4\2\44\1\13\1\15\1\11\1\2\1\14\1\44\1\16\1\12\1\44\1\40\5\44\1\21\1\1\1\22\1\34\uff81\52", 2485 "\11\53\2\52\2\53\1\52\22\53\1\52\1\10\1\47\1\37\2\53\1\6\1\50\1\43\1\44\1\36\1\24\1\23\1\33\1\32\1\51\12\46\1\25\1\53\1\3\1\5\1\31\2\53\10\45\1\41\11\45\1\42\7\45\1\27\1\53\1\30\1\35\1\45\1\53\1\7\2\45\1\17\1\20\1\26\2\45\1\4\2\45\1\13\1\15\1\11\1\2\1\14\1\45\1\16\1\12\1\45\1\40\5\45\1\21\1\1\1\22\1\34\uff81\53",
2457 "\1\53", 2486 "\1\54",
2458 "\1\55\3\uffff\1\54", 2487 "\1\56\3\uffff\1\55",
2459 "\1\60\2\uffff\1\57", 2488 "\1\61\2\uffff\1\60",
2460 "\1\65\1\uffff\1\62\6\uffff\1\63\1\64", 2489 "\1\66\1\uffff\1\63\6\uffff\1\64\1\65",
2461 "\1\66", 2490 "\1\67",
2462 "\1\70", 2491 "\1\71",
2463 "\1\74\11\uffff\1\73\1\uffff\1\72", 2492 "\1\75\11\uffff\1\74\1\uffff\1\73",
2464 "\1\75", 2493 "\1\76",
2465 "\1\77", 2494 "\1\100",
2466 "\1\101\3\uffff\1\103\5\uffff\1\100\5\uffff\1\102", 2495 "\1\102\3\uffff\1\104\5\uffff\1\101\5\uffff\1\103",
2467 "\1\104", 2496 "\1\105",
2468 "\1\105\5\uffff\1\106", 2497 "\1\106\5\uffff\1\107",
2469 "\1\107", 2498 "\1\110",
2470 "\1\110\17\uffff\1\111", 2499 "\1\111\17\uffff\1\112",
2471 "\1\112", 2500 "\1\113",
2472 "\1\115\1\uffff\1\113\11\uffff\1\114", 2501 "\1\116\1\uffff\1\114\11\uffff\1\115",
2473 "", 2502 "",
2474 "", 2503 "",
2475 "", 2504 "",
2476 "\1\121", 2505 "\1\122",
2477 "\1\123", 2506 "\1\124",
2478 "\1\126\15\uffff\1\127\5\uffff\1\125", 2507 "\1\127\15\uffff\1\130\5\uffff\1\126",
2479 "", 2508 "",
2480 "", 2509 "",
2481 "\1\132", 2510 "\1\133",
2482 "", 2511 "",
2483 "\1\135", 2512 "\1\136",
2484 "", 2513 "",
2485 "", 2514 "",
2486 "", 2515 "",
2487 "", 2516 "",
2488 "\1\143",
2489 "\1\144", 2517 "\1\144",
2518 "\1\145",
2519 "\1\146",
2490 "", 2520 "",
2491 "", 2521 "",
2492 "", 2522 "",
2493 "", 2523 "",
2494 "\0\150", 2524 "\0\152",
2495 "\0\150", 2525 "\0\152",
2496 "\1\151\4\uffff\1\152", 2526 "\1\153\4\uffff\1\154",
2497 "", 2527 "",
2498 "", 2528 "",
2499 "", 2529 "",
2500 "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", 2530 "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57",
2501 "\1\155", 2531 "\1\157",
2502 "", 2532 "",
2503 "\1\156", 2533 "\1\160",
2504 "", 2534 "",
2505 "", 2535 "",
2506 "\1\160", 2536 "\1\162",
2507 "\1\161",
2508 "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2509 "\1\163", 2537 "\1\163",
2538 "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57",
2539 "\1\165",
2510 "", 2540 "",
2511 "", 2541 "",
2512 "", 2542 "",
2513 "", 2543 "",
2514 "\1\164",
2515 "\1\165",
2516 "\1\166", 2544 "\1\166",
2545 "\1\167",
2546 "\1\170",
2517 "", 2547 "",
2518 "", 2548 "",
2519 "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\15\56\1\170\5\56\1\167\6\56", 2549 "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\15\57\1\172\5\57\1\171\6\57",
2520 "\1\172", 2550 "\1\174",
2521 "\1\173", 2551 "\1\175",
2522 "\1\174\12\uffff\1\175", 2552 "\1\176\12\uffff\1\177",
2523 "\1\176",
2524 "\1\177",
2525 "\1\u0080", 2553 "\1\u0080",
2526 "\1\u0081", 2554 "\1\u0081",
2527 "\1\u0082", 2555 "\1\u0082",
2528 "\1\u0083", 2556 "\1\u0083",
2529 "\1\u0084", 2557 "\1\u0084",
2530 "\1\u0086\2\uffff\1\u0085", 2558 "\1\u0085",
2531 "\1\u0087", 2559 "\1\u0086",
2532 "\1\u0089\22\uffff\1\u0088", 2560 "\1\u0088\2\uffff\1\u0087",
2533 "\1\u008a", 2561 "\1\u0089",
2562 "\1\u008b\22\uffff\1\u008a",
2563 "\1\u008c",
2534 "", 2564 "",
2535 "", 2565 "",
2536 "", 2566 "",
@@ -2538,9 +2568,9 @@ public class InternalAlloyLanguageLexer extends Lexer {
2538 "", 2568 "",
2539 "", 2569 "",
2540 "", 2570 "",
2541 "\1\u008b",
2542 "\1\u008c",
2543 "\1\u008d", 2571 "\1\u008d",
2572 "\1\u008e",
2573 "\1\u008f",
2544 "", 2574 "",
2545 "", 2575 "",
2546 "", 2576 "",
@@ -2552,8 +2582,9 @@ public class InternalAlloyLanguageLexer extends Lexer {
2552 "", 2582 "",
2553 "", 2583 "",
2554 "", 2584 "",
2555 "\1\u008e", 2585 "\1\u0090",
2556 "\1\u008f", 2586 "\1\u0091",
2587 "\1\u0092",
2557 "", 2588 "",
2558 "", 2589 "",
2559 "", 2590 "",
@@ -2562,75 +2593,77 @@ public class InternalAlloyLanguageLexer extends Lexer {
2562 "", 2593 "",
2563 "", 2594 "",
2564 "", 2595 "",
2565 "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", 2596 "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57",
2566 "", 2597 "",
2567 "", 2598 "",
2568 "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", 2599 "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57",
2569 "\1\u0092", 2600 "\1\u0095",
2570 "", 2601 "",
2571 "\1\u0093",
2572 "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2573 "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2574 "\1\u0096", 2602 "\1\u0096",
2575 "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", 2603 "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57",
2576 "\1\u0098", 2604 "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57",
2577 "",
2578 "\1\u0099", 2605 "\1\u0099",
2579 "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", 2606 "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57",
2580 "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", 2607 "\1\u009b",
2581 "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", 2608 "",
2582 "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", 2609 "\1\u009c",
2583 "\1\u009e", 2610 "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57",
2584 "\1\u009f", 2611 "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57",
2585 "\1\u00a0", 2612 "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57",
2586 "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", 2613 "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57",
2587 "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", 2614 "\1\u00a1",
2588 "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", 2615 "\1\u00a2",
2589 "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", 2616 "\1\u00a3",
2590 "\1\u00a5", 2617 "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57",
2591 "\1\u00a6", 2618 "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57",
2592 "\1\u00a7", 2619 "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57",
2620 "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57",
2593 "\1\u00a8", 2621 "\1\u00a8",
2594 "\1\u00a9", 2622 "\1\u00a9",
2595 "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", 2623 "\1\u00aa",
2596 "\1\u00ab", 2624 "\1\u00ab",
2597 "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", 2625 "\1\u00ac",
2598 "\1\u00ad", 2626 "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57",
2599 "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", 2627 "\1\u00ae",
2628 "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57",
2629 "\1\u00b0",
2630 "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57",
2631 "\1\u00b2",
2600 "", 2632 "",
2601 "", 2633 "",
2602 "\1\u00af", 2634 "\1\u00b3",
2603 "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", 2635 "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57",
2604 "", 2636 "",
2605 "", 2637 "",
2606 "\1\u00b1", 2638 "\1\u00b5",
2607 "", 2639 "",
2608 "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", 2640 "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57",
2609 "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", 2641 "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57",
2610 "", 2642 "",
2611 "", 2643 "",
2612 "", 2644 "",
2613 "", 2645 "",
2614 "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", 2646 "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57",
2615 "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", 2647 "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57",
2616 "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", 2648 "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57",
2617 "", 2649 "",
2618 "", 2650 "",
2619 "", 2651 "",
2620 "", 2652 "",
2621 "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", 2653 "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57",
2622 "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", 2654 "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57",
2623 "\1\u00b9", 2655 "\1\u00bd",
2624 "\1\u00ba", 2656 "\1\u00be",
2625 "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", 2657 "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57",
2626 "", 2658 "",
2627 "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", 2659 "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57",
2628 "", 2660 "",
2629 "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", 2661 "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57",
2630 "", 2662 "",
2631 "\1\u00be", 2663 "\1\u00c2",
2664 "\1\u00c3",
2632 "", 2665 "",
2633 "\1\u00bf", 2666 "\1\u00c4",
2634 "", 2667 "",
2635 "", 2668 "",
2636 "", 2669 "",
@@ -2638,21 +2671,24 @@ public class InternalAlloyLanguageLexer extends Lexer {
2638 "", 2671 "",
2639 "", 2672 "",
2640 "", 2673 "",
2641 "\1\u00c0", 2674 "\1\u00c5",
2642 "\1\u00c1", 2675 "\1\u00c6",
2643 "", 2676 "",
2644 "", 2677 "",
2645 "", 2678 "",
2646 "\1\u00c2",
2647 "\1\u00c3",
2648 "\1\u00c4",
2649 "\1\u00c5",
2650 "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2651 "\1\u00c7", 2679 "\1\u00c7",
2652 "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", 2680 "\1\u00c8",
2653 "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", 2681 "\1\u00c9",
2682 "\1\u00ca",
2683 "\1\u00cb",
2684 "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57",
2685 "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57",
2686 "\1\u00ce",
2687 "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57",
2688 "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57",
2689 "",
2654 "", 2690 "",
2655 "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", 2691 "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57",
2656 "", 2692 "",
2657 "", 2693 "",
2658 "" 2694 ""
@@ -2688,23 +2724,33 @@ public class InternalAlloyLanguageLexer extends Lexer {
2688 this.transition = DFA11_transition; 2724 this.transition = DFA11_transition;
2689 } 2725 }
2690 public String getDescription() { 2726 public String getDescription() {
2691 return "1:1: Tokens : ( T__11 | T__12 | T__13 | T__14 | T__15 | T__16 | T__17 | T__18 | T__19 | T__20 | T__21 | T__22 | T__23 | T__24 | T__25 | T__26 | T__27 | T__28 | T__29 | T__30 | T__31 | T__32 | T__33 | T__34 | T__35 | T__36 | T__37 | T__38 | T__39 | T__40 | T__41 | T__42 | T__43 | T__44 | T__45 | T__46 | T__47 | T__48 | T__49 | T__50 | T__51 | T__52 | T__53 | T__54 | T__55 | T__56 | T__57 | T__58 | T__59 | T__60 | T__61 | T__62 | T__63 | T__64 | T__65 | T__66 | T__67 | T__68 | T__69 | T__70 | T__71 | T__72 | T__73 | T__74 | T__75 | RULE_ID | RULE_INT | RULE_STRING | RULE_ML_COMMENT | RULE_SL_COMMENT | RULE_WS | RULE_ANY_OTHER );"; 2727 return "1:1: Tokens : ( T__11 | T__12 | T__13 | T__14 | T__15 | T__16 | T__17 | T__18 | T__19 | T__20 | T__21 | T__22 | T__23 | T__24 | T__25 | T__26 | T__27 | T__28 | T__29 | T__30 | T__31 | T__32 | T__33 | T__34 | T__35 | T__36 | T__37 | T__38 | T__39 | T__40 | T__41 | T__42 | T__43 | T__44 | T__45 | T__46 | T__47 | T__48 | T__49 | T__50 | T__51 | T__52 | T__53 | T__54 | T__55 | T__56 | T__57 | T__58 | T__59 | T__60 | T__61 | T__62 | T__63 | T__64 | T__65 | T__66 | T__67 | T__68 | T__69 | T__70 | T__71 | T__72 | T__73 | T__74 | T__75 | T__76 | RULE_ID | RULE_INT | RULE_STRING | RULE_ML_COMMENT | RULE_SL_COMMENT | RULE_WS | RULE_ANY_OTHER );";
2692 } 2728 }
2693 public int specialStateTransition(int s, IntStream _input) throws NoViableAltException { 2729 public int specialStateTransition(int s, IntStream _input) throws NoViableAltException {
2694 IntStream input = _input; 2730 IntStream input = _input;
2695 int _s = s; 2731 int _s = s;
2696 switch ( s ) { 2732 switch ( s ) {
2697 case 0 : 2733 case 0 :
2698 int LA11_38 = input.LA(1); 2734 int LA11_40 = input.LA(1);
2699 2735
2700 s = -1; 2736 s = -1;
2701 if ( ((LA11_38>='\u0000' && LA11_38<='\uFFFF')) ) {s = 104;} 2737 if ( ((LA11_40>='\u0000' && LA11_40<='\uFFFF')) ) {s = 106;}
2702 2738
2703 else s = 42; 2739 else s = 43;
2704 2740
2705 if ( s>=0 ) return s; 2741 if ( s>=0 ) return s;
2706 break; 2742 break;
2707 case 1 : 2743 case 1 :
2744 int LA11_39 = input.LA(1);
2745
2746 s = -1;
2747 if ( ((LA11_39>='\u0000' && LA11_39<='\uFFFF')) ) {s = 106;}
2748
2749 else s = 43;
2750
2751 if ( s>=0 ) return s;
2752 break;
2753 case 2 :
2708 int LA11_0 = input.LA(1); 2754 int LA11_0 = input.LA(1);
2709 2755
2710 s = -1; 2756 s = -1;
@@ -2774,33 +2820,25 @@ public class InternalAlloyLanguageLexer extends Lexer {
2774 2820
2775 else if ( (LA11_0=='I') ) {s = 33;} 2821 else if ( (LA11_0=='I') ) {s = 33;}
2776 2822
2777 else if ( (LA11_0=='(') ) {s = 34;} 2823 else if ( (LA11_0=='S') ) {s = 34;}
2778
2779 else if ( (LA11_0==')') ) {s = 35;}
2780
2781 else if ( ((LA11_0>='A' && LA11_0<='H')||(LA11_0>='J' && LA11_0<='Z')||LA11_0=='_'||(LA11_0>='b' && LA11_0<='c')||(LA11_0>='g' && LA11_0<='h')||(LA11_0>='j' && LA11_0<='k')||LA11_0=='q'||LA11_0=='t'||(LA11_0>='v' && LA11_0<='z')) ) {s = 36;}
2782 2824
2783 else if ( ((LA11_0>='0' && LA11_0<='9')) ) {s = 37;} 2825 else if ( (LA11_0=='(') ) {s = 35;}
2784 2826
2785 else if ( (LA11_0=='\"') ) {s = 38;} 2827 else if ( (LA11_0==')') ) {s = 36;}
2786 2828
2787 else if ( (LA11_0=='\'') ) {s = 39;} 2829 else if ( ((LA11_0>='A' && LA11_0<='H')||(LA11_0>='J' && LA11_0<='R')||(LA11_0>='T' && LA11_0<='Z')||LA11_0=='_'||(LA11_0>='b' && LA11_0<='c')||(LA11_0>='g' && LA11_0<='h')||(LA11_0>='j' && LA11_0<='k')||LA11_0=='q'||LA11_0=='t'||(LA11_0>='v' && LA11_0<='z')) ) {s = 37;}
2788 2830
2789 else if ( (LA11_0=='/') ) {s = 40;} 2831 else if ( ((LA11_0>='0' && LA11_0<='9')) ) {s = 38;}
2790 2832
2791 else if ( ((LA11_0>='\t' && LA11_0<='\n')||LA11_0=='\r'||LA11_0==' ') ) {s = 41;} 2833 else if ( (LA11_0=='\"') ) {s = 39;}
2792 2834
2793 else if ( ((LA11_0>='\u0000' && LA11_0<='\b')||(LA11_0>='\u000B' && LA11_0<='\f')||(LA11_0>='\u000E' && LA11_0<='\u001F')||(LA11_0>='$' && LA11_0<='%')||LA11_0==';'||(LA11_0>='?' && LA11_0<='@')||LA11_0=='\\'||LA11_0=='`'||(LA11_0>='\u007F' && LA11_0<='\uFFFF')) ) {s = 42;} 2835 else if ( (LA11_0=='\'') ) {s = 40;}
2794 2836
2795 if ( s>=0 ) return s; 2837 else if ( (LA11_0=='/') ) {s = 41;}
2796 break;
2797 case 2 :
2798 int LA11_39 = input.LA(1);
2799 2838
2800 s = -1; 2839 else if ( ((LA11_0>='\t' && LA11_0<='\n')||LA11_0=='\r'||LA11_0==' ') ) {s = 42;}
2801 if ( ((LA11_39>='\u0000' && LA11_39<='\uFFFF')) ) {s = 104;}
2802 2840
2803 else s = 42; 2841 else if ( ((LA11_0>='\u0000' && LA11_0<='\b')||(LA11_0>='\u000B' && LA11_0<='\f')||(LA11_0>='\u000E' && LA11_0<='\u001F')||(LA11_0>='$' && LA11_0<='%')||LA11_0==';'||(LA11_0>='?' && LA11_0<='@')||LA11_0=='\\'||LA11_0=='`'||(LA11_0>='\u007F' && LA11_0<='\uFFFF')) ) {s = 43;}
2804 2842
2805 if ( s>=0 ) return s; 2843 if ( s>=0 ) return s;
2806 break; 2844 break;
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-17 19:49:31 +0000