diff options
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl')
3 files changed, 162 insertions, 87 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/PredicateImpl.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/PredicateImpl.java index 947d74bb..d3c7366d 100644 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/PredicateImpl.java +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/PredicateImpl.java | |||
@@ -5,6 +5,7 @@ package org.eclipse.viatra.solver.language.solverLanguage.impl; | |||
5 | 5 | ||
6 | import java.util.Collection; | 6 | import java.util.Collection; |
7 | 7 | ||
8 | import org.eclipse.emf.common.notify.Notification; | ||
8 | import org.eclipse.emf.common.notify.NotificationChain; | 9 | import org.eclipse.emf.common.notify.NotificationChain; |
9 | 10 | ||
10 | import org.eclipse.emf.common.util.EList; | 11 | import org.eclipse.emf.common.util.EList; |
@@ -12,9 +13,12 @@ import org.eclipse.emf.common.util.EList; | |||
12 | import org.eclipse.emf.ecore.EClass; | 13 | import org.eclipse.emf.ecore.EClass; |
13 | import org.eclipse.emf.ecore.InternalEObject; | 14 | import org.eclipse.emf.ecore.InternalEObject; |
14 | 15 | ||
16 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
17 | |||
15 | import org.eclipse.emf.ecore.util.EObjectContainmentEList; | 18 | import org.eclipse.emf.ecore.util.EObjectContainmentEList; |
16 | import org.eclipse.emf.ecore.util.InternalEList; | 19 | import org.eclipse.emf.ecore.util.InternalEList; |
17 | 20 | ||
21 | import org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol; | ||
18 | import org.eclipse.viatra.solver.language.solverLanguage.Parameter; | 22 | import org.eclipse.viatra.solver.language.solverLanguage.Parameter; |
19 | import org.eclipse.viatra.solver.language.solverLanguage.PatternBody; | 23 | import org.eclipse.viatra.solver.language.solverLanguage.PatternBody; |
20 | import org.eclipse.viatra.solver.language.solverLanguage.Predicate; | 24 | import org.eclipse.viatra.solver.language.solverLanguage.Predicate; |
@@ -28,6 +32,8 @@ import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage; | |||
28 | * The following features are implemented: | 32 | * The following features are implemented: |
29 | * </p> | 33 | * </p> |
30 | * <ul> | 34 | * <ul> |
35 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateImpl#isIsError <em>Is Error</em>}</li> | ||
36 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateImpl#getSymbol <em>Symbol</em>}</li> | ||
31 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateImpl#getParameters <em>Parameters</em>}</li> | 37 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateImpl#getParameters <em>Parameters</em>}</li> |
32 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateImpl#getBodies <em>Bodies</em>}</li> | 38 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateImpl#getBodies <em>Bodies</em>}</li> |
33 | * </ul> | 39 | * </ul> |
@@ -37,6 +43,36 @@ import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage; | |||
37 | public class PredicateImpl extends StatementImpl implements Predicate | 43 | public class PredicateImpl extends StatementImpl implements Predicate |
38 | { | 44 | { |
39 | /** | 45 | /** |
46 | * The default value of the '{@link #isIsError() <em>Is Error</em>}' attribute. | ||
47 | * <!-- begin-user-doc --> | ||
48 | * <!-- end-user-doc --> | ||
49 | * @see #isIsError() | ||
50 | * @generated | ||
51 | * @ordered | ||
52 | */ | ||
53 | protected static final boolean IS_ERROR_EDEFAULT = false; | ||
54 | |||
55 | /** | ||
56 | * The cached value of the '{@link #isIsError() <em>Is Error</em>}' attribute. | ||
57 | * <!-- begin-user-doc --> | ||
58 | * <!-- end-user-doc --> | ||
59 | * @see #isIsError() | ||
60 | * @generated | ||
61 | * @ordered | ||
62 | */ | ||
63 | protected boolean isError = IS_ERROR_EDEFAULT; | ||
64 | |||
65 | /** | ||
66 | * The cached value of the '{@link #getSymbol() <em>Symbol</em>}' containment reference. | ||
67 | * <!-- begin-user-doc --> | ||
68 | * <!-- end-user-doc --> | ||
69 | * @see #getSymbol() | ||
70 | * @generated | ||
71 | * @ordered | ||
72 | */ | ||
73 | protected ModelSymbol symbol; | ||
74 | |||
75 | /** | ||
40 | * The cached value of the '{@link #getParameters() <em>Parameters</em>}' containment reference list. | 76 | * The cached value of the '{@link #getParameters() <em>Parameters</em>}' containment reference list. |
41 | * <!-- begin-user-doc --> | 77 | * <!-- begin-user-doc --> |
42 | * <!-- end-user-doc --> | 78 | * <!-- end-user-doc --> |
@@ -83,6 +119,81 @@ public class PredicateImpl extends StatementImpl implements Predicate | |||
83 | * @generated | 119 | * @generated |
84 | */ | 120 | */ |
85 | @Override | 121 | @Override |
122 | public boolean isIsError() | ||
123 | { | ||
124 | return isError; | ||
125 | } | ||
126 | |||
127 | /** | ||
128 | * <!-- begin-user-doc --> | ||
129 | * <!-- end-user-doc --> | ||
130 | * @generated | ||
131 | */ | ||
132 | @Override | ||
133 | public void setIsError(boolean newIsError) | ||
134 | { | ||
135 | boolean oldIsError = isError; | ||
136 | isError = newIsError; | ||
137 | if (eNotificationRequired()) | ||
138 | eNotify(new ENotificationImpl(this, Notification.SET, SolverLanguagePackage.PREDICATE__IS_ERROR, oldIsError, isError)); | ||
139 | } | ||
140 | |||
141 | /** | ||
142 | * <!-- begin-user-doc --> | ||
143 | * <!-- end-user-doc --> | ||
144 | * @generated | ||
145 | */ | ||
146 | @Override | ||
147 | public ModelSymbol getSymbol() | ||
148 | { | ||
149 | return symbol; | ||
150 | } | ||
151 | |||
152 | /** | ||
153 | * <!-- begin-user-doc --> | ||
154 | * <!-- end-user-doc --> | ||
155 | * @generated | ||
156 | */ | ||
157 | public NotificationChain basicSetSymbol(ModelSymbol newSymbol, NotificationChain msgs) | ||
158 | { | ||
159 | ModelSymbol oldSymbol = symbol; | ||
160 | symbol = newSymbol; | ||
161 | if (eNotificationRequired()) | ||
162 | { | ||
163 | ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, SolverLanguagePackage.PREDICATE__SYMBOL, oldSymbol, newSymbol); | ||
164 | if (msgs == null) msgs = notification; else msgs.add(notification); | ||
165 | } | ||
166 | return msgs; | ||
167 | } | ||
168 | |||
169 | /** | ||
170 | * <!-- begin-user-doc --> | ||
171 | * <!-- end-user-doc --> | ||
172 | * @generated | ||
173 | */ | ||
174 | @Override | ||
175 | public void setSymbol(ModelSymbol newSymbol) | ||
176 | { | ||
177 | if (newSymbol != symbol) | ||
178 | { | ||
179 | NotificationChain msgs = null; | ||
180 | if (symbol != null) | ||
181 | msgs = ((InternalEObject)symbol).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - SolverLanguagePackage.PREDICATE__SYMBOL, null, msgs); | ||
182 | if (newSymbol != null) | ||
183 | msgs = ((InternalEObject)newSymbol).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - SolverLanguagePackage.PREDICATE__SYMBOL, null, msgs); | ||
184 | msgs = basicSetSymbol(newSymbol, msgs); | ||
185 | if (msgs != null) msgs.dispatch(); | ||
186 | } | ||
187 | else if (eNotificationRequired()) | ||
188 | eNotify(new ENotificationImpl(this, Notification.SET, SolverLanguagePackage.PREDICATE__SYMBOL, newSymbol, newSymbol)); | ||
189 | } | ||
190 | |||
191 | /** | ||
192 | * <!-- begin-user-doc --> | ||
193 | * <!-- end-user-doc --> | ||
194 | * @generated | ||
195 | */ | ||
196 | @Override | ||
86 | public EList<Parameter> getParameters() | 197 | public EList<Parameter> getParameters() |
87 | { | 198 | { |
88 | if (parameters == null) | 199 | if (parameters == null) |
@@ -117,6 +228,8 @@ public class PredicateImpl extends StatementImpl implements Predicate | |||
117 | { | 228 | { |
118 | switch (featureID) | 229 | switch (featureID) |
119 | { | 230 | { |
231 | case SolverLanguagePackage.PREDICATE__SYMBOL: | ||
232 | return basicSetSymbol(null, msgs); | ||
120 | case SolverLanguagePackage.PREDICATE__PARAMETERS: | 233 | case SolverLanguagePackage.PREDICATE__PARAMETERS: |
121 | return ((InternalEList<?>)getParameters()).basicRemove(otherEnd, msgs); | 234 | return ((InternalEList<?>)getParameters()).basicRemove(otherEnd, msgs); |
122 | case SolverLanguagePackage.PREDICATE__BODIES: | 235 | case SolverLanguagePackage.PREDICATE__BODIES: |
@@ -135,6 +248,10 @@ public class PredicateImpl extends StatementImpl implements Predicate | |||
135 | { | 248 | { |
136 | switch (featureID) | 249 | switch (featureID) |
137 | { | 250 | { |
251 | case SolverLanguagePackage.PREDICATE__IS_ERROR: | ||
252 | return isIsError(); | ||
253 | case SolverLanguagePackage.PREDICATE__SYMBOL: | ||
254 | return getSymbol(); | ||
138 | case SolverLanguagePackage.PREDICATE__PARAMETERS: | 255 | case SolverLanguagePackage.PREDICATE__PARAMETERS: |
139 | return getParameters(); | 256 | return getParameters(); |
140 | case SolverLanguagePackage.PREDICATE__BODIES: | 257 | case SolverLanguagePackage.PREDICATE__BODIES: |
@@ -154,6 +271,12 @@ public class PredicateImpl extends StatementImpl implements Predicate | |||
154 | { | 271 | { |
155 | switch (featureID) | 272 | switch (featureID) |
156 | { | 273 | { |
274 | case SolverLanguagePackage.PREDICATE__IS_ERROR: | ||
275 | setIsError((Boolean)newValue); | ||
276 | return; | ||
277 | case SolverLanguagePackage.PREDICATE__SYMBOL: | ||
278 | setSymbol((ModelSymbol)newValue); | ||
279 | return; | ||
157 | case SolverLanguagePackage.PREDICATE__PARAMETERS: | 280 | case SolverLanguagePackage.PREDICATE__PARAMETERS: |
158 | getParameters().clear(); | 281 | getParameters().clear(); |
159 | getParameters().addAll((Collection<? extends Parameter>)newValue); | 282 | getParameters().addAll((Collection<? extends Parameter>)newValue); |
@@ -176,6 +299,12 @@ public class PredicateImpl extends StatementImpl implements Predicate | |||
176 | { | 299 | { |
177 | switch (featureID) | 300 | switch (featureID) |
178 | { | 301 | { |
302 | case SolverLanguagePackage.PREDICATE__IS_ERROR: | ||
303 | setIsError(IS_ERROR_EDEFAULT); | ||
304 | return; | ||
305 | case SolverLanguagePackage.PREDICATE__SYMBOL: | ||
306 | setSymbol((ModelSymbol)null); | ||
307 | return; | ||
179 | case SolverLanguagePackage.PREDICATE__PARAMETERS: | 308 | case SolverLanguagePackage.PREDICATE__PARAMETERS: |
180 | getParameters().clear(); | 309 | getParameters().clear(); |
181 | return; | 310 | return; |
@@ -196,6 +325,10 @@ public class PredicateImpl extends StatementImpl implements Predicate | |||
196 | { | 325 | { |
197 | switch (featureID) | 326 | switch (featureID) |
198 | { | 327 | { |
328 | case SolverLanguagePackage.PREDICATE__IS_ERROR: | ||
329 | return isError != IS_ERROR_EDEFAULT; | ||
330 | case SolverLanguagePackage.PREDICATE__SYMBOL: | ||
331 | return symbol != null; | ||
199 | case SolverLanguagePackage.PREDICATE__PARAMETERS: | 332 | case SolverLanguagePackage.PREDICATE__PARAMETERS: |
200 | return parameters != null && !parameters.isEmpty(); | 333 | return parameters != null && !parameters.isEmpty(); |
201 | case SolverLanguagePackage.PREDICATE__BODIES: | 334 | case SolverLanguagePackage.PREDICATE__BODIES: |
@@ -204,4 +337,21 @@ public class PredicateImpl extends StatementImpl implements Predicate | |||
204 | return super.eIsSet(featureID); | 337 | return super.eIsSet(featureID); |
205 | } | 338 | } |
206 | 339 | ||
340 | /** | ||
341 | * <!-- begin-user-doc --> | ||
342 | * <!-- end-user-doc --> | ||
343 | * @generated | ||
344 | */ | ||
345 | @Override | ||
346 | public String toString() | ||
347 | { | ||
348 | if (eIsProxy()) return super.toString(); | ||
349 | |||
350 | StringBuilder result = new StringBuilder(super.toString()); | ||
351 | result.append(" (isError: "); | ||
352 | result.append(isError); | ||
353 | result.append(')'); | ||
354 | return result.toString(); | ||
355 | } | ||
356 | |||
207 | } //PredicateImpl | 357 | } //PredicateImpl |
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguageFactoryImpl.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguageFactoryImpl.java index 12ffc551..5cb1dcdc 100644 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguageFactoryImpl.java +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguageFactoryImpl.java | |||
@@ -29,7 +29,6 @@ import org.eclipse.viatra.solver.language.solverLanguage.DataSymbol; | |||
29 | import org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation; | 29 | import org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation; |
30 | import org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation; | 30 | import org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation; |
31 | import org.eclipse.viatra.solver.language.solverLanguage.EqualsSymbol; | 31 | import org.eclipse.viatra.solver.language.solverLanguage.EqualsSymbol; |
32 | import org.eclipse.viatra.solver.language.solverLanguage.ErrorPredicate; | ||
33 | import org.eclipse.viatra.solver.language.solverLanguage.ExistSymbol; | 32 | import org.eclipse.viatra.solver.language.solverLanguage.ExistSymbol; |
34 | import org.eclipse.viatra.solver.language.solverLanguage.False; | 33 | import org.eclipse.viatra.solver.language.solverLanguage.False; |
35 | import org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation; | 34 | import org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation; |
@@ -49,7 +48,6 @@ import org.eclipse.viatra.solver.language.solverLanguage.PatternBody; | |||
49 | import org.eclipse.viatra.solver.language.solverLanguage.Polarity; | 48 | import org.eclipse.viatra.solver.language.solverLanguage.Polarity; |
50 | import org.eclipse.viatra.solver.language.solverLanguage.Positive; | 49 | import org.eclipse.viatra.solver.language.solverLanguage.Positive; |
51 | import org.eclipse.viatra.solver.language.solverLanguage.Predicate; | 50 | import org.eclipse.viatra.solver.language.solverLanguage.Predicate; |
52 | import org.eclipse.viatra.solver.language.solverLanguage.PredicateSymbol; | ||
53 | import org.eclipse.viatra.solver.language.solverLanguage.Problem; | 51 | import org.eclipse.viatra.solver.language.solverLanguage.Problem; |
54 | import org.eclipse.viatra.solver.language.solverLanguage.RealObject; | 52 | import org.eclipse.viatra.solver.language.solverLanguage.RealObject; |
55 | import org.eclipse.viatra.solver.language.solverLanguage.RealSymbol; | 53 | import org.eclipse.viatra.solver.language.solverLanguage.RealSymbol; |
@@ -144,8 +142,6 @@ public class SolverLanguageFactoryImpl extends EFactoryImpl implements SolverLan | |||
144 | case SolverLanguagePackage.REAL_OBJECT: return createRealObject(); | 142 | case SolverLanguagePackage.REAL_OBJECT: return createRealObject(); |
145 | case SolverLanguagePackage.STRING_OBJECT: return createStringObject(); | 143 | case SolverLanguagePackage.STRING_OBJECT: return createStringObject(); |
146 | case SolverLanguagePackage.PREDICATE: return createPredicate(); | 144 | case SolverLanguagePackage.PREDICATE: return createPredicate(); |
147 | case SolverLanguagePackage.PREDICATE_SYMBOL: return createPredicateSymbol(); | ||
148 | case SolverLanguagePackage.ERROR_PREDICATE: return createErrorPredicate(); | ||
149 | case SolverLanguagePackage.PARAMETER: return createParameter(); | 145 | case SolverLanguagePackage.PARAMETER: return createParameter(); |
150 | case SolverLanguagePackage.PATTERN_BODY: return createPatternBody(); | 146 | case SolverLanguagePackage.PATTERN_BODY: return createPatternBody(); |
151 | case SolverLanguagePackage.POLARITY: return createPolarity(); | 147 | case SolverLanguagePackage.POLARITY: return createPolarity(); |
@@ -495,30 +491,6 @@ public class SolverLanguageFactoryImpl extends EFactoryImpl implements SolverLan | |||
495 | * @generated | 491 | * @generated |
496 | */ | 492 | */ |
497 | @Override | 493 | @Override |
498 | public PredicateSymbol createPredicateSymbol() | ||
499 | { | ||
500 | PredicateSymbolImpl predicateSymbol = new PredicateSymbolImpl(); | ||
501 | return predicateSymbol; | ||
502 | } | ||
503 | |||
504 | /** | ||
505 | * <!-- begin-user-doc --> | ||
506 | * <!-- end-user-doc --> | ||
507 | * @generated | ||
508 | */ | ||
509 | @Override | ||
510 | public ErrorPredicate createErrorPredicate() | ||
511 | { | ||
512 | ErrorPredicateImpl errorPredicate = new ErrorPredicateImpl(); | ||
513 | return errorPredicate; | ||
514 | } | ||
515 | |||
516 | /** | ||
517 | * <!-- begin-user-doc --> | ||
518 | * <!-- end-user-doc --> | ||
519 | * @generated | ||
520 | */ | ||
521 | @Override | ||
522 | public Parameter createParameter() | 494 | public Parameter createParameter() |
523 | { | 495 | { |
524 | ParameterImpl parameter = new ParameterImpl(); | 496 | ParameterImpl parameter = new ParameterImpl(); |
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguagePackageImpl.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguagePackageImpl.java index 9e5d391b..f617be3f 100644 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguagePackageImpl.java +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguagePackageImpl.java | |||
@@ -28,7 +28,6 @@ import org.eclipse.viatra.solver.language.solverLanguage.DataSymbol; | |||
28 | import org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation; | 28 | import org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation; |
29 | import org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation; | 29 | import org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation; |
30 | import org.eclipse.viatra.solver.language.solverLanguage.EqualsSymbol; | 30 | import org.eclipse.viatra.solver.language.solverLanguage.EqualsSymbol; |
31 | import org.eclipse.viatra.solver.language.solverLanguage.ErrorPredicate; | ||
32 | import org.eclipse.viatra.solver.language.solverLanguage.ExistSymbol; | 31 | import org.eclipse.viatra.solver.language.solverLanguage.ExistSymbol; |
33 | import org.eclipse.viatra.solver.language.solverLanguage.False; | 32 | import org.eclipse.viatra.solver.language.solverLanguage.False; |
34 | import org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation; | 33 | import org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation; |
@@ -48,7 +47,6 @@ import org.eclipse.viatra.solver.language.solverLanguage.PatternBody; | |||
48 | import org.eclipse.viatra.solver.language.solverLanguage.Polarity; | 47 | import org.eclipse.viatra.solver.language.solverLanguage.Polarity; |
49 | import org.eclipse.viatra.solver.language.solverLanguage.Positive; | 48 | import org.eclipse.viatra.solver.language.solverLanguage.Positive; |
50 | import org.eclipse.viatra.solver.language.solverLanguage.Predicate; | 49 | import org.eclipse.viatra.solver.language.solverLanguage.Predicate; |
51 | import org.eclipse.viatra.solver.language.solverLanguage.PredicateSymbol; | ||
52 | import org.eclipse.viatra.solver.language.solverLanguage.Problem; | 50 | import org.eclipse.viatra.solver.language.solverLanguage.Problem; |
53 | import org.eclipse.viatra.solver.language.solverLanguage.RealObject; | 51 | import org.eclipse.viatra.solver.language.solverLanguage.RealObject; |
54 | import org.eclipse.viatra.solver.language.solverLanguage.RealSymbol; | 52 | import org.eclipse.viatra.solver.language.solverLanguage.RealSymbol; |
@@ -260,20 +258,6 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
260 | * <!-- end-user-doc --> | 258 | * <!-- end-user-doc --> |
261 | * @generated | 259 | * @generated |
262 | */ | 260 | */ |
263 | private EClass predicateSymbolEClass = null; | ||
264 | |||
265 | /** | ||
266 | * <!-- begin-user-doc --> | ||
267 | * <!-- end-user-doc --> | ||
268 | * @generated | ||
269 | */ | ||
270 | private EClass errorPredicateEClass = null; | ||
271 | |||
272 | /** | ||
273 | * <!-- begin-user-doc --> | ||
274 | * <!-- end-user-doc --> | ||
275 | * @generated | ||
276 | */ | ||
277 | private EClass parameterEClass = null; | 261 | private EClass parameterEClass = null; |
278 | 262 | ||
279 | /** | 263 | /** |
@@ -927,9 +911,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
927 | * @generated | 911 | * @generated |
928 | */ | 912 | */ |
929 | @Override | 913 | @Override |
930 | public EReference getPredicate_Parameters() | 914 | public EAttribute getPredicate_IsError() |
931 | { | 915 | { |
932 | return (EReference)predicateEClass.getEStructuralFeatures().get(0); | 916 | return (EAttribute)predicateEClass.getEStructuralFeatures().get(0); |
933 | } | 917 | } |
934 | 918 | ||
935 | /** | 919 | /** |
@@ -938,7 +922,7 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
938 | * @generated | 922 | * @generated |
939 | */ | 923 | */ |
940 | @Override | 924 | @Override |
941 | public EReference getPredicate_Bodies() | 925 | public EReference getPredicate_Symbol() |
942 | { | 926 | { |
943 | return (EReference)predicateEClass.getEStructuralFeatures().get(1); | 927 | return (EReference)predicateEClass.getEStructuralFeatures().get(1); |
944 | } | 928 | } |
@@ -949,31 +933,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
949 | * @generated | 933 | * @generated |
950 | */ | 934 | */ |
951 | @Override | 935 | @Override |
952 | public EClass getPredicateSymbol() | 936 | public EReference getPredicate_Parameters() |
953 | { | ||
954 | return predicateSymbolEClass; | ||
955 | } | ||
956 | |||
957 | /** | ||
958 | * <!-- begin-user-doc --> | ||
959 | * <!-- end-user-doc --> | ||
960 | * @generated | ||
961 | */ | ||
962 | @Override | ||
963 | public EReference getPredicateSymbol_Symbol() | ||
964 | { | ||
965 | return (EReference)predicateSymbolEClass.getEStructuralFeatures().get(0); | ||
966 | } | ||
967 | |||
968 | /** | ||
969 | * <!-- begin-user-doc --> | ||
970 | * <!-- end-user-doc --> | ||
971 | * @generated | ||
972 | */ | ||
973 | @Override | ||
974 | public EClass getErrorPredicate() | ||
975 | { | 937 | { |
976 | return errorPredicateEClass; | 938 | return (EReference)predicateEClass.getEStructuralFeatures().get(2); |
977 | } | 939 | } |
978 | 940 | ||
979 | /** | 941 | /** |
@@ -982,9 +944,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
982 | * @generated | 944 | * @generated |
983 | */ | 945 | */ |
984 | @Override | 946 | @Override |
985 | public EAttribute getErrorPredicate_Name() | 947 | public EReference getPredicate_Bodies() |
986 | { | 948 | { |
987 | return (EAttribute)errorPredicateEClass.getEStructuralFeatures().get(0); | 949 | return (EReference)predicateEClass.getEStructuralFeatures().get(3); |
988 | } | 950 | } |
989 | 951 | ||
990 | /** | 952 | /** |
@@ -1685,15 +1647,11 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1685 | createEAttribute(stringObjectEClass, STRING_OBJECT__VALUE); | 1647 | createEAttribute(stringObjectEClass, STRING_OBJECT__VALUE); |
1686 | 1648 | ||
1687 | predicateEClass = createEClass(PREDICATE); | 1649 | predicateEClass = createEClass(PREDICATE); |
1650 | createEAttribute(predicateEClass, PREDICATE__IS_ERROR); | ||
1651 | createEReference(predicateEClass, PREDICATE__SYMBOL); | ||
1688 | createEReference(predicateEClass, PREDICATE__PARAMETERS); | 1652 | createEReference(predicateEClass, PREDICATE__PARAMETERS); |
1689 | createEReference(predicateEClass, PREDICATE__BODIES); | 1653 | createEReference(predicateEClass, PREDICATE__BODIES); |
1690 | 1654 | ||
1691 | predicateSymbolEClass = createEClass(PREDICATE_SYMBOL); | ||
1692 | createEReference(predicateSymbolEClass, PREDICATE_SYMBOL__SYMBOL); | ||
1693 | |||
1694 | errorPredicateEClass = createEClass(ERROR_PREDICATE); | ||
1695 | createEAttribute(errorPredicateEClass, ERROR_PREDICATE__NAME); | ||
1696 | |||
1697 | parameterEClass = createEClass(PARAMETER); | 1655 | parameterEClass = createEClass(PARAMETER); |
1698 | createEReference(parameterEClass, PARAMETER__VARIABLE); | 1656 | createEReference(parameterEClass, PARAMETER__VARIABLE); |
1699 | createEReference(parameterEClass, PARAMETER__TYPE); | 1657 | createEReference(parameterEClass, PARAMETER__TYPE); |
@@ -1818,6 +1776,7 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1818 | stringSymbolEClass.getESuperTypes().add(this.getDataSymbol()); | 1776 | stringSymbolEClass.getESuperTypes().add(this.getDataSymbol()); |
1819 | objectEClass.getESuperTypes().add(this.getComplexObject()); | 1777 | objectEClass.getESuperTypes().add(this.getComplexObject()); |
1820 | namedObjectEClass.getESuperTypes().add(this.getObject()); | 1778 | namedObjectEClass.getESuperTypes().add(this.getObject()); |
1779 | namedObjectEClass.getESuperTypes().add(this.getLiteral()); | ||
1821 | unnamedObjectEClass.getESuperTypes().add(this.getObject()); | 1780 | unnamedObjectEClass.getESuperTypes().add(this.getObject()); |
1822 | dataObjectEClass.getESuperTypes().add(this.getObject()); | 1781 | dataObjectEClass.getESuperTypes().add(this.getObject()); |
1823 | dataObjectEClass.getESuperTypes().add(this.getLiteral()); | 1782 | dataObjectEClass.getESuperTypes().add(this.getLiteral()); |
@@ -1826,8 +1785,6 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1826 | realObjectEClass.getESuperTypes().add(this.getDataObject()); | 1785 | realObjectEClass.getESuperTypes().add(this.getDataObject()); |
1827 | stringObjectEClass.getESuperTypes().add(this.getDataObject()); | 1786 | stringObjectEClass.getESuperTypes().add(this.getDataObject()); |
1828 | predicateEClass.getESuperTypes().add(this.getStatement()); | 1787 | predicateEClass.getESuperTypes().add(this.getStatement()); |
1829 | predicateSymbolEClass.getESuperTypes().add(this.getPredicate()); | ||
1830 | errorPredicateEClass.getESuperTypes().add(this.getPredicate()); | ||
1831 | variableEClass.getESuperTypes().add(this.getLiteral()); | 1788 | variableEClass.getESuperTypes().add(this.getLiteral()); |
1832 | allInstancesEClass.getESuperTypes().add(this.getComplexObject()); | 1789 | allInstancesEClass.getESuperTypes().add(this.getComplexObject()); |
1833 | allObjectsEClass.getESuperTypes().add(this.getComplexObject()); | 1790 | allObjectsEClass.getESuperTypes().add(this.getComplexObject()); |
@@ -1910,15 +1867,11 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1910 | initEAttribute(getStringObject_Value(), ecorePackage.getEString(), "value", null, 0, 1, StringObject.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1867 | initEAttribute(getStringObject_Value(), ecorePackage.getEString(), "value", null, 0, 1, StringObject.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1911 | 1868 | ||
1912 | initEClass(predicateEClass, Predicate.class, "Predicate", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1869 | initEClass(predicateEClass, Predicate.class, "Predicate", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1870 | initEAttribute(getPredicate_IsError(), ecorePackage.getEBoolean(), "isError", null, 0, 1, Predicate.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1871 | initEReference(getPredicate_Symbol(), this.getModelSymbol(), null, "symbol", null, 0, 1, Predicate.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1913 | initEReference(getPredicate_Parameters(), this.getParameter(), null, "parameters", null, 0, -1, Predicate.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1872 | initEReference(getPredicate_Parameters(), this.getParameter(), null, "parameters", null, 0, -1, Predicate.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1914 | initEReference(getPredicate_Bodies(), this.getPatternBody(), null, "bodies", null, 0, -1, Predicate.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1873 | initEReference(getPredicate_Bodies(), this.getPatternBody(), null, "bodies", null, 0, -1, Predicate.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1915 | 1874 | ||
1916 | initEClass(predicateSymbolEClass, PredicateSymbol.class, "PredicateSymbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1917 | initEReference(getPredicateSymbol_Symbol(), this.getModelSymbol(), null, "symbol", null, 0, 1, PredicateSymbol.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1918 | |||
1919 | initEClass(errorPredicateEClass, ErrorPredicate.class, "ErrorPredicate", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1920 | initEAttribute(getErrorPredicate_Name(), ecorePackage.getEString(), "name", null, 0, 1, ErrorPredicate.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1921 | |||
1922 | initEClass(parameterEClass, Parameter.class, "Parameter", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1875 | initEClass(parameterEClass, Parameter.class, "Parameter", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1923 | initEReference(getParameter_Variable(), this.getVariable(), null, "variable", null, 0, 1, Parameter.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1876 | initEReference(getParameter_Variable(), this.getVariable(), null, "variable", null, 0, 1, Parameter.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1924 | initEReference(getParameter_Type(), this.getSymbol(), null, "type", null, 0, 1, Parameter.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1877 | initEReference(getParameter_Type(), this.getSymbol(), null, "type", null, 0, 1, Parameter.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |