diff options
author | 2019-08-29 06:26:02 -0400 | |
---|---|---|
committer | 2019-08-29 06:26:02 -0400 | |
commit | 9ef9aef5ef8baa7e579d4eb4a5d27a7983f32c8b (patch) | |
tree | 0dd50253bffe482ae15f5b8c5fc46bbbad45f0e4 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner | |
parent | VAMPIRE: integrate local Vampire executeable #32 (diff) | |
download | VIATRA-Generator-9ef9aef5ef8baa7e579d4eb4a5d27a7983f32c8b.tar.gz VIATRA-Generator-9ef9aef5ef8baa7e579d4eb4a5d27a7983f32c8b.tar.zst VIATRA-Generator-9ef9aef5ef8baa7e579d4eb4a5d27a7983f32c8b.zip |
VAMPIRE: adapt grammar to Vampire solution + get model from text
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/AbstractVampireLanguageProposalProvider.java | 82 |
1 files changed, 44 insertions, 38 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/AbstractVampireLanguageProposalProvider.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/AbstractVampireLanguageProposalProvider.java index 8e11f8c7..d22b57df 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/AbstractVampireLanguageProposalProvider.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/AbstractVampireLanguageProposalProvider.java | |||
@@ -18,9 +18,6 @@ import org.eclipse.xtext.ui.editor.contentassist.ICompletionProposalAcceptor; | |||
18 | */ | 18 | */ |
19 | public abstract class AbstractVampireLanguageProposalProvider extends TerminalsProposalProvider { | 19 | public abstract class AbstractVampireLanguageProposalProvider extends TerminalsProposalProvider { |
20 | 20 | ||
21 | public void completeVampireModel_Includes(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
22 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
23 | } | ||
24 | public void completeVampireModel_Comments(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 21 | public void completeVampireModel_Comments(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
25 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 22 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
26 | } | 23 | } |
@@ -33,19 +30,10 @@ public abstract class AbstractVampireLanguageProposalProvider extends TerminalsP | |||
33 | public void completeVampireModel_Tfformulas(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 30 | public void completeVampireModel_Tfformulas(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
34 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 31 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
35 | } | 32 | } |
36 | public void completeVLSInclude_FileName(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 33 | public void completeVLSComment_Comment(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
37 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 34 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
38 | } | 35 | } |
39 | public void completeVLSInclude_Names(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 36 | public void completeVLSConfirmations_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
40 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
41 | } | ||
42 | public void completeVLSName_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
43 | completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(0)), context, acceptor); | ||
44 | completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(1)), context, acceptor); | ||
45 | completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(2)), context, acceptor); | ||
46 | completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(3)), context, acceptor); | ||
47 | } | ||
48 | public void completeVLSComment_Comment(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
49 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 37 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
50 | } | 38 | } |
51 | public void completeVLSFofFormula_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 39 | public void completeVLSFofFormula_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
@@ -63,11 +51,9 @@ public abstract class AbstractVampireLanguageProposalProvider extends TerminalsP | |||
63 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 51 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
64 | } | 52 | } |
65 | public void completeVLSTffFormula_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 53 | public void completeVLSTffFormula_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
66 | completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(0)), context, acceptor); | 54 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
67 | completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(1)), context, acceptor); | ||
68 | completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(2)), context, acceptor); | ||
69 | } | 55 | } |
70 | public void completeVLSTffFormula_FofRole(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 56 | public void completeVLSTffFormula_TffRole(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
71 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 57 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
72 | } | 58 | } |
73 | public void completeVLSTffFormula_FofFormula(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 59 | public void completeVLSTffFormula_FofFormula(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
@@ -87,17 +73,37 @@ public abstract class AbstractVampireLanguageProposalProvider extends TerminalsP | |||
87 | public void completeVLSAnnotationTerms_Terms(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 73 | public void completeVLSAnnotationTerms_Terms(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
88 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 74 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
89 | } | 75 | } |
76 | public void completeVLSOtherDeclaration_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
77 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
78 | } | ||
79 | public void completeVLSVariableDeclaration_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
80 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
81 | } | ||
82 | public void completeVLSTypeDef_TypeSig(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
83 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
84 | } | ||
85 | public void completeVLSTypeDef_MapsTo(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
86 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
87 | } | ||
88 | public void completeVLSUnitaryTerm_InitType(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
89 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
90 | } | ||
91 | public void completeVLSUnitaryTerm_NextType(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
92 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
93 | } | ||
90 | public void completeVLSBinary_Right(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 94 | public void completeVLSBinary_Right(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
91 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 95 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
92 | } | 96 | } |
93 | public void completeVLSUniversalQuantifier_Variables(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 97 | public void completeVLSUniversalQuantifier_Variables(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
94 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 98 | completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(0)), context, acceptor); |
99 | completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(1)), context, acceptor); | ||
95 | } | 100 | } |
96 | public void completeVLSUniversalQuantifier_Operand(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 101 | public void completeVLSUniversalQuantifier_Operand(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
97 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 102 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
98 | } | 103 | } |
99 | public void completeVLSExistentialQuantifier_Variables(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 104 | public void completeVLSExistentialQuantifier_Variables(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
100 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 105 | completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(0)), context, acceptor); |
106 | completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(1)), context, acceptor); | ||
101 | } | 107 | } |
102 | public void completeVLSExistentialQuantifier_Operand(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 108 | public void completeVLSExistentialQuantifier_Operand(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
103 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 109 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
@@ -177,58 +183,58 @@ public abstract class AbstractVampireLanguageProposalProvider extends TerminalsP | |||
177 | public void complete_SIGNED_LITERAL(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 183 | public void complete_SIGNED_LITERAL(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
178 | // subclasses may override | 184 | // subclasses may override |
179 | } | 185 | } |
180 | public void complete_UNSIGNED_REAL_FRAC_ID(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 186 | public void complete_SINGLE_COMMENT(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
181 | // subclasses may override | 187 | // subclasses may override |
182 | } | 188 | } |
183 | public void complete_UNSIGNED_REAL_EXP_ID(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 189 | public void complete_VLSComment(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
184 | // subclasses may override | 190 | // subclasses may override |
185 | } | 191 | } |
186 | public void complete_SIGNED_REAL_ID(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 192 | public void complete_VLSConfirmations(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
187 | // subclasses may override | 193 | // subclasses may override |
188 | } | 194 | } |
189 | public void complete_UNSIGNED_RAT_ID(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 195 | public void complete_VLSFofFormula(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
190 | // subclasses may override | 196 | // subclasses may override |
191 | } | 197 | } |
192 | public void complete_SIGNED_RAT_ID(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 198 | public void complete_VLSTffFormula(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
193 | // subclasses may override | 199 | // subclasses may override |
194 | } | 200 | } |
195 | public void complete_ID(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 201 | public void complete_VLSTffName(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
196 | // subclasses may override | 202 | // subclasses may override |
197 | } | 203 | } |
198 | public void complete_ANY_OTHER(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 204 | public void complete_VLSTffDistinct(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
199 | // subclasses may override | 205 | // subclasses may override |
200 | } | 206 | } |
201 | public void complete_SINGLE_COMMENT(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 207 | public void complete_VLSTffFinite(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
202 | // subclasses may override | 208 | // subclasses may override |
203 | } | 209 | } |
204 | public void complete_VLSInclude(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 210 | public void complete_VLSTffDeclPred(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
205 | // subclasses may override | 211 | // subclasses may override |
206 | } | 212 | } |
207 | public void complete_VLSName(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 213 | public void complete_VLSRole(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
208 | // subclasses may override | 214 | // subclasses may override |
209 | } | 215 | } |
210 | public void complete_VLSComment(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 216 | public void complete_VLSAnnotation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
211 | // subclasses may override | 217 | // subclasses may override |
212 | } | 218 | } |
213 | public void complete_VLSConfirmations(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 219 | public void complete_VLSAnnotationTerms(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
214 | // subclasses may override | 220 | // subclasses may override |
215 | } | 221 | } |
216 | public void complete_VLSSatisfiable(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 222 | public void complete_VLSTffTerm(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
217 | // subclasses may override | 223 | // subclasses may override |
218 | } | 224 | } |
219 | public void complete_VLSFofFormula(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 225 | public void complete_VLSDeclaration(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
220 | // subclasses may override | 226 | // subclasses may override |
221 | } | 227 | } |
222 | public void complete_VLSTffFormula(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 228 | public void complete_VLSOtherDeclaration(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
223 | // subclasses may override | 229 | // subclasses may override |
224 | } | 230 | } |
225 | public void complete_VLSRole(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 231 | public void complete_VLSVariableDeclaration(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
226 | // subclasses may override | 232 | // subclasses may override |
227 | } | 233 | } |
228 | public void complete_VLSAnnotation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 234 | public void complete_VLSTypeDef(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
229 | // subclasses may override | 235 | // subclasses may override |
230 | } | 236 | } |
231 | public void complete_VLSAnnotationTerms(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 237 | public void complete_VLSUnitaryTerm(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
232 | // subclasses may override | 238 | // subclasses may override |
233 | } | 239 | } |
234 | public void complete_VLSTerm(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 240 | public void complete_VLSTerm(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |