diff options
author | Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-06 00:27:55 +0200 |
---|---|---|
committer | Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-06 00:27:55 +0200 |
commit | 820151b6d27643ba0927ca84d1bccadbd695a55d (patch) | |
tree | 9d3a5786b7f90723a6af967875f861a89e5b897e /Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguage.g | |
parent | color update (diff) | |
download | VIATRA-Generator-820151b6d27643ba0927ca84d1bccadbd695a55d.tar.gz VIATRA-Generator-820151b6d27643ba0927ca84d1bccadbd695a55d.tar.zst VIATRA-Generator-820151b6d27643ba0927ca84d1bccadbd695a55d.zip |
PS language update
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.g | 530 |
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 | ||
1220 | entryRulePredicateSymbol returns [EObject current=null]: | ||
1221 | { newCompositeNode(grammarAccess.getPredicateSymbolRule()); } | ||
1222 | iv_rulePredicateSymbol=rulePredicateSymbol | ||
1223 | { $current=$iv_rulePredicateSymbol.current; } | ||
1224 | EOF; | ||
1225 | |||
1226 | // Rule PredicateSymbol | ||
1227 | rulePredicateSymbol 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 | ||
1350 | entryRuleErrorPredicate returns [EObject current=null]: | ||
1351 | { newCompositeNode(grammarAccess.getErrorPredicateRule()); } | ||
1352 | iv_ruleErrorPredicate=ruleErrorPredicate | ||
1353 | { $current=$iv_ruleErrorPredicate.current; } | ||
1354 | EOF; | ||
1355 | |||
1356 | // Rule ErrorPredicate | ||
1357 | ruleErrorPredicate 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()); |