aboutsummaryrefslogtreecommitdiffstats
path: root/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguage.g
diff options
context:
space:
mode:
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguage.g')
-rw-r--r--Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguage.g530
1 files changed, 232 insertions, 298 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguage.g b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguage.g
index afd73c2d..501e2e59 100644
--- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguage.g
+++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguage.g
@@ -410,43 +410,72 @@ ruleBasicInterpretation returns [EObject current=null]
410 } 410 }
411 ) 411 )
412 ) 412 )
413 otherlv_1='('
414 {
415 newLeafNode(otherlv_1, grammarAccess.getBasicInterpretationAccess().getLeftParenthesisKeyword_1());
416 }
417 ( 413 (
414 otherlv_1='('
415 {
416 newLeafNode(otherlv_1, grammarAccess.getBasicInterpretationAccess().getLeftParenthesisKeyword_1_0());
417 }
418 ( 418 (
419 { 419 (
420 newCompositeNode(grammarAccess.getBasicInterpretationAccess().getObjectsComplexObjectParserRuleCall_2_0()); 420 (
421 } 421 {
422 lv_objects_2_0=ruleComplexObject 422 newCompositeNode(grammarAccess.getBasicInterpretationAccess().getObjectsComplexObjectParserRuleCall_1_1_0_0());
423 { 423 }
424 if ($current==null) { 424 lv_objects_2_0=ruleComplexObject
425 $current = createModelElementForParent(grammarAccess.getBasicInterpretationRule()); 425 {
426 if ($current==null) {
427 $current = createModelElementForParent(grammarAccess.getBasicInterpretationRule());
428 }
429 add(
430 $current,
431 "objects",
432 lv_objects_2_0,
433 "org.eclipse.viatra.solver.language.SolverLanguage.ComplexObject");
434 afterParserOrEnumRuleCall();
435 }
436 )
437 )
438 (
439 otherlv_3=','
440 {
441 newLeafNode(otherlv_3, grammarAccess.getBasicInterpretationAccess().getCommaKeyword_1_1_1_0());
426 } 442 }
427 add( 443 (
428 $current, 444 (
429 "objects", 445 {
430 lv_objects_2_0, 446 newCompositeNode(grammarAccess.getBasicInterpretationAccess().getObjectsComplexObjectParserRuleCall_1_1_1_1_0());
431 "org.eclipse.viatra.solver.language.SolverLanguage.ComplexObject"); 447 }
432 afterParserOrEnumRuleCall(); 448 lv_objects_4_0=ruleComplexObject
433 } 449 {
434 ) 450 if ($current==null) {
435 )* 451 $current = createModelElementForParent(grammarAccess.getBasicInterpretationRule());
436 otherlv_3=')' 452 }
437 { 453 add(
438 newLeafNode(otherlv_3, grammarAccess.getBasicInterpretationAccess().getRightParenthesisKeyword_3()); 454 $current,
439 } 455 "objects",
440 otherlv_4=':' 456 lv_objects_4_0,
457 "org.eclipse.viatra.solver.language.SolverLanguage.ComplexObject");
458 afterParserOrEnumRuleCall();
459 }
460 )
461 )
462 )*
463 )?
464 otherlv_5=')'
465 {
466 newLeafNode(otherlv_5, grammarAccess.getBasicInterpretationAccess().getRightParenthesisKeyword_1_2());
467 }
468 )?
469 otherlv_6=':'
441 { 470 {
442 newLeafNode(otherlv_4, grammarAccess.getBasicInterpretationAccess().getColonKeyword_4()); 471 newLeafNode(otherlv_6, grammarAccess.getBasicInterpretationAccess().getColonKeyword_2());
443 } 472 }
444 ( 473 (
445 ( 474 (
446 { 475 {
447 newCompositeNode(grammarAccess.getBasicInterpretationAccess().getValueTruthValueParserRuleCall_5_0()); 476 newCompositeNode(grammarAccess.getBasicInterpretationAccess().getValueTruthValueParserRuleCall_3_0());
448 } 477 }
449 lv_value_5_0=ruleTruthValue 478 lv_value_7_0=ruleTruthValue
450 { 479 {
451 if ($current==null) { 480 if ($current==null) {
452 $current = createModelElementForParent(grammarAccess.getBasicInterpretationRule()); 481 $current = createModelElementForParent(grammarAccess.getBasicInterpretationRule());
@@ -454,7 +483,7 @@ ruleBasicInterpretation returns [EObject current=null]
454 set( 483 set(
455 $current, 484 $current,
456 "value", 485 "value",
457 lv_value_5_0, 486 lv_value_7_0,
458 "org.eclipse.viatra.solver.language.SolverLanguage.TruthValue"); 487 "org.eclipse.viatra.solver.language.SolverLanguage.TruthValue");
459 afterParserOrEnumRuleCall(); 488 afterParserOrEnumRuleCall();
460 } 489 }
@@ -1196,279 +1225,144 @@ rulePredicate returns [EObject current=null]
1196 leaveRule(); 1225 leaveRule();
1197}: 1226}:
1198 ( 1227 (
1199 {
1200 newCompositeNode(grammarAccess.getPredicateAccess().getPredicateSymbolParserRuleCall_0());
1201 }
1202 this_PredicateSymbol_0=rulePredicateSymbol
1203 {
1204 $current = $this_PredicateSymbol_0.current;
1205 afterParserOrEnumRuleCall();
1206 }
1207 |
1208 {
1209 newCompositeNode(grammarAccess.getPredicateAccess().getErrorPredicateParserRuleCall_1());
1210 }
1211 this_ErrorPredicate_1=ruleErrorPredicate
1212 {
1213 $current = $this_ErrorPredicate_1.current;
1214 afterParserOrEnumRuleCall();
1215 }
1216 )
1217;
1218
1219// Entry rule entryRulePredicateSymbol
1220entryRulePredicateSymbol returns [EObject current=null]:
1221 { newCompositeNode(grammarAccess.getPredicateSymbolRule()); }
1222 iv_rulePredicateSymbol=rulePredicateSymbol
1223 { $current=$iv_rulePredicateSymbol.current; }
1224 EOF;
1225
1226// Rule PredicateSymbol
1227rulePredicateSymbol returns [EObject current=null]
1228@init {
1229 enterRule();
1230}
1231@after {
1232 leaveRule();
1233}:
1234 (
1235 otherlv_0='predicate'
1236 {
1237 newLeafNode(otherlv_0, grammarAccess.getPredicateSymbolAccess().getPredicateKeyword_0());
1238 }
1239 ( 1228 (
1240 ( 1229 (
1230 lv_isError_0_0='error'
1241 { 1231 {
1242 newCompositeNode(grammarAccess.getPredicateSymbolAccess().getSymbolModelSymbolParserRuleCall_1_0()); 1232 newLeafNode(lv_isError_0_0, grammarAccess.getPredicateAccess().getIsErrorErrorKeyword_0_0());
1243 } 1233 }
1244 lv_symbol_1_0=ruleModelSymbol
1245 { 1234 {
1246 if ($current==null) { 1235 if ($current==null) {
1247 $current = createModelElementForParent(grammarAccess.getPredicateSymbolRule()); 1236 $current = createModelElement(grammarAccess.getPredicateRule());
1248 } 1237 }
1249 set( 1238 setWithLastConsumed($current, "isError", true, "error");
1250 $current,
1251 "symbol",
1252 lv_symbol_1_0,
1253 "org.eclipse.viatra.solver.language.SolverLanguage.ModelSymbol");
1254 afterParserOrEnumRuleCall();
1255 } 1239 }
1256 ) 1240 )
1257 ) 1241 )?
1258 otherlv_2='('
1259 {
1260 newLeafNode(otherlv_2, grammarAccess.getPredicateSymbolAccess().getLeftParenthesisKeyword_2());
1261 }
1262 ( 1242 (
1263 ( 1243 (
1264 { 1244 {
1265 newCompositeNode(grammarAccess.getPredicateSymbolAccess().getParametersParameterParserRuleCall_3_0()); 1245 newCompositeNode(grammarAccess.getPredicateAccess().getSymbolModelSymbolParserRuleCall_1_0());
1266 } 1246 }
1267 lv_parameters_3_0=ruleParameter 1247 lv_symbol_1_0=ruleModelSymbol
1268 { 1248 {
1269 if ($current==null) { 1249 if ($current==null) {
1270 $current = createModelElementForParent(grammarAccess.getPredicateSymbolRule()); 1250 $current = createModelElementForParent(grammarAccess.getPredicateRule());
1271 } 1251 }
1272 add( 1252 set(
1273 $current, 1253 $current,
1274 "parameters", 1254 "symbol",
1275 lv_parameters_3_0, 1255 lv_symbol_1_0,
1276 "org.eclipse.viatra.solver.language.SolverLanguage.Parameter"); 1256 "org.eclipse.viatra.solver.language.SolverLanguage.ModelSymbol");
1277 afterParserOrEnumRuleCall(); 1257 afterParserOrEnumRuleCall();
1278 } 1258 }
1279 ) 1259 )
1280 )* 1260 )
1281 otherlv_4=')'
1282 {
1283 newLeafNode(otherlv_4, grammarAccess.getPredicateSymbolAccess().getRightParenthesisKeyword_4());
1284 }
1285 otherlv_5=':'
1286 {
1287 newLeafNode(otherlv_5, grammarAccess.getPredicateSymbolAccess().getColonKeyword_5());
1288 }
1289 ( 1261 (
1290 otherlv_6='false' 1262 otherlv_2='('
1291 { 1263 {
1292 newLeafNode(otherlv_6, grammarAccess.getPredicateSymbolAccess().getFalseKeyword_6_0()); 1264 newLeafNode(otherlv_2, grammarAccess.getPredicateAccess().getLeftParenthesisKeyword_2_0());
1293 } 1265 }
1294 |
1295 ( 1266 (
1296 ( 1267 (
1297 ( 1268 (
1298 { 1269 {
1299 newCompositeNode(grammarAccess.getPredicateSymbolAccess().getBodiesPatternBodyParserRuleCall_6_1_0_0()); 1270 newCompositeNode(grammarAccess.getPredicateAccess().getParametersParameterParserRuleCall_2_1_0_0());
1300 } 1271 }
1301 lv_bodies_7_0=rulePatternBody 1272 lv_parameters_3_0=ruleParameter
1302 { 1273 {
1303 if ($current==null) { 1274 if ($current==null) {
1304 $current = createModelElementForParent(grammarAccess.getPredicateSymbolRule()); 1275 $current = createModelElementForParent(grammarAccess.getPredicateRule());
1305 } 1276 }
1306 add( 1277 add(
1307 $current, 1278 $current,
1308 "bodies", 1279 "parameters",
1309 lv_bodies_7_0, 1280 lv_parameters_3_0,
1310 "org.eclipse.viatra.solver.language.SolverLanguage.PatternBody"); 1281 "org.eclipse.viatra.solver.language.SolverLanguage.Parameter");
1311 afterParserOrEnumRuleCall(); 1282 afterParserOrEnumRuleCall();
1312 } 1283 }
1313 ) 1284 )
1314 ) 1285 )
1315 ( 1286 (
1316 otherlv_8='|' 1287 otherlv_4=','
1317 { 1288 {
1318 newLeafNode(otherlv_8, grammarAccess.getPredicateSymbolAccess().getVerticalLineKeyword_6_1_1_0()); 1289 newLeafNode(otherlv_4, grammarAccess.getPredicateAccess().getCommaKeyword_2_1_1_0());
1319 } 1290 }
1320 ( 1291 (
1321 ( 1292 (
1322 { 1293 {
1323 newCompositeNode(grammarAccess.getPredicateSymbolAccess().getBodiesPatternBodyParserRuleCall_6_1_1_1_0()); 1294 newCompositeNode(grammarAccess.getPredicateAccess().getParametersParameterParserRuleCall_2_1_1_1_0());
1324 } 1295 }
1325 lv_bodies_9_0=rulePatternBody 1296 lv_parameters_5_0=ruleParameter
1326 { 1297 {
1327 if ($current==null) { 1298 if ($current==null) {
1328 $current = createModelElementForParent(grammarAccess.getPredicateSymbolRule()); 1299 $current = createModelElementForParent(grammarAccess.getPredicateRule());
1329 } 1300 }
1330 add( 1301 add(
1331 $current, 1302 $current,
1332 "bodies", 1303 "parameters",
1333 lv_bodies_9_0, 1304 lv_parameters_5_0,
1334 "org.eclipse.viatra.solver.language.SolverLanguage.PatternBody"); 1305 "org.eclipse.viatra.solver.language.SolverLanguage.Parameter");
1335 afterParserOrEnumRuleCall(); 1306 afterParserOrEnumRuleCall();
1336 } 1307 }
1337 ) 1308 )
1338 ) 1309 )
1339 )* 1310 )*
1340 ) 1311 )?
1341 ) 1312 otherlv_6=')'
1342 otherlv_10='.'
1343 {
1344 newLeafNode(otherlv_10, grammarAccess.getPredicateSymbolAccess().getFullStopKeyword_7());
1345 }
1346 )
1347;
1348
1349// Entry rule entryRuleErrorPredicate
1350entryRuleErrorPredicate returns [EObject current=null]:
1351 { newCompositeNode(grammarAccess.getErrorPredicateRule()); }
1352 iv_ruleErrorPredicate=ruleErrorPredicate
1353 { $current=$iv_ruleErrorPredicate.current; }
1354 EOF;
1355
1356// Rule ErrorPredicate
1357ruleErrorPredicate returns [EObject current=null]
1358@init {
1359 enterRule();
1360}
1361@after {
1362 leaveRule();
1363}:
1364 (
1365 (
1366 { 1313 {
1367 $current = forceCreateModelElement( 1314 newLeafNode(otherlv_6, grammarAccess.getPredicateAccess().getRightParenthesisKeyword_2_2());
1368 grammarAccess.getErrorPredicateAccess().getErrorPredicateAction_0(),
1369 $current);
1370 } 1315 }
1371 )
1372 otherlv_1='error'
1373 {
1374 newLeafNode(otherlv_1, grammarAccess.getErrorPredicateAccess().getErrorKeyword_1());
1375 }
1376 (
1377 (
1378 lv_name_2_0=RULE_ID
1379 {
1380 newLeafNode(lv_name_2_0, grammarAccess.getErrorPredicateAccess().getNameIDTerminalRuleCall_2_0());
1381 }
1382 {
1383 if ($current==null) {
1384 $current = createModelElement(grammarAccess.getErrorPredicateRule());
1385 }
1386 setWithLastConsumed(
1387 $current,
1388 "name",
1389 lv_name_2_0,
1390 "org.eclipse.xtext.common.Terminals.ID");
1391 }
1392 )
1393 )? 1316 )?
1394 ( 1317 otherlv_7=':-'
1395 otherlv_3='('
1396 {
1397 newLeafNode(otherlv_3, grammarAccess.getErrorPredicateAccess().getLeftParenthesisKeyword_3_0());
1398 }
1399 (
1400 (
1401 {
1402 newCompositeNode(grammarAccess.getErrorPredicateAccess().getParametersParameterParserRuleCall_3_1_0());
1403 }
1404 lv_parameters_4_0=ruleParameter
1405 {
1406 if ($current==null) {
1407 $current = createModelElementForParent(grammarAccess.getErrorPredicateRule());
1408 }
1409 add(
1410 $current,
1411 "parameters",
1412 lv_parameters_4_0,
1413 "org.eclipse.viatra.solver.language.SolverLanguage.Parameter");
1414 afterParserOrEnumRuleCall();
1415 }
1416 )
1417 )*
1418 otherlv_5=')'
1419 {
1420 newLeafNode(otherlv_5, grammarAccess.getErrorPredicateAccess().getRightParenthesisKeyword_3_2());
1421 }
1422 )
1423 otherlv_6=':'
1424 { 1318 {
1425 newLeafNode(otherlv_6, grammarAccess.getErrorPredicateAccess().getColonKeyword_4()); 1319 newLeafNode(otherlv_7, grammarAccess.getPredicateAccess().getColonHyphenMinusKeyword_3());
1426 } 1320 }
1427 ( 1321 (
1428 otherlv_7='false' 1322 otherlv_8='false'
1429 { 1323 {
1430 newLeafNode(otherlv_7, grammarAccess.getErrorPredicateAccess().getFalseKeyword_5_0()); 1324 newLeafNode(otherlv_8, grammarAccess.getPredicateAccess().getFalseKeyword_4_0());
1431 } 1325 }
1432 | 1326 |
1433 ( 1327 (
1434 ( 1328 (
1435 ( 1329 (
1436 { 1330 {
1437 newCompositeNode(grammarAccess.getErrorPredicateAccess().getBodiesPatternBodyParserRuleCall_5_1_0_0()); 1331 newCompositeNode(grammarAccess.getPredicateAccess().getBodiesPatternBodyParserRuleCall_4_1_0_0());
1438 } 1332 }
1439 lv_bodies_8_0=rulePatternBody 1333 lv_bodies_9_0=rulePatternBody
1440 { 1334 {
1441 if ($current==null) { 1335 if ($current==null) {
1442 $current = createModelElementForParent(grammarAccess.getErrorPredicateRule()); 1336 $current = createModelElementForParent(grammarAccess.getPredicateRule());
1443 } 1337 }
1444 add( 1338 add(
1445 $current, 1339 $current,
1446 "bodies", 1340 "bodies",
1447 lv_bodies_8_0, 1341 lv_bodies_9_0,
1448 "org.eclipse.viatra.solver.language.SolverLanguage.PatternBody"); 1342 "org.eclipse.viatra.solver.language.SolverLanguage.PatternBody");
1449 afterParserOrEnumRuleCall(); 1343 afterParserOrEnumRuleCall();
1450 } 1344 }
1451 ) 1345 )
1452 ) 1346 )
1453 ( 1347 (
1454 otherlv_9='|' 1348 otherlv_10='|'
1455 { 1349 {
1456 newLeafNode(otherlv_9, grammarAccess.getErrorPredicateAccess().getVerticalLineKeyword_5_1_1_0()); 1350 newLeafNode(otherlv_10, grammarAccess.getPredicateAccess().getVerticalLineKeyword_4_1_1_0());
1457 } 1351 }
1458 ( 1352 (
1459 ( 1353 (
1460 { 1354 {
1461 newCompositeNode(grammarAccess.getErrorPredicateAccess().getBodiesPatternBodyParserRuleCall_5_1_1_1_0()); 1355 newCompositeNode(grammarAccess.getPredicateAccess().getBodiesPatternBodyParserRuleCall_4_1_1_1_0());
1462 } 1356 }
1463 lv_bodies_10_0=rulePatternBody 1357 lv_bodies_11_0=rulePatternBody
1464 { 1358 {
1465 if ($current==null) { 1359 if ($current==null) {
1466 $current = createModelElementForParent(grammarAccess.getErrorPredicateRule()); 1360 $current = createModelElementForParent(grammarAccess.getPredicateRule());
1467 } 1361 }
1468 add( 1362 add(
1469 $current, 1363 $current,
1470 "bodies", 1364 "bodies",
1471 lv_bodies_10_0, 1365 lv_bodies_11_0,
1472 "org.eclipse.viatra.solver.language.SolverLanguage.PatternBody"); 1366 "org.eclipse.viatra.solver.language.SolverLanguage.PatternBody");
1473 afterParserOrEnumRuleCall(); 1367 afterParserOrEnumRuleCall();
1474 } 1368 }
@@ -1477,9 +1371,9 @@ ruleErrorPredicate returns [EObject current=null]
1477 )* 1371 )*
1478 ) 1372 )
1479 ) 1373 )
1480 otherlv_11='.' 1374 otherlv_12='.'
1481 { 1375 {
1482 newLeafNode(otherlv_11, grammarAccess.getErrorPredicateAccess().getFullStopKeyword_6()); 1376 newLeafNode(otherlv_12, grammarAccess.getPredicateAccess().getFullStopKeyword_5());
1483 } 1377 }
1484 ) 1378 )
1485; 1379;
@@ -1663,52 +1557,52 @@ ruleConstraint returns [EObject current=null]
1663 ( 1557 (
1664 ( 1558 (
1665 ( 1559 (
1666 { 1560 (
1667 newCompositeNode(grammarAccess.getConstraintAccess().getPolarityPolarityParserRuleCall_0_0()); 1561 {
1668 } 1562 newCompositeNode(grammarAccess.getConstraintAccess().getPolarityPolarityParserRuleCall_0_0_0());
1669 lv_polarity_0_0=rulePolarity
1670 {
1671 if ($current==null) {
1672 $current = createModelElementForParent(grammarAccess.getConstraintRule());
1673 } 1563 }
1674 set( 1564 lv_polarity_0_0=rulePolarity
1675 $current, 1565 {
1676 "polarity", 1566 if ($current==null) {
1677 lv_polarity_0_0, 1567 $current = createModelElementForParent(grammarAccess.getConstraintRule());
1678 "org.eclipse.viatra.solver.language.SolverLanguage.Polarity"); 1568 }
1679 afterParserOrEnumRuleCall(); 1569 set(
1680 } 1570 $current,
1681 ) 1571 "polarity",
1682 )? 1572 lv_polarity_0_0,
1683 ( 1573 "org.eclipse.viatra.solver.language.SolverLanguage.Polarity");
1574 afterParserOrEnumRuleCall();
1575 }
1576 )
1577 )?
1684 ( 1578 (
1685 { 1579 (
1686 newCompositeNode(grammarAccess.getConstraintAccess().getSymbolModelSymbolParserRuleCall_1_0()); 1580 {
1687 } 1581 newCompositeNode(grammarAccess.getConstraintAccess().getSymbolModelSymbolParserRuleCall_0_1_0());
1688 lv_symbol_1_0=ruleModelSymbol
1689 {
1690 if ($current==null) {
1691 $current = createModelElementForParent(grammarAccess.getConstraintRule());
1692 } 1582 }
1693 set( 1583 lv_symbol_1_0=ruleModelSymbol
1694 $current, 1584 {
1695 "symbol", 1585 if ($current==null) {
1696 lv_symbol_1_0, 1586 $current = createModelElementForParent(grammarAccess.getConstraintRule());
1697 "org.eclipse.viatra.solver.language.SolverLanguage.ModelSymbol"); 1587 }
1698 afterParserOrEnumRuleCall(); 1588 set(
1699 } 1589 $current,
1590 "symbol",
1591 lv_symbol_1_0,
1592 "org.eclipse.viatra.solver.language.SolverLanguage.ModelSymbol");
1593 afterParserOrEnumRuleCall();
1594 }
1595 )
1700 ) 1596 )
1701 )
1702 (
1703 ( 1597 (
1704 otherlv_2='(' 1598 otherlv_2='('
1705 { 1599 {
1706 newLeafNode(otherlv_2, grammarAccess.getConstraintAccess().getLeftParenthesisKeyword_2_0_0()); 1600 newLeafNode(otherlv_2, grammarAccess.getConstraintAccess().getLeftParenthesisKeyword_0_2_0());
1707 } 1601 }
1708 ( 1602 (
1709 ( 1603 (
1710 { 1604 {
1711 newCompositeNode(grammarAccess.getConstraintAccess().getParamsLiteralParserRuleCall_2_0_1_0()); 1605 newCompositeNode(grammarAccess.getConstraintAccess().getParamsLiteralParserRuleCall_0_2_1_0());
1712 } 1606 }
1713 lv_params_3_0=ruleLiteral 1607 lv_params_3_0=ruleLiteral
1714 { 1608 {
@@ -1723,62 +1617,93 @@ ruleConstraint returns [EObject current=null]
1723 afterParserOrEnumRuleCall(); 1617 afterParserOrEnumRuleCall();
1724 } 1618 }
1725 ) 1619 )
1726 )* 1620 )?
1727 otherlv_4=')'
1728 {
1729 newLeafNode(otherlv_4, grammarAccess.getConstraintAccess().getRightParenthesisKeyword_2_0_2());
1730 }
1731 )
1732 |
1733 (
1734 ( 1621 (
1622 otherlv_4=','
1623 {
1624 newLeafNode(otherlv_4, grammarAccess.getConstraintAccess().getCommaKeyword_0_2_2_0());
1625 }
1735 ( 1626 (
1736 { 1627 (
1737 newCompositeNode(grammarAccess.getConstraintAccess().getClosureTypeClosureTypeParserRuleCall_2_1_0_0()); 1628 {
1738 } 1629 newCompositeNode(grammarAccess.getConstraintAccess().getParamsLiteralParserRuleCall_0_2_2_1_0());
1739 lv_closureType_5_0=ruleClosureType
1740 {
1741 if ($current==null) {
1742 $current = createModelElementForParent(grammarAccess.getConstraintRule());
1743 } 1630 }
1744 set( 1631 lv_params_5_0=ruleLiteral
1745 $current, 1632 {
1746 "closureType", 1633 if ($current==null) {
1747 lv_closureType_5_0, 1634 $current = createModelElementForParent(grammarAccess.getConstraintRule());
1748 "org.eclipse.viatra.solver.language.SolverLanguage.ClosureType"); 1635 }
1749 afterParserOrEnumRuleCall(); 1636 add(
1750 } 1637 $current,
1638 "params",
1639 lv_params_5_0,
1640 "org.eclipse.viatra.solver.language.SolverLanguage.Literal");
1641 afterParserOrEnumRuleCall();
1642 }
1643 )
1751 ) 1644 )
1752 ) 1645 )*
1753 otherlv_6='(' 1646 otherlv_6=')'
1754 { 1647 {
1755 newLeafNode(otherlv_6, grammarAccess.getConstraintAccess().getLeftParenthesisKeyword_2_1_1()); 1648 newLeafNode(otherlv_6, grammarAccess.getConstraintAccess().getRightParenthesisKeyword_0_2_3());
1756 } 1649 }
1650 )?
1651 )
1652 |
1653 (
1654 (
1757 ( 1655 (
1758 ( 1656 {
1759 { 1657 newCompositeNode(grammarAccess.getConstraintAccess().getClosureTypeClosureTypeParserRuleCall_1_0_0());
1760 newCompositeNode(grammarAccess.getConstraintAccess().getParamsLiteralParserRuleCall_2_1_2_0()); 1658 }
1659 lv_closureType_7_0=ruleClosureType
1660 {
1661 if ($current==null) {
1662 $current = createModelElementForParent(grammarAccess.getConstraintRule());
1761 } 1663 }
1762 lv_params_7_0=ruleLiteral 1664 set(
1763 { 1665 $current,
1764 if ($current==null) { 1666 "closureType",
1765 $current = createModelElementForParent(grammarAccess.getConstraintRule()); 1667 lv_closureType_7_0,
1766 } 1668 "org.eclipse.viatra.solver.language.SolverLanguage.ClosureType");
1767 add( 1669 afterParserOrEnumRuleCall();
1768 $current, 1670 }
1769 "params", 1671 )
1770 lv_params_7_0, 1672 )
1771 "org.eclipse.viatra.solver.language.SolverLanguage.Literal"); 1673 otherlv_8='('
1772 afterParserOrEnumRuleCall(); 1674 {
1675 newLeafNode(otherlv_8, grammarAccess.getConstraintAccess().getLeftParenthesisKeyword_1_1());
1676 }
1677 (
1678 (
1679 {
1680 newCompositeNode(grammarAccess.getConstraintAccess().getParamsLiteralParserRuleCall_1_2_0());
1681 }
1682 lv_params_9_0=ruleLiteral
1683 {
1684 if ($current==null) {
1685 $current = createModelElementForParent(grammarAccess.getConstraintRule());
1773 } 1686 }
1774 ) 1687 add(
1688 $current,
1689 "params",
1690 lv_params_9_0,
1691 "org.eclipse.viatra.solver.language.SolverLanguage.Literal");
1692 afterParserOrEnumRuleCall();
1693 }
1775 ) 1694 )
1695 )?
1696 (
1697 otherlv_10=','
1698 {
1699 newLeafNode(otherlv_10, grammarAccess.getConstraintAccess().getCommaKeyword_1_3_0());
1700 }
1776 ( 1701 (
1777 ( 1702 (
1778 { 1703 {
1779 newCompositeNode(grammarAccess.getConstraintAccess().getParamsLiteralParserRuleCall_2_1_3_0()); 1704 newCompositeNode(grammarAccess.getConstraintAccess().getParamsLiteralParserRuleCall_1_3_1_0());
1780 } 1705 }
1781 lv_params_8_0=ruleLiteral 1706 lv_params_11_0=ruleLiteral
1782 { 1707 {
1783 if ($current==null) { 1708 if ($current==null) {
1784 $current = createModelElementForParent(grammarAccess.getConstraintRule()); 1709 $current = createModelElementForParent(grammarAccess.getConstraintRule());
@@ -1786,17 +1711,17 @@ ruleConstraint returns [EObject current=null]
1786 add( 1711 add(
1787 $current, 1712 $current,
1788 "params", 1713 "params",
1789 lv_params_8_0, 1714 lv_params_11_0,
1790 "org.eclipse.viatra.solver.language.SolverLanguage.Literal"); 1715 "org.eclipse.viatra.solver.language.SolverLanguage.Literal");
1791 afterParserOrEnumRuleCall(); 1716 afterParserOrEnumRuleCall();
1792 } 1717 }
1793 ) 1718 )
1794 ) 1719 )
1795 otherlv_9=')' 1720 )*
1796 { 1721 otherlv_12=')'
1797 newLeafNode(otherlv_9, grammarAccess.getConstraintAccess().getRightParenthesisKeyword_2_1_4()); 1722 {
1798 } 1723 newLeafNode(otherlv_12, grammarAccess.getConstraintAccess().getRightParenthesisKeyword_1_4());
1799 ) 1724 }
1800 ) 1725 )
1801 ) 1726 )
1802; 1727;
@@ -1880,6 +1805,15 @@ ruleLiteral returns [EObject current=null]
1880 $current = $this_DataObject_1.current; 1805 $current = $this_DataObject_1.current;
1881 afterParserOrEnumRuleCall(); 1806 afterParserOrEnumRuleCall();
1882 } 1807 }
1808 |
1809 {
1810 newCompositeNode(grammarAccess.getLiteralAccess().getNamedObjectParserRuleCall_2());
1811 }
1812 this_NamedObject_2=ruleNamedObject
1813 {
1814 $current = $this_NamedObject_2.current;
1815 afterParserOrEnumRuleCall();
1816 }
1883 ) 1817 )
1884; 1818;
1885 1819
@@ -2106,7 +2040,7 @@ ruleClassInterpretation returns [EObject current=null]
2106 setWithLastConsumed($current, "abstract", true, "abstract"); 2040 setWithLastConsumed($current, "abstract", true, "abstract");
2107 } 2041 }
2108 ) 2042 )
2109 ) 2043 )?
2110 otherlv_1='class' 2044 otherlv_1='class'
2111 { 2045 {
2112 newLeafNode(otherlv_1, grammarAccess.getClassInterpretationAccess().getClassKeyword_1()); 2046 newLeafNode(otherlv_1, grammarAccess.getClassInterpretationAccess().getClassKeyword_1());
@@ -2283,7 +2217,7 @@ ruleFieldRelationInterpretation returns [EObject current=null]
2283 setWithLastConsumed($current, "containment", true, "containment"); 2217 setWithLastConsumed($current, "containment", true, "containment");
2284 } 2218 }
2285 ) 2219 )
2286 ) 2220 )?
2287 ( 2221 (
2288 ( 2222 (
2289 { 2223 {
@@ -2377,7 +2311,7 @@ ruleGlobalRelationInterpretation returns [EObject current=null]
2377 setWithLastConsumed($current, "containment", true, "containment"); 2311 setWithLastConsumed($current, "containment", true, "containment");
2378 } 2312 }
2379 ) 2313 )
2380 ) 2314 )?
2381 otherlv_1='relation' 2315 otherlv_1='relation'
2382 { 2316 {
2383 newLeafNode(otherlv_1, grammarAccess.getGlobalRelationInterpretationAccess().getRelationKeyword_1()); 2317 newLeafNode(otherlv_1, grammarAccess.getGlobalRelationInterpretationAccess().getRelationKeyword_1());
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-29 11:29:58 +0000