diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-10-07 00:35:42 -0400 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:42:47 -0400 |
commit | b503c81bee920c18806af25393d0a90b8f77dba6 (patch) | |
tree | 9b70f606bfa7fa450457c04714e045e5ac5f6199 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguage.g | |
parent | VAMPIRE: fix model generation (diff) | |
download | VIATRA-Generator-b503c81bee920c18806af25393d0a90b8f77dba6.tar.gz VIATRA-Generator-b503c81bee920c18806af25393d0a90b8f77dba6.tar.zst VIATRA-Generator-b503c81bee920c18806af25393d0a90b8f77dba6.zip |
VAMPIRE: Implement Vampire measurement code
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 | 44 |
1 files changed, 44 insertions, 0 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 6edaf50e..231a525b 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 | |||
@@ -1061,6 +1061,50 @@ ruleVLSTffTerm returns [EObject current=null] | |||
1061 | $current = $this_VLSDeclaration_1.current; | 1061 | $current = $this_VLSDeclaration_1.current; |
1062 | afterParserOrEnumRuleCall(); | 1062 | afterParserOrEnumRuleCall(); |
1063 | } | 1063 | } |
1064 | | | ||
1065 | { | ||
1066 | newCompositeNode(grammarAccess.getVLSTffTermAccess().getVLSCommentTermParserRuleCall_2()); | ||
1067 | } | ||
1068 | this_VLSCommentTerm_2=ruleVLSCommentTerm | ||
1069 | { | ||
1070 | $current = $this_VLSCommentTerm_2.current; | ||
1071 | afterParserOrEnumRuleCall(); | ||
1072 | } | ||
1073 | ) | ||
1074 | ; | ||
1075 | |||
1076 | // Entry rule entryRuleVLSCommentTerm | ||
1077 | entryRuleVLSCommentTerm returns [EObject current=null]: | ||
1078 | { newCompositeNode(grammarAccess.getVLSCommentTermRule()); } | ||
1079 | iv_ruleVLSCommentTerm=ruleVLSCommentTerm | ||
1080 | { $current=$iv_ruleVLSCommentTerm.current; } | ||
1081 | EOF; | ||
1082 | |||
1083 | // Rule VLSCommentTerm | ||
1084 | ruleVLSCommentTerm returns [EObject current=null] | ||
1085 | @init { | ||
1086 | enterRule(); | ||
1087 | } | ||
1088 | @after { | ||
1089 | leaveRule(); | ||
1090 | }: | ||
1091 | ( | ||
1092 | ( | ||
1093 | lv_comment_0_0=RULE_SINGLE_COMMENT | ||
1094 | { | ||
1095 | newLeafNode(lv_comment_0_0, grammarAccess.getVLSCommentTermAccess().getCommentSINGLE_COMMENTTerminalRuleCall_0()); | ||
1096 | } | ||
1097 | { | ||
1098 | if ($current==null) { | ||
1099 | $current = createModelElement(grammarAccess.getVLSCommentTermRule()); | ||
1100 | } | ||
1101 | setWithLastConsumed( | ||
1102 | $current, | ||
1103 | "comment", | ||
1104 | lv_comment_0_0, | ||
1105 | "ca.mcgill.ecse.dslreasoner.VampireLanguage.SINGLE_COMMENT"); | ||
1106 | } | ||
1107 | ) | ||
1064 | ) | 1108 | ) |
1065 | ; | 1109 | ; |
1066 | 1110 | ||