diff options
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver')
5 files changed, 266 insertions, 94 deletions
diff --git a/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/AbstractSolverLanguageUiModule.java b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/AbstractSolverLanguageUiModule.java index cff29f76..e0206f6a 100644 --- a/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/AbstractSolverLanguageUiModule.java +++ b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/AbstractSolverLanguageUiModule.java | |||
@@ -1,5 +1,5 @@ | |||
1 | /* | 1 | /* |
2 | * generated by Xtext 2.18.0.M3 | 2 | * generated by Xtext 2.21.0 |
3 | */ | 3 | */ |
4 | package org.eclipse.viatra.solver.language.ui; | 4 | package org.eclipse.viatra.solver.language.ui; |
5 | 5 | ||
diff --git a/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/SolverLanguageExecutableExtensionFactory.java b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/SolverLanguageExecutableExtensionFactory.java index b86c5864..7d189d28 100644 --- a/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/SolverLanguageExecutableExtensionFactory.java +++ b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/SolverLanguageExecutableExtensionFactory.java | |||
@@ -1,5 +1,5 @@ | |||
1 | /* | 1 | /* |
2 | * generated by Xtext 2.18.0.M3 | 2 | * generated by Xtext 2.21.0 |
3 | */ | 3 | */ |
4 | package org.eclipse.viatra.solver.language.ui; | 4 | package org.eclipse.viatra.solver.language.ui; |
5 | 5 | ||
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 776817bc..fbf12ae8 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 | |||
@@ -1,10 +1,11 @@ | |||
1 | /* | 1 | /* |
2 | * generated by Xtext 2.18.0.M3 | 2 | * generated by Xtext 2.21.0 |
3 | */ | 3 | */ |
4 | package org.eclipse.viatra.solver.language.ui.contentassist; | 4 | package org.eclipse.viatra.solver.language.ui.contentassist; |
5 | 5 | ||
6 | import org.eclipse.emf.ecore.EObject; | 6 | import org.eclipse.emf.ecore.EObject; |
7 | import org.eclipse.xtext.Assignment; | 7 | import org.eclipse.xtext.Assignment; |
8 | import org.eclipse.xtext.CrossReference; | ||
8 | import org.eclipse.xtext.RuleCall; | 9 | import org.eclipse.xtext.RuleCall; |
9 | import org.eclipse.xtext.common.ui.contentassist.TerminalsProposalProvider; | 10 | import org.eclipse.xtext.common.ui.contentassist.TerminalsProposalProvider; |
10 | import org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext; | 11 | import org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext; |
@@ -20,135 +21,237 @@ public abstract class AbstractSolverLanguageProposalProvider extends TerminalsPr | |||
20 | public void completeProblem_Statements(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 21 | public void completeProblem_Statements(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
21 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 22 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
22 | } | 23 | } |
23 | public void completeBasicInterpretation_Symbol(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 24 | public void completeAssertionOrDefinition_Range(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
24 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 25 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
25 | } | 26 | } |
26 | public void completeBasicInterpretation_Objects(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 27 | public void completeAssertionOrDefinition_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
27 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 28 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
28 | } | 29 | } |
29 | public void completeBasicInterpretation_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 30 | public void completePredicateDefinition_Functional(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
31 | // subclasses may override | ||
32 | } | ||
33 | public void completePredicateDefinition_Error(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
34 | // subclasses may override | ||
35 | } | ||
36 | public void completePredicateDefinition_Head(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
30 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 37 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
31 | } | 38 | } |
32 | public void completeModelSymbol_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 39 | public void completePredicateDefinition_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
33 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 40 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
34 | } | 41 | } |
35 | public void completeNamedObject_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 42 | public void completeUnnamedErrorPrediateDefinition_ArgumentList(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
36 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 43 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
37 | } | 44 | } |
38 | public void completeUnnamedObject_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 45 | public void completeUnnamedErrorPrediateDefinition_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
39 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 46 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
40 | } | 47 | } |
41 | public void completeBooleanObject_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 48 | public void completeDefaultDefinition_Head(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
42 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 49 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
43 | } | 50 | } |
44 | public void completeIntObject_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 51 | public void completeDefaultDefinition_Range(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
45 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 52 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
46 | } | 53 | } |
47 | public void completeRealObject_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 54 | public void completeExternPredicateDefinition_Head(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
48 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 55 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
49 | } | 56 | } |
50 | public void completeStringObject_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 57 | public void completeMetricDefinition_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
51 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 58 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
52 | } | 59 | } |
53 | public void completePredicate_IsError(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 60 | public void completeMetricDefinition_Head(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
54 | // subclasses may override | 61 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
55 | } | 62 | } |
56 | public void completePredicate_Symbol(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 63 | public void completeMetricDefinition_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
57 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 64 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
58 | } | 65 | } |
59 | public void completePredicate_Parameters(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 66 | public void completeExternMetricDefinition_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
60 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 67 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
61 | } | 68 | } |
62 | public void completePredicate_Bodies(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 69 | public void completeExternMetricDefinition_Head(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
63 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 70 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
64 | } | 71 | } |
65 | public void completeParameter_Variable(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 72 | public void completeIfElse_Condition(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
66 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 73 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
67 | } | 74 | } |
68 | public void completeParameter_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 75 | public void completeIfElse_Then(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
69 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 76 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
70 | } | 77 | } |
71 | public void completePatternBody_Constraints(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 78 | public void completeIfElse_Else(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
72 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 79 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
73 | } | 80 | } |
74 | public void completeConstraint_Polarity(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 81 | public void completeDisjunctiveExpression_Children(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
75 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 82 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
76 | } | 83 | } |
77 | public void completeConstraint_Symbol(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 84 | public void completeDisjunctiveExpression_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
78 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 85 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
79 | } | 86 | } |
80 | public void completeConstraint_Params(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 87 | public void completeDisjunctiveExpression_Cases(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
81 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 88 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
82 | } | 89 | } |
83 | public void completeConstraint_ClosureType(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 90 | public void completeCase_Condition(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
84 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 91 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
85 | } | 92 | } |
86 | public void completeVariable_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 93 | public void completeCase_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
87 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 94 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
88 | } | 95 | } |
89 | public void completeAllInstances_Symbol(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 96 | public void completeConjunctiveExpression_Children(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
90 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 97 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
91 | } | 98 | } |
92 | public void completeDefaultInterpretation_Interpretation(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 99 | public void completeComparisonExpression_Op(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
93 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 100 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
94 | } | 101 | } |
95 | public void completeClassInterpretation_Abstract(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 102 | public void completeComparisonExpression_Right(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
96 | // subclasses may override | 103 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
97 | } | 104 | } |
98 | public void completeClassInterpretation_Symbol(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 105 | public void completeAdditiveExpression_Op(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
99 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 106 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
100 | } | 107 | } |
101 | public void completeClassInterpretation_Supertypes(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 108 | public void completeAdditiveExpression_Right(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
102 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 109 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
103 | } | 110 | } |
104 | public void completeClassInterpretation_Fielt(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 111 | public void completeMultiplicativeExpression_Op(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
105 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 112 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
106 | } | 113 | } |
107 | public void completeEnumInterpretation_Symbol(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 114 | public void completeMultiplicativeExpression_Right(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
108 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 115 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
109 | } | 116 | } |
110 | public void completeEnumInterpretation_Objects(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 117 | public void completeExponentialExpression_Op(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
111 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 118 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
112 | } | 119 | } |
113 | public void completeFieldRelationInterpretation_Containment(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 120 | public void completeExponentialExpression_Right(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
114 | // subclasses may override | 121 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
115 | } | 122 | } |
116 | public void completeFieldRelationInterpretation_Symbol(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 123 | public void completeUnaryExpression_Op(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
117 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 124 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
118 | } | 125 | } |
119 | public void completeFieldRelationInterpretation_Multiplicity(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 126 | public void completeUnaryExpression_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
120 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 127 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
121 | } | 128 | } |
122 | public void completeFieldRelationInterpretation_Target(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 129 | public void completeCount_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
123 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 130 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
124 | } | 131 | } |
125 | public void completeGlobalRelationInterpretation_Containment(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 132 | public void completeAggregation_Op(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
126 | // subclasses may override | 133 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
127 | } | 134 | } |
128 | public void completeGlobalRelationInterpretation_Symbol(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 135 | public void completeAggregation_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
129 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 136 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
130 | } | 137 | } |
131 | public void completeGlobalRelationInterpretation_SourceMultiplicity(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 138 | public void completeAggregation_Condition(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
132 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 139 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
133 | } | 140 | } |
134 | public void completeGlobalRelationInterpretation_Source(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 141 | public void completeAtomicExpression_ArgumentList(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
135 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 142 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
136 | } | 143 | } |
137 | public void completeGlobalRelationInterpretation_TargetMultiplicity(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 144 | public void completeCall_Functor(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
138 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 145 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
139 | } | 146 | } |
140 | public void completeGlobalRelationInterpretation_Target(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 147 | public void completeCall_TransitiveClosure(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
141 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 148 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
142 | } | 149 | } |
143 | public void completeMultiplicityDefinition_Lower(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 150 | public void completeCall_ReflexiveTransitiveClosure(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
144 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 151 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
145 | } | 152 | } |
146 | public void completeMultiplicityDefinition_Upper(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 153 | public void completeCall_ArgumentList(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
147 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 154 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
148 | } | 155 | } |
149 | public void completeMultiplicityDefinition_UnlimitedUpper(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 156 | public void completeArgumentList_Arguments(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
157 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
158 | } | ||
159 | public void completeExpressionArgument_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
160 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
161 | } | ||
162 | public void completeTypedArgument_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
163 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | ||
164 | } | ||
165 | public void completeTypedArgument_Variable(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
166 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | ||
167 | } | ||
168 | public void completeTypedStarArgument_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
169 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | ||
170 | } | ||
171 | public void completeReference_Referred(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
172 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | ||
173 | } | ||
174 | public void completeInterval_LowerBound(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
175 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
176 | } | ||
177 | public void completeInterval_UpperBound(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
178 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
179 | } | ||
180 | public void completeLogicLiteral_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
181 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
182 | } | ||
183 | public void completeNumericLiteral_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
184 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
185 | } | ||
186 | public void completeStringLiteral_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
187 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
188 | } | ||
189 | public void completeClassDefinition_Abstract(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
190 | // subclasses may override | ||
191 | } | ||
192 | public void completeClassDefinition_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
193 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
194 | } | ||
195 | public void completeClassDefinition_Superclasses(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
196 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | ||
197 | } | ||
198 | public void completeClassDefinition_Members(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
199 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
200 | } | ||
201 | public void completeMemberDefinition_Containment(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
150 | // subclasses may override | 202 | // subclasses may override |
151 | } | 203 | } |
204 | public void completeMemberDefinition_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
205 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | ||
206 | } | ||
207 | public void completeMemberDefinition_Multiplicity(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
208 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
209 | } | ||
210 | public void completeMemberDefinition_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
211 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
212 | } | ||
213 | public void completeMemberDefinition_Opposite(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
214 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | ||
215 | } | ||
216 | public void completeExactMultiplicity_Multiplicity(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
217 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
218 | } | ||
219 | public void completeBoundedMultiplicity_LowerBound(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
220 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
221 | } | ||
222 | public void completeBoundedMultiplicity_UpperBound(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
223 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
224 | } | ||
225 | public void completeExactScopeDefinition_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
226 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | ||
227 | } | ||
228 | public void completeExactScopeDefinition_ExactScope(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
229 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
230 | } | ||
231 | public void completeBoundedScopeDefinition_LowerBound(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
232 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
233 | } | ||
234 | public void completeBoundedScopeDefinition_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
235 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | ||
236 | } | ||
237 | public void completeBoundedScopeDefinition_UpperBound(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
238 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
239 | } | ||
240 | public void completeLowerBoundedScopeDefinition_LowerBound(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
241 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
242 | } | ||
243 | public void completeLowerBoundedScopeDefinition_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
244 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | ||
245 | } | ||
246 | public void completeObjectiveDefinition_Kind(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
247 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
248 | } | ||
249 | public void completeObjectiveDefinition_Objective(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
250 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
251 | } | ||
252 | public void completeNamedElement_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
253 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
254 | } | ||
152 | 255 | ||
153 | public void complete_Problem(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 256 | public void complete_Problem(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
154 | // subclasses may override | 257 | // subclasses may override |
@@ -156,133 +259,202 @@ public abstract class AbstractSolverLanguageProposalProvider extends TerminalsPr | |||
156 | public void complete_Statement(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 259 | public void complete_Statement(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
157 | // subclasses may override | 260 | // subclasses may override |
158 | } | 261 | } |
159 | public void complete_STRING(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 262 | public void complete_AssertionOrDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
263 | // subclasses may override | ||
264 | } | ||
265 | public void complete_PredicateDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
160 | // subclasses may override | 266 | // subclasses may override |
161 | } | 267 | } |
162 | public void complete_REALLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 268 | public void complete_UnnamedErrorPrediateDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
163 | // subclasses may override | 269 | // subclasses may override |
164 | } | 270 | } |
165 | public void complete_INTLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 271 | public void complete_DefaultDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
166 | // subclasses may override | 272 | // subclasses may override |
167 | } | 273 | } |
168 | public void complete_BooleanValue(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 274 | public void complete_ExternPredicateDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
169 | // subclasses may override | 275 | // subclasses may override |
170 | } | 276 | } |
171 | public void complete_TruthValue(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 277 | public void complete_MetricType(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
172 | // subclasses may override | 278 | // subclasses may override |
173 | } | 279 | } |
174 | public void complete_Interpretation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 280 | public void complete_MetricDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
175 | // subclasses may override | 281 | // subclasses may override |
176 | } | 282 | } |
177 | public void complete_BasicInterpretation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 283 | public void complete_ExternMetricDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
178 | // subclasses may override | 284 | // subclasses may override |
179 | } | 285 | } |
180 | public void complete_Symbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 286 | public void complete_Expression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
181 | // subclasses may override | 287 | // subclasses may override |
182 | } | 288 | } |
183 | public void complete_ModelSymbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 289 | public void complete_IfElse(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
184 | // subclasses may override | 290 | // subclasses may override |
185 | } | 291 | } |
186 | public void complete_PartialitySymbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 292 | public void complete_DisjunctiveExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
187 | // subclasses may override | 293 | // subclasses may override |
188 | } | 294 | } |
189 | public void complete_ExistSymbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 295 | public void complete_Case(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
190 | // subclasses may override | 296 | // subclasses may override |
191 | } | 297 | } |
192 | public void complete_EqualsSymbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 298 | public void complete_ConjunctiveExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
193 | // subclasses may override | 299 | // subclasses may override |
194 | } | 300 | } |
195 | public void complete_DataSymbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 301 | public void complete_BinaryOperator(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
196 | // subclasses may override | 302 | // subclasses may override |
197 | } | 303 | } |
198 | public void complete_BooleanSymbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 304 | public void complete_ComparisonOperator(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
199 | // subclasses may override | 305 | // subclasses may override |
200 | } | 306 | } |
201 | public void complete_IntegerSymbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 307 | public void complete_ComparisonExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
202 | // subclasses may override | 308 | // subclasses may override |
203 | } | 309 | } |
204 | public void complete_RealSymbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 310 | public void complete_AdditiveBinaryOperator(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
205 | // subclasses may override | 311 | // subclasses may override |
206 | } | 312 | } |
207 | public void complete_StringSymbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 313 | public void complete_AdditiveExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
208 | // subclasses may override | 314 | // subclasses may override |
209 | } | 315 | } |
210 | public void complete_ComplexObject(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 316 | public void complete_MultiplicativeBinaryOperator(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
211 | // subclasses may override | 317 | // subclasses may override |
212 | } | 318 | } |
213 | public void complete_Object(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 319 | public void complete_MultiplicativeExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
214 | // subclasses may override | 320 | // subclasses may override |
215 | } | 321 | } |
216 | public void complete_NamedObject(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 322 | public void complete_ExponentialOp(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
217 | // subclasses may override | 323 | // subclasses may override |
218 | } | 324 | } |
219 | public void complete_UnnamedObject(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 325 | public void complete_ExponentialExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
220 | // subclasses may override | 326 | // subclasses may override |
221 | } | 327 | } |
222 | public void complete_DataObject(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 328 | public void complete_UnaryOp(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
223 | // subclasses may override | 329 | // subclasses may override |
224 | } | 330 | } |
225 | public void complete_BooleanObject(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 331 | public void complete_UnaryExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
226 | // subclasses may override | 332 | // subclasses may override |
227 | } | 333 | } |
228 | public void complete_IntObject(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 334 | public void complete_AggregationExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
229 | // subclasses may override | 335 | // subclasses may override |
230 | } | 336 | } |
231 | public void complete_RealObject(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 337 | public void complete_Count(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
232 | // subclasses may override | 338 | // subclasses may override |
233 | } | 339 | } |
234 | public void complete_StringObject(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 340 | public void complete_AggregationOp(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
235 | // subclasses may override | 341 | // subclasses may override |
236 | } | 342 | } |
237 | public void complete_Predicate(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 343 | public void complete_Aggregation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
238 | // subclasses may override | 344 | // subclasses may override |
239 | } | 345 | } |
240 | public void complete_Parameter(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 346 | public void complete_AtomicExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
241 | // subclasses may override | 347 | // subclasses may override |
242 | } | 348 | } |
243 | public void complete_PatternBody(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 349 | public void complete_Call(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
244 | // subclasses may override | 350 | // subclasses may override |
245 | } | 351 | } |
246 | public void complete_Polarity(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 352 | public void complete_ArgumentList(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
247 | // subclasses may override | 353 | // subclasses may override |
248 | } | 354 | } |
249 | public void complete_Constraint(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 355 | public void complete_Argument(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
250 | // subclasses may override | 356 | // subclasses may override |
251 | } | 357 | } |
252 | public void complete_ClosureType(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 358 | public void complete_ExpressionArgument(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
359 | // subclasses may override | ||
360 | } | ||
361 | public void complete_StarArgument(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
362 | // subclasses may override | ||
363 | } | ||
364 | public void complete_TypedArgument(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
365 | // subclasses may override | ||
366 | } | ||
367 | public void complete_TypedStarArgument(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
368 | // subclasses may override | ||
369 | } | ||
370 | public void complete_Reference(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
371 | // subclasses may override | ||
372 | } | ||
373 | public void complete_Interval(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
253 | // subclasses may override | 374 | // subclasses may override |
254 | } | 375 | } |
255 | public void complete_Literal(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 376 | public void complete_Literal(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
256 | // subclasses may override | 377 | // subclasses may override |
257 | } | 378 | } |
258 | public void complete_Variable(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 379 | public void complete_LogicValue(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
259 | // subclasses may override | 380 | // subclasses may override |
260 | } | 381 | } |
261 | public void complete_AllInstances(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 382 | public void complete_LogicLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
262 | // subclasses may override | 383 | // subclasses may override |
263 | } | 384 | } |
264 | public void complete_AllObjects(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 385 | public void complete_NumericLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
265 | // subclasses may override | 386 | // subclasses may override |
266 | } | 387 | } |
267 | public void complete_DefaultInterpretation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 388 | public void complete_InfinityLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
268 | // subclasses may override | 389 | // subclasses may override |
269 | } | 390 | } |
270 | public void complete_CDInterpretation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 391 | public void complete_EmptyIntervalLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
392 | // subclasses may override | ||
393 | } | ||
394 | public void complete_StringLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
395 | // subclasses may override | ||
396 | } | ||
397 | public void complete_ClassDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
398 | // subclasses may override | ||
399 | } | ||
400 | public void complete_MemberDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
401 | // subclasses may override | ||
402 | } | ||
403 | public void complete_Multiplicity(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
404 | // subclasses may override | ||
405 | } | ||
406 | public void complete_ManyMultiplicity(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
407 | // subclasses may override | ||
408 | } | ||
409 | public void complete_ExactMultiplicity(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
410 | // subclasses may override | ||
411 | } | ||
412 | public void complete_BoundedMultiplicity(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
413 | // subclasses may override | ||
414 | } | ||
415 | public void complete_ScopeDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
416 | // subclasses may override | ||
417 | } | ||
418 | public void complete_ExactScopeDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
419 | // subclasses may override | ||
420 | } | ||
421 | public void complete_BoundedScopeDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
422 | // subclasses may override | ||
423 | } | ||
424 | public void complete_LowerBoundedScopeDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
425 | // subclasses may override | ||
426 | } | ||
427 | public void complete_ObjectiveKind(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
428 | // subclasses may override | ||
429 | } | ||
430 | public void complete_ObjectiveDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
431 | // subclasses may override | ||
432 | } | ||
433 | public void complete_UpperMultiplicty(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
434 | // subclasses may override | ||
435 | } | ||
436 | public void complete_Real(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
437 | // subclasses may override | ||
438 | } | ||
439 | public void complete_QualifiedName(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
440 | // subclasses may override | ||
441 | } | ||
442 | public void complete_STRING(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
271 | // subclasses may override | 443 | // subclasses may override |
272 | } | 444 | } |
273 | public void complete_ClassInterpretation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 445 | public void complete_QUOTED_ID(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
274 | // subclasses may override | 446 | // subclasses may override |
275 | } | 447 | } |
276 | public void complete_EnumInterpretation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 448 | public void complete_PLUS(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
277 | // subclasses may override | 449 | // subclasses may override |
278 | } | 450 | } |
279 | public void complete_FieldRelationInterpretation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 451 | public void complete_STAR(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
280 | // subclasses may override | 452 | // subclasses may override |
281 | } | 453 | } |
282 | public void complete_GlobalRelationInterpretation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 454 | public void complete_DOT(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
283 | // subclasses may override | 455 | // subclasses may override |
284 | } | 456 | } |
285 | public void complete_MultiplicityDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 457 | public void complete_NamedElement(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
286 | // subclasses may override | 458 | // subclasses may override |
287 | } | 459 | } |
288 | } | 460 | } |
diff --git a/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/internal/LanguageActivator.java b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/internal/LanguageActivator.java index 327cfff1..22259126 100644 --- a/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/internal/LanguageActivator.java +++ b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/internal/LanguageActivator.java | |||
@@ -1,5 +1,5 @@ | |||
1 | /* | 1 | /* |
2 | * generated by Xtext 2.18.0.M3 | 2 | * generated by Xtext 2.21.0 |
3 | */ | 3 | */ |
4 | package org.eclipse.viatra.solver.language.ui.internal; | 4 | package org.eclipse.viatra.solver.language.ui.internal; |
5 | 5 | ||
diff --git a/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/validation/SolverLanguageValidatorConfigurationBlock.java b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/validation/SolverLanguageValidatorConfigurationBlock.java index ad6c3a18..a603d3d2 100644 --- a/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/validation/SolverLanguageValidatorConfigurationBlock.java +++ b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/validation/SolverLanguageValidatorConfigurationBlock.java | |||
@@ -1,5 +1,5 @@ | |||
1 | /* | 1 | /* |
2 | * generated by Xtext 2.18.0.M3 | 2 | * generated by Xtext 2.21.0 |
3 | */ | 3 | */ |
4 | package org.eclipse.viatra.solver.language.validation; | 4 | package org.eclipse.viatra.solver.language.validation; |
5 | 5 | ||