diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl')
3 files changed, 368 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguageFactoryImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguageFactoryImpl.java index b4d03cfd..0ad07f55 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguageFactoryImpl.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguageFactoryImpl.java | |||
@@ -98,6 +98,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
98 | case LogiclanguagePackage.INSTANCE_OF: return createInstanceOf(); | 98 | case LogiclanguagePackage.INSTANCE_OF: return createInstanceOf(); |
99 | case LogiclanguagePackage.STRING_TYPE_REFERENCE: return createStringTypeReference(); | 99 | case LogiclanguagePackage.STRING_TYPE_REFERENCE: return createStringTypeReference(); |
100 | case LogiclanguagePackage.STRING_LITERAL: return createStringLiteral(); | 100 | case LogiclanguagePackage.STRING_LITERAL: return createStringLiteral(); |
101 | case LogiclanguagePackage.TRANSITIVE_CLOSURE: return createTransitiveClosure(); | ||
101 | default: | 102 | default: |
102 | throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); | 103 | throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); |
103 | } | 104 | } |
@@ -528,6 +529,16 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
528 | * <!-- end-user-doc --> | 529 | * <!-- end-user-doc --> |
529 | * @generated | 530 | * @generated |
530 | */ | 531 | */ |
532 | public TransitiveClosure createTransitiveClosure() { | ||
533 | TransitiveClosureImpl transitiveClosure = new TransitiveClosureImpl(); | ||
534 | return transitiveClosure; | ||
535 | } | ||
536 | |||
537 | /** | ||
538 | * <!-- begin-user-doc --> | ||
539 | * <!-- end-user-doc --> | ||
540 | * @generated | ||
541 | */ | ||
531 | public LogiclanguagePackage getLogiclanguagePackage() { | 542 | public LogiclanguagePackage getLogiclanguagePackage() { |
532 | return (LogiclanguagePackage)getEPackage(); | 543 | return (LogiclanguagePackage)getEPackage(); |
533 | } | 544 | } |
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguagePackageImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguagePackageImpl.java index 8bc329d5..73560344 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguagePackageImpl.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguagePackageImpl.java | |||
@@ -54,6 +54,7 @@ import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration; | |||
54 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicValue; | 54 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicValue; |
55 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Term; | 55 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Term; |
56 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription; | 56 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription; |
57 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure; | ||
57 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type; | 58 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type; |
58 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration; | 59 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration; |
59 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDefinition; | 60 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDefinition; |
@@ -484,6 +485,13 @@ public class LogiclanguagePackageImpl extends EPackageImpl implements Logiclangu | |||
484 | private EClass stringLiteralEClass = null; | 485 | private EClass stringLiteralEClass = null; |
485 | 486 | ||
486 | /** | 487 | /** |
488 | * <!-- begin-user-doc --> | ||
489 | * <!-- end-user-doc --> | ||
490 | * @generated | ||
491 | */ | ||
492 | private EClass transitiveClosureEClass = null; | ||
493 | |||
494 | /** | ||
487 | * Creates an instance of the model <b>Package</b>, registered with | 495 | * Creates an instance of the model <b>Package</b>, registered with |
488 | * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package | 496 | * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package |
489 | * package URI value. | 497 | * package URI value. |
@@ -1619,6 +1627,42 @@ public class LogiclanguagePackageImpl extends EPackageImpl implements Logiclangu | |||
1619 | * <!-- end-user-doc --> | 1627 | * <!-- end-user-doc --> |
1620 | * @generated | 1628 | * @generated |
1621 | */ | 1629 | */ |
1630 | public EClass getTransitiveClosure() { | ||
1631 | return transitiveClosureEClass; | ||
1632 | } | ||
1633 | |||
1634 | /** | ||
1635 | * <!-- begin-user-doc --> | ||
1636 | * <!-- end-user-doc --> | ||
1637 | * @generated | ||
1638 | */ | ||
1639 | public EReference getTransitiveClosure_LeftOperand() { | ||
1640 | return (EReference)transitiveClosureEClass.getEStructuralFeatures().get(0); | ||
1641 | } | ||
1642 | |||
1643 | /** | ||
1644 | * <!-- begin-user-doc --> | ||
1645 | * <!-- end-user-doc --> | ||
1646 | * @generated | ||
1647 | */ | ||
1648 | public EReference getTransitiveClosure_RightOperand() { | ||
1649 | return (EReference)transitiveClosureEClass.getEStructuralFeatures().get(1); | ||
1650 | } | ||
1651 | |||
1652 | /** | ||
1653 | * <!-- begin-user-doc --> | ||
1654 | * <!-- end-user-doc --> | ||
1655 | * @generated | ||
1656 | */ | ||
1657 | public EReference getTransitiveClosure_Relation() { | ||
1658 | return (EReference)transitiveClosureEClass.getEStructuralFeatures().get(2); | ||
1659 | } | ||
1660 | |||
1661 | /** | ||
1662 | * <!-- begin-user-doc --> | ||
1663 | * <!-- end-user-doc --> | ||
1664 | * @generated | ||
1665 | */ | ||
1622 | public LogiclanguageFactory getLogiclanguageFactory() { | 1666 | public LogiclanguageFactory getLogiclanguageFactory() { |
1623 | return (LogiclanguageFactory)getEFactoryInstance(); | 1667 | return (LogiclanguageFactory)getEFactoryInstance(); |
1624 | } | 1668 | } |
@@ -1816,6 +1860,11 @@ public class LogiclanguagePackageImpl extends EPackageImpl implements Logiclangu | |||
1816 | 1860 | ||
1817 | stringLiteralEClass = createEClass(STRING_LITERAL); | 1861 | stringLiteralEClass = createEClass(STRING_LITERAL); |
1818 | createEAttribute(stringLiteralEClass, STRING_LITERAL__VALUE); | 1862 | createEAttribute(stringLiteralEClass, STRING_LITERAL__VALUE); |
1863 | |||
1864 | transitiveClosureEClass = createEClass(TRANSITIVE_CLOSURE); | ||
1865 | createEReference(transitiveClosureEClass, TRANSITIVE_CLOSURE__LEFT_OPERAND); | ||
1866 | createEReference(transitiveClosureEClass, TRANSITIVE_CLOSURE__RIGHT_OPERAND); | ||
1867 | createEReference(transitiveClosureEClass, TRANSITIVE_CLOSURE__RELATION); | ||
1819 | } | 1868 | } |
1820 | 1869 | ||
1821 | /** | 1870 | /** |
@@ -2080,6 +2129,11 @@ public class LogiclanguagePackageImpl extends EPackageImpl implements Logiclangu | |||
2080 | initEClass(stringLiteralEClass, StringLiteral.class, "StringLiteral", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2129 | initEClass(stringLiteralEClass, StringLiteral.class, "StringLiteral", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
2081 | initEAttribute(getStringLiteral_Value(), ecorePackage.getEString(), "value", null, 1, 1, StringLiteral.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 2130 | initEAttribute(getStringLiteral_Value(), ecorePackage.getEString(), "value", null, 1, 1, StringLiteral.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
2082 | 2131 | ||
2132 | initEClass(transitiveClosureEClass, TransitiveClosure.class, "TransitiveClosure", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2133 | initEReference(getTransitiveClosure_LeftOperand(), this.getTerm(), null, "leftOperand", null, 0, 1, TransitiveClosure.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2134 | initEReference(getTransitiveClosure_RightOperand(), this.getTerm(), null, "rightOperand", null, 0, 1, TransitiveClosure.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2135 | initEReference(getTransitiveClosure_Relation(), this.getRelation(), null, "relation", null, 0, 1, TransitiveClosure.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2136 | |||
2083 | // Create resource | 2137 | // Create resource |
2084 | createResource(eNS_URI); | 2138 | createResource(eNS_URI); |
2085 | } | 2139 | } |
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/TransitiveClosureImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/TransitiveClosureImpl.java new file mode 100644 index 00000000..9633334b --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/TransitiveClosureImpl.java | |||
@@ -0,0 +1,303 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation; | ||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Term; | ||
8 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure; | ||
9 | |||
10 | import org.eclipse.emf.common.notify.Notification; | ||
11 | import org.eclipse.emf.common.notify.NotificationChain; | ||
12 | |||
13 | import org.eclipse.emf.ecore.EClass; | ||
14 | import org.eclipse.emf.ecore.InternalEObject; | ||
15 | |||
16 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
17 | import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; | ||
18 | |||
19 | /** | ||
20 | * <!-- begin-user-doc --> | ||
21 | * An implementation of the model object '<em><b>Transitive Closure</b></em>'. | ||
22 | * <!-- end-user-doc --> | ||
23 | * <p> | ||
24 | * The following features are implemented: | ||
25 | * </p> | ||
26 | * <ul> | ||
27 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TransitiveClosureImpl#getLeftOperand <em>Left Operand</em>}</li> | ||
28 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TransitiveClosureImpl#getRightOperand <em>Right Operand</em>}</li> | ||
29 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TransitiveClosureImpl#getRelation <em>Relation</em>}</li> | ||
30 | * </ul> | ||
31 | * | ||
32 | * @generated | ||
33 | */ | ||
34 | public class TransitiveClosureImpl extends MinimalEObjectImpl.Container implements TransitiveClosure { | ||
35 | /** | ||
36 | * The cached value of the '{@link #getLeftOperand() <em>Left Operand</em>}' containment reference. | ||
37 | * <!-- begin-user-doc --> | ||
38 | * <!-- end-user-doc --> | ||
39 | * @see #getLeftOperand() | ||
40 | * @generated | ||
41 | * @ordered | ||
42 | */ | ||
43 | protected Term leftOperand; | ||
44 | |||
45 | /** | ||
46 | * The cached value of the '{@link #getRightOperand() <em>Right Operand</em>}' containment reference. | ||
47 | * <!-- begin-user-doc --> | ||
48 | * <!-- end-user-doc --> | ||
49 | * @see #getRightOperand() | ||
50 | * @generated | ||
51 | * @ordered | ||
52 | */ | ||
53 | protected Term rightOperand; | ||
54 | |||
55 | /** | ||
56 | * The cached value of the '{@link #getRelation() <em>Relation</em>}' reference. | ||
57 | * <!-- begin-user-doc --> | ||
58 | * <!-- end-user-doc --> | ||
59 | * @see #getRelation() | ||
60 | * @generated | ||
61 | * @ordered | ||
62 | */ | ||
63 | protected Relation relation; | ||
64 | |||
65 | /** | ||
66 | * <!-- begin-user-doc --> | ||
67 | * <!-- end-user-doc --> | ||
68 | * @generated | ||
69 | */ | ||
70 | protected TransitiveClosureImpl() { | ||
71 | super(); | ||
72 | } | ||
73 | |||
74 | /** | ||
75 | * <!-- begin-user-doc --> | ||
76 | * <!-- end-user-doc --> | ||
77 | * @generated | ||
78 | */ | ||
79 | @Override | ||
80 | protected EClass eStaticClass() { | ||
81 | return LogiclanguagePackage.Literals.TRANSITIVE_CLOSURE; | ||
82 | } | ||
83 | |||
84 | /** | ||
85 | * <!-- begin-user-doc --> | ||
86 | * <!-- end-user-doc --> | ||
87 | * @generated | ||
88 | */ | ||
89 | public Term getLeftOperand() { | ||
90 | return leftOperand; | ||
91 | } | ||
92 | |||
93 | /** | ||
94 | * <!-- begin-user-doc --> | ||
95 | * <!-- end-user-doc --> | ||
96 | * @generated | ||
97 | */ | ||
98 | public NotificationChain basicSetLeftOperand(Term newLeftOperand, NotificationChain msgs) { | ||
99 | Term oldLeftOperand = leftOperand; | ||
100 | leftOperand = newLeftOperand; | ||
101 | if (eNotificationRequired()) { | ||
102 | ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, LogiclanguagePackage.TRANSITIVE_CLOSURE__LEFT_OPERAND, oldLeftOperand, newLeftOperand); | ||
103 | if (msgs == null) msgs = notification; else msgs.add(notification); | ||
104 | } | ||
105 | return msgs; | ||
106 | } | ||
107 | |||
108 | /** | ||
109 | * <!-- begin-user-doc --> | ||
110 | * <!-- end-user-doc --> | ||
111 | * @generated | ||
112 | */ | ||
113 | public void setLeftOperand(Term newLeftOperand) { | ||
114 | if (newLeftOperand != leftOperand) { | ||
115 | NotificationChain msgs = null; | ||
116 | if (leftOperand != null) | ||
117 | msgs = ((InternalEObject)leftOperand).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - LogiclanguagePackage.TRANSITIVE_CLOSURE__LEFT_OPERAND, null, msgs); | ||
118 | if (newLeftOperand != null) | ||
119 | msgs = ((InternalEObject)newLeftOperand).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - LogiclanguagePackage.TRANSITIVE_CLOSURE__LEFT_OPERAND, null, msgs); | ||
120 | msgs = basicSetLeftOperand(newLeftOperand, msgs); | ||
121 | if (msgs != null) msgs.dispatch(); | ||
122 | } | ||
123 | else if (eNotificationRequired()) | ||
124 | eNotify(new ENotificationImpl(this, Notification.SET, LogiclanguagePackage.TRANSITIVE_CLOSURE__LEFT_OPERAND, newLeftOperand, newLeftOperand)); | ||
125 | } | ||
126 | |||
127 | /** | ||
128 | * <!-- begin-user-doc --> | ||
129 | * <!-- end-user-doc --> | ||
130 | * @generated | ||
131 | */ | ||
132 | public Term getRightOperand() { | ||
133 | return rightOperand; | ||
134 | } | ||
135 | |||
136 | /** | ||
137 | * <!-- begin-user-doc --> | ||
138 | * <!-- end-user-doc --> | ||
139 | * @generated | ||
140 | */ | ||
141 | public NotificationChain basicSetRightOperand(Term newRightOperand, NotificationChain msgs) { | ||
142 | Term oldRightOperand = rightOperand; | ||
143 | rightOperand = newRightOperand; | ||
144 | if (eNotificationRequired()) { | ||
145 | ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, LogiclanguagePackage.TRANSITIVE_CLOSURE__RIGHT_OPERAND, oldRightOperand, newRightOperand); | ||
146 | if (msgs == null) msgs = notification; else msgs.add(notification); | ||
147 | } | ||
148 | return msgs; | ||
149 | } | ||
150 | |||
151 | /** | ||
152 | * <!-- begin-user-doc --> | ||
153 | * <!-- end-user-doc --> | ||
154 | * @generated | ||
155 | */ | ||
156 | public void setRightOperand(Term newRightOperand) { | ||
157 | if (newRightOperand != rightOperand) { | ||
158 | NotificationChain msgs = null; | ||
159 | if (rightOperand != null) | ||
160 | msgs = ((InternalEObject)rightOperand).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - LogiclanguagePackage.TRANSITIVE_CLOSURE__RIGHT_OPERAND, null, msgs); | ||
161 | if (newRightOperand != null) | ||
162 | msgs = ((InternalEObject)newRightOperand).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - LogiclanguagePackage.TRANSITIVE_CLOSURE__RIGHT_OPERAND, null, msgs); | ||
163 | msgs = basicSetRightOperand(newRightOperand, msgs); | ||
164 | if (msgs != null) msgs.dispatch(); | ||
165 | } | ||
166 | else if (eNotificationRequired()) | ||
167 | eNotify(new ENotificationImpl(this, Notification.SET, LogiclanguagePackage.TRANSITIVE_CLOSURE__RIGHT_OPERAND, newRightOperand, newRightOperand)); | ||
168 | } | ||
169 | |||
170 | /** | ||
171 | * <!-- begin-user-doc --> | ||
172 | * <!-- end-user-doc --> | ||
173 | * @generated | ||
174 | */ | ||
175 | public Relation getRelation() { | ||
176 | if (relation != null && relation.eIsProxy()) { | ||
177 | InternalEObject oldRelation = (InternalEObject)relation; | ||
178 | relation = (Relation)eResolveProxy(oldRelation); | ||
179 | if (relation != oldRelation) { | ||
180 | if (eNotificationRequired()) | ||
181 | eNotify(new ENotificationImpl(this, Notification.RESOLVE, LogiclanguagePackage.TRANSITIVE_CLOSURE__RELATION, oldRelation, relation)); | ||
182 | } | ||
183 | } | ||
184 | return relation; | ||
185 | } | ||
186 | |||
187 | /** | ||
188 | * <!-- begin-user-doc --> | ||
189 | * <!-- end-user-doc --> | ||
190 | * @generated | ||
191 | */ | ||
192 | public Relation basicGetRelation() { | ||
193 | return relation; | ||
194 | } | ||
195 | |||
196 | /** | ||
197 | * <!-- begin-user-doc --> | ||
198 | * <!-- end-user-doc --> | ||
199 | * @generated | ||
200 | */ | ||
201 | public void setRelation(Relation newRelation) { | ||
202 | Relation oldRelation = relation; | ||
203 | relation = newRelation; | ||
204 | if (eNotificationRequired()) | ||
205 | eNotify(new ENotificationImpl(this, Notification.SET, LogiclanguagePackage.TRANSITIVE_CLOSURE__RELATION, oldRelation, relation)); | ||
206 | } | ||
207 | |||
208 | /** | ||
209 | * <!-- begin-user-doc --> | ||
210 | * <!-- end-user-doc --> | ||
211 | * @generated | ||
212 | */ | ||
213 | @Override | ||
214 | public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { | ||
215 | switch (featureID) { | ||
216 | case LogiclanguagePackage.TRANSITIVE_CLOSURE__LEFT_OPERAND: | ||
217 | return basicSetLeftOperand(null, msgs); | ||
218 | case LogiclanguagePackage.TRANSITIVE_CLOSURE__RIGHT_OPERAND: | ||
219 | return basicSetRightOperand(null, msgs); | ||
220 | } | ||
221 | return super.eInverseRemove(otherEnd, featureID, msgs); | ||
222 | } | ||
223 | |||
224 | /** | ||
225 | * <!-- begin-user-doc --> | ||
226 | * <!-- end-user-doc --> | ||
227 | * @generated | ||
228 | */ | ||
229 | @Override | ||
230 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | ||
231 | switch (featureID) { | ||
232 | case LogiclanguagePackage.TRANSITIVE_CLOSURE__LEFT_OPERAND: | ||
233 | return getLeftOperand(); | ||
234 | case LogiclanguagePackage.TRANSITIVE_CLOSURE__RIGHT_OPERAND: | ||
235 | return getRightOperand(); | ||
236 | case LogiclanguagePackage.TRANSITIVE_CLOSURE__RELATION: | ||
237 | if (resolve) return getRelation(); | ||
238 | return basicGetRelation(); | ||
239 | } | ||
240 | return super.eGet(featureID, resolve, coreType); | ||
241 | } | ||
242 | |||
243 | /** | ||
244 | * <!-- begin-user-doc --> | ||
245 | * <!-- end-user-doc --> | ||
246 | * @generated | ||
247 | */ | ||
248 | @Override | ||
249 | public void eSet(int featureID, Object newValue) { | ||
250 | switch (featureID) { | ||
251 | case LogiclanguagePackage.TRANSITIVE_CLOSURE__LEFT_OPERAND: | ||
252 | setLeftOperand((Term)newValue); | ||
253 | return; | ||
254 | case LogiclanguagePackage.TRANSITIVE_CLOSURE__RIGHT_OPERAND: | ||
255 | setRightOperand((Term)newValue); | ||
256 | return; | ||
257 | case LogiclanguagePackage.TRANSITIVE_CLOSURE__RELATION: | ||
258 | setRelation((Relation)newValue); | ||
259 | return; | ||
260 | } | ||
261 | super.eSet(featureID, newValue); | ||
262 | } | ||
263 | |||
264 | /** | ||
265 | * <!-- begin-user-doc --> | ||
266 | * <!-- end-user-doc --> | ||
267 | * @generated | ||
268 | */ | ||
269 | @Override | ||
270 | public void eUnset(int featureID) { | ||
271 | switch (featureID) { | ||
272 | case LogiclanguagePackage.TRANSITIVE_CLOSURE__LEFT_OPERAND: | ||
273 | setLeftOperand((Term)null); | ||
274 | return; | ||
275 | case LogiclanguagePackage.TRANSITIVE_CLOSURE__RIGHT_OPERAND: | ||
276 | setRightOperand((Term)null); | ||
277 | return; | ||
278 | case LogiclanguagePackage.TRANSITIVE_CLOSURE__RELATION: | ||
279 | setRelation((Relation)null); | ||
280 | return; | ||
281 | } | ||
282 | super.eUnset(featureID); | ||
283 | } | ||
284 | |||
285 | /** | ||
286 | * <!-- begin-user-doc --> | ||
287 | * <!-- end-user-doc --> | ||
288 | * @generated | ||
289 | */ | ||
290 | @Override | ||
291 | public boolean eIsSet(int featureID) { | ||
292 | switch (featureID) { | ||
293 | case LogiclanguagePackage.TRANSITIVE_CLOSURE__LEFT_OPERAND: | ||
294 | return leftOperand != null; | ||
295 | case LogiclanguagePackage.TRANSITIVE_CLOSURE__RIGHT_OPERAND: | ||
296 | return rightOperand != null; | ||
297 | case LogiclanguagePackage.TRANSITIVE_CLOSURE__RELATION: | ||
298 | return relation != null; | ||
299 | } | ||
300 | return super.eIsSet(featureID); | ||
301 | } | ||
302 | |||
303 | } //TransitiveClosureImpl | ||