diff options
author | Kristóf Marussy <kristof@marussy.com> | 2021-06-27 23:21:42 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2021-06-27 23:30:25 +0200 |
commit | 7febe0b4781c5bb0fab34895ad642040ae143a8b (patch) | |
tree | 5bc49f9195b18a938382f2527ee4ab273527a07a /language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/impl/AssertionImpl.java | |
parent | Electric semicolons (diff) | |
download | refinery-7febe0b4781c5bb0fab34895ad642040ae143a8b.tar.gz refinery-7febe0b4781c5bb0fab34895ad642040ae143a8b.tar.zst refinery-7febe0b4781c5bb0fab34895ad642040ae143a8b.zip |
Add data constant support
Diffstat (limited to 'language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/impl/AssertionImpl.java')
-rw-r--r-- | language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/impl/AssertionImpl.java | 66 |
1 files changed, 41 insertions, 25 deletions
diff --git a/language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/impl/AssertionImpl.java b/language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/impl/AssertionImpl.java index 5856a276..2567d57b 100644 --- a/language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/impl/AssertionImpl.java +++ b/language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/impl/AssertionImpl.java | |||
@@ -6,6 +6,7 @@ import java.util.Collection; | |||
6 | 6 | ||
7 | import org.eclipse.emf.common.notify.Notification; | 7 | import org.eclipse.emf.common.notify.Notification; |
8 | 8 | ||
9 | import org.eclipse.emf.common.notify.NotificationChain; | ||
9 | import org.eclipse.emf.common.util.EList; | 10 | import org.eclipse.emf.common.util.EList; |
10 | 11 | ||
11 | import org.eclipse.emf.ecore.EClass; | 12 | import org.eclipse.emf.ecore.EClass; |
@@ -14,11 +15,11 @@ import org.eclipse.emf.ecore.InternalEObject; | |||
14 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | 15 | import org.eclipse.emf.ecore.impl.ENotificationImpl; |
15 | import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; | 16 | import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; |
16 | 17 | ||
17 | import org.eclipse.emf.ecore.util.EObjectResolvingEList; | 18 | import org.eclipse.emf.ecore.util.EObjectContainmentEList; |
18 | 19 | import org.eclipse.emf.ecore.util.InternalEList; | |
19 | import org.eclipse.viatra.solver.language.model.problem.Assertion; | 20 | import org.eclipse.viatra.solver.language.model.problem.Assertion; |
21 | import org.eclipse.viatra.solver.language.model.problem.AssertionArgument; | ||
20 | import org.eclipse.viatra.solver.language.model.problem.LogicValue; | 22 | import org.eclipse.viatra.solver.language.model.problem.LogicValue; |
21 | import org.eclipse.viatra.solver.language.model.problem.Node; | ||
22 | import org.eclipse.viatra.solver.language.model.problem.ProblemPackage; | 23 | import org.eclipse.viatra.solver.language.model.problem.ProblemPackage; |
23 | import org.eclipse.viatra.solver.language.model.problem.Relation; | 24 | import org.eclipse.viatra.solver.language.model.problem.Relation; |
24 | 25 | ||
@@ -31,8 +32,8 @@ import org.eclipse.viatra.solver.language.model.problem.Relation; | |||
31 | * </p> | 32 | * </p> |
32 | * <ul> | 33 | * <ul> |
33 | * <li>{@link org.eclipse.viatra.solver.language.model.problem.impl.AssertionImpl#getRelation <em>Relation</em>}</li> | 34 | * <li>{@link org.eclipse.viatra.solver.language.model.problem.impl.AssertionImpl#getRelation <em>Relation</em>}</li> |
34 | * <li>{@link org.eclipse.viatra.solver.language.model.problem.impl.AssertionImpl#getArguments <em>Arguments</em>}</li> | ||
35 | * <li>{@link org.eclipse.viatra.solver.language.model.problem.impl.AssertionImpl#getValue <em>Value</em>}</li> | 35 | * <li>{@link org.eclipse.viatra.solver.language.model.problem.impl.AssertionImpl#getValue <em>Value</em>}</li> |
36 | * <li>{@link org.eclipse.viatra.solver.language.model.problem.impl.AssertionImpl#getArguments <em>Arguments</em>}</li> | ||
36 | * </ul> | 37 | * </ul> |
37 | * | 38 | * |
38 | * @generated | 39 | * @generated |
@@ -49,34 +50,34 @@ public class AssertionImpl extends MinimalEObjectImpl.Container implements Asser | |||
49 | protected Relation relation; | 50 | protected Relation relation; |
50 | 51 | ||
51 | /** | 52 | /** |
52 | * The cached value of the '{@link #getArguments() <em>Arguments</em>}' reference list. | 53 | * The default value of the '{@link #getValue() <em>Value</em>}' attribute. |
53 | * <!-- begin-user-doc --> | 54 | * <!-- begin-user-doc --> |
54 | * <!-- end-user-doc --> | 55 | * <!-- end-user-doc --> |
55 | * @see #getArguments() | 56 | * @see #getValue() |
56 | * @generated | 57 | * @generated |
57 | * @ordered | 58 | * @ordered |
58 | */ | 59 | */ |
59 | protected EList<Node> arguments; | 60 | protected static final LogicValue VALUE_EDEFAULT = LogicValue.TRUE; |
60 | 61 | ||
61 | /** | 62 | /** |
62 | * The default value of the '{@link #getValue() <em>Value</em>}' attribute. | 63 | * The cached value of the '{@link #getValue() <em>Value</em>}' attribute. |
63 | * <!-- begin-user-doc --> | 64 | * <!-- begin-user-doc --> |
64 | * <!-- end-user-doc --> | 65 | * <!-- end-user-doc --> |
65 | * @see #getValue() | 66 | * @see #getValue() |
66 | * @generated | 67 | * @generated |
67 | * @ordered | 68 | * @ordered |
68 | */ | 69 | */ |
69 | protected static final LogicValue VALUE_EDEFAULT = LogicValue.TRUE; | 70 | protected LogicValue value = VALUE_EDEFAULT; |
70 | 71 | ||
71 | /** | 72 | /** |
72 | * The cached value of the '{@link #getValue() <em>Value</em>}' attribute. | 73 | * The cached value of the '{@link #getArguments() <em>Arguments</em>}' containment reference list. |
73 | * <!-- begin-user-doc --> | 74 | * <!-- begin-user-doc --> |
74 | * <!-- end-user-doc --> | 75 | * <!-- end-user-doc --> |
75 | * @see #getValue() | 76 | * @see #getArguments() |
76 | * @generated | 77 | * @generated |
77 | * @ordered | 78 | * @ordered |
78 | */ | 79 | */ |
79 | protected LogicValue value = VALUE_EDEFAULT; | 80 | protected EList<AssertionArgument> arguments; |
80 | 81 | ||
81 | /** | 82 | /** |
82 | * <!-- begin-user-doc --> | 83 | * <!-- begin-user-doc --> |
@@ -142,9 +143,10 @@ public class AssertionImpl extends MinimalEObjectImpl.Container implements Asser | |||
142 | * <!-- end-user-doc --> | 143 | * <!-- end-user-doc --> |
143 | * @generated | 144 | * @generated |
144 | */ | 145 | */ |
145 | public EList<Node> getArguments() { | 146 | public EList<AssertionArgument> getArguments() { |
146 | if (arguments == null) { | 147 | if (arguments == null) { |
147 | arguments = new EObjectResolvingEList<Node>(Node.class, this, ProblemPackage.ASSERTION__ARGUMENTS); | 148 | arguments = new EObjectContainmentEList<AssertionArgument>(AssertionArgument.class, this, |
149 | ProblemPackage.ASSERTION__ARGUMENTS); | ||
148 | } | 150 | } |
149 | return arguments; | 151 | return arguments; |
150 | } | 152 | } |
@@ -154,6 +156,20 @@ public class AssertionImpl extends MinimalEObjectImpl.Container implements Asser | |||
154 | * <!-- end-user-doc --> | 156 | * <!-- end-user-doc --> |
155 | * @generated | 157 | * @generated |
156 | */ | 158 | */ |
159 | @Override | ||
160 | public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { | ||
161 | switch (featureID) { | ||
162 | case ProblemPackage.ASSERTION__ARGUMENTS: | ||
163 | return ((InternalEList<?>) getArguments()).basicRemove(otherEnd, msgs); | ||
164 | } | ||
165 | return super.eInverseRemove(otherEnd, featureID, msgs); | ||
166 | } | ||
167 | |||
168 | /** | ||
169 | * <!-- begin-user-doc --> | ||
170 | * <!-- end-user-doc --> | ||
171 | * @generated | ||
172 | */ | ||
157 | public LogicValue getValue() { | 173 | public LogicValue getValue() { |
158 | return value; | 174 | return value; |
159 | } | 175 | } |
@@ -182,10 +198,10 @@ public class AssertionImpl extends MinimalEObjectImpl.Container implements Asser | |||
182 | if (resolve) | 198 | if (resolve) |
183 | return getRelation(); | 199 | return getRelation(); |
184 | return basicGetRelation(); | 200 | return basicGetRelation(); |
185 | case ProblemPackage.ASSERTION__ARGUMENTS: | ||
186 | return getArguments(); | ||
187 | case ProblemPackage.ASSERTION__VALUE: | 201 | case ProblemPackage.ASSERTION__VALUE: |
188 | return getValue(); | 202 | return getValue(); |
203 | case ProblemPackage.ASSERTION__ARGUMENTS: | ||
204 | return getArguments(); | ||
189 | } | 205 | } |
190 | return super.eGet(featureID, resolve, coreType); | 206 | return super.eGet(featureID, resolve, coreType); |
191 | } | 207 | } |
@@ -202,13 +218,13 @@ public class AssertionImpl extends MinimalEObjectImpl.Container implements Asser | |||
202 | case ProblemPackage.ASSERTION__RELATION: | 218 | case ProblemPackage.ASSERTION__RELATION: |
203 | setRelation((Relation) newValue); | 219 | setRelation((Relation) newValue); |
204 | return; | 220 | return; |
205 | case ProblemPackage.ASSERTION__ARGUMENTS: | ||
206 | getArguments().clear(); | ||
207 | getArguments().addAll((Collection<? extends Node>) newValue); | ||
208 | return; | ||
209 | case ProblemPackage.ASSERTION__VALUE: | 221 | case ProblemPackage.ASSERTION__VALUE: |
210 | setValue((LogicValue) newValue); | 222 | setValue((LogicValue) newValue); |
211 | return; | 223 | return; |
224 | case ProblemPackage.ASSERTION__ARGUMENTS: | ||
225 | getArguments().clear(); | ||
226 | getArguments().addAll((Collection<? extends AssertionArgument>) newValue); | ||
227 | return; | ||
212 | } | 228 | } |
213 | super.eSet(featureID, newValue); | 229 | super.eSet(featureID, newValue); |
214 | } | 230 | } |
@@ -224,12 +240,12 @@ public class AssertionImpl extends MinimalEObjectImpl.Container implements Asser | |||
224 | case ProblemPackage.ASSERTION__RELATION: | 240 | case ProblemPackage.ASSERTION__RELATION: |
225 | setRelation((Relation) null); | 241 | setRelation((Relation) null); |
226 | return; | 242 | return; |
227 | case ProblemPackage.ASSERTION__ARGUMENTS: | ||
228 | getArguments().clear(); | ||
229 | return; | ||
230 | case ProblemPackage.ASSERTION__VALUE: | 243 | case ProblemPackage.ASSERTION__VALUE: |
231 | setValue(VALUE_EDEFAULT); | 244 | setValue(VALUE_EDEFAULT); |
232 | return; | 245 | return; |
246 | case ProblemPackage.ASSERTION__ARGUMENTS: | ||
247 | getArguments().clear(); | ||
248 | return; | ||
233 | } | 249 | } |
234 | super.eUnset(featureID); | 250 | super.eUnset(featureID); |
235 | } | 251 | } |
@@ -244,10 +260,10 @@ public class AssertionImpl extends MinimalEObjectImpl.Container implements Asser | |||
244 | switch (featureID) { | 260 | switch (featureID) { |
245 | case ProblemPackage.ASSERTION__RELATION: | 261 | case ProblemPackage.ASSERTION__RELATION: |
246 | return relation != null; | 262 | return relation != null; |
247 | case ProblemPackage.ASSERTION__ARGUMENTS: | ||
248 | return arguments != null && !arguments.isEmpty(); | ||
249 | case ProblemPackage.ASSERTION__VALUE: | 263 | case ProblemPackage.ASSERTION__VALUE: |
250 | return value != VALUE_EDEFAULT; | 264 | return value != VALUE_EDEFAULT; |
265 | case ProblemPackage.ASSERTION__ARGUMENTS: | ||
266 | return arguments != null && !arguments.isEmpty(); | ||
251 | } | 267 | } |
252 | return super.eIsSet(featureID); | 268 | return super.eIsSet(featureID); |
253 | } | 269 | } |