diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-01-16 01:41:23 -0500 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:06:27 -0400 |
commit | 07073f142e982a1b9fb08255c8eb74d18dbf7a34 (patch) | |
tree | c9c4220ab68a21ef7652a5aef2f76146f00f9fb0 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguage.g | |
parent | Initial workspace setup (diff) | |
download | VIATRA-Generator-07073f142e982a1b9fb08255c8eb74d18dbf7a34.tar.gz VIATRA-Generator-07073f142e982a1b9fb08255c8eb74d18dbf7a34.tar.zst VIATRA-Generator-07073f142e982a1b9fb08255c8eb74d18dbf7a34.zip |
FAM MM transformation works
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguage.g')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguage.g | 38 |
1 files changed, 22 insertions, 16 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguage.g b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguage.g index 2819b307..aa14179a 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguage.g +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguage.g | |||
@@ -331,21 +331,27 @@ ruleVLSComment returns [EObject current=null] | |||
331 | leaveRule(); | 331 | leaveRule(); |
332 | }: | 332 | }: |
333 | ( | 333 | ( |
334 | otherlv_0='%' | ||
335 | { | ||
336 | newLeafNode(otherlv_0, grammarAccess.getVLSCommentAccess().getPercentSignKeyword_0()); | ||
337 | } | ||
334 | ( | 338 | ( |
335 | lv_comment_0_0=RULE_SINGLE_COMMENT | 339 | ( |
336 | { | 340 | lv_comment_1_0=RULE_SINGLE_COMMENT |
337 | newLeafNode(lv_comment_0_0, grammarAccess.getVLSCommentAccess().getCommentSINGLE_COMMENTTerminalRuleCall_0()); | 341 | { |
338 | } | 342 | newLeafNode(lv_comment_1_0, grammarAccess.getVLSCommentAccess().getCommentSINGLE_COMMENTTerminalRuleCall_1_0()); |
339 | { | ||
340 | if ($current==null) { | ||
341 | $current = createModelElement(grammarAccess.getVLSCommentRule()); | ||
342 | } | 343 | } |
343 | setWithLastConsumed( | 344 | { |
344 | $current, | 345 | if ($current==null) { |
345 | "comment", | 346 | $current = createModelElement(grammarAccess.getVLSCommentRule()); |
346 | lv_comment_0_0, | 347 | } |
347 | "ca.mcgill.ecse.dslreasoner.VampireLanguage.SINGLE_COMMENT"); | 348 | setWithLastConsumed( |
348 | } | 349 | $current, |
350 | "comment", | ||
351 | lv_comment_1_0, | ||
352 | "ca.mcgill.ecse.dslreasoner.VampireLanguage.SINGLE_COMMENT"); | ||
353 | } | ||
354 | ) | ||
349 | ) | 355 | ) |
350 | ) | 356 | ) |
351 | ; | 357 | ; |
@@ -2652,11 +2658,11 @@ fragment RULE_UNSIGNED_RAT_ID : RULE_LITERAL '/' '1'..'9' RULE_INT?; | |||
2652 | 2658 | ||
2653 | RULE_SIGNED_RAT_ID : RULE_SIGN* RULE_UNSIGNED_RAT_ID; | 2659 | RULE_SIGNED_RAT_ID : RULE_SIGN* RULE_UNSIGNED_RAT_ID; |
2654 | 2660 | ||
2655 | fragment RULE_ANY_OTHER : '%' ~(('\n'|'\r'))* '\r'; | 2661 | fragment RULE_ID : ~(('\n'|'\r'))*; |
2656 | 2662 | ||
2657 | RULE_SINGLE_COMMENT : RULE_ANY_OTHER; | 2663 | fragment RULE_ANY_OTHER : RULE_ID; |
2658 | 2664 | ||
2659 | RULE_ID : '^'? ('a'..'z'|'A'..'Z'|'_') ('a'..'z'|'A'..'Z'|'_'|'0'..'9')*; | 2665 | RULE_SINGLE_COMMENT : RULE_ANY_OTHER; |
2660 | 2666 | ||
2661 | fragment RULE_INT : ('0'..'9')+; | 2667 | fragment RULE_INT : ('0'..'9')+; |
2662 | 2668 | ||