diff options
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalAlloyLanguageLexer.java')
-rw-r--r-- | Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalAlloyLanguageLexer.java | 494 |
1 files changed, 266 insertions, 228 deletions
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalAlloyLanguageLexer.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalAlloyLanguageLexer.java index 27488784..793fe13d 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalAlloyLanguageLexer.java +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/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; |
@@ -1115,10 +1116,11 @@ public class InternalAlloyLanguageLexer extends Lexer { | |||
1115 | try { | 1116 | try { |
1116 | int _type = T__60; | 1117 | int _type = T__60; |
1117 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1118 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1118 | // InternalAlloyLanguage.g:60:7: ( '(' ) | 1119 | // InternalAlloyLanguage.g:60:7: ( 'String' ) |
1119 | // InternalAlloyLanguage.g:60:9: '(' | 1120 | // InternalAlloyLanguage.g:60:9: 'String' |
1120 | { | 1121 | { |
1121 | match('('); | 1122 | match("String"); |
1123 | |||
1122 | 1124 | ||
1123 | } | 1125 | } |
1124 | 1126 | ||
@@ -1135,10 +1137,10 @@ public class InternalAlloyLanguageLexer extends Lexer { | |||
1135 | try { | 1137 | try { |
1136 | int _type = T__61; | 1138 | int _type = T__61; |
1137 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1139 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1138 | // InternalAlloyLanguage.g:61:7: ( ')' ) | 1140 | // InternalAlloyLanguage.g:61:7: ( '(' ) |
1139 | // InternalAlloyLanguage.g:61:9: ')' | 1141 | // InternalAlloyLanguage.g:61:9: '(' |
1140 | { | 1142 | { |
1141 | match(')'); | 1143 | match('('); |
1142 | 1144 | ||
1143 | } | 1145 | } |
1144 | 1146 | ||
@@ -1155,11 +1157,10 @@ public class InternalAlloyLanguageLexer extends Lexer { | |||
1155 | try { | 1157 | try { |
1156 | int _type = T__62; | 1158 | int _type = T__62; |
1157 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1159 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1158 | // InternalAlloyLanguage.g:62:7: ( 'run' ) | 1160 | // InternalAlloyLanguage.g:62:7: ( ')' ) |
1159 | // InternalAlloyLanguage.g:62:9: 'run' | 1161 | // InternalAlloyLanguage.g:62:9: ')' |
1160 | { | 1162 | { |
1161 | match("run"); | 1163 | match(')'); |
1162 | |||
1163 | 1164 | ||
1164 | } | 1165 | } |
1165 | 1166 | ||
@@ -1176,10 +1177,10 @@ public class InternalAlloyLanguageLexer extends Lexer { | |||
1176 | try { | 1177 | try { |
1177 | int _type = T__63; | 1178 | int _type = T__63; |
1178 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1179 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1179 | // InternalAlloyLanguage.g:63:7: ( 'for' ) | 1180 | // InternalAlloyLanguage.g:63:7: ( 'run' ) |
1180 | // InternalAlloyLanguage.g:63:9: 'for' | 1181 | // InternalAlloyLanguage.g:63:9: 'run' |
1181 | { | 1182 | { |
1182 | match("for"); | 1183 | match("run"); |
1183 | 1184 | ||
1184 | 1185 | ||
1185 | } | 1186 | } |
@@ -1197,10 +1198,10 @@ public class InternalAlloyLanguageLexer extends Lexer { | |||
1197 | try { | 1198 | try { |
1198 | int _type = T__64; | 1199 | int _type = T__64; |
1199 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1200 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1200 | // InternalAlloyLanguage.g:64:7: ( 'exactly' ) | 1201 | // InternalAlloyLanguage.g:64:7: ( 'for' ) |
1201 | // InternalAlloyLanguage.g:64:9: 'exactly' | 1202 | // InternalAlloyLanguage.g:64:9: 'for' |
1202 | { | 1203 | { |
1203 | match("exactly"); | 1204 | match("for"); |
1204 | 1205 | ||
1205 | 1206 | ||
1206 | } | 1207 | } |
@@ -1218,10 +1219,10 @@ public class InternalAlloyLanguageLexer extends Lexer { | |||
1218 | try { | 1219 | try { |
1219 | int _type = T__65; | 1220 | int _type = T__65; |
1220 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1221 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1221 | // InternalAlloyLanguage.g:65:7: ( 'all' ) | 1222 | // InternalAlloyLanguage.g:65:7: ( 'exactly' ) |
1222 | // InternalAlloyLanguage.g:65:9: 'all' | 1223 | // InternalAlloyLanguage.g:65:9: 'exactly' |
1223 | { | 1224 | { |
1224 | match("all"); | 1225 | match("exactly"); |
1225 | 1226 | ||
1226 | 1227 | ||
1227 | } | 1228 | } |
@@ -1239,10 +1240,10 @@ public class InternalAlloyLanguageLexer extends Lexer { | |||
1239 | try { | 1240 | try { |
1240 | int _type = T__66; | 1241 | int _type = T__66; |
1241 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1242 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1242 | // InternalAlloyLanguage.g:66:7: ( 'no' ) | 1243 | // InternalAlloyLanguage.g:66:7: ( 'all' ) |
1243 | // InternalAlloyLanguage.g:66:9: 'no' | 1244 | // InternalAlloyLanguage.g:66:9: 'all' |
1244 | { | 1245 | { |
1245 | match("no"); | 1246 | match("all"); |
1246 | 1247 | ||
1247 | 1248 | ||
1248 | } | 1249 | } |
@@ -1260,10 +1261,10 @@ public class InternalAlloyLanguageLexer extends Lexer { | |||
1260 | try { | 1261 | try { |
1261 | int _type = T__67; | 1262 | int _type = T__67; |
1262 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1263 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1263 | // InternalAlloyLanguage.g:67:7: ( 'some' ) | 1264 | // InternalAlloyLanguage.g:67:7: ( 'no' ) |
1264 | // InternalAlloyLanguage.g:67:9: 'some' | 1265 | // InternalAlloyLanguage.g:67:9: 'no' |
1265 | { | 1266 | { |
1266 | match("some"); | 1267 | match("no"); |
1267 | 1268 | ||
1268 | 1269 | ||
1269 | } | 1270 | } |
@@ -1281,10 +1282,10 @@ public class InternalAlloyLanguageLexer extends Lexer { | |||
1281 | try { | 1282 | try { |
1282 | int _type = T__68; | 1283 | int _type = T__68; |
1283 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1284 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1284 | // InternalAlloyLanguage.g:68:7: ( 'lone' ) | 1285 | // InternalAlloyLanguage.g:68:7: ( 'some' ) |
1285 | // InternalAlloyLanguage.g:68:9: 'lone' | 1286 | // InternalAlloyLanguage.g:68:9: 'some' |
1286 | { | 1287 | { |
1287 | match("lone"); | 1288 | match("some"); |
1288 | 1289 | ||
1289 | 1290 | ||
1290 | } | 1291 | } |
@@ -1302,10 +1303,10 @@ public class InternalAlloyLanguageLexer extends Lexer { | |||
1302 | try { | 1303 | try { |
1303 | int _type = T__69; | 1304 | int _type = T__69; |
1304 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1305 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1305 | // InternalAlloyLanguage.g:69:7: ( 'one' ) | 1306 | // InternalAlloyLanguage.g:69:7: ( 'lone' ) |
1306 | // InternalAlloyLanguage.g:69:9: 'one' | 1307 | // InternalAlloyLanguage.g:69:9: 'lone' |
1307 | { | 1308 | { |
1308 | match("one"); | 1309 | match("lone"); |
1309 | 1310 | ||
1310 | 1311 | ||
1311 | } | 1312 | } |
@@ -1323,10 +1324,10 @@ public class InternalAlloyLanguageLexer extends Lexer { | |||
1323 | try { | 1324 | try { |
1324 | int _type = T__70; | 1325 | int _type = T__70; |
1325 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1326 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1326 | // InternalAlloyLanguage.g:70:7: ( 'set' ) | 1327 | // InternalAlloyLanguage.g:70:7: ( 'one' ) |
1327 | // InternalAlloyLanguage.g:70:9: 'set' | 1328 | // InternalAlloyLanguage.g:70:9: 'one' |
1328 | { | 1329 | { |
1329 | match("set"); | 1330 | match("one"); |
1330 | 1331 | ||
1331 | 1332 | ||
1332 | } | 1333 | } |
@@ -1344,10 +1345,10 @@ public class InternalAlloyLanguageLexer extends Lexer { | |||
1344 | try { | 1345 | try { |
1345 | int _type = T__71; | 1346 | int _type = T__71; |
1346 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1347 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1347 | // InternalAlloyLanguage.g:71:7: ( 'plus' ) | 1348 | // InternalAlloyLanguage.g:71:7: ( 'set' ) |
1348 | // InternalAlloyLanguage.g:71:9: 'plus' | 1349 | // InternalAlloyLanguage.g:71:9: 'set' |
1349 | { | 1350 | { |
1350 | match("plus"); | 1351 | match("set"); |
1351 | 1352 | ||
1352 | 1353 | ||
1353 | } | 1354 | } |
@@ -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: ( 'sub' ) | 1369 | // InternalAlloyLanguage.g:72:7: ( 'plus' ) |
1369 | // InternalAlloyLanguage.g:72:9: 'sub' | 1370 | // InternalAlloyLanguage.g:72:9: 'plus' |
1370 | { | 1371 | { |
1371 | match("sub"); | 1372 | match("plus"); |
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: ( 'mul' ) | 1390 | // InternalAlloyLanguage.g:73:7: ( 'sub' ) |
1390 | // InternalAlloyLanguage.g:73:9: 'mul' | 1391 | // InternalAlloyLanguage.g:73:9: 'sub' |
1391 | { | 1392 | { |
1392 | match("mul"); | 1393 | match("sub"); |
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: ( 'rem' ) | 1411 | // InternalAlloyLanguage.g:74:7: ( 'mul' ) |
1411 | // InternalAlloyLanguage.g:74:9: 'rem' | 1412 | // InternalAlloyLanguage.g:74:9: 'mul' |
1412 | { | 1413 | { |
1413 | match("rem"); | 1414 | match("mul"); |
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: ( 'div' ) | 1432 | // InternalAlloyLanguage.g:75:7: ( 'rem' ) |
1432 | // InternalAlloyLanguage.g:75:9: 'div' | 1433 | // InternalAlloyLanguage.g:75:9: 'rem' |
1433 | { | 1434 | { |
1434 | match("div"); | 1435 | match("rem"); |
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: ( 'div' ) | ||
1454 | // InternalAlloyLanguage.g:76:9: 'div' | ||
1455 | { | ||
1456 | match("div"); | ||
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:3032:9: ( ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '\\'' | '\"' | '0' .. '9' )* ) | 1474 | // InternalAlloyLanguage.g:3125:9: ( ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '\\'' | '\"' | '0' .. '9' )* ) |
1453 | // InternalAlloyLanguage.g:3032:11: ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '\\'' | '\"' | '0' .. '9' )* | 1475 | // InternalAlloyLanguage.g:3125: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:3032:35: ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '\\'' | '\"' | '0' .. '9' )* | 1486 | // InternalAlloyLanguage.g:3125: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:3034:10: ( ( '0' .. '9' )+ ) | 1535 | // InternalAlloyLanguage.g:3127:10: ( ( '0' .. '9' )+ ) |
1514 | // InternalAlloyLanguage.g:3034:12: ( '0' .. '9' )+ | 1536 | // InternalAlloyLanguage.g:3127:12: ( '0' .. '9' )+ |
1515 | { | 1537 | { |
1516 | // InternalAlloyLanguage.g:3034:12: ( '0' .. '9' )+ | 1538 | // InternalAlloyLanguage.g:3127: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:3034:13: '0' .. '9' | 1552 | // InternalAlloyLanguage.g:3127: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:3036:13: ( ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' | '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' ) ) | 1584 | // InternalAlloyLanguage.g:3129:13: ( ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' | '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' ) ) |
1563 | // InternalAlloyLanguage.g:3036:15: ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' | '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' ) | 1585 | // InternalAlloyLanguage.g:3129:15: ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' | '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' ) |
1564 | { | 1586 | { |
1565 | // InternalAlloyLanguage.g:3036:15: ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' | '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' ) | 1587 | // InternalAlloyLanguage.g:3129: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:3036:16: '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' | 1605 | // InternalAlloyLanguage.g:3129:16: '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' |
1584 | { | 1606 | { |
1585 | match('\"'); | 1607 | match('\"'); |
1586 | // InternalAlloyLanguage.g:3036:20: ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* | 1608 | // InternalAlloyLanguage.g:3129: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:3036:21: '\\\\' . | 1624 | // InternalAlloyLanguage.g:3129: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:3036:28: ~ ( ( '\\\\' | '\"' ) ) | 1632 | // InternalAlloyLanguage.g:3129: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:3036:48: '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' | 1657 | // InternalAlloyLanguage.g:3129:48: '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' |
1636 | { | 1658 | { |
1637 | match('\''); | 1659 | match('\''); |
1638 | // InternalAlloyLanguage.g:3036:53: ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* | 1660 | // InternalAlloyLanguage.g:3129: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:3036:54: '\\\\' . | 1676 | // InternalAlloyLanguage.g:3129: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:3036:61: ~ ( ( '\\\\' | '\\'' ) ) | 1684 | // InternalAlloyLanguage.g:3129: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:3038:17: ( '/*' ( options {greedy=false; } : . )* '*/' ) | 1727 | // InternalAlloyLanguage.g:3131:17: ( '/*' ( options {greedy=false; } : . )* '*/' ) |
1706 | // InternalAlloyLanguage.g:3038:19: '/*' ( options {greedy=false; } : . )* '*/' | 1728 | // InternalAlloyLanguage.g:3131:19: '/*' ( options {greedy=false; } : . )* '*/' |
1707 | { | 1729 | { |
1708 | match("/*"); | 1730 | match("/*"); |
1709 | 1731 | ||
1710 | // InternalAlloyLanguage.g:3038:24: ( options {greedy=false; } : . )* | 1732 | // InternalAlloyLanguage.g:3131: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:3038:52: . | 1757 | // InternalAlloyLanguage.g:3131: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:3040:17: ( '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? ) | 1787 | // InternalAlloyLanguage.g:3133:17: ( '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? ) |
1766 | // InternalAlloyLanguage.g:3040:19: '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? | 1788 | // InternalAlloyLanguage.g:3133:19: '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? |
1767 | { | 1789 | { |
1768 | match("//"); | 1790 | match("//"); |
1769 | 1791 | ||
1770 | // InternalAlloyLanguage.g:3040:24: (~ ( ( '\\n' | '\\r' ) ) )* | 1792 | // InternalAlloyLanguage.g:3133: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:3040:24: ~ ( ( '\\n' | '\\r' ) ) | 1805 | // InternalAlloyLanguage.g:3133: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:3040:40: ( ( '\\r' )? '\\n' )? | 1825 | // InternalAlloyLanguage.g:3133: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:3040:41: ( '\\r' )? '\\n' | 1834 | // InternalAlloyLanguage.g:3133:41: ( '\\r' )? '\\n' |
1813 | { | 1835 | { |
1814 | // InternalAlloyLanguage.g:3040:41: ( '\\r' )? | 1836 | // InternalAlloyLanguage.g:3133: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:3040:41: '\\r' | 1845 | // InternalAlloyLanguage.g:3133: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:3042:9: ( ( ' ' | '\\t' | '\\r' | '\\n' )+ ) | 1877 | // InternalAlloyLanguage.g:3135:9: ( ( ' ' | '\\t' | '\\r' | '\\n' )+ ) |
1856 | // InternalAlloyLanguage.g:3042:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ | 1878 | // InternalAlloyLanguage.g:3135:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ |
1857 | { | 1879 | { |
1858 | // InternalAlloyLanguage.g:3042:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ | 1880 | // InternalAlloyLanguage.g:3135: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:3044:16: ( . ) | 1934 | // InternalAlloyLanguage.g:3137:16: ( . ) |
1913 | // InternalAlloyLanguage.g:3044:18: . | 1935 | // InternalAlloyLanguage.g:3137: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,97 +2470,96 @@ 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\56\3\uffff\3\56\1\76\1\100\1\56\2\uffff\2\56\1\52\1\56\1\116\1\120\1\122\1\124\1\126\1\uffff\1\131\1\56\4\uffff\2\56\2\uffff\3\56\2\uffff\3\52\2\uffff\3\56\4\uffff\7\56\1\170\3\56\4\uffff\3\56\2\uffff\3\56\1\uffff\1\u0083\1\56\1\u0086\15\uffff\1\u0089\4\uffff\2\56\2\uffff\4\56\5\uffff\5\56\1\u0095\1\u0096\1\u0097\1\u0098\1\u0099\1\56\1\u009b\1\uffff\1\u009c\2\56\1\u009f\1\56\1\u00a1\3\56\1\u00a5\1\uffff\1\u00a6\2\uffff\1\u00a7\1\56\1\uffff\1\56\1\u00aa\1\u00ab\1\u00ac\1\56\1\u00ae\1\u00af\2\56\1\u00b2\1\56\5\uffff\1\u00b4\2\uffff\1\56\1\u00b6\1\uffff\1\u00b7\1\uffff\1\u00b8\1\u00b9\1\u00ba\3\uffff\1\u00bb\1\u00bc\3\uffff\1\u00bd\2\uffff\2\56\1\uffff\1\56\1\uffff\1\56\10\uffff\4\56\1\u00c6\1\u00c7\1\56\1\u00c9\2\uffff\1\u00ca\2\uffff"; | 2473 | "\1\uffff\1\57\3\uffff\3\57\1\77\1\101\1\57\2\uffff\2\57\1\53\1\57\1\117\1\121\1\123\1\125\1\127\1\uffff\1\132\1\57\4\uffff\3\57\2\uffff\3\57\2\uffff\3\53\2\uffff\3\57\4\uffff\7\57\1\172\3\57\4\uffff\3\57\2\uffff\3\57\1\uffff\1\u0085\1\57\1\u0088\15\uffff\1\u008b\4\uffff\3\57\2\uffff\4\57\5\uffff\5\57\1\u0098\1\u0099\1\u009a\1\u009b\1\u009c\1\57\1\u009e\1\uffff\1\u009f\2\57\1\u00a2\1\57\1\u00a4\3\57\1\u00a8\1\uffff\1\u00a9\2\uffff\1\u00aa\1\57\1\uffff\1\57\1\u00ad\1\57\1\u00af\1\u00b0\1\57\1\u00b2\1\u00b3\2\57\1\u00b6\1\57\5\uffff\1\u00b8\2\uffff\1\57\1\u00ba\1\uffff\1\u00bb\1\uffff\1\u00bc\1\u00bd\1\u00be\3\uffff\1\u00bf\1\u00c0\1\uffff\1\57\2\uffff\1\u00c2\2\uffff\2\57\1\uffff\1\57\1\uffff\1\57\7\uffff\1\57\1\uffff\4\57\1\u00cc\1\u00cd\1\u00ce\1\57\1\u00d0\3\uffff\1\u00d1\2\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\154\3\uffff\1\142\1\145\1\144\1\53\1\76\1\141\2\uffff\1\154\1\151\1\174\1\156\1\72\1\76\1\46\2\75\1\uffff\1\76\1\157\4\uffff\2\156\2\uffff\1\145\1\157\1\165\2\uffff\2\0\1\52\2\uffff\1\165\1\141\1\163\4\uffff\1\163\1\144\1\154\1\147\1\142\1\155\1\164\1\42\1\146\1\160\1\145\4\uffff\1\156\1\143\1\162\2\uffff\1\145\1\165\1\163\1\uffff\1\42\1\145\1\76\15\uffff\1\42\4\uffff\1\151\1\164\2\uffff\1\156\1\155\1\156\1\154\5\uffff\1\155\1\145\1\143\1\145\1\164\5\42\1\145\1\42\1\uffff\1\42\1\154\1\156\1\42\1\164\1\42\1\144\1\163\1\152\1\42\1\uffff\1\42\2\uffff\1\42\1\145\1\uffff\1\166\3\42\1\145\2\42\1\156\1\164\1\42\1\162\5\uffff\1\42\2\uffff\1\151\1\42\1\uffff\1\42\1\uffff\3\42\3\uffff\2\42\3\uffff\1\42\2\uffff\1\144\1\154\1\uffff\1\141\1\uffff\1\145\10\uffff\1\163\1\171\1\143\1\163\2\42\1\164\1\42\2\uffff\1\42\2\uffff"; | 2477 | "\1\0\1\154\3\uffff\1\142\1\145\1\144\1\53\1\76\1\141\2\uffff\1\154\1\151\1\174\1\156\1\72\1\76\1\46\2\75\1\uffff\1\76\1\157\4\uffff\2\156\1\164\2\uffff\1\145\1\157\1\165\2\uffff\2\0\1\52\2\uffff\1\165\1\141\1\163\4\uffff\1\163\1\144\1\154\1\147\1\142\1\155\1\164\1\42\1\146\1\160\1\145\4\uffff\1\156\1\143\1\162\2\uffff\1\145\1\165\1\163\1\uffff\1\42\1\145\1\76\15\uffff\1\42\4\uffff\1\151\1\164\1\162\2\uffff\1\156\1\155\1\156\1\154\5\uffff\1\155\1\145\1\143\1\145\1\164\5\42\1\145\1\42\1\uffff\1\42\1\154\1\156\1\42\1\164\1\42\1\144\1\163\1\152\1\42\1\uffff\1\42\2\uffff\1\42\1\145\1\uffff\1\166\1\42\1\151\2\42\1\145\2\42\1\156\1\164\1\42\1\162\5\uffff\1\42\2\uffff\1\151\1\42\1\uffff\1\42\1\uffff\3\42\3\uffff\2\42\1\uffff\1\156\2\uffff\1\42\2\uffff\1\144\1\154\1\uffff\1\141\1\uffff\1\145\7\uffff\1\147\1\uffff\1\163\1\171\1\143\1\163\3\42\1\164\1\42\3\uffff\1\42\2\uffff"; |
2449 | static final String DFA11_maxS = | 2478 | static final String DFA11_maxS = |
2450 | "\1\uffff\1\170\3\uffff\1\156\1\165\1\156\1\53\1\76\1\165\2\uffff\1\162\1\151\1\174\1\162\1\75\1\76\1\46\2\75\1\uffff\1\76\1\157\4\uffff\2\156\2\uffff\1\165\1\157\1\165\2\uffff\2\uffff\1\57\2\uffff\1\165\1\164\1\163\4\uffff\1\163\1\144\1\154\1\147\2\155\1\164\1\172\1\146\1\160\1\145\4\uffff\1\156\1\143\1\162\2\uffff\1\145\1\165\1\166\1\uffff\1\172\1\145\1\76\15\uffff\1\172\4\uffff\1\151\1\164\2\uffff\1\156\1\155\1\156\1\154\5\uffff\1\155\1\145\1\143\1\145\1\164\5\172\1\145\1\172\1\uffff\1\172\1\154\1\156\1\172\1\164\1\172\1\144\1\163\1\152\1\172\1\uffff\1\172\2\uffff\1\172\1\145\1\uffff\1\166\3\172\1\145\2\172\1\156\1\164\1\172\1\162\5\uffff\1\172\2\uffff\1\151\1\172\1\uffff\1\172\1\uffff\3\172\3\uffff\2\172\3\uffff\1\172\2\uffff\1\144\1\154\1\uffff\1\141\1\uffff\1\145\10\uffff\1\163\1\171\1\143\1\163\2\172\1\164\1\172\2\uffff\1\172\2\uffff"; | 2479 | "\1\uffff\1\170\3\uffff\1\156\1\165\1\156\1\53\1\76\1\165\2\uffff\1\162\1\151\1\174\1\162\1\75\1\76\1\46\2\75\1\uffff\1\76\1\157\4\uffff\2\156\1\164\2\uffff\1\165\1\157\1\165\2\uffff\2\uffff\1\57\2\uffff\1\165\1\164\1\163\4\uffff\1\163\1\144\1\154\1\147\2\155\1\164\1\172\1\146\1\160\1\145\4\uffff\1\156\1\143\1\162\2\uffff\1\145\1\165\1\166\1\uffff\1\172\1\145\1\76\15\uffff\1\172\4\uffff\1\151\1\164\1\162\2\uffff\1\156\1\155\1\156\1\154\5\uffff\1\155\1\145\1\143\1\145\1\164\5\172\1\145\1\172\1\uffff\1\172\1\154\1\156\1\172\1\164\1\172\1\144\1\163\1\152\1\172\1\uffff\1\172\2\uffff\1\172\1\145\1\uffff\1\166\1\172\1\151\2\172\1\145\2\172\1\156\1\164\1\172\1\162\5\uffff\1\172\2\uffff\1\151\1\172\1\uffff\1\172\1\uffff\3\172\3\uffff\2\172\1\uffff\1\156\2\uffff\1\172\2\uffff\1\144\1\154\1\uffff\1\141\1\uffff\1\145\7\uffff\1\147\1\uffff\1\163\1\171\1\143\1\163\3\172\1\164\1\172\3\uffff\1\172\2\uffff"; |
2451 | static final String DFA11_acceptS = | 2480 | static final String DFA11_acceptS = |
2452 | "\2\uffff\1\2\1\3\1\4\6\uffff\1\14\1\15\11\uffff\1\43\2\uffff\1\51\1\52\1\53\1\54\2\uffff\1\62\1\63\3\uffff\1\102\1\103\3\uffff\1\107\1\110\3\uffff\1\102\1\2\1\3\1\4\13\uffff\1\40\1\11\1\41\1\12\3\uffff\1\14\1\15\3\uffff\1\21\3\uffff\1\42\1\36\1\25\1\32\1\30\1\45\1\33\1\47\1\35\1\34\1\43\1\46\1\44\1\uffff\1\51\1\52\1\53\1\54\2\uffff\1\62\1\63\4\uffff\1\103\1\104\1\105\1\106\1\107\14\uffff\1\10\12\uffff\1\22\1\uffff\1\23\1\37\2\uffff\1\70\13\uffff\1\31\1\67\1\6\1\55\1\76\1\uffff\1\74\1\24\2\uffff\1\13\1\uffff\1\65\3\uffff\1\101\1\73\1\50\2\uffff\1\61\1\64\1\100\1\uffff\1\77\1\1\2\uffff\1\27\1\uffff\1\71\1\uffff\1\57\1\17\1\16\1\75\1\20\1\56\1\60\1\72\10\uffff\1\7\1\66\1\uffff\1\26\1\5"; | 2481 | "\2\uffff\1\2\1\3\1\4\6\uffff\1\14\1\15\11\uffff\1\43\2\uffff\1\51\1\52\1\53\1\54\3\uffff\1\63\1\64\3\uffff\1\103\1\104\3\uffff\1\110\1\111\3\uffff\1\103\1\2\1\3\1\4\13\uffff\1\40\1\11\1\41\1\12\3\uffff\1\14\1\15\3\uffff\1\21\3\uffff\1\42\1\36\1\25\1\32\1\30\1\45\1\33\1\47\1\35\1\34\1\43\1\46\1\44\1\uffff\1\51\1\52\1\53\1\54\3\uffff\1\63\1\64\4\uffff\1\104\1\105\1\106\1\107\1\110\14\uffff\1\10\12\uffff\1\22\1\uffff\1\23\1\37\2\uffff\1\71\14\uffff\1\31\1\70\1\6\1\55\1\77\1\uffff\1\75\1\24\2\uffff\1\13\1\uffff\1\66\3\uffff\1\102\1\74\1\50\2\uffff\1\61\1\uffff\1\65\1\101\1\uffff\1\100\1\1\2\uffff\1\27\1\uffff\1\72\1\uffff\1\57\1\17\1\16\1\76\1\20\1\56\1\60\1\uffff\1\73\11\uffff\1\62\1\7\1\67\1\uffff\1\26\1\5"; |
2453 | static final String DFA11_specialS = | 2482 | static final String DFA11_specialS = |
2454 | "\1\0\45\uffff\1\1\1\2\u00a3\uffff}>"; | 2483 | "\1\1\46\uffff\1\2\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\24\1\46\1\34\2\52\1\23\1\47\1\37\1\40\1\33\1\10\1\3\1\27\1\26\1\50\12\45\1\11\1\52\1\21\1\22\1\25\2\52\10\44\1\36\21\44\1\13\1\52\1\14\1\32\1\44\1\52\1\5\2\44\1\16\1\1\1\12\2\44\1\7\2\44\1\42\1\43\1\30\1\20\1\15\1\44\1\41\1\6\1\44\1\35\5\44\1\2\1\17\1\4\1\31\uff81\52", | 2485 | "\11\53\2\52\2\53\1\52\22\53\1\52\1\24\1\47\1\34\2\53\1\23\1\50\1\40\1\41\1\33\1\10\1\3\1\27\1\26\1\51\12\46\1\11\1\53\1\21\1\22\1\25\2\53\10\45\1\36\11\45\1\37\7\45\1\13\1\53\1\14\1\32\1\45\1\53\1\5\2\45\1\16\1\1\1\12\2\45\1\7\2\45\1\43\1\44\1\30\1\20\1\15\1\45\1\42\1\6\1\45\1\35\5\45\1\2\1\17\1\4\1\31\uff81\53", |
2457 | "\1\55\1\uffff\1\53\11\uffff\1\54", | 2486 | "\1\56\1\uffff\1\54\11\uffff\1\55", |
2458 | "", | 2487 | "", |
2459 | "", | 2488 | "", |
2460 | "", | 2489 | "", |
2461 | "\1\62\11\uffff\1\64\1\uffff\1\63", | 2490 | "\1\63\11\uffff\1\65\1\uffff\1\64", |
2462 | "\1\70\3\uffff\1\65\5\uffff\1\67\5\uffff\1\66", | 2491 | "\1\71\3\uffff\1\66\5\uffff\1\70\5\uffff\1\67", |
2463 | "\1\74\1\uffff\1\72\6\uffff\1\73\1\71", | 2492 | "\1\75\1\uffff\1\73\6\uffff\1\74\1\72", |
2464 | "\1\75", | 2493 | "\1\76", |
2465 | "\1\77", | 2494 | "\1\100", |
2466 | "\1\102\15\uffff\1\103\5\uffff\1\101", | 2495 | "\1\103\15\uffff\1\104\5\uffff\1\102", |
2467 | "", | 2496 | "", |
2468 | "", | 2497 | "", |
2469 | "\1\107\5\uffff\1\106", | 2498 | "\1\110\5\uffff\1\107", |
2470 | "\1\110", | ||
2471 | "\1\111", | 2499 | "\1\111", |
2472 | "\1\113\3\uffff\1\112", | 2500 | "\1\112", |
2473 | "\1\115\2\uffff\1\114", | 2501 | "\1\114\3\uffff\1\113", |
2474 | "\1\117", | 2502 | "\1\116\2\uffff\1\115", |
2475 | "\1\121", | 2503 | "\1\120", |
2476 | "\1\123", | 2504 | "\1\122", |
2477 | "\1\125", | 2505 | "\1\124", |
2506 | "\1\126", | ||
2478 | "", | 2507 | "", |
2479 | "\1\130", | 2508 | "\1\131", |
2480 | "\1\132", | 2509 | "\1\133", |
2481 | "", | 2510 | "", |
2482 | "", | 2511 | "", |
2483 | "", | 2512 | "", |
2484 | "", | 2513 | "", |
2485 | "\1\137", | ||
2486 | "\1\140", | 2514 | "\1\140", |
2515 | "\1\141", | ||
2516 | "\1\142", | ||
2487 | "", | 2517 | "", |
2488 | "", | 2518 | "", |
2489 | "\1\144\17\uffff\1\143", | 2519 | "\1\146\17\uffff\1\145", |
2490 | "\1\145", | 2520 | "\1\147", |
2491 | "\1\146", | 2521 | "\1\150", |
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 | "\1\154", | 2529 | "\1\156", |
2500 | "\1\156\22\uffff\1\155", | 2530 | "\1\160\22\uffff\1\157", |
2501 | "\1\157", | 2531 | "\1\161", |
2502 | "", | 2532 | "", |
2503 | "", | 2533 | "", |
2504 | "", | 2534 | "", |
2505 | "", | 2535 | "", |
2506 | "\1\160", | ||
2507 | "\1\161", | ||
2508 | "\1\162", | 2536 | "\1\162", |
2509 | "\1\163", | 2537 | "\1\163", |
2510 | "\1\165\12\uffff\1\164", | 2538 | "\1\164", |
2511 | "\1\166", | 2539 | "\1\165", |
2512 | "\1\167", | 2540 | "\1\167\12\uffff\1\166", |
2513 | "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | 2541 | "\1\170", |
2514 | "\1\171", | 2542 | "\1\171", |
2515 | "\1\172", | 2543 | "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57", |
2516 | "\1\173", | 2544 | "\1\173", |
2545 | "\1\174", | ||
2546 | "\1\175", | ||
2517 | "", | 2547 | "", |
2518 | "", | 2548 | "", |
2519 | "", | 2549 | "", |
2520 | "", | 2550 | "", |
2521 | "\1\174", | ||
2522 | "\1\175", | ||
2523 | "\1\176", | 2551 | "\1\176", |
2524 | "", | ||
2525 | "", | ||
2526 | "\1\177", | 2552 | "\1\177", |
2527 | "\1\u0080", | 2553 | "\1\u0080", |
2528 | "\1\u0081\2\uffff\1\u0082", | ||
2529 | "", | 2554 | "", |
2530 | "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | ||
2531 | "\1\u0084", | ||
2532 | "\1\u0085", | ||
2533 | "", | 2555 | "", |
2556 | "\1\u0081", | ||
2557 | "\1\u0082", | ||
2558 | "\1\u0083\2\uffff\1\u0084", | ||
2534 | "", | 2559 | "", |
2560 | "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57", | ||
2561 | "\1\u0086", | ||
2562 | "\1\u0087", | ||
2535 | "", | 2563 | "", |
2536 | "", | 2564 | "", |
2537 | "", | 2565 | "", |
@@ -2543,98 +2571,103 @@ public class InternalAlloyLanguageLexer extends Lexer { | |||
2543 | "", | 2571 | "", |
2544 | "", | 2572 | "", |
2545 | "", | 2573 | "", |
2546 | "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\15\56\1\u0088\5\56\1\u0087\6\56", | ||
2547 | "", | 2574 | "", |
2548 | "", | 2575 | "", |
2576 | "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\15\57\1\u008a\5\57\1\u0089\6\57", | ||
2549 | "", | 2577 | "", |
2550 | "", | 2578 | "", |
2551 | "\1\u008a", | ||
2552 | "\1\u008b", | ||
2553 | "", | 2579 | "", |
2554 | "", | 2580 | "", |
2555 | "\1\u008c", | 2581 | "\1\u008c", |
2556 | "\1\u008d", | 2582 | "\1\u008d", |
2557 | "\1\u008e", | 2583 | "\1\u008e", |
2584 | "", | ||
2585 | "", | ||
2558 | "\1\u008f", | 2586 | "\1\u008f", |
2587 | "\1\u0090", | ||
2588 | "\1\u0091", | ||
2589 | "\1\u0092", | ||
2559 | "", | 2590 | "", |
2560 | "", | 2591 | "", |
2561 | "", | 2592 | "", |
2562 | "", | 2593 | "", |
2563 | "", | 2594 | "", |
2564 | "\1\u0090", | ||
2565 | "\1\u0091", | ||
2566 | "\1\u0092", | ||
2567 | "\1\u0093", | 2595 | "\1\u0093", |
2568 | "\1\u0094", | 2596 | "\1\u0094", |
2569 | "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | 2597 | "\1\u0095", |
2570 | "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | 2598 | "\1\u0096", |
2571 | "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | 2599 | "\1\u0097", |
2572 | "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | 2600 | "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57", |
2573 | "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | 2601 | "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57", |
2574 | "\1\u009a", | 2602 | "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57", |
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 | "", | 2604 | "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57", |
2577 | "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | ||
2578 | "\1\u009d", | 2605 | "\1\u009d", |
2579 | "\1\u009e", | 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 | "", |
2608 | "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57", | ||
2581 | "\1\u00a0", | 2609 | "\1\u00a0", |
2582 | "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | 2610 | "\1\u00a1", |
2583 | "\1\u00a2", | 2611 | "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57", |
2584 | "\1\u00a3", | 2612 | "\1\u00a3", |
2585 | "\1\u00a4", | 2613 | "\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", | 2614 | "\1\u00a5", |
2615 | "\1\u00a6", | ||
2616 | "\1\u00a7", | ||
2617 | "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57", | ||
2587 | "", | 2618 | "", |
2588 | "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | 2619 | "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57", |
2589 | "", | 2620 | "", |
2590 | "", | 2621 | "", |
2591 | "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | 2622 | "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57", |
2592 | "\1\u00a8", | 2623 | "\1\u00ab", |
2593 | "", | 2624 | "", |
2594 | "\1\u00a9", | 2625 | "\1\u00ac", |
2595 | "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | 2626 | "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57", |
2596 | "\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", |
2597 | "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | 2628 | "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57", |
2598 | "\1\u00ad", | 2629 | "\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", | ||
2600 | "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | ||
2601 | "\1\u00b0", | ||
2602 | "\1\u00b1", | 2630 | "\1\u00b1", |
2603 | "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | 2631 | "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57", |
2604 | "\1\u00b3", | 2632 | "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57", |
2633 | "\1\u00b4", | ||
2634 | "\1\u00b5", | ||
2635 | "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57", | ||
2636 | "\1\u00b7", | ||
2605 | "", | 2637 | "", |
2606 | "", | 2638 | "", |
2607 | "", | 2639 | "", |
2608 | "", | 2640 | "", |
2609 | "", | 2641 | "", |
2610 | "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | 2642 | "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57", |
2611 | "", | 2643 | "", |
2612 | "", | 2644 | "", |
2613 | "\1\u00b5", | 2645 | "\1\u00b9", |
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 | "", | 2647 | "", |
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 | "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | 2650 | "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57", |
2619 | "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | 2651 | "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57", |
2620 | "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | 2652 | "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57", |
2621 | "", | 2653 | "", |
2622 | "", | 2654 | "", |
2623 | "", | 2655 | "", |
2624 | "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | 2656 | "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57", |
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 | "", |
2659 | "\1\u00c1", | ||
2627 | "", | 2660 | "", |
2628 | "", | 2661 | "", |
2629 | "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | 2662 | "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57", |
2630 | "", | 2663 | "", |
2631 | "", | 2664 | "", |
2632 | "\1\u00be", | 2665 | "\1\u00c3", |
2633 | "\1\u00bf", | 2666 | "\1\u00c4", |
2634 | "", | 2667 | "", |
2635 | "\1\u00c0", | 2668 | "\1\u00c5", |
2636 | "", | 2669 | "", |
2637 | "\1\u00c1", | 2670 | "\1\u00c6", |
2638 | "", | 2671 | "", |
2639 | "", | 2672 | "", |
2640 | "", | 2673 | "", |
@@ -2642,18 +2675,21 @@ public class InternalAlloyLanguageLexer extends Lexer { | |||
2642 | "", | 2675 | "", |
2643 | "", | 2676 | "", |
2644 | "", | 2677 | "", |
2678 | "\1\u00c7", | ||
2645 | "", | 2679 | "", |
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\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | ||
2652 | "\1\u00c8", | 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\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57", | ||
2687 | "\1\u00cf", | ||
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 | "", | 2691 | "", |
2656 | "\1\56\4\uffff\1\56\10\uffff\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | 2692 | "\1\57\4\uffff\1\57\10\uffff\12\57\7\uffff\32\57\4\uffff\1\57\1\uffff\32\57", |
2657 | "", | 2693 | "", |
2658 | "" | 2694 | "" |
2659 | }; | 2695 | }; |
@@ -2688,13 +2724,23 @@ 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 : |
2734 | int LA11_40 = input.LA(1); | ||
2735 | |||
2736 | s = -1; | ||
2737 | if ( ((LA11_40>='\u0000' && LA11_40<='\uFFFF')) ) {s = 106;} | ||
2738 | |||
2739 | else s = 43; | ||
2740 | |||
2741 | if ( s>=0 ) return s; | ||
2742 | break; | ||
2743 | case 1 : | ||
2698 | int LA11_0 = input.LA(1); | 2744 | int LA11_0 = input.LA(1); |
2699 | 2745 | ||
2700 | s = -1; | 2746 | s = -1; |
@@ -2758,39 +2804,31 @@ public class InternalAlloyLanguageLexer extends Lexer { | |||
2758 | 2804 | ||
2759 | else if ( (LA11_0=='I') ) {s = 30;} | 2805 | else if ( (LA11_0=='I') ) {s = 30;} |
2760 | 2806 | ||
2761 | else if ( (LA11_0=='(') ) {s = 31;} | 2807 | else if ( (LA11_0=='S') ) {s = 31;} |
2762 | 2808 | ||
2763 | else if ( (LA11_0==')') ) {s = 32;} | 2809 | else if ( (LA11_0=='(') ) {s = 32;} |
2764 | 2810 | ||
2765 | else if ( (LA11_0=='r') ) {s = 33;} | 2811 | else if ( (LA11_0==')') ) {s = 33;} |
2766 | 2812 | ||
2767 | else if ( (LA11_0=='l') ) {s = 34;} | 2813 | else if ( (LA11_0=='r') ) {s = 34;} |
2768 | 2814 | ||
2769 | else if ( (LA11_0=='m') ) {s = 35;} | 2815 | else if ( (LA11_0=='l') ) {s = 35;} |
2770 | 2816 | ||
2771 | 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;} | 2817 | else if ( (LA11_0=='m') ) {s = 36;} |
2772 | 2818 | ||
2773 | else if ( ((LA11_0>='0' && LA11_0<='9')) ) {s = 37;} | 2819 | 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;} |
2774 | 2820 | ||
2775 | else if ( (LA11_0=='\"') ) {s = 38;} | 2821 | else if ( ((LA11_0>='0' && LA11_0<='9')) ) {s = 38;} |
2776 | 2822 | ||
2777 | else if ( (LA11_0=='\'') ) {s = 39;} | 2823 | else if ( (LA11_0=='\"') ) {s = 39;} |
2778 | 2824 | ||
2779 | else if ( (LA11_0=='/') ) {s = 40;} | 2825 | else if ( (LA11_0=='\'') ) {s = 40;} |
2780 | 2826 | ||
2781 | else if ( ((LA11_0>='\t' && LA11_0<='\n')||LA11_0=='\r'||LA11_0==' ') ) {s = 41;} | 2827 | else if ( (LA11_0=='/') ) {s = 41;} |
2782 | 2828 | ||
2783 | 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;} | 2829 | else if ( ((LA11_0>='\t' && LA11_0<='\n')||LA11_0=='\r'||LA11_0==' ') ) {s = 42;} |
2784 | |||
2785 | if ( s>=0 ) return s; | ||
2786 | break; | ||
2787 | case 1 : | ||
2788 | int LA11_38 = input.LA(1); | ||
2789 | |||
2790 | s = -1; | ||
2791 | if ( ((LA11_38>='\u0000' && LA11_38<='\uFFFF')) ) {s = 104;} | ||
2792 | 2830 | ||
2793 | else s = 42; | 2831 | 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;} |
2794 | 2832 | ||
2795 | if ( s>=0 ) return s; | 2833 | if ( s>=0 ) return s; |
2796 | break; | 2834 | break; |
@@ -2798,9 +2836,9 @@ public class InternalAlloyLanguageLexer extends Lexer { | |||
2798 | int LA11_39 = input.LA(1); | 2836 | int LA11_39 = input.LA(1); |
2799 | 2837 | ||
2800 | s = -1; | 2838 | s = -1; |
2801 | if ( ((LA11_39>='\u0000' && LA11_39<='\uFFFF')) ) {s = 104;} | 2839 | if ( ((LA11_39>='\u0000' && LA11_39<='\uFFFF')) ) {s = 106;} |
2802 | 2840 | ||
2803 | else s = 42; | 2841 | else s = 43; |
2804 | 2842 | ||
2805 | if ( s>=0 ) return s; | 2843 | if ( s>=0 ) return s; |
2806 | break; | 2844 | break; |