diff options
author | 2020-06-23 15:17:00 +0200 | |
---|---|---|
committer | 2020-06-23 15:17:00 +0200 | |
commit | 42c58bbeead1dae09c51f47abc8e10dfbb9c3f9f (patch) | |
tree | 21d49c3a1dadc54dda399a4b8cfe8dc028563f51 /Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/contentassist | |
parent | Measurements framework fixes (diff) | |
download | VIATRA-Generator-42c58bbeead1dae09c51f47abc8e10dfbb9c3f9f.tar.gz VIATRA-Generator-42c58bbeead1dae09c51f47abc8e10dfbb9c3f9f.tar.zst VIATRA-Generator-42c58bbeead1dae09c51f47abc8e10dfbb9c3f9f.zip |
New configuration language parser WIP
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/contentassist')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/contentassist/AbstractSolverLanguageProposalProvider.java | 288 |
1 files changed, 174 insertions, 114 deletions
diff --git a/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/contentassist/AbstractSolverLanguageProposalProvider.java b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/contentassist/AbstractSolverLanguageProposalProvider.java index 5ee4eb1b..cfbb9a5d 100644 --- a/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/contentassist/AbstractSolverLanguageProposalProvider.java +++ b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/contentassist/AbstractSolverLanguageProposalProvider.java | |||
@@ -18,9 +18,27 @@ import org.eclipse.xtext.ui.editor.contentassist.ICompletionProposalAcceptor; | |||
18 | */ | 18 | */ |
19 | public abstract class AbstractSolverLanguageProposalProvider extends TerminalsProposalProvider { | 19 | public abstract class AbstractSolverLanguageProposalProvider extends TerminalsProposalProvider { |
20 | 20 | ||
21 | public void completeProblem_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
22 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
23 | } | ||
24 | public void completeProblem_Imports(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
25 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
26 | } | ||
21 | public void completeProblem_Statements(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 27 | public void completeProblem_Statements(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
22 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 28 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
23 | } | 29 | } |
30 | public void completeUriImport_Uri(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
31 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
32 | } | ||
33 | public void completeUriImport_Alias(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
34 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
35 | } | ||
36 | public void completeNamespaceImport_ImportedNamespace(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
37 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
38 | } | ||
39 | public void completeNamespaceImport_Alias(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
40 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
41 | } | ||
24 | public void completeAssertionOrDefinition_Range(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 42 | public void completeAssertionOrDefinition_Range(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
25 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 43 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
26 | } | 44 | } |
@@ -39,88 +57,97 @@ public abstract class AbstractSolverLanguageProposalProvider extends TerminalsPr | |||
39 | public void completePredicateDefinition_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 57 | public void completePredicateDefinition_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
40 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 58 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
41 | } | 59 | } |
42 | public void completeUnnamedErrorPrediateDefinition_ArgumentList(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 60 | public void completeUnnamedErrorPredicateDefintion_ArgumentList(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
43 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 61 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
44 | } | 62 | } |
45 | public void completeUnnamedErrorPrediateDefinition_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 63 | public void completeUnnamedErrorPredicateDefintion_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
46 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 64 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
47 | } | 65 | } |
48 | public void completeDefaultDefinition_Head(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 66 | public void completeDefaultAssertion_Expression(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
49 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 67 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
50 | } | 68 | } |
51 | public void completeDefaultDefinition_Range(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 69 | public void completeDefaultAssertion_Range(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
52 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 70 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
53 | } | 71 | } |
54 | public void completeMetricDefinition_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 72 | public void completeFunctionDefinition_ResultType(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
55 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | 73 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); |
56 | } | 74 | } |
57 | public void completeMetricDefinition_Head(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 75 | public void completeFunctionDefinition_Head(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
58 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 76 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
59 | } | 77 | } |
60 | public void completeMetricDefinition_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 78 | public void completeFunctionDefinition_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
61 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 79 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
62 | } | 80 | } |
63 | public void completeExternPredicateDefinition_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 81 | public void completeTypeReference_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
64 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 82 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); |
83 | } | ||
84 | public void completeTypeReference_ForceObjectType(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
85 | // subclasses may override | ||
65 | } | 86 | } |
66 | public void completeExternPredicateDefinition_ArgumentList(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 87 | public void completeAttribute_Kind(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
67 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 88 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
68 | } | 89 | } |
69 | public void completeExternMetricDefinition_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 90 | public void completeAttribute_Target(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
70 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | 91 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); |
71 | } | 92 | } |
72 | public void completeExternMetricDefinition_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 93 | public void completeExternPredicateDeclaration_Functional(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
94 | // subclasses may override | ||
95 | } | ||
96 | public void completeExternPredicateDeclaration_Error(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
97 | // subclasses may override | ||
98 | } | ||
99 | public void completeExternPredicateDeclaration_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
73 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 100 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
74 | } | 101 | } |
75 | public void completeExternMetricDefinition_ArgumentList(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 102 | public void completeExternPredicateDeclaration_ArgumentList(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
76 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 103 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
77 | } | 104 | } |
78 | public void completeExternAggregatorDefinition_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 105 | public void completeExternFunctionDeclaration_ResultType(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
79 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | 106 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); |
80 | } | 107 | } |
81 | public void completeExternAggregatorDefinition_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 108 | public void completeExternFunctionDeclaration_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
82 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 109 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
83 | } | 110 | } |
84 | public void completeExternAggregatorDefinition_InputType(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 111 | public void completeExternFunctionDeclaration_ArgumentList(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
85 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | ||
86 | } | ||
87 | public void completeExternDatatypeDefinition_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
88 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 112 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
89 | } | 113 | } |
90 | public void completeExternDatatypeDefinition_Supertypes(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 114 | public void completeExternAggregationOperatorDeclaration_ResultType(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
91 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | 115 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); |
92 | } | 116 | } |
93 | public void completeVariable_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 117 | public void completeExternAggregationOperatorDeclaration_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
118 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
119 | } | ||
120 | public void completeExternAggregationOperatorDeclaration_ArgumentType(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
94 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | 121 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); |
95 | } | 122 | } |
96 | public void completeVariable_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 123 | public void completeExternDatatypeDeclaration_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
97 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 124 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
98 | } | 125 | } |
99 | public void completeIfElse_Condition(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 126 | public void completeExpression_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
100 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 127 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
101 | } | 128 | } |
102 | public void completeIfElse_Then(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 129 | public void completeConditionalExpression_Condition(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
103 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 130 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
104 | } | 131 | } |
105 | public void completeIfElse_Else(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 132 | public void completeConditionalExpression_Then(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
106 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 133 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
107 | } | 134 | } |
108 | public void completeLet_Bindings(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 135 | public void completeConditionalExpression_Else(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
109 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 136 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
110 | } | 137 | } |
111 | public void completeLet_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 138 | public void completeLetExpression_Bindings(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
112 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 139 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
113 | } | 140 | } |
114 | public void completeLetBinding_Variable(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 141 | public void completeLetExpression_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
115 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 142 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
116 | } | 143 | } |
117 | public void completeLetBinding_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 144 | public void completeLetBinding_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
118 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 145 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); |
119 | } | 146 | } |
120 | public void completeImplicationExpression_Op(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 147 | public void completeLetBinding_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
121 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 148 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
122 | } | 149 | } |
123 | public void completeImplicationExpression_Right(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 150 | public void completeLetBinding_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
124 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 151 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
125 | } | 152 | } |
126 | public void completeDisjunctiveExpression_Children(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 153 | public void completeDisjunctiveExpression_Children(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
@@ -165,7 +192,7 @@ public abstract class AbstractSolverLanguageProposalProvider extends TerminalsPr | |||
165 | public void completeExponentialExpression_Right(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 192 | public void completeExponentialExpression_Right(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
166 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 193 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
167 | } | 194 | } |
168 | public void completeCastExpression_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 195 | public void completeCastExpression_TargetType(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
169 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | 196 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); |
170 | } | 197 | } |
171 | public void completeUnaryExpression_Op(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 198 | public void completeUnaryExpression_Op(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
@@ -174,59 +201,53 @@ public abstract class AbstractSolverLanguageProposalProvider extends TerminalsPr | |||
174 | public void completeUnaryExpression_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 201 | public void completeUnaryExpression_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
175 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 202 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
176 | } | 203 | } |
177 | public void completeLocalVariables_Variables(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 204 | public void completeAggregation_Op(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
178 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 205 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); |
179 | } | ||
180 | public void completeQuantifiedExpression_Quantifier(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
181 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
182 | } | 206 | } |
183 | public void completeQuantifiedExpression_LocalVariables(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 207 | public void completeAggregation_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
184 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 208 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
185 | } | 209 | } |
186 | public void completeQuantifiedExpression_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 210 | public void completeAggregation_Condition(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
187 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 211 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
188 | } | 212 | } |
189 | public void completeAggregation_Op(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 213 | public void completeCount_Condition(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
190 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | ||
191 | } | ||
192 | public void completeAggregation_LocalVariables(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
193 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 214 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
194 | } | 215 | } |
195 | public void completeAggregation_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 216 | public void completeCall_Functor(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
196 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 217 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
197 | } | 218 | } |
198 | public void completeAggregation_Condition(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 219 | public void completeCall_ArgumentList(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
199 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 220 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
200 | } | 221 | } |
201 | public void completeCall_Functor(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 222 | public void completeArgumentList_Arguments(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
202 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 223 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
203 | } | 224 | } |
204 | public void completeCall_TransitiveClosure(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 225 | public void completeExpressionArgument_Expression(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
205 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 226 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
206 | } | 227 | } |
207 | public void completeCall_ReflexiveTransitiveClosure(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 228 | public void completeTypedVariableArgument_TypeReference(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
208 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 229 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
209 | } | 230 | } |
210 | public void completeCall_ArgumentList(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 231 | public void completeTypedVariableArgument_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
211 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 232 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
212 | } | 233 | } |
213 | public void completeArgumentList_Arguments(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 234 | public void completeTypedStarArgument_TypeReference(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
214 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 235 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
215 | } | 236 | } |
216 | public void completeExpressionArgument_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 237 | public void completeReference_Components(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
217 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 238 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
218 | } | 239 | } |
219 | public void completeTypedArgument_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 240 | public void completePathComponent_Inverse(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
220 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | 241 | // subclasses may override |
221 | } | 242 | } |
222 | public void completeTypedArgument_Variable(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 243 | public void completePathComponent_Symbol(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
223 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | 244 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); |
224 | } | 245 | } |
225 | public void completeTypedStarArgument_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 246 | public void completePathComponent_TransitiveClosure(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
226 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | 247 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
227 | } | 248 | } |
228 | public void completeReference_Referred(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 249 | public void completePathComponent_ReflexiveTransitiveClosure(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
229 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | 250 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
230 | } | 251 | } |
231 | public void completeInterval_LowerBound(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 252 | public void completeInterval_LowerBound(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
232 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 253 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
@@ -237,40 +258,49 @@ public abstract class AbstractSolverLanguageProposalProvider extends TerminalsPr | |||
237 | public void completeLogicLiteral_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 258 | public void completeLogicLiteral_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
238 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 259 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
239 | } | 260 | } |
240 | public void completeNumericLiteral_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 261 | public void completeIntLiteral_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
262 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
263 | } | ||
264 | public void completeRealLiteral_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
241 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 265 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
242 | } | 266 | } |
243 | public void completeStringLiteral_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 267 | public void completeStringLiteral_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
244 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 268 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
245 | } | 269 | } |
246 | public void completeClassDefinition_Abstract(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 270 | public void completeClassDeclaration_Abstract(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
271 | // subclasses may override | ||
272 | } | ||
273 | public void completeClassDeclaration_Root(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
247 | // subclasses may override | 274 | // subclasses may override |
248 | } | 275 | } |
249 | public void completeClassDefinition_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 276 | public void completeClassDeclaration_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
250 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 277 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
251 | } | 278 | } |
252 | public void completeClassDefinition_Superclasses(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 279 | public void completeClassDeclaration_Supertypes(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
253 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | 280 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); |
254 | } | 281 | } |
255 | public void completeClassDefinition_Members(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 282 | public void completeClassDeclaration_Fields(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
256 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 283 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
257 | } | 284 | } |
258 | public void completeMemberDefinition_Containment(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 285 | public void completeField_Containment(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
259 | // subclasses may override | 286 | // subclasses may override |
260 | } | 287 | } |
261 | public void completeMemberDefinition_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 288 | public void completeField_CrossReference(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
289 | // subclasses may override | ||
290 | } | ||
291 | public void completeField_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
262 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | 292 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); |
263 | } | 293 | } |
264 | public void completeMemberDefinition_Multiplicity(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 294 | public void completeField_Multiplicity(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
265 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 295 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
266 | } | 296 | } |
267 | public void completeMemberDefinition_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 297 | public void completeField_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
268 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 298 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
269 | } | 299 | } |
270 | public void completeMemberDefinition_Opposite(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 300 | public void completeField_Opposite(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
271 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | 301 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); |
272 | } | 302 | } |
273 | public void completeExactMultiplicity_Multiplicity(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 303 | public void completeExactMultiplicity_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
274 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 304 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
275 | } | 305 | } |
276 | public void completeBoundedMultiplicity_LowerBound(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 306 | public void completeBoundedMultiplicity_LowerBound(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
@@ -279,31 +309,40 @@ public abstract class AbstractSolverLanguageProposalProvider extends TerminalsPr | |||
279 | public void completeBoundedMultiplicity_UpperBound(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 309 | public void completeBoundedMultiplicity_UpperBound(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
280 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 310 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
281 | } | 311 | } |
282 | public void completeExactScopeDefinition_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 312 | public void completeEnumDeclaration_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
313 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
314 | } | ||
315 | public void completeEnumDeclaration_Literals(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
316 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
317 | } | ||
318 | public void completeEnumLiteral_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
319 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
320 | } | ||
321 | public void completeExactScope_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
283 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | 322 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); |
284 | } | 323 | } |
285 | public void completeExactScopeDefinition_ExactScope(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 324 | public void completeExactScope_Size(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
286 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 325 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
287 | } | 326 | } |
288 | public void completeBoundedScopeDefinition_LowerBound(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 327 | public void completeBoundedScope_LowerBound(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
289 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 328 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
290 | } | 329 | } |
291 | public void completeBoundedScopeDefinition_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 330 | public void completeBoundedScope_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
292 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | 331 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); |
293 | } | 332 | } |
294 | public void completeBoundedScopeDefinition_UpperBound(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 333 | public void completeBoundedScope_UpperBound(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
295 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 334 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
296 | } | 335 | } |
297 | public void completeLowerBoundedScopeDefinition_LowerBound(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 336 | public void completeLowerBoundedScope_LowerBound(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
298 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 337 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
299 | } | 338 | } |
300 | public void completeLowerBoundedScopeDefinition_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 339 | public void completeLowerBoundedScope_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
301 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | 340 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); |
302 | } | 341 | } |
303 | public void completeObjectiveDefinition_Kind(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 342 | public void completeObjectiveDeclaration_Kind(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
304 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 343 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
305 | } | 344 | } |
306 | public void completeObjectiveDefinition_Objective(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 345 | public void completeObjectiveDeclaration_Objective(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
307 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 346 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
308 | } | 347 | } |
309 | 348 | ||
@@ -313,52 +352,64 @@ public abstract class AbstractSolverLanguageProposalProvider extends TerminalsPr | |||
313 | public void complete_Statement(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 352 | public void complete_Statement(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
314 | // subclasses may override | 353 | // subclasses may override |
315 | } | 354 | } |
355 | public void complete_Import(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
356 | // subclasses may override | ||
357 | } | ||
358 | public void complete_UriImport(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
359 | // subclasses may override | ||
360 | } | ||
361 | public void complete_NamespaceImport(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
362 | // subclasses may override | ||
363 | } | ||
316 | public void complete_AssertionOrDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 364 | public void complete_AssertionOrDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
317 | // subclasses may override | 365 | // subclasses may override |
318 | } | 366 | } |
319 | public void complete_PredicateDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 367 | public void complete_PredicateDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
320 | // subclasses may override | 368 | // subclasses may override |
321 | } | 369 | } |
322 | public void complete_UnnamedErrorPrediateDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 370 | public void complete_UnnamedErrorPredicateDefintion(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
323 | // subclasses may override | 371 | // subclasses may override |
324 | } | 372 | } |
325 | public void complete_DefaultDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 373 | public void complete_DefaultAssertion(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
326 | // subclasses may override | 374 | // subclasses may override |
327 | } | 375 | } |
328 | public void complete_MetricDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 376 | public void complete_FunctionDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
329 | // subclasses may override | 377 | // subclasses may override |
330 | } | 378 | } |
331 | public void complete_ExternPredicateDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 379 | public void complete_TypeReference(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
332 | // subclasses may override | 380 | // subclasses may override |
333 | } | 381 | } |
334 | public void complete_ExternMetricDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 382 | public void complete_AttributeKind(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
335 | // subclasses may override | 383 | // subclasses may override |
336 | } | 384 | } |
337 | public void complete_ExternAggregatorDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 385 | public void complete_Attribute(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
338 | // subclasses may override | 386 | // subclasses may override |
339 | } | 387 | } |
340 | public void complete_ExternDatatypeDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 388 | public void complete_ExternDeclaration(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
341 | // subclasses may override | 389 | // subclasses may override |
342 | } | 390 | } |
343 | public void complete_Variable(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 391 | public void complete_ExternPredicateDeclaration(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
344 | // subclasses may override | 392 | // subclasses may override |
345 | } | 393 | } |
346 | public void complete_Expression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 394 | public void complete_ExternFunctionDeclaration(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
347 | // subclasses may override | 395 | // subclasses may override |
348 | } | 396 | } |
349 | public void complete_IfElse(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 397 | public void complete_ExternAggregationOperatorDeclaration(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
350 | // subclasses may override | 398 | // subclasses may override |
351 | } | 399 | } |
352 | public void complete_Let(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 400 | public void complete_ExternDatatypeDeclaration(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
353 | // subclasses may override | 401 | // subclasses may override |
354 | } | 402 | } |
355 | public void complete_LetBinding(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 403 | public void complete_Expression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
356 | // subclasses may override | 404 | // subclasses may override |
357 | } | 405 | } |
358 | public void complete_ImplicationOperator(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 406 | public void complete_ConditionalExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
359 | // subclasses may override | 407 | // subclasses may override |
360 | } | 408 | } |
361 | public void complete_ImplicationExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 409 | public void complete_LetExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
410 | // subclasses may override | ||
411 | } | ||
412 | public void complete_LetBinding(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
362 | // subclasses may override | 413 | // subclasses may override |
363 | } | 414 | } |
364 | public void complete_DisjunctiveExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 415 | public void complete_DisjunctiveExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
@@ -397,25 +448,19 @@ public abstract class AbstractSolverLanguageProposalProvider extends TerminalsPr | |||
397 | public void complete_CastExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 448 | public void complete_CastExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
398 | // subclasses may override | 449 | // subclasses may override |
399 | } | 450 | } |
400 | public void complete_UnaryOp(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 451 | public void complete_UnaryOperator(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
401 | // subclasses may override | 452 | // subclasses may override |
402 | } | 453 | } |
403 | public void complete_UnaryExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 454 | public void complete_UnaryExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
404 | // subclasses may override | 455 | // subclasses may override |
405 | } | 456 | } |
406 | public void complete_AggregationExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 457 | public void complete_BracedAggregateExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
407 | // subclasses may override | 458 | // subclasses may override |
408 | } | 459 | } |
409 | public void complete_LocalVariables(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 460 | public void complete_Aggregation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
410 | // subclasses may override | ||
411 | } | ||
412 | public void complete_Quantifier(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
413 | // subclasses may override | ||
414 | } | ||
415 | public void complete_QuantifiedExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
416 | // subclasses may override | 461 | // subclasses may override |
417 | } | 462 | } |
418 | public void complete_Aggregation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 463 | public void complete_Count(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
419 | // subclasses may override | 464 | // subclasses may override |
420 | } | 465 | } |
421 | public void complete_AtomicExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 466 | public void complete_AtomicExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
@@ -436,7 +481,7 @@ public abstract class AbstractSolverLanguageProposalProvider extends TerminalsPr | |||
436 | public void complete_StarArgument(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 481 | public void complete_StarArgument(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
437 | // subclasses may override | 482 | // subclasses may override |
438 | } | 483 | } |
439 | public void complete_TypedArgument(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 484 | public void complete_TypedVariableArgument(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
440 | // subclasses may override | 485 | // subclasses may override |
441 | } | 486 | } |
442 | public void complete_TypedStarArgument(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 487 | public void complete_TypedStarArgument(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
@@ -445,6 +490,9 @@ public abstract class AbstractSolverLanguageProposalProvider extends TerminalsPr | |||
445 | public void complete_Reference(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 490 | public void complete_Reference(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
446 | // subclasses may override | 491 | // subclasses may override |
447 | } | 492 | } |
493 | public void complete_PathComponent(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
494 | // subclasses may override | ||
495 | } | ||
448 | public void complete_Interval(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 496 | public void complete_Interval(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
449 | // subclasses may override | 497 | // subclasses may override |
450 | } | 498 | } |
@@ -457,28 +505,31 @@ public abstract class AbstractSolverLanguageProposalProvider extends TerminalsPr | |||
457 | public void complete_LogicLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 505 | public void complete_LogicLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
458 | // subclasses may override | 506 | // subclasses may override |
459 | } | 507 | } |
460 | public void complete_NumericLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 508 | public void complete_IntLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
509 | // subclasses may override | ||
510 | } | ||
511 | public void complete_RealLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
461 | // subclasses may override | 512 | // subclasses may override |
462 | } | 513 | } |
463 | public void complete_InfinityLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 514 | public void complete_InfinityLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
464 | // subclasses may override | 515 | // subclasses may override |
465 | } | 516 | } |
466 | public void complete_EmptyIntervalLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 517 | public void complete_EmptyLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
467 | // subclasses may override | 518 | // subclasses may override |
468 | } | 519 | } |
469 | public void complete_StringLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 520 | public void complete_StringLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
470 | // subclasses may override | 521 | // subclasses may override |
471 | } | 522 | } |
472 | public void complete_ClassDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 523 | public void complete_ClassDeclaration(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
473 | // subclasses may override | 524 | // subclasses may override |
474 | } | 525 | } |
475 | public void complete_MemberDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 526 | public void complete_Field(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
476 | // subclasses may override | 527 | // subclasses may override |
477 | } | 528 | } |
478 | public void complete_Multiplicity(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 529 | public void complete_Multiplicity(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
479 | // subclasses may override | 530 | // subclasses may override |
480 | } | 531 | } |
481 | public void complete_ManyMultiplicity(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 532 | public void complete_UnboundedMultiplicity(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
482 | // subclasses may override | 533 | // subclasses may override |
483 | } | 534 | } |
484 | public void complete_ExactMultiplicity(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 535 | public void complete_ExactMultiplicity(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
@@ -487,22 +538,28 @@ public abstract class AbstractSolverLanguageProposalProvider extends TerminalsPr | |||
487 | public void complete_BoundedMultiplicity(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 538 | public void complete_BoundedMultiplicity(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
488 | // subclasses may override | 539 | // subclasses may override |
489 | } | 540 | } |
490 | public void complete_ScopeDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 541 | public void complete_EnumDeclaration(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
491 | // subclasses may override | 542 | // subclasses may override |
492 | } | 543 | } |
493 | public void complete_ExactScopeDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 544 | public void complete_EnumLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
494 | // subclasses may override | 545 | // subclasses may override |
495 | } | 546 | } |
496 | public void complete_BoundedScopeDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 547 | public void complete_ScopeDeclaration(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
497 | // subclasses may override | 548 | // subclasses may override |
498 | } | 549 | } |
499 | public void complete_LowerBoundedScopeDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 550 | public void complete_ExactScope(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
551 | // subclasses may override | ||
552 | } | ||
553 | public void complete_BoundedScope(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
554 | // subclasses may override | ||
555 | } | ||
556 | public void complete_LowerBoundedScope(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
500 | // subclasses may override | 557 | // subclasses may override |
501 | } | 558 | } |
502 | public void complete_ObjectiveKind(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 559 | public void complete_ObjectiveKind(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
503 | // subclasses may override | 560 | // subclasses may override |
504 | } | 561 | } |
505 | public void complete_ObjectiveDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 562 | public void complete_ObjectiveDeclaration(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
506 | // subclasses may override | 563 | // subclasses may override |
507 | } | 564 | } |
508 | public void complete_UpperMultiplicty(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 565 | public void complete_UpperMultiplicty(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
@@ -511,6 +568,9 @@ public abstract class AbstractSolverLanguageProposalProvider extends TerminalsPr | |||
511 | public void complete_Real(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 568 | public void complete_Real(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
512 | // subclasses may override | 569 | // subclasses may override |
513 | } | 570 | } |
571 | public void complete_QualifiedNameSegment(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
572 | // subclasses may override | ||
573 | } | ||
514 | public void complete_QualifiedName(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 574 | public void complete_QualifiedName(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
515 | // subclasses may override | 575 | // subclasses may override |
516 | } | 576 | } |