diff options
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 | 54 |
1 files changed, 38 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 96bf62b2..6edaf50e 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 | |||
@@ -1116,14 +1116,25 @@ ruleVLSOtherDeclaration returns [EObject current=null] | |||
1116 | leaveRule(); | 1116 | leaveRule(); |
1117 | }: | 1117 | }: |
1118 | ( | 1118 | ( |
1119 | { | 1119 | ( |
1120 | newCompositeNode(grammarAccess.getVLSOtherDeclarationAccess().getVLSAtomicConstantParserRuleCall_0()); | 1120 | ( |
1121 | } | 1121 | { |
1122 | this_VLSAtomicConstant_0=ruleVLSAtomicConstant | 1122 | newCompositeNode(grammarAccess.getVLSOtherDeclarationAccess().getNameVLSAtomicConstantParserRuleCall_0_0()); |
1123 | { | 1123 | } |
1124 | $current = $this_VLSAtomicConstant_0.current; | 1124 | lv_name_0_0=ruleVLSAtomicConstant |
1125 | afterParserOrEnumRuleCall(); | 1125 | { |
1126 | } | 1126 | if ($current==null) { |
1127 | $current = createModelElementForParent(grammarAccess.getVLSOtherDeclarationRule()); | ||
1128 | } | ||
1129 | set( | ||
1130 | $current, | ||
1131 | "name", | ||
1132 | lv_name_0_0, | ||
1133 | "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSAtomicConstant"); | ||
1134 | afterParserOrEnumRuleCall(); | ||
1135 | } | ||
1136 | ) | ||
1137 | ) | ||
1127 | otherlv_1=':' | 1138 | otherlv_1=':' |
1128 | { | 1139 | { |
1129 | newLeafNode(otherlv_1, grammarAccess.getVLSOtherDeclarationAccess().getColonKeyword_1()); | 1140 | newLeafNode(otherlv_1, grammarAccess.getVLSOtherDeclarationAccess().getColonKeyword_1()); |
@@ -1166,14 +1177,25 @@ ruleVLSVariableDeclaration returns [EObject current=null] | |||
1166 | leaveRule(); | 1177 | leaveRule(); |
1167 | }: | 1178 | }: |
1168 | ( | 1179 | ( |
1169 | { | 1180 | ( |
1170 | newCompositeNode(grammarAccess.getVLSVariableDeclarationAccess().getVLSVariableParserRuleCall_0()); | 1181 | ( |
1171 | } | 1182 | { |
1172 | this_VLSVariable_0=ruleVLSVariable | 1183 | newCompositeNode(grammarAccess.getVLSVariableDeclarationAccess().getNameVLSVariableParserRuleCall_0_0()); |
1173 | { | 1184 | } |
1174 | $current = $this_VLSVariable_0.current; | 1185 | lv_name_0_0=ruleVLSVariable |
1175 | afterParserOrEnumRuleCall(); | 1186 | { |
1176 | } | 1187 | if ($current==null) { |
1188 | $current = createModelElementForParent(grammarAccess.getVLSVariableDeclarationRule()); | ||
1189 | } | ||
1190 | set( | ||
1191 | $current, | ||
1192 | "name", | ||
1193 | lv_name_0_0, | ||
1194 | "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSVariable"); | ||
1195 | afterParserOrEnumRuleCall(); | ||
1196 | } | ||
1197 | ) | ||
1198 | ) | ||
1177 | otherlv_1=':' | 1199 | otherlv_1=':' |
1178 | { | 1200 | { |
1179 | newLeafNode(otherlv_1, grammarAccess.getVLSVariableDeclarationAccess().getColonKeyword_1()); | 1201 | newLeafNode(otherlv_1, grammarAccess.getVLSVariableDeclarationAccess().getColonKeyword_1()); |