diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl')
9 files changed, 2215 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/AnnotationImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/AnnotationImpl.java new file mode 100644 index 00000000..365aa206 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/AnnotationImpl.java | |||
@@ -0,0 +1,39 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage; | ||
7 | |||
8 | import org.eclipse.emf.ecore.EClass; | ||
9 | |||
10 | import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; | ||
11 | |||
12 | /** | ||
13 | * <!-- begin-user-doc --> | ||
14 | * An implementation of the model object '<em><b>Annotation</b></em>'. | ||
15 | * <!-- end-user-doc --> | ||
16 | * | ||
17 | * @generated | ||
18 | */ | ||
19 | public class AnnotationImpl extends MinimalEObjectImpl.Container implements Annotation { | ||
20 | /** | ||
21 | * <!-- begin-user-doc --> | ||
22 | * <!-- end-user-doc --> | ||
23 | * @generated | ||
24 | */ | ||
25 | protected AnnotationImpl() { | ||
26 | super(); | ||
27 | } | ||
28 | |||
29 | /** | ||
30 | * <!-- begin-user-doc --> | ||
31 | * <!-- end-user-doc --> | ||
32 | * @generated | ||
33 | */ | ||
34 | @Override | ||
35 | protected EClass eStaticClass() { | ||
36 | return LogicproblemPackage.Literals.ANNOTATION; | ||
37 | } | ||
38 | |||
39 | } //AnnotationImpl | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/AssertionAnnotationImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/AssertionAnnotationImpl.java new file mode 100644 index 00000000..1e015974 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/AssertionAnnotationImpl.java | |||
@@ -0,0 +1,211 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion; | ||
6 | |||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage; | ||
8 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation; | ||
9 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage; | ||
10 | |||
11 | import org.eclipse.emf.common.notify.Notification; | ||
12 | |||
13 | import org.eclipse.emf.common.notify.NotificationChain; | ||
14 | import org.eclipse.emf.ecore.EClass; | ||
15 | import org.eclipse.emf.ecore.InternalEObject; | ||
16 | |||
17 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
18 | |||
19 | /** | ||
20 | * <!-- begin-user-doc --> | ||
21 | * An implementation of the model object '<em><b>Assertion Annotation</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.logicproblem.impl.AssertionAnnotationImpl#getTarget <em>Target</em>}</li> | ||
28 | * </ul> | ||
29 | * | ||
30 | * @generated | ||
31 | */ | ||
32 | public class AssertionAnnotationImpl extends AnnotationImpl implements AssertionAnnotation { | ||
33 | /** | ||
34 | * The cached value of the '{@link #getTarget() <em>Target</em>}' reference. | ||
35 | * <!-- begin-user-doc --> | ||
36 | * <!-- end-user-doc --> | ||
37 | * @see #getTarget() | ||
38 | * @generated | ||
39 | * @ordered | ||
40 | */ | ||
41 | protected Assertion target; | ||
42 | |||
43 | /** | ||
44 | * <!-- begin-user-doc --> | ||
45 | * <!-- end-user-doc --> | ||
46 | * @generated | ||
47 | */ | ||
48 | protected AssertionAnnotationImpl() { | ||
49 | super(); | ||
50 | } | ||
51 | |||
52 | /** | ||
53 | * <!-- begin-user-doc --> | ||
54 | * <!-- end-user-doc --> | ||
55 | * @generated | ||
56 | */ | ||
57 | @Override | ||
58 | protected EClass eStaticClass() { | ||
59 | return LogicproblemPackage.Literals.ASSERTION_ANNOTATION; | ||
60 | } | ||
61 | |||
62 | /** | ||
63 | * <!-- begin-user-doc --> | ||
64 | * <!-- end-user-doc --> | ||
65 | * @generated | ||
66 | */ | ||
67 | public Assertion getTarget() { | ||
68 | if (target != null && target.eIsProxy()) { | ||
69 | InternalEObject oldTarget = (InternalEObject)target; | ||
70 | target = (Assertion)eResolveProxy(oldTarget); | ||
71 | if (target != oldTarget) { | ||
72 | if (eNotificationRequired()) | ||
73 | eNotify(new ENotificationImpl(this, Notification.RESOLVE, LogicproblemPackage.ASSERTION_ANNOTATION__TARGET, oldTarget, target)); | ||
74 | } | ||
75 | } | ||
76 | return target; | ||
77 | } | ||
78 | |||
79 | /** | ||
80 | * <!-- begin-user-doc --> | ||
81 | * <!-- end-user-doc --> | ||
82 | * @generated | ||
83 | */ | ||
84 | public Assertion basicGetTarget() { | ||
85 | return target; | ||
86 | } | ||
87 | |||
88 | /** | ||
89 | * <!-- begin-user-doc --> | ||
90 | * <!-- end-user-doc --> | ||
91 | * @generated | ||
92 | */ | ||
93 | public NotificationChain basicSetTarget(Assertion newTarget, NotificationChain msgs) { | ||
94 | Assertion oldTarget = target; | ||
95 | target = newTarget; | ||
96 | if (eNotificationRequired()) { | ||
97 | ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, LogicproblemPackage.ASSERTION_ANNOTATION__TARGET, oldTarget, newTarget); | ||
98 | if (msgs == null) msgs = notification; else msgs.add(notification); | ||
99 | } | ||
100 | return msgs; | ||
101 | } | ||
102 | |||
103 | /** | ||
104 | * <!-- begin-user-doc --> | ||
105 | * <!-- end-user-doc --> | ||
106 | * @generated | ||
107 | */ | ||
108 | public void setTarget(Assertion newTarget) { | ||
109 | if (newTarget != target) { | ||
110 | NotificationChain msgs = null; | ||
111 | if (target != null) | ||
112 | msgs = ((InternalEObject)target).eInverseRemove(this, LogiclanguagePackage.ASSERTION__ANNOTATIONS, Assertion.class, msgs); | ||
113 | if (newTarget != null) | ||
114 | msgs = ((InternalEObject)newTarget).eInverseAdd(this, LogiclanguagePackage.ASSERTION__ANNOTATIONS, Assertion.class, msgs); | ||
115 | msgs = basicSetTarget(newTarget, msgs); | ||
116 | if (msgs != null) msgs.dispatch(); | ||
117 | } | ||
118 | else if (eNotificationRequired()) | ||
119 | eNotify(new ENotificationImpl(this, Notification.SET, LogicproblemPackage.ASSERTION_ANNOTATION__TARGET, newTarget, newTarget)); | ||
120 | } | ||
121 | |||
122 | /** | ||
123 | * <!-- begin-user-doc --> | ||
124 | * <!-- end-user-doc --> | ||
125 | * @generated | ||
126 | */ | ||
127 | @Override | ||
128 | public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) { | ||
129 | switch (featureID) { | ||
130 | case LogicproblemPackage.ASSERTION_ANNOTATION__TARGET: | ||
131 | if (target != null) | ||
132 | msgs = ((InternalEObject)target).eInverseRemove(this, LogiclanguagePackage.ASSERTION__ANNOTATIONS, Assertion.class, msgs); | ||
133 | return basicSetTarget((Assertion)otherEnd, msgs); | ||
134 | } | ||
135 | return super.eInverseAdd(otherEnd, featureID, msgs); | ||
136 | } | ||
137 | |||
138 | /** | ||
139 | * <!-- begin-user-doc --> | ||
140 | * <!-- end-user-doc --> | ||
141 | * @generated | ||
142 | */ | ||
143 | @Override | ||
144 | public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { | ||
145 | switch (featureID) { | ||
146 | case LogicproblemPackage.ASSERTION_ANNOTATION__TARGET: | ||
147 | return basicSetTarget(null, msgs); | ||
148 | } | ||
149 | return super.eInverseRemove(otherEnd, featureID, msgs); | ||
150 | } | ||
151 | |||
152 | /** | ||
153 | * <!-- begin-user-doc --> | ||
154 | * <!-- end-user-doc --> | ||
155 | * @generated | ||
156 | */ | ||
157 | @Override | ||
158 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | ||
159 | switch (featureID) { | ||
160 | case LogicproblemPackage.ASSERTION_ANNOTATION__TARGET: | ||
161 | if (resolve) return getTarget(); | ||
162 | return basicGetTarget(); | ||
163 | } | ||
164 | return super.eGet(featureID, resolve, coreType); | ||
165 | } | ||
166 | |||
167 | /** | ||
168 | * <!-- begin-user-doc --> | ||
169 | * <!-- end-user-doc --> | ||
170 | * @generated | ||
171 | */ | ||
172 | @Override | ||
173 | public void eSet(int featureID, Object newValue) { | ||
174 | switch (featureID) { | ||
175 | case LogicproblemPackage.ASSERTION_ANNOTATION__TARGET: | ||
176 | setTarget((Assertion)newValue); | ||
177 | return; | ||
178 | } | ||
179 | super.eSet(featureID, newValue); | ||
180 | } | ||
181 | |||
182 | /** | ||
183 | * <!-- begin-user-doc --> | ||
184 | * <!-- end-user-doc --> | ||
185 | * @generated | ||
186 | */ | ||
187 | @Override | ||
188 | public void eUnset(int featureID) { | ||
189 | switch (featureID) { | ||
190 | case LogicproblemPackage.ASSERTION_ANNOTATION__TARGET: | ||
191 | setTarget((Assertion)null); | ||
192 | return; | ||
193 | } | ||
194 | super.eUnset(featureID); | ||
195 | } | ||
196 | |||
197 | /** | ||
198 | * <!-- begin-user-doc --> | ||
199 | * <!-- end-user-doc --> | ||
200 | * @generated | ||
201 | */ | ||
202 | @Override | ||
203 | public boolean eIsSet(int featureID) { | ||
204 | switch (featureID) { | ||
205 | case LogicproblemPackage.ASSERTION_ANNOTATION__TARGET: | ||
206 | return target != null; | ||
207 | } | ||
208 | return super.eIsSet(featureID); | ||
209 | } | ||
210 | |||
211 | } //AssertionAnnotationImpl | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/ConstantAnnotationImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/ConstantAnnotationImpl.java new file mode 100644 index 00000000..734ce70c --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/ConstantAnnotationImpl.java | |||
@@ -0,0 +1,211 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant; | ||
6 | |||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage; | ||
8 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ConstantAnnotation; | ||
9 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage; | ||
10 | |||
11 | import org.eclipse.emf.common.notify.Notification; | ||
12 | |||
13 | import org.eclipse.emf.common.notify.NotificationChain; | ||
14 | import org.eclipse.emf.ecore.EClass; | ||
15 | import org.eclipse.emf.ecore.InternalEObject; | ||
16 | |||
17 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
18 | |||
19 | /** | ||
20 | * <!-- begin-user-doc --> | ||
21 | * An implementation of the model object '<em><b>Constant Annotation</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.logicproblem.impl.ConstantAnnotationImpl#getTarget <em>Target</em>}</li> | ||
28 | * </ul> | ||
29 | * | ||
30 | * @generated | ||
31 | */ | ||
32 | public class ConstantAnnotationImpl extends AnnotationImpl implements ConstantAnnotation { | ||
33 | /** | ||
34 | * The cached value of the '{@link #getTarget() <em>Target</em>}' reference. | ||
35 | * <!-- begin-user-doc --> | ||
36 | * <!-- end-user-doc --> | ||
37 | * @see #getTarget() | ||
38 | * @generated | ||
39 | * @ordered | ||
40 | */ | ||
41 | protected Constant target; | ||
42 | |||
43 | /** | ||
44 | * <!-- begin-user-doc --> | ||
45 | * <!-- end-user-doc --> | ||
46 | * @generated | ||
47 | */ | ||
48 | protected ConstantAnnotationImpl() { | ||
49 | super(); | ||
50 | } | ||
51 | |||
52 | /** | ||
53 | * <!-- begin-user-doc --> | ||
54 | * <!-- end-user-doc --> | ||
55 | * @generated | ||
56 | */ | ||
57 | @Override | ||
58 | protected EClass eStaticClass() { | ||
59 | return LogicproblemPackage.Literals.CONSTANT_ANNOTATION; | ||
60 | } | ||
61 | |||
62 | /** | ||
63 | * <!-- begin-user-doc --> | ||
64 | * <!-- end-user-doc --> | ||
65 | * @generated | ||
66 | */ | ||
67 | public Constant getTarget() { | ||
68 | if (target != null && target.eIsProxy()) { | ||
69 | InternalEObject oldTarget = (InternalEObject)target; | ||
70 | target = (Constant)eResolveProxy(oldTarget); | ||
71 | if (target != oldTarget) { | ||
72 | if (eNotificationRequired()) | ||
73 | eNotify(new ENotificationImpl(this, Notification.RESOLVE, LogicproblemPackage.CONSTANT_ANNOTATION__TARGET, oldTarget, target)); | ||
74 | } | ||
75 | } | ||
76 | return target; | ||
77 | } | ||
78 | |||
79 | /** | ||
80 | * <!-- begin-user-doc --> | ||
81 | * <!-- end-user-doc --> | ||
82 | * @generated | ||
83 | */ | ||
84 | public Constant basicGetTarget() { | ||
85 | return target; | ||
86 | } | ||
87 | |||
88 | /** | ||
89 | * <!-- begin-user-doc --> | ||
90 | * <!-- end-user-doc --> | ||
91 | * @generated | ||
92 | */ | ||
93 | public NotificationChain basicSetTarget(Constant newTarget, NotificationChain msgs) { | ||
94 | Constant oldTarget = target; | ||
95 | target = newTarget; | ||
96 | if (eNotificationRequired()) { | ||
97 | ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, LogicproblemPackage.CONSTANT_ANNOTATION__TARGET, oldTarget, newTarget); | ||
98 | if (msgs == null) msgs = notification; else msgs.add(notification); | ||
99 | } | ||
100 | return msgs; | ||
101 | } | ||
102 | |||
103 | /** | ||
104 | * <!-- begin-user-doc --> | ||
105 | * <!-- end-user-doc --> | ||
106 | * @generated | ||
107 | */ | ||
108 | public void setTarget(Constant newTarget) { | ||
109 | if (newTarget != target) { | ||
110 | NotificationChain msgs = null; | ||
111 | if (target != null) | ||
112 | msgs = ((InternalEObject)target).eInverseRemove(this, LogiclanguagePackage.CONSTANT__ANNOTATIONS, Constant.class, msgs); | ||
113 | if (newTarget != null) | ||
114 | msgs = ((InternalEObject)newTarget).eInverseAdd(this, LogiclanguagePackage.CONSTANT__ANNOTATIONS, Constant.class, msgs); | ||
115 | msgs = basicSetTarget(newTarget, msgs); | ||
116 | if (msgs != null) msgs.dispatch(); | ||
117 | } | ||
118 | else if (eNotificationRequired()) | ||
119 | eNotify(new ENotificationImpl(this, Notification.SET, LogicproblemPackage.CONSTANT_ANNOTATION__TARGET, newTarget, newTarget)); | ||
120 | } | ||
121 | |||
122 | /** | ||
123 | * <!-- begin-user-doc --> | ||
124 | * <!-- end-user-doc --> | ||
125 | * @generated | ||
126 | */ | ||
127 | @Override | ||
128 | public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) { | ||
129 | switch (featureID) { | ||
130 | case LogicproblemPackage.CONSTANT_ANNOTATION__TARGET: | ||
131 | if (target != null) | ||
132 | msgs = ((InternalEObject)target).eInverseRemove(this, LogiclanguagePackage.CONSTANT__ANNOTATIONS, Constant.class, msgs); | ||
133 | return basicSetTarget((Constant)otherEnd, msgs); | ||
134 | } | ||
135 | return super.eInverseAdd(otherEnd, featureID, msgs); | ||
136 | } | ||
137 | |||
138 | /** | ||
139 | * <!-- begin-user-doc --> | ||
140 | * <!-- end-user-doc --> | ||
141 | * @generated | ||
142 | */ | ||
143 | @Override | ||
144 | public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { | ||
145 | switch (featureID) { | ||
146 | case LogicproblemPackage.CONSTANT_ANNOTATION__TARGET: | ||
147 | return basicSetTarget(null, msgs); | ||
148 | } | ||
149 | return super.eInverseRemove(otherEnd, featureID, msgs); | ||
150 | } | ||
151 | |||
152 | /** | ||
153 | * <!-- begin-user-doc --> | ||
154 | * <!-- end-user-doc --> | ||
155 | * @generated | ||
156 | */ | ||
157 | @Override | ||
158 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | ||
159 | switch (featureID) { | ||
160 | case LogicproblemPackage.CONSTANT_ANNOTATION__TARGET: | ||
161 | if (resolve) return getTarget(); | ||
162 | return basicGetTarget(); | ||
163 | } | ||
164 | return super.eGet(featureID, resolve, coreType); | ||
165 | } | ||
166 | |||
167 | /** | ||
168 | * <!-- begin-user-doc --> | ||
169 | * <!-- end-user-doc --> | ||
170 | * @generated | ||
171 | */ | ||
172 | @Override | ||
173 | public void eSet(int featureID, Object newValue) { | ||
174 | switch (featureID) { | ||
175 | case LogicproblemPackage.CONSTANT_ANNOTATION__TARGET: | ||
176 | setTarget((Constant)newValue); | ||
177 | return; | ||
178 | } | ||
179 | super.eSet(featureID, newValue); | ||
180 | } | ||
181 | |||
182 | /** | ||
183 | * <!-- begin-user-doc --> | ||
184 | * <!-- end-user-doc --> | ||
185 | * @generated | ||
186 | */ | ||
187 | @Override | ||
188 | public void eUnset(int featureID) { | ||
189 | switch (featureID) { | ||
190 | case LogicproblemPackage.CONSTANT_ANNOTATION__TARGET: | ||
191 | setTarget((Constant)null); | ||
192 | return; | ||
193 | } | ||
194 | super.eUnset(featureID); | ||
195 | } | ||
196 | |||
197 | /** | ||
198 | * <!-- begin-user-doc --> | ||
199 | * <!-- end-user-doc --> | ||
200 | * @generated | ||
201 | */ | ||
202 | @Override | ||
203 | public boolean eIsSet(int featureID) { | ||
204 | switch (featureID) { | ||
205 | case LogicproblemPackage.CONSTANT_ANNOTATION__TARGET: | ||
206 | return target != null; | ||
207 | } | ||
208 | return super.eIsSet(featureID); | ||
209 | } | ||
210 | |||
211 | } //ConstantAnnotationImpl | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/ContainmentHierarchyImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/ContainmentHierarchyImpl.java new file mode 100644 index 00000000..909f49a5 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/ContainmentHierarchyImpl.java | |||
@@ -0,0 +1,270 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function; | ||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation; | ||
8 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type; | ||
9 | |||
10 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy; | ||
11 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage; | ||
12 | |||
13 | import java.util.Collection; | ||
14 | |||
15 | import org.eclipse.emf.common.notify.Notification; | ||
16 | |||
17 | import org.eclipse.emf.common.util.EList; | ||
18 | |||
19 | import org.eclipse.emf.ecore.EClass; | ||
20 | import org.eclipse.emf.ecore.InternalEObject; | ||
21 | |||
22 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
23 | import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; | ||
24 | |||
25 | import org.eclipse.emf.ecore.util.EObjectResolvingEList; | ||
26 | |||
27 | /** | ||
28 | * <!-- begin-user-doc --> | ||
29 | * An implementation of the model object '<em><b>Containment Hierarchy</b></em>'. | ||
30 | * <!-- end-user-doc --> | ||
31 | * <p> | ||
32 | * The following features are implemented: | ||
33 | * </p> | ||
34 | * <ul> | ||
35 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.ContainmentHierarchyImpl#getTypesOrderedInHierarchy <em>Types Ordered In Hierarchy</em>}</li> | ||
36 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.ContainmentHierarchyImpl#getContainmentFunctions <em>Containment Functions</em>}</li> | ||
37 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.ContainmentHierarchyImpl#getContainmentRelations <em>Containment Relations</em>}</li> | ||
38 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.ContainmentHierarchyImpl#getRootConstant <em>Root Constant</em>}</li> | ||
39 | * </ul> | ||
40 | * | ||
41 | * @generated | ||
42 | */ | ||
43 | public class ContainmentHierarchyImpl extends MinimalEObjectImpl.Container implements ContainmentHierarchy { | ||
44 | /** | ||
45 | * The cached value of the '{@link #getTypesOrderedInHierarchy() <em>Types Ordered In Hierarchy</em>}' reference list. | ||
46 | * <!-- begin-user-doc --> | ||
47 | * <!-- end-user-doc --> | ||
48 | * @see #getTypesOrderedInHierarchy() | ||
49 | * @generated | ||
50 | * @ordered | ||
51 | */ | ||
52 | protected EList<Type> typesOrderedInHierarchy; | ||
53 | |||
54 | /** | ||
55 | * The cached value of the '{@link #getContainmentFunctions() <em>Containment Functions</em>}' reference list. | ||
56 | * <!-- begin-user-doc --> | ||
57 | * <!-- end-user-doc --> | ||
58 | * @see #getContainmentFunctions() | ||
59 | * @generated | ||
60 | * @ordered | ||
61 | */ | ||
62 | protected EList<Function> containmentFunctions; | ||
63 | |||
64 | /** | ||
65 | * The cached value of the '{@link #getContainmentRelations() <em>Containment Relations</em>}' reference list. | ||
66 | * <!-- begin-user-doc --> | ||
67 | * <!-- end-user-doc --> | ||
68 | * @see #getContainmentRelations() | ||
69 | * @generated | ||
70 | * @ordered | ||
71 | */ | ||
72 | protected EList<Relation> containmentRelations; | ||
73 | |||
74 | /** | ||
75 | * The cached value of the '{@link #getRootConstant() <em>Root Constant</em>}' reference. | ||
76 | * <!-- begin-user-doc --> | ||
77 | * <!-- end-user-doc --> | ||
78 | * @see #getRootConstant() | ||
79 | * @generated | ||
80 | * @ordered | ||
81 | */ | ||
82 | protected Constant rootConstant; | ||
83 | |||
84 | /** | ||
85 | * <!-- begin-user-doc --> | ||
86 | * <!-- end-user-doc --> | ||
87 | * @generated | ||
88 | */ | ||
89 | protected ContainmentHierarchyImpl() { | ||
90 | super(); | ||
91 | } | ||
92 | |||
93 | /** | ||
94 | * <!-- begin-user-doc --> | ||
95 | * <!-- end-user-doc --> | ||
96 | * @generated | ||
97 | */ | ||
98 | @Override | ||
99 | protected EClass eStaticClass() { | ||
100 | return LogicproblemPackage.Literals.CONTAINMENT_HIERARCHY; | ||
101 | } | ||
102 | |||
103 | /** | ||
104 | * <!-- begin-user-doc --> | ||
105 | * <!-- end-user-doc --> | ||
106 | * @generated | ||
107 | */ | ||
108 | public EList<Type> getTypesOrderedInHierarchy() { | ||
109 | if (typesOrderedInHierarchy == null) { | ||
110 | typesOrderedInHierarchy = new EObjectResolvingEList<Type>(Type.class, this, LogicproblemPackage.CONTAINMENT_HIERARCHY__TYPES_ORDERED_IN_HIERARCHY); | ||
111 | } | ||
112 | return typesOrderedInHierarchy; | ||
113 | } | ||
114 | |||
115 | /** | ||
116 | * <!-- begin-user-doc --> | ||
117 | * <!-- end-user-doc --> | ||
118 | * @generated | ||
119 | */ | ||
120 | public EList<Function> getContainmentFunctions() { | ||
121 | if (containmentFunctions == null) { | ||
122 | containmentFunctions = new EObjectResolvingEList<Function>(Function.class, this, LogicproblemPackage.CONTAINMENT_HIERARCHY__CONTAINMENT_FUNCTIONS); | ||
123 | } | ||
124 | return containmentFunctions; | ||
125 | } | ||
126 | |||
127 | /** | ||
128 | * <!-- begin-user-doc --> | ||
129 | * <!-- end-user-doc --> | ||
130 | * @generated | ||
131 | */ | ||
132 | public EList<Relation> getContainmentRelations() { | ||
133 | if (containmentRelations == null) { | ||
134 | containmentRelations = new EObjectResolvingEList<Relation>(Relation.class, this, LogicproblemPackage.CONTAINMENT_HIERARCHY__CONTAINMENT_RELATIONS); | ||
135 | } | ||
136 | return containmentRelations; | ||
137 | } | ||
138 | |||
139 | /** | ||
140 | * <!-- begin-user-doc --> | ||
141 | * <!-- end-user-doc --> | ||
142 | * @generated | ||
143 | */ | ||
144 | public Constant getRootConstant() { | ||
145 | if (rootConstant != null && rootConstant.eIsProxy()) { | ||
146 | InternalEObject oldRootConstant = (InternalEObject)rootConstant; | ||
147 | rootConstant = (Constant)eResolveProxy(oldRootConstant); | ||
148 | if (rootConstant != oldRootConstant) { | ||
149 | if (eNotificationRequired()) | ||
150 | eNotify(new ENotificationImpl(this, Notification.RESOLVE, LogicproblemPackage.CONTAINMENT_HIERARCHY__ROOT_CONSTANT, oldRootConstant, rootConstant)); | ||
151 | } | ||
152 | } | ||
153 | return rootConstant; | ||
154 | } | ||
155 | |||
156 | /** | ||
157 | * <!-- begin-user-doc --> | ||
158 | * <!-- end-user-doc --> | ||
159 | * @generated | ||
160 | */ | ||
161 | public Constant basicGetRootConstant() { | ||
162 | return rootConstant; | ||
163 | } | ||
164 | |||
165 | /** | ||
166 | * <!-- begin-user-doc --> | ||
167 | * <!-- end-user-doc --> | ||
168 | * @generated | ||
169 | */ | ||
170 | public void setRootConstant(Constant newRootConstant) { | ||
171 | Constant oldRootConstant = rootConstant; | ||
172 | rootConstant = newRootConstant; | ||
173 | if (eNotificationRequired()) | ||
174 | eNotify(new ENotificationImpl(this, Notification.SET, LogicproblemPackage.CONTAINMENT_HIERARCHY__ROOT_CONSTANT, oldRootConstant, rootConstant)); | ||
175 | } | ||
176 | |||
177 | /** | ||
178 | * <!-- begin-user-doc --> | ||
179 | * <!-- end-user-doc --> | ||
180 | * @generated | ||
181 | */ | ||
182 | @Override | ||
183 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | ||
184 | switch (featureID) { | ||
185 | case LogicproblemPackage.CONTAINMENT_HIERARCHY__TYPES_ORDERED_IN_HIERARCHY: | ||
186 | return getTypesOrderedInHierarchy(); | ||
187 | case LogicproblemPackage.CONTAINMENT_HIERARCHY__CONTAINMENT_FUNCTIONS: | ||
188 | return getContainmentFunctions(); | ||
189 | case LogicproblemPackage.CONTAINMENT_HIERARCHY__CONTAINMENT_RELATIONS: | ||
190 | return getContainmentRelations(); | ||
191 | case LogicproblemPackage.CONTAINMENT_HIERARCHY__ROOT_CONSTANT: | ||
192 | if (resolve) return getRootConstant(); | ||
193 | return basicGetRootConstant(); | ||
194 | } | ||
195 | return super.eGet(featureID, resolve, coreType); | ||
196 | } | ||
197 | |||
198 | /** | ||
199 | * <!-- begin-user-doc --> | ||
200 | * <!-- end-user-doc --> | ||
201 | * @generated | ||
202 | */ | ||
203 | @SuppressWarnings("unchecked") | ||
204 | @Override | ||
205 | public void eSet(int featureID, Object newValue) { | ||
206 | switch (featureID) { | ||
207 | case LogicproblemPackage.CONTAINMENT_HIERARCHY__TYPES_ORDERED_IN_HIERARCHY: | ||
208 | getTypesOrderedInHierarchy().clear(); | ||
209 | getTypesOrderedInHierarchy().addAll((Collection<? extends Type>)newValue); | ||
210 | return; | ||
211 | case LogicproblemPackage.CONTAINMENT_HIERARCHY__CONTAINMENT_FUNCTIONS: | ||
212 | getContainmentFunctions().clear(); | ||
213 | getContainmentFunctions().addAll((Collection<? extends Function>)newValue); | ||
214 | return; | ||
215 | case LogicproblemPackage.CONTAINMENT_HIERARCHY__CONTAINMENT_RELATIONS: | ||
216 | getContainmentRelations().clear(); | ||
217 | getContainmentRelations().addAll((Collection<? extends Relation>)newValue); | ||
218 | return; | ||
219 | case LogicproblemPackage.CONTAINMENT_HIERARCHY__ROOT_CONSTANT: | ||
220 | setRootConstant((Constant)newValue); | ||
221 | return; | ||
222 | } | ||
223 | super.eSet(featureID, newValue); | ||
224 | } | ||
225 | |||
226 | /** | ||
227 | * <!-- begin-user-doc --> | ||
228 | * <!-- end-user-doc --> | ||
229 | * @generated | ||
230 | */ | ||
231 | @Override | ||
232 | public void eUnset(int featureID) { | ||
233 | switch (featureID) { | ||
234 | case LogicproblemPackage.CONTAINMENT_HIERARCHY__TYPES_ORDERED_IN_HIERARCHY: | ||
235 | getTypesOrderedInHierarchy().clear(); | ||
236 | return; | ||
237 | case LogicproblemPackage.CONTAINMENT_HIERARCHY__CONTAINMENT_FUNCTIONS: | ||
238 | getContainmentFunctions().clear(); | ||
239 | return; | ||
240 | case LogicproblemPackage.CONTAINMENT_HIERARCHY__CONTAINMENT_RELATIONS: | ||
241 | getContainmentRelations().clear(); | ||
242 | return; | ||
243 | case LogicproblemPackage.CONTAINMENT_HIERARCHY__ROOT_CONSTANT: | ||
244 | setRootConstant((Constant)null); | ||
245 | return; | ||
246 | } | ||
247 | super.eUnset(featureID); | ||
248 | } | ||
249 | |||
250 | /** | ||
251 | * <!-- begin-user-doc --> | ||
252 | * <!-- end-user-doc --> | ||
253 | * @generated | ||
254 | */ | ||
255 | @Override | ||
256 | public boolean eIsSet(int featureID) { | ||
257 | switch (featureID) { | ||
258 | case LogicproblemPackage.CONTAINMENT_HIERARCHY__TYPES_ORDERED_IN_HIERARCHY: | ||
259 | return typesOrderedInHierarchy != null && !typesOrderedInHierarchy.isEmpty(); | ||
260 | case LogicproblemPackage.CONTAINMENT_HIERARCHY__CONTAINMENT_FUNCTIONS: | ||
261 | return containmentFunctions != null && !containmentFunctions.isEmpty(); | ||
262 | case LogicproblemPackage.CONTAINMENT_HIERARCHY__CONTAINMENT_RELATIONS: | ||
263 | return containmentRelations != null && !containmentRelations.isEmpty(); | ||
264 | case LogicproblemPackage.CONTAINMENT_HIERARCHY__ROOT_CONSTANT: | ||
265 | return rootConstant != null; | ||
266 | } | ||
267 | return super.eIsSet(featureID); | ||
268 | } | ||
269 | |||
270 | } //ContainmentHierarchyImpl | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/FunctionAnnotationImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/FunctionAnnotationImpl.java new file mode 100644 index 00000000..77ee58c2 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/FunctionAnnotationImpl.java | |||
@@ -0,0 +1,211 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function; | ||
6 | |||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage; | ||
8 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.FunctionAnnotation; | ||
9 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage; | ||
10 | |||
11 | import org.eclipse.emf.common.notify.Notification; | ||
12 | |||
13 | import org.eclipse.emf.common.notify.NotificationChain; | ||
14 | import org.eclipse.emf.ecore.EClass; | ||
15 | import org.eclipse.emf.ecore.InternalEObject; | ||
16 | |||
17 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
18 | |||
19 | /** | ||
20 | * <!-- begin-user-doc --> | ||
21 | * An implementation of the model object '<em><b>Function Annotation</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.logicproblem.impl.FunctionAnnotationImpl#getTarget <em>Target</em>}</li> | ||
28 | * </ul> | ||
29 | * | ||
30 | * @generated | ||
31 | */ | ||
32 | public class FunctionAnnotationImpl extends AnnotationImpl implements FunctionAnnotation { | ||
33 | /** | ||
34 | * The cached value of the '{@link #getTarget() <em>Target</em>}' reference. | ||
35 | * <!-- begin-user-doc --> | ||
36 | * <!-- end-user-doc --> | ||
37 | * @see #getTarget() | ||
38 | * @generated | ||
39 | * @ordered | ||
40 | */ | ||
41 | protected Function target; | ||
42 | |||
43 | /** | ||
44 | * <!-- begin-user-doc --> | ||
45 | * <!-- end-user-doc --> | ||
46 | * @generated | ||
47 | */ | ||
48 | protected FunctionAnnotationImpl() { | ||
49 | super(); | ||
50 | } | ||
51 | |||
52 | /** | ||
53 | * <!-- begin-user-doc --> | ||
54 | * <!-- end-user-doc --> | ||
55 | * @generated | ||
56 | */ | ||
57 | @Override | ||
58 | protected EClass eStaticClass() { | ||
59 | return LogicproblemPackage.Literals.FUNCTION_ANNOTATION; | ||
60 | } | ||
61 | |||
62 | /** | ||
63 | * <!-- begin-user-doc --> | ||
64 | * <!-- end-user-doc --> | ||
65 | * @generated | ||
66 | */ | ||
67 | public Function getTarget() { | ||
68 | if (target != null && target.eIsProxy()) { | ||
69 | InternalEObject oldTarget = (InternalEObject)target; | ||
70 | target = (Function)eResolveProxy(oldTarget); | ||
71 | if (target != oldTarget) { | ||
72 | if (eNotificationRequired()) | ||
73 | eNotify(new ENotificationImpl(this, Notification.RESOLVE, LogicproblemPackage.FUNCTION_ANNOTATION__TARGET, oldTarget, target)); | ||
74 | } | ||
75 | } | ||
76 | return target; | ||
77 | } | ||
78 | |||
79 | /** | ||
80 | * <!-- begin-user-doc --> | ||
81 | * <!-- end-user-doc --> | ||
82 | * @generated | ||
83 | */ | ||
84 | public Function basicGetTarget() { | ||
85 | return target; | ||
86 | } | ||
87 | |||
88 | /** | ||
89 | * <!-- begin-user-doc --> | ||
90 | * <!-- end-user-doc --> | ||
91 | * @generated | ||
92 | */ | ||
93 | public NotificationChain basicSetTarget(Function newTarget, NotificationChain msgs) { | ||
94 | Function oldTarget = target; | ||
95 | target = newTarget; | ||
96 | if (eNotificationRequired()) { | ||
97 | ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, LogicproblemPackage.FUNCTION_ANNOTATION__TARGET, oldTarget, newTarget); | ||
98 | if (msgs == null) msgs = notification; else msgs.add(notification); | ||
99 | } | ||
100 | return msgs; | ||
101 | } | ||
102 | |||
103 | /** | ||
104 | * <!-- begin-user-doc --> | ||
105 | * <!-- end-user-doc --> | ||
106 | * @generated | ||
107 | */ | ||
108 | public void setTarget(Function newTarget) { | ||
109 | if (newTarget != target) { | ||
110 | NotificationChain msgs = null; | ||
111 | if (target != null) | ||
112 | msgs = ((InternalEObject)target).eInverseRemove(this, LogiclanguagePackage.FUNCTION__ANNOTATIONS, Function.class, msgs); | ||
113 | if (newTarget != null) | ||
114 | msgs = ((InternalEObject)newTarget).eInverseAdd(this, LogiclanguagePackage.FUNCTION__ANNOTATIONS, Function.class, msgs); | ||
115 | msgs = basicSetTarget(newTarget, msgs); | ||
116 | if (msgs != null) msgs.dispatch(); | ||
117 | } | ||
118 | else if (eNotificationRequired()) | ||
119 | eNotify(new ENotificationImpl(this, Notification.SET, LogicproblemPackage.FUNCTION_ANNOTATION__TARGET, newTarget, newTarget)); | ||
120 | } | ||
121 | |||
122 | /** | ||
123 | * <!-- begin-user-doc --> | ||
124 | * <!-- end-user-doc --> | ||
125 | * @generated | ||
126 | */ | ||
127 | @Override | ||
128 | public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) { | ||
129 | switch (featureID) { | ||
130 | case LogicproblemPackage.FUNCTION_ANNOTATION__TARGET: | ||
131 | if (target != null) | ||
132 | msgs = ((InternalEObject)target).eInverseRemove(this, LogiclanguagePackage.FUNCTION__ANNOTATIONS, Function.class, msgs); | ||
133 | return basicSetTarget((Function)otherEnd, msgs); | ||
134 | } | ||
135 | return super.eInverseAdd(otherEnd, featureID, msgs); | ||
136 | } | ||
137 | |||
138 | /** | ||
139 | * <!-- begin-user-doc --> | ||
140 | * <!-- end-user-doc --> | ||
141 | * @generated | ||
142 | */ | ||
143 | @Override | ||
144 | public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { | ||
145 | switch (featureID) { | ||
146 | case LogicproblemPackage.FUNCTION_ANNOTATION__TARGET: | ||
147 | return basicSetTarget(null, msgs); | ||
148 | } | ||
149 | return super.eInverseRemove(otherEnd, featureID, msgs); | ||
150 | } | ||
151 | |||
152 | /** | ||
153 | * <!-- begin-user-doc --> | ||
154 | * <!-- end-user-doc --> | ||
155 | * @generated | ||
156 | */ | ||
157 | @Override | ||
158 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | ||
159 | switch (featureID) { | ||
160 | case LogicproblemPackage.FUNCTION_ANNOTATION__TARGET: | ||
161 | if (resolve) return getTarget(); | ||
162 | return basicGetTarget(); | ||
163 | } | ||
164 | return super.eGet(featureID, resolve, coreType); | ||
165 | } | ||
166 | |||
167 | /** | ||
168 | * <!-- begin-user-doc --> | ||
169 | * <!-- end-user-doc --> | ||
170 | * @generated | ||
171 | */ | ||
172 | @Override | ||
173 | public void eSet(int featureID, Object newValue) { | ||
174 | switch (featureID) { | ||
175 | case LogicproblemPackage.FUNCTION_ANNOTATION__TARGET: | ||
176 | setTarget((Function)newValue); | ||
177 | return; | ||
178 | } | ||
179 | super.eSet(featureID, newValue); | ||
180 | } | ||
181 | |||
182 | /** | ||
183 | * <!-- begin-user-doc --> | ||
184 | * <!-- end-user-doc --> | ||
185 | * @generated | ||
186 | */ | ||
187 | @Override | ||
188 | public void eUnset(int featureID) { | ||
189 | switch (featureID) { | ||
190 | case LogicproblemPackage.FUNCTION_ANNOTATION__TARGET: | ||
191 | setTarget((Function)null); | ||
192 | return; | ||
193 | } | ||
194 | super.eUnset(featureID); | ||
195 | } | ||
196 | |||
197 | /** | ||
198 | * <!-- begin-user-doc --> | ||
199 | * <!-- end-user-doc --> | ||
200 | * @generated | ||
201 | */ | ||
202 | @Override | ||
203 | public boolean eIsSet(int featureID) { | ||
204 | switch (featureID) { | ||
205 | case LogicproblemPackage.FUNCTION_ANNOTATION__TARGET: | ||
206 | return target != null; | ||
207 | } | ||
208 | return super.eIsSet(featureID); | ||
209 | } | ||
210 | |||
211 | } //FunctionAnnotationImpl | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/LogicProblemImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/LogicProblemImpl.java new file mode 100644 index 00000000..70b31163 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/LogicProblemImpl.java | |||
@@ -0,0 +1,411 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant; | ||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement; | ||
8 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function; | ||
9 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation; | ||
10 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type; | ||
11 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation; | ||
12 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy; | ||
13 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem; | ||
14 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage; | ||
15 | |||
16 | import java.util.Collection; | ||
17 | |||
18 | import org.eclipse.emf.common.notify.NotificationChain; | ||
19 | |||
20 | import org.eclipse.emf.common.util.EList; | ||
21 | |||
22 | import org.eclipse.emf.ecore.EClass; | ||
23 | import org.eclipse.emf.ecore.InternalEObject; | ||
24 | |||
25 | import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; | ||
26 | |||
27 | import org.eclipse.emf.ecore.util.EObjectContainmentEList; | ||
28 | import org.eclipse.emf.ecore.util.InternalEList; | ||
29 | |||
30 | /** | ||
31 | * <!-- begin-user-doc --> | ||
32 | * An implementation of the model object '<em><b>Logic Problem</b></em>'. | ||
33 | * <!-- end-user-doc --> | ||
34 | * <p> | ||
35 | * The following features are implemented: | ||
36 | * </p> | ||
37 | * <ul> | ||
38 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicProblemImpl#getTypes <em>Types</em>}</li> | ||
39 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicProblemImpl#getFunctions <em>Functions</em>}</li> | ||
40 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicProblemImpl#getAssertions <em>Assertions</em>}</li> | ||
41 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicProblemImpl#getRelations <em>Relations</em>}</li> | ||
42 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicProblemImpl#getConstants <em>Constants</em>}</li> | ||
43 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicProblemImpl#getElements <em>Elements</em>}</li> | ||
44 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicProblemImpl#getContainmentHierarchies <em>Containment Hierarchies</em>}</li> | ||
45 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicProblemImpl#getAnnotations <em>Annotations</em>}</li> | ||
46 | * </ul> | ||
47 | * | ||
48 | * @generated | ||
49 | */ | ||
50 | public class LogicProblemImpl extends MinimalEObjectImpl.Container implements LogicProblem { | ||
51 | /** | ||
52 | * The cached value of the '{@link #getTypes() <em>Types</em>}' containment reference list. | ||
53 | * <!-- begin-user-doc --> | ||
54 | * <!-- end-user-doc --> | ||
55 | * @see #getTypes() | ||
56 | * @generated | ||
57 | * @ordered | ||
58 | */ | ||
59 | protected EList<Type> types; | ||
60 | |||
61 | /** | ||
62 | * The cached value of the '{@link #getFunctions() <em>Functions</em>}' containment reference list. | ||
63 | * <!-- begin-user-doc --> | ||
64 | * <!-- end-user-doc --> | ||
65 | * @see #getFunctions() | ||
66 | * @generated | ||
67 | * @ordered | ||
68 | */ | ||
69 | protected EList<Function> functions; | ||
70 | |||
71 | /** | ||
72 | * The cached value of the '{@link #getAssertions() <em>Assertions</em>}' containment reference list. | ||
73 | * <!-- begin-user-doc --> | ||
74 | * <!-- end-user-doc --> | ||
75 | * @see #getAssertions() | ||
76 | * @generated | ||
77 | * @ordered | ||
78 | */ | ||
79 | protected EList<Assertion> assertions; | ||
80 | |||
81 | /** | ||
82 | * The cached value of the '{@link #getRelations() <em>Relations</em>}' containment reference list. | ||
83 | * <!-- begin-user-doc --> | ||
84 | * <!-- end-user-doc --> | ||
85 | * @see #getRelations() | ||
86 | * @generated | ||
87 | * @ordered | ||
88 | */ | ||
89 | protected EList<Relation> relations; | ||
90 | |||
91 | /** | ||
92 | * The cached value of the '{@link #getConstants() <em>Constants</em>}' containment reference list. | ||
93 | * <!-- begin-user-doc --> | ||
94 | * <!-- end-user-doc --> | ||
95 | * @see #getConstants() | ||
96 | * @generated | ||
97 | * @ordered | ||
98 | */ | ||
99 | protected EList<Constant> constants; | ||
100 | |||
101 | /** | ||
102 | * The cached value of the '{@link #getElements() <em>Elements</em>}' containment reference list. | ||
103 | * <!-- begin-user-doc --> | ||
104 | * <!-- end-user-doc --> | ||
105 | * @see #getElements() | ||
106 | * @generated | ||
107 | * @ordered | ||
108 | */ | ||
109 | protected EList<DefinedElement> elements; | ||
110 | |||
111 | /** | ||
112 | * The cached value of the '{@link #getContainmentHierarchies() <em>Containment Hierarchies</em>}' containment reference list. | ||
113 | * <!-- begin-user-doc --> | ||
114 | * <!-- end-user-doc --> | ||
115 | * @see #getContainmentHierarchies() | ||
116 | * @generated | ||
117 | * @ordered | ||
118 | */ | ||
119 | protected EList<ContainmentHierarchy> containmentHierarchies; | ||
120 | |||
121 | /** | ||
122 | * The cached value of the '{@link #getAnnotations() <em>Annotations</em>}' containment reference list. | ||
123 | * <!-- begin-user-doc --> | ||
124 | * <!-- end-user-doc --> | ||
125 | * @see #getAnnotations() | ||
126 | * @generated | ||
127 | * @ordered | ||
128 | */ | ||
129 | protected EList<Annotation> annotations; | ||
130 | |||
131 | /** | ||
132 | * <!-- begin-user-doc --> | ||
133 | * <!-- end-user-doc --> | ||
134 | * @generated | ||
135 | */ | ||
136 | protected LogicProblemImpl() { | ||
137 | super(); | ||
138 | } | ||
139 | |||
140 | /** | ||
141 | * <!-- begin-user-doc --> | ||
142 | * <!-- end-user-doc --> | ||
143 | * @generated | ||
144 | */ | ||
145 | @Override | ||
146 | protected EClass eStaticClass() { | ||
147 | return LogicproblemPackage.Literals.LOGIC_PROBLEM; | ||
148 | } | ||
149 | |||
150 | /** | ||
151 | * <!-- begin-user-doc --> | ||
152 | * <!-- end-user-doc --> | ||
153 | * @generated | ||
154 | */ | ||
155 | public EList<Type> getTypes() { | ||
156 | if (types == null) { | ||
157 | types = new EObjectContainmentEList<Type>(Type.class, this, LogicproblemPackage.LOGIC_PROBLEM__TYPES); | ||
158 | } | ||
159 | return types; | ||
160 | } | ||
161 | |||
162 | /** | ||
163 | * <!-- begin-user-doc --> | ||
164 | * <!-- end-user-doc --> | ||
165 | * @generated | ||
166 | */ | ||
167 | public EList<Function> getFunctions() { | ||
168 | if (functions == null) { | ||
169 | functions = new EObjectContainmentEList<Function>(Function.class, this, LogicproblemPackage.LOGIC_PROBLEM__FUNCTIONS); | ||
170 | } | ||
171 | return functions; | ||
172 | } | ||
173 | |||
174 | /** | ||
175 | * <!-- begin-user-doc --> | ||
176 | * <!-- end-user-doc --> | ||
177 | * @generated | ||
178 | */ | ||
179 | public EList<Assertion> getAssertions() { | ||
180 | if (assertions == null) { | ||
181 | assertions = new EObjectContainmentEList<Assertion>(Assertion.class, this, LogicproblemPackage.LOGIC_PROBLEM__ASSERTIONS); | ||
182 | } | ||
183 | return assertions; | ||
184 | } | ||
185 | |||
186 | /** | ||
187 | * <!-- begin-user-doc --> | ||
188 | * <!-- end-user-doc --> | ||
189 | * @generated | ||
190 | */ | ||
191 | public EList<Relation> getRelations() { | ||
192 | if (relations == null) { | ||
193 | relations = new EObjectContainmentEList<Relation>(Relation.class, this, LogicproblemPackage.LOGIC_PROBLEM__RELATIONS); | ||
194 | } | ||
195 | return relations; | ||
196 | } | ||
197 | |||
198 | /** | ||
199 | * <!-- begin-user-doc --> | ||
200 | * <!-- end-user-doc --> | ||
201 | * @generated | ||
202 | */ | ||
203 | public EList<Constant> getConstants() { | ||
204 | if (constants == null) { | ||
205 | constants = new EObjectContainmentEList<Constant>(Constant.class, this, LogicproblemPackage.LOGIC_PROBLEM__CONSTANTS); | ||
206 | } | ||
207 | return constants; | ||
208 | } | ||
209 | |||
210 | /** | ||
211 | * <!-- begin-user-doc --> | ||
212 | * <!-- end-user-doc --> | ||
213 | * @generated | ||
214 | */ | ||
215 | public EList<DefinedElement> getElements() { | ||
216 | if (elements == null) { | ||
217 | elements = new EObjectContainmentEList<DefinedElement>(DefinedElement.class, this, LogicproblemPackage.LOGIC_PROBLEM__ELEMENTS); | ||
218 | } | ||
219 | return elements; | ||
220 | } | ||
221 | |||
222 | /** | ||
223 | * <!-- begin-user-doc --> | ||
224 | * <!-- end-user-doc --> | ||
225 | * @generated | ||
226 | */ | ||
227 | public EList<ContainmentHierarchy> getContainmentHierarchies() { | ||
228 | if (containmentHierarchies == null) { | ||
229 | containmentHierarchies = new EObjectContainmentEList<ContainmentHierarchy>(ContainmentHierarchy.class, this, LogicproblemPackage.LOGIC_PROBLEM__CONTAINMENT_HIERARCHIES); | ||
230 | } | ||
231 | return containmentHierarchies; | ||
232 | } | ||
233 | |||
234 | /** | ||
235 | * <!-- begin-user-doc --> | ||
236 | * <!-- end-user-doc --> | ||
237 | * @generated | ||
238 | */ | ||
239 | public EList<Annotation> getAnnotations() { | ||
240 | if (annotations == null) { | ||
241 | annotations = new EObjectContainmentEList<Annotation>(Annotation.class, this, LogicproblemPackage.LOGIC_PROBLEM__ANNOTATIONS); | ||
242 | } | ||
243 | return annotations; | ||
244 | } | ||
245 | |||
246 | /** | ||
247 | * <!-- begin-user-doc --> | ||
248 | * <!-- end-user-doc --> | ||
249 | * @generated | ||
250 | */ | ||
251 | @Override | ||
252 | public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { | ||
253 | switch (featureID) { | ||
254 | case LogicproblemPackage.LOGIC_PROBLEM__TYPES: | ||
255 | return ((InternalEList<?>)getTypes()).basicRemove(otherEnd, msgs); | ||
256 | case LogicproblemPackage.LOGIC_PROBLEM__FUNCTIONS: | ||
257 | return ((InternalEList<?>)getFunctions()).basicRemove(otherEnd, msgs); | ||
258 | case LogicproblemPackage.LOGIC_PROBLEM__ASSERTIONS: | ||
259 | return ((InternalEList<?>)getAssertions()).basicRemove(otherEnd, msgs); | ||
260 | case LogicproblemPackage.LOGIC_PROBLEM__RELATIONS: | ||
261 | return ((InternalEList<?>)getRelations()).basicRemove(otherEnd, msgs); | ||
262 | case LogicproblemPackage.LOGIC_PROBLEM__CONSTANTS: | ||
263 | return ((InternalEList<?>)getConstants()).basicRemove(otherEnd, msgs); | ||
264 | case LogicproblemPackage.LOGIC_PROBLEM__ELEMENTS: | ||
265 | return ((InternalEList<?>)getElements()).basicRemove(otherEnd, msgs); | ||
266 | case LogicproblemPackage.LOGIC_PROBLEM__CONTAINMENT_HIERARCHIES: | ||
267 | return ((InternalEList<?>)getContainmentHierarchies()).basicRemove(otherEnd, msgs); | ||
268 | case LogicproblemPackage.LOGIC_PROBLEM__ANNOTATIONS: | ||
269 | return ((InternalEList<?>)getAnnotations()).basicRemove(otherEnd, msgs); | ||
270 | } | ||
271 | return super.eInverseRemove(otherEnd, featureID, msgs); | ||
272 | } | ||
273 | |||
274 | /** | ||
275 | * <!-- begin-user-doc --> | ||
276 | * <!-- end-user-doc --> | ||
277 | * @generated | ||
278 | */ | ||
279 | @Override | ||
280 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | ||
281 | switch (featureID) { | ||
282 | case LogicproblemPackage.LOGIC_PROBLEM__TYPES: | ||
283 | return getTypes(); | ||
284 | case LogicproblemPackage.LOGIC_PROBLEM__FUNCTIONS: | ||
285 | return getFunctions(); | ||
286 | case LogicproblemPackage.LOGIC_PROBLEM__ASSERTIONS: | ||
287 | return getAssertions(); | ||
288 | case LogicproblemPackage.LOGIC_PROBLEM__RELATIONS: | ||
289 | return getRelations(); | ||
290 | case LogicproblemPackage.LOGIC_PROBLEM__CONSTANTS: | ||
291 | return getConstants(); | ||
292 | case LogicproblemPackage.LOGIC_PROBLEM__ELEMENTS: | ||
293 | return getElements(); | ||
294 | case LogicproblemPackage.LOGIC_PROBLEM__CONTAINMENT_HIERARCHIES: | ||
295 | return getContainmentHierarchies(); | ||
296 | case LogicproblemPackage.LOGIC_PROBLEM__ANNOTATIONS: | ||
297 | return getAnnotations(); | ||
298 | } | ||
299 | return super.eGet(featureID, resolve, coreType); | ||
300 | } | ||
301 | |||
302 | /** | ||
303 | * <!-- begin-user-doc --> | ||
304 | * <!-- end-user-doc --> | ||
305 | * @generated | ||
306 | */ | ||
307 | @SuppressWarnings("unchecked") | ||
308 | @Override | ||
309 | public void eSet(int featureID, Object newValue) { | ||
310 | switch (featureID) { | ||
311 | case LogicproblemPackage.LOGIC_PROBLEM__TYPES: | ||
312 | getTypes().clear(); | ||
313 | getTypes().addAll((Collection<? extends Type>)newValue); | ||
314 | return; | ||
315 | case LogicproblemPackage.LOGIC_PROBLEM__FUNCTIONS: | ||
316 | getFunctions().clear(); | ||
317 | getFunctions().addAll((Collection<? extends Function>)newValue); | ||
318 | return; | ||
319 | case LogicproblemPackage.LOGIC_PROBLEM__ASSERTIONS: | ||
320 | getAssertions().clear(); | ||
321 | getAssertions().addAll((Collection<? extends Assertion>)newValue); | ||
322 | return; | ||
323 | case LogicproblemPackage.LOGIC_PROBLEM__RELATIONS: | ||
324 | getRelations().clear(); | ||
325 | getRelations().addAll((Collection<? extends Relation>)newValue); | ||
326 | return; | ||
327 | case LogicproblemPackage.LOGIC_PROBLEM__CONSTANTS: | ||
328 | getConstants().clear(); | ||
329 | getConstants().addAll((Collection<? extends Constant>)newValue); | ||
330 | return; | ||
331 | case LogicproblemPackage.LOGIC_PROBLEM__ELEMENTS: | ||
332 | getElements().clear(); | ||
333 | getElements().addAll((Collection<? extends DefinedElement>)newValue); | ||
334 | return; | ||
335 | case LogicproblemPackage.LOGIC_PROBLEM__CONTAINMENT_HIERARCHIES: | ||
336 | getContainmentHierarchies().clear(); | ||
337 | getContainmentHierarchies().addAll((Collection<? extends ContainmentHierarchy>)newValue); | ||
338 | return; | ||
339 | case LogicproblemPackage.LOGIC_PROBLEM__ANNOTATIONS: | ||
340 | getAnnotations().clear(); | ||
341 | getAnnotations().addAll((Collection<? extends Annotation>)newValue); | ||
342 | return; | ||
343 | } | ||
344 | super.eSet(featureID, newValue); | ||
345 | } | ||
346 | |||
347 | /** | ||
348 | * <!-- begin-user-doc --> | ||
349 | * <!-- end-user-doc --> | ||
350 | * @generated | ||
351 | */ | ||
352 | @Override | ||
353 | public void eUnset(int featureID) { | ||
354 | switch (featureID) { | ||
355 | case LogicproblemPackage.LOGIC_PROBLEM__TYPES: | ||
356 | getTypes().clear(); | ||
357 | return; | ||
358 | case LogicproblemPackage.LOGIC_PROBLEM__FUNCTIONS: | ||
359 | getFunctions().clear(); | ||
360 | return; | ||
361 | case LogicproblemPackage.LOGIC_PROBLEM__ASSERTIONS: | ||
362 | getAssertions().clear(); | ||
363 | return; | ||
364 | case LogicproblemPackage.LOGIC_PROBLEM__RELATIONS: | ||
365 | getRelations().clear(); | ||
366 | return; | ||
367 | case LogicproblemPackage.LOGIC_PROBLEM__CONSTANTS: | ||
368 | getConstants().clear(); | ||
369 | return; | ||
370 | case LogicproblemPackage.LOGIC_PROBLEM__ELEMENTS: | ||
371 | getElements().clear(); | ||
372 | return; | ||
373 | case LogicproblemPackage.LOGIC_PROBLEM__CONTAINMENT_HIERARCHIES: | ||
374 | getContainmentHierarchies().clear(); | ||
375 | return; | ||
376 | case LogicproblemPackage.LOGIC_PROBLEM__ANNOTATIONS: | ||
377 | getAnnotations().clear(); | ||
378 | return; | ||
379 | } | ||
380 | super.eUnset(featureID); | ||
381 | } | ||
382 | |||
383 | /** | ||
384 | * <!-- begin-user-doc --> | ||
385 | * <!-- end-user-doc --> | ||
386 | * @generated | ||
387 | */ | ||
388 | @Override | ||
389 | public boolean eIsSet(int featureID) { | ||
390 | switch (featureID) { | ||
391 | case LogicproblemPackage.LOGIC_PROBLEM__TYPES: | ||
392 | return types != null && !types.isEmpty(); | ||
393 | case LogicproblemPackage.LOGIC_PROBLEM__FUNCTIONS: | ||
394 | return functions != null && !functions.isEmpty(); | ||
395 | case LogicproblemPackage.LOGIC_PROBLEM__ASSERTIONS: | ||
396 | return assertions != null && !assertions.isEmpty(); | ||
397 | case LogicproblemPackage.LOGIC_PROBLEM__RELATIONS: | ||
398 | return relations != null && !relations.isEmpty(); | ||
399 | case LogicproblemPackage.LOGIC_PROBLEM__CONSTANTS: | ||
400 | return constants != null && !constants.isEmpty(); | ||
401 | case LogicproblemPackage.LOGIC_PROBLEM__ELEMENTS: | ||
402 | return elements != null && !elements.isEmpty(); | ||
403 | case LogicproblemPackage.LOGIC_PROBLEM__CONTAINMENT_HIERARCHIES: | ||
404 | return containmentHierarchies != null && !containmentHierarchies.isEmpty(); | ||
405 | case LogicproblemPackage.LOGIC_PROBLEM__ANNOTATIONS: | ||
406 | return annotations != null && !annotations.isEmpty(); | ||
407 | } | ||
408 | return super.eIsSet(featureID); | ||
409 | } | ||
410 | |||
411 | } //LogicProblemImpl | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/LogicproblemFactoryImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/LogicproblemFactoryImpl.java new file mode 100644 index 00000000..66a8f116 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/LogicproblemFactoryImpl.java | |||
@@ -0,0 +1,161 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.*; | ||
6 | |||
7 | import org.eclipse.emf.ecore.EClass; | ||
8 | import org.eclipse.emf.ecore.EObject; | ||
9 | import org.eclipse.emf.ecore.EPackage; | ||
10 | |||
11 | import org.eclipse.emf.ecore.impl.EFactoryImpl; | ||
12 | |||
13 | import org.eclipse.emf.ecore.plugin.EcorePlugin; | ||
14 | |||
15 | /** | ||
16 | * <!-- begin-user-doc --> | ||
17 | * An implementation of the model <b>Factory</b>. | ||
18 | * <!-- end-user-doc --> | ||
19 | * @generated | ||
20 | */ | ||
21 | public class LogicproblemFactoryImpl extends EFactoryImpl implements LogicproblemFactory { | ||
22 | /** | ||
23 | * Creates the default factory implementation. | ||
24 | * <!-- begin-user-doc --> | ||
25 | * <!-- end-user-doc --> | ||
26 | * @generated | ||
27 | */ | ||
28 | public static LogicproblemFactory init() { | ||
29 | try { | ||
30 | LogicproblemFactory theLogicproblemFactory = (LogicproblemFactory)EPackage.Registry.INSTANCE.getEFactory(LogicproblemPackage.eNS_URI); | ||
31 | if (theLogicproblemFactory != null) { | ||
32 | return theLogicproblemFactory; | ||
33 | } | ||
34 | } | ||
35 | catch (Exception exception) { | ||
36 | EcorePlugin.INSTANCE.log(exception); | ||
37 | } | ||
38 | return new LogicproblemFactoryImpl(); | ||
39 | } | ||
40 | |||
41 | /** | ||
42 | * Creates an instance of the factory. | ||
43 | * <!-- begin-user-doc --> | ||
44 | * <!-- end-user-doc --> | ||
45 | * @generated | ||
46 | */ | ||
47 | public LogicproblemFactoryImpl() { | ||
48 | super(); | ||
49 | } | ||
50 | |||
51 | /** | ||
52 | * <!-- begin-user-doc --> | ||
53 | * <!-- end-user-doc --> | ||
54 | * @generated | ||
55 | */ | ||
56 | @Override | ||
57 | public EObject create(EClass eClass) { | ||
58 | switch (eClass.getClassifierID()) { | ||
59 | case LogicproblemPackage.LOGIC_PROBLEM: return createLogicProblem(); | ||
60 | case LogicproblemPackage.CONTAINMENT_HIERARCHY: return createContainmentHierarchy(); | ||
61 | case LogicproblemPackage.RELATION_ANNOTATION: return createRelationAnnotation(); | ||
62 | case LogicproblemPackage.CONSTANT_ANNOTATION: return createConstantAnnotation(); | ||
63 | case LogicproblemPackage.FUNCTION_ANNOTATION: return createFunctionAnnotation(); | ||
64 | case LogicproblemPackage.ASSERTION_ANNOTATION: return createAssertionAnnotation(); | ||
65 | case LogicproblemPackage.ANNOTATION: return createAnnotation(); | ||
66 | default: | ||
67 | throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); | ||
68 | } | ||
69 | } | ||
70 | |||
71 | /** | ||
72 | * <!-- begin-user-doc --> | ||
73 | * <!-- end-user-doc --> | ||
74 | * @generated | ||
75 | */ | ||
76 | public LogicProblem createLogicProblem() { | ||
77 | LogicProblemImpl logicProblem = new LogicProblemImpl(); | ||
78 | return logicProblem; | ||
79 | } | ||
80 | |||
81 | /** | ||
82 | * <!-- begin-user-doc --> | ||
83 | * <!-- end-user-doc --> | ||
84 | * @generated | ||
85 | */ | ||
86 | public ContainmentHierarchy createContainmentHierarchy() { | ||
87 | ContainmentHierarchyImpl containmentHierarchy = new ContainmentHierarchyImpl(); | ||
88 | return containmentHierarchy; | ||
89 | } | ||
90 | |||
91 | /** | ||
92 | * <!-- begin-user-doc --> | ||
93 | * <!-- end-user-doc --> | ||
94 | * @generated | ||
95 | */ | ||
96 | public RelationAnnotation createRelationAnnotation() { | ||
97 | RelationAnnotationImpl relationAnnotation = new RelationAnnotationImpl(); | ||
98 | return relationAnnotation; | ||
99 | } | ||
100 | |||
101 | /** | ||
102 | * <!-- begin-user-doc --> | ||
103 | * <!-- end-user-doc --> | ||
104 | * @generated | ||
105 | */ | ||
106 | public ConstantAnnotation createConstantAnnotation() { | ||
107 | ConstantAnnotationImpl constantAnnotation = new ConstantAnnotationImpl(); | ||
108 | return constantAnnotation; | ||
109 | } | ||
110 | |||
111 | /** | ||
112 | * <!-- begin-user-doc --> | ||
113 | * <!-- end-user-doc --> | ||
114 | * @generated | ||
115 | */ | ||
116 | public FunctionAnnotation createFunctionAnnotation() { | ||
117 | FunctionAnnotationImpl functionAnnotation = new FunctionAnnotationImpl(); | ||
118 | return functionAnnotation; | ||
119 | } | ||
120 | |||
121 | /** | ||
122 | * <!-- begin-user-doc --> | ||
123 | * <!-- end-user-doc --> | ||
124 | * @generated | ||
125 | */ | ||
126 | public AssertionAnnotation createAssertionAnnotation() { | ||
127 | AssertionAnnotationImpl assertionAnnotation = new AssertionAnnotationImpl(); | ||
128 | return assertionAnnotation; | ||
129 | } | ||
130 | |||
131 | /** | ||
132 | * <!-- begin-user-doc --> | ||
133 | * <!-- end-user-doc --> | ||
134 | * @generated | ||
135 | */ | ||
136 | public Annotation createAnnotation() { | ||
137 | AnnotationImpl annotation = new AnnotationImpl(); | ||
138 | return annotation; | ||
139 | } | ||
140 | |||
141 | /** | ||
142 | * <!-- begin-user-doc --> | ||
143 | * <!-- end-user-doc --> | ||
144 | * @generated | ||
145 | */ | ||
146 | public LogicproblemPackage getLogicproblemPackage() { | ||
147 | return (LogicproblemPackage)getEPackage(); | ||
148 | } | ||
149 | |||
150 | /** | ||
151 | * <!-- begin-user-doc --> | ||
152 | * <!-- end-user-doc --> | ||
153 | * @deprecated | ||
154 | * @generated | ||
155 | */ | ||
156 | @Deprecated | ||
157 | public static LogicproblemPackage getPackage() { | ||
158 | return LogicproblemPackage.eINSTANCE; | ||
159 | } | ||
160 | |||
161 | } //LogicproblemFactoryImpl | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/LogicproblemPackageImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/LogicproblemPackageImpl.java new file mode 100644 index 00000000..1dd429e7 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/LogicproblemPackageImpl.java | |||
@@ -0,0 +1,490 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage; | ||
6 | |||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl; | ||
8 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation; | ||
9 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation; | ||
10 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ConstantAnnotation; | ||
11 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy; | ||
12 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.FunctionAnnotation; | ||
13 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem; | ||
14 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemFactory; | ||
15 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage; | ||
16 | |||
17 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation; | ||
18 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage; | ||
19 | |||
20 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl; | ||
21 | |||
22 | import org.eclipse.emf.ecore.EClass; | ||
23 | import org.eclipse.emf.ecore.EPackage; | ||
24 | import org.eclipse.emf.ecore.EReference; | ||
25 | |||
26 | import org.eclipse.emf.ecore.impl.EPackageImpl; | ||
27 | |||
28 | /** | ||
29 | * <!-- begin-user-doc --> | ||
30 | * An implementation of the model <b>Package</b>. | ||
31 | * <!-- end-user-doc --> | ||
32 | * @generated | ||
33 | */ | ||
34 | public class LogicproblemPackageImpl extends EPackageImpl implements LogicproblemPackage { | ||
35 | /** | ||
36 | * <!-- begin-user-doc --> | ||
37 | * <!-- end-user-doc --> | ||
38 | * @generated | ||
39 | */ | ||
40 | private EClass logicProblemEClass = null; | ||
41 | |||
42 | /** | ||
43 | * <!-- begin-user-doc --> | ||
44 | * <!-- end-user-doc --> | ||
45 | * @generated | ||
46 | */ | ||
47 | private EClass containmentHierarchyEClass = null; | ||
48 | |||
49 | /** | ||
50 | * <!-- begin-user-doc --> | ||
51 | * <!-- end-user-doc --> | ||
52 | * @generated | ||
53 | */ | ||
54 | private EClass relationAnnotationEClass = null; | ||
55 | |||
56 | /** | ||
57 | * <!-- begin-user-doc --> | ||
58 | * <!-- end-user-doc --> | ||
59 | * @generated | ||
60 | */ | ||
61 | private EClass constantAnnotationEClass = null; | ||
62 | |||
63 | /** | ||
64 | * <!-- begin-user-doc --> | ||
65 | * <!-- end-user-doc --> | ||
66 | * @generated | ||
67 | */ | ||
68 | private EClass functionAnnotationEClass = null; | ||
69 | |||
70 | /** | ||
71 | * <!-- begin-user-doc --> | ||
72 | * <!-- end-user-doc --> | ||
73 | * @generated | ||
74 | */ | ||
75 | private EClass assertionAnnotationEClass = null; | ||
76 | |||
77 | /** | ||
78 | * <!-- begin-user-doc --> | ||
79 | * <!-- end-user-doc --> | ||
80 | * @generated | ||
81 | */ | ||
82 | private EClass annotationEClass = null; | ||
83 | |||
84 | /** | ||
85 | * Creates an instance of the model <b>Package</b>, registered with | ||
86 | * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package | ||
87 | * package URI value. | ||
88 | * <p>Note: the correct way to create the package is via the static | ||
89 | * factory method {@link #init init()}, which also performs | ||
90 | * initialization of the package, or returns the registered package, | ||
91 | * if one already exists. | ||
92 | * <!-- begin-user-doc --> | ||
93 | * <!-- end-user-doc --> | ||
94 | * @see org.eclipse.emf.ecore.EPackage.Registry | ||
95 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage#eNS_URI | ||
96 | * @see #init() | ||
97 | * @generated | ||
98 | */ | ||
99 | private LogicproblemPackageImpl() { | ||
100 | super(eNS_URI, LogicproblemFactory.eINSTANCE); | ||
101 | } | ||
102 | |||
103 | /** | ||
104 | * <!-- begin-user-doc --> | ||
105 | * <!-- end-user-doc --> | ||
106 | * @generated | ||
107 | */ | ||
108 | private static boolean isInited = false; | ||
109 | |||
110 | /** | ||
111 | * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends. | ||
112 | * | ||
113 | * <p>This method is used to initialize {@link LogicproblemPackage#eINSTANCE} when that field is accessed. | ||
114 | * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package. | ||
115 | * <!-- begin-user-doc --> | ||
116 | * <!-- end-user-doc --> | ||
117 | * @see #eNS_URI | ||
118 | * @see #createPackageContents() | ||
119 | * @see #initializePackageContents() | ||
120 | * @generated | ||
121 | */ | ||
122 | public static LogicproblemPackage init() { | ||
123 | if (isInited) return (LogicproblemPackage)EPackage.Registry.INSTANCE.getEPackage(LogicproblemPackage.eNS_URI); | ||
124 | |||
125 | // Obtain or create and register package | ||
126 | LogicproblemPackageImpl theLogicproblemPackage = (LogicproblemPackageImpl)(EPackage.Registry.INSTANCE.get(eNS_URI) instanceof LogicproblemPackageImpl ? EPackage.Registry.INSTANCE.get(eNS_URI) : new LogicproblemPackageImpl()); | ||
127 | |||
128 | isInited = true; | ||
129 | |||
130 | // Obtain or create and register interdependencies | ||
131 | LogiclanguagePackageImpl theLogiclanguagePackage = (LogiclanguagePackageImpl)(EPackage.Registry.INSTANCE.getEPackage(LogiclanguagePackage.eNS_URI) instanceof LogiclanguagePackageImpl ? EPackage.Registry.INSTANCE.getEPackage(LogiclanguagePackage.eNS_URI) : LogiclanguagePackage.eINSTANCE); | ||
132 | LogicresultPackageImpl theLogicresultPackage = (LogicresultPackageImpl)(EPackage.Registry.INSTANCE.getEPackage(LogicresultPackage.eNS_URI) instanceof LogicresultPackageImpl ? EPackage.Registry.INSTANCE.getEPackage(LogicresultPackage.eNS_URI) : LogicresultPackage.eINSTANCE); | ||
133 | |||
134 | // Create package meta-data objects | ||
135 | theLogicproblemPackage.createPackageContents(); | ||
136 | theLogiclanguagePackage.createPackageContents(); | ||
137 | theLogicresultPackage.createPackageContents(); | ||
138 | |||
139 | // Initialize created meta-data | ||
140 | theLogicproblemPackage.initializePackageContents(); | ||
141 | theLogiclanguagePackage.initializePackageContents(); | ||
142 | theLogicresultPackage.initializePackageContents(); | ||
143 | |||
144 | // Mark meta-data to indicate it can't be changed | ||
145 | theLogicproblemPackage.freeze(); | ||
146 | |||
147 | |||
148 | // Update the registry and return the package | ||
149 | EPackage.Registry.INSTANCE.put(LogicproblemPackage.eNS_URI, theLogicproblemPackage); | ||
150 | return theLogicproblemPackage; | ||
151 | } | ||
152 | |||
153 | /** | ||
154 | * <!-- begin-user-doc --> | ||
155 | * <!-- end-user-doc --> | ||
156 | * @generated | ||
157 | */ | ||
158 | public EClass getLogicProblem() { | ||
159 | return logicProblemEClass; | ||
160 | } | ||
161 | |||
162 | /** | ||
163 | * <!-- begin-user-doc --> | ||
164 | * <!-- end-user-doc --> | ||
165 | * @generated | ||
166 | */ | ||
167 | public EReference getLogicProblem_Types() { | ||
168 | return (EReference)logicProblemEClass.getEStructuralFeatures().get(0); | ||
169 | } | ||
170 | |||
171 | /** | ||
172 | * <!-- begin-user-doc --> | ||
173 | * <!-- end-user-doc --> | ||
174 | * @generated | ||
175 | */ | ||
176 | public EReference getLogicProblem_Functions() { | ||
177 | return (EReference)logicProblemEClass.getEStructuralFeatures().get(1); | ||
178 | } | ||
179 | |||
180 | /** | ||
181 | * <!-- begin-user-doc --> | ||
182 | * <!-- end-user-doc --> | ||
183 | * @generated | ||
184 | */ | ||
185 | public EReference getLogicProblem_Assertions() { | ||
186 | return (EReference)logicProblemEClass.getEStructuralFeatures().get(2); | ||
187 | } | ||
188 | |||
189 | /** | ||
190 | * <!-- begin-user-doc --> | ||
191 | * <!-- end-user-doc --> | ||
192 | * @generated | ||
193 | */ | ||
194 | public EReference getLogicProblem_Relations() { | ||
195 | return (EReference)logicProblemEClass.getEStructuralFeatures().get(3); | ||
196 | } | ||
197 | |||
198 | /** | ||
199 | * <!-- begin-user-doc --> | ||
200 | * <!-- end-user-doc --> | ||
201 | * @generated | ||
202 | */ | ||
203 | public EReference getLogicProblem_Constants() { | ||
204 | return (EReference)logicProblemEClass.getEStructuralFeatures().get(4); | ||
205 | } | ||
206 | |||
207 | /** | ||
208 | * <!-- begin-user-doc --> | ||
209 | * <!-- end-user-doc --> | ||
210 | * @generated | ||
211 | */ | ||
212 | public EReference getLogicProblem_Elements() { | ||
213 | return (EReference)logicProblemEClass.getEStructuralFeatures().get(5); | ||
214 | } | ||
215 | |||
216 | /** | ||
217 | * <!-- begin-user-doc --> | ||
218 | * <!-- end-user-doc --> | ||
219 | * @generated | ||
220 | */ | ||
221 | public EReference getLogicProblem_ContainmentHierarchies() { | ||
222 | return (EReference)logicProblemEClass.getEStructuralFeatures().get(6); | ||
223 | } | ||
224 | |||
225 | /** | ||
226 | * <!-- begin-user-doc --> | ||
227 | * <!-- end-user-doc --> | ||
228 | * @generated | ||
229 | */ | ||
230 | public EReference getLogicProblem_Annotations() { | ||
231 | return (EReference)logicProblemEClass.getEStructuralFeatures().get(7); | ||
232 | } | ||
233 | |||
234 | /** | ||
235 | * <!-- begin-user-doc --> | ||
236 | * <!-- end-user-doc --> | ||
237 | * @generated | ||
238 | */ | ||
239 | public EClass getContainmentHierarchy() { | ||
240 | return containmentHierarchyEClass; | ||
241 | } | ||
242 | |||
243 | /** | ||
244 | * <!-- begin-user-doc --> | ||
245 | * <!-- end-user-doc --> | ||
246 | * @generated | ||
247 | */ | ||
248 | public EReference getContainmentHierarchy_TypesOrderedInHierarchy() { | ||
249 | return (EReference)containmentHierarchyEClass.getEStructuralFeatures().get(0); | ||
250 | } | ||
251 | |||
252 | /** | ||
253 | * <!-- begin-user-doc --> | ||
254 | * <!-- end-user-doc --> | ||
255 | * @generated | ||
256 | */ | ||
257 | public EReference getContainmentHierarchy_ContainmentFunctions() { | ||
258 | return (EReference)containmentHierarchyEClass.getEStructuralFeatures().get(1); | ||
259 | } | ||
260 | |||
261 | /** | ||
262 | * <!-- begin-user-doc --> | ||
263 | * <!-- end-user-doc --> | ||
264 | * @generated | ||
265 | */ | ||
266 | public EReference getContainmentHierarchy_ContainmentRelations() { | ||
267 | return (EReference)containmentHierarchyEClass.getEStructuralFeatures().get(2); | ||
268 | } | ||
269 | |||
270 | /** | ||
271 | * <!-- begin-user-doc --> | ||
272 | * <!-- end-user-doc --> | ||
273 | * @generated | ||
274 | */ | ||
275 | public EReference getContainmentHierarchy_RootConstant() { | ||
276 | return (EReference)containmentHierarchyEClass.getEStructuralFeatures().get(3); | ||
277 | } | ||
278 | |||
279 | /** | ||
280 | * <!-- begin-user-doc --> | ||
281 | * <!-- end-user-doc --> | ||
282 | * @generated | ||
283 | */ | ||
284 | public EClass getRelationAnnotation() { | ||
285 | return relationAnnotationEClass; | ||
286 | } | ||
287 | |||
288 | /** | ||
289 | * <!-- begin-user-doc --> | ||
290 | * <!-- end-user-doc --> | ||
291 | * @generated | ||
292 | */ | ||
293 | public EReference getRelationAnnotation_Target() { | ||
294 | return (EReference)relationAnnotationEClass.getEStructuralFeatures().get(0); | ||
295 | } | ||
296 | |||
297 | /** | ||
298 | * <!-- begin-user-doc --> | ||
299 | * <!-- end-user-doc --> | ||
300 | * @generated | ||
301 | */ | ||
302 | public EClass getConstantAnnotation() { | ||
303 | return constantAnnotationEClass; | ||
304 | } | ||
305 | |||
306 | /** | ||
307 | * <!-- begin-user-doc --> | ||
308 | * <!-- end-user-doc --> | ||
309 | * @generated | ||
310 | */ | ||
311 | public EReference getConstantAnnotation_Target() { | ||
312 | return (EReference)constantAnnotationEClass.getEStructuralFeatures().get(0); | ||
313 | } | ||
314 | |||
315 | /** | ||
316 | * <!-- begin-user-doc --> | ||
317 | * <!-- end-user-doc --> | ||
318 | * @generated | ||
319 | */ | ||
320 | public EClass getFunctionAnnotation() { | ||
321 | return functionAnnotationEClass; | ||
322 | } | ||
323 | |||
324 | /** | ||
325 | * <!-- begin-user-doc --> | ||
326 | * <!-- end-user-doc --> | ||
327 | * @generated | ||
328 | */ | ||
329 | public EReference getFunctionAnnotation_Target() { | ||
330 | return (EReference)functionAnnotationEClass.getEStructuralFeatures().get(0); | ||
331 | } | ||
332 | |||
333 | /** | ||
334 | * <!-- begin-user-doc --> | ||
335 | * <!-- end-user-doc --> | ||
336 | * @generated | ||
337 | */ | ||
338 | public EClass getAssertionAnnotation() { | ||
339 | return assertionAnnotationEClass; | ||
340 | } | ||
341 | |||
342 | /** | ||
343 | * <!-- begin-user-doc --> | ||
344 | * <!-- end-user-doc --> | ||
345 | * @generated | ||
346 | */ | ||
347 | public EReference getAssertionAnnotation_Target() { | ||
348 | return (EReference)assertionAnnotationEClass.getEStructuralFeatures().get(0); | ||
349 | } | ||
350 | |||
351 | /** | ||
352 | * <!-- begin-user-doc --> | ||
353 | * <!-- end-user-doc --> | ||
354 | * @generated | ||
355 | */ | ||
356 | public EClass getAnnotation() { | ||
357 | return annotationEClass; | ||
358 | } | ||
359 | |||
360 | /** | ||
361 | * <!-- begin-user-doc --> | ||
362 | * <!-- end-user-doc --> | ||
363 | * @generated | ||
364 | */ | ||
365 | public LogicproblemFactory getLogicproblemFactory() { | ||
366 | return (LogicproblemFactory)getEFactoryInstance(); | ||
367 | } | ||
368 | |||
369 | /** | ||
370 | * <!-- begin-user-doc --> | ||
371 | * <!-- end-user-doc --> | ||
372 | * @generated | ||
373 | */ | ||
374 | private boolean isCreated = false; | ||
375 | |||
376 | /** | ||
377 | * Creates the meta-model objects for the package. This method is | ||
378 | * guarded to have no affect on any invocation but its first. | ||
379 | * <!-- begin-user-doc --> | ||
380 | * <!-- end-user-doc --> | ||
381 | * @generated | ||
382 | */ | ||
383 | public void createPackageContents() { | ||
384 | if (isCreated) return; | ||
385 | isCreated = true; | ||
386 | |||
387 | // Create classes and their features | ||
388 | logicProblemEClass = createEClass(LOGIC_PROBLEM); | ||
389 | createEReference(logicProblemEClass, LOGIC_PROBLEM__TYPES); | ||
390 | createEReference(logicProblemEClass, LOGIC_PROBLEM__FUNCTIONS); | ||
391 | createEReference(logicProblemEClass, LOGIC_PROBLEM__ASSERTIONS); | ||
392 | createEReference(logicProblemEClass, LOGIC_PROBLEM__RELATIONS); | ||
393 | createEReference(logicProblemEClass, LOGIC_PROBLEM__CONSTANTS); | ||
394 | createEReference(logicProblemEClass, LOGIC_PROBLEM__ELEMENTS); | ||
395 | createEReference(logicProblemEClass, LOGIC_PROBLEM__CONTAINMENT_HIERARCHIES); | ||
396 | createEReference(logicProblemEClass, LOGIC_PROBLEM__ANNOTATIONS); | ||
397 | |||
398 | containmentHierarchyEClass = createEClass(CONTAINMENT_HIERARCHY); | ||
399 | createEReference(containmentHierarchyEClass, CONTAINMENT_HIERARCHY__TYPES_ORDERED_IN_HIERARCHY); | ||
400 | createEReference(containmentHierarchyEClass, CONTAINMENT_HIERARCHY__CONTAINMENT_FUNCTIONS); | ||
401 | createEReference(containmentHierarchyEClass, CONTAINMENT_HIERARCHY__CONTAINMENT_RELATIONS); | ||
402 | createEReference(containmentHierarchyEClass, CONTAINMENT_HIERARCHY__ROOT_CONSTANT); | ||
403 | |||
404 | relationAnnotationEClass = createEClass(RELATION_ANNOTATION); | ||
405 | createEReference(relationAnnotationEClass, RELATION_ANNOTATION__TARGET); | ||
406 | |||
407 | constantAnnotationEClass = createEClass(CONSTANT_ANNOTATION); | ||
408 | createEReference(constantAnnotationEClass, CONSTANT_ANNOTATION__TARGET); | ||
409 | |||
410 | functionAnnotationEClass = createEClass(FUNCTION_ANNOTATION); | ||
411 | createEReference(functionAnnotationEClass, FUNCTION_ANNOTATION__TARGET); | ||
412 | |||
413 | assertionAnnotationEClass = createEClass(ASSERTION_ANNOTATION); | ||
414 | createEReference(assertionAnnotationEClass, ASSERTION_ANNOTATION__TARGET); | ||
415 | |||
416 | annotationEClass = createEClass(ANNOTATION); | ||
417 | } | ||
418 | |||
419 | /** | ||
420 | * <!-- begin-user-doc --> | ||
421 | * <!-- end-user-doc --> | ||
422 | * @generated | ||
423 | */ | ||
424 | private boolean isInitialized = false; | ||
425 | |||
426 | /** | ||
427 | * Complete the initialization of the package and its meta-model. This | ||
428 | * method is guarded to have no affect on any invocation but its first. | ||
429 | * <!-- begin-user-doc --> | ||
430 | * <!-- end-user-doc --> | ||
431 | * @generated | ||
432 | */ | ||
433 | public void initializePackageContents() { | ||
434 | if (isInitialized) return; | ||
435 | isInitialized = true; | ||
436 | |||
437 | // Initialize package | ||
438 | setName(eNAME); | ||
439 | setNsPrefix(eNS_PREFIX); | ||
440 | setNsURI(eNS_URI); | ||
441 | |||
442 | // Obtain other dependent packages | ||
443 | LogiclanguagePackage theLogiclanguagePackage = (LogiclanguagePackage)EPackage.Registry.INSTANCE.getEPackage(LogiclanguagePackage.eNS_URI); | ||
444 | |||
445 | // Create type parameters | ||
446 | |||
447 | // Set bounds for type parameters | ||
448 | |||
449 | // Add supertypes to classes | ||
450 | relationAnnotationEClass.getESuperTypes().add(this.getAnnotation()); | ||
451 | constantAnnotationEClass.getESuperTypes().add(this.getAnnotation()); | ||
452 | functionAnnotationEClass.getESuperTypes().add(this.getAnnotation()); | ||
453 | assertionAnnotationEClass.getESuperTypes().add(this.getAnnotation()); | ||
454 | |||
455 | // Initialize classes, features, and operations; add parameters | ||
456 | initEClass(logicProblemEClass, LogicProblem.class, "LogicProblem", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
457 | initEReference(getLogicProblem_Types(), theLogiclanguagePackage.getType(), null, "types", null, 0, -1, LogicProblem.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
458 | initEReference(getLogicProblem_Functions(), theLogiclanguagePackage.getFunction(), null, "functions", null, 0, -1, LogicProblem.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
459 | initEReference(getLogicProblem_Assertions(), theLogiclanguagePackage.getAssertion(), null, "assertions", null, 0, -1, LogicProblem.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
460 | initEReference(getLogicProblem_Relations(), theLogiclanguagePackage.getRelation(), null, "relations", null, 0, -1, LogicProblem.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
461 | initEReference(getLogicProblem_Constants(), theLogiclanguagePackage.getConstant(), null, "constants", null, 0, -1, LogicProblem.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
462 | initEReference(getLogicProblem_Elements(), theLogiclanguagePackage.getDefinedElement(), null, "elements", null, 0, -1, LogicProblem.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
463 | initEReference(getLogicProblem_ContainmentHierarchies(), this.getContainmentHierarchy(), null, "containmentHierarchies", null, 0, -1, LogicProblem.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
464 | initEReference(getLogicProblem_Annotations(), this.getAnnotation(), null, "annotations", null, 0, -1, LogicProblem.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
465 | |||
466 | initEClass(containmentHierarchyEClass, ContainmentHierarchy.class, "ContainmentHierarchy", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
467 | initEReference(getContainmentHierarchy_TypesOrderedInHierarchy(), theLogiclanguagePackage.getType(), null, "typesOrderedInHierarchy", null, 0, -1, ContainmentHierarchy.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
468 | initEReference(getContainmentHierarchy_ContainmentFunctions(), theLogiclanguagePackage.getFunction(), null, "containmentFunctions", null, 0, -1, ContainmentHierarchy.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
469 | initEReference(getContainmentHierarchy_ContainmentRelations(), theLogiclanguagePackage.getRelation(), null, "containmentRelations", null, 0, -1, ContainmentHierarchy.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
470 | initEReference(getContainmentHierarchy_RootConstant(), theLogiclanguagePackage.getConstant(), null, "rootConstant", null, 0, 1, ContainmentHierarchy.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
471 | |||
472 | initEClass(relationAnnotationEClass, RelationAnnotation.class, "RelationAnnotation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
473 | initEReference(getRelationAnnotation_Target(), theLogiclanguagePackage.getRelation(), theLogiclanguagePackage.getRelation_Annotations(), "target", null, 1, 1, RelationAnnotation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
474 | |||
475 | initEClass(constantAnnotationEClass, ConstantAnnotation.class, "ConstantAnnotation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
476 | initEReference(getConstantAnnotation_Target(), theLogiclanguagePackage.getConstant(), theLogiclanguagePackage.getConstant_Annotations(), "target", null, 1, 1, ConstantAnnotation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
477 | |||
478 | initEClass(functionAnnotationEClass, FunctionAnnotation.class, "FunctionAnnotation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
479 | initEReference(getFunctionAnnotation_Target(), theLogiclanguagePackage.getFunction(), theLogiclanguagePackage.getFunction_Annotations(), "target", null, 1, 1, FunctionAnnotation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
480 | |||
481 | initEClass(assertionAnnotationEClass, AssertionAnnotation.class, "AssertionAnnotation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
482 | initEReference(getAssertionAnnotation_Target(), theLogiclanguagePackage.getAssertion(), theLogiclanguagePackage.getAssertion_Annotations(), "target", null, 1, 1, AssertionAnnotation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
483 | |||
484 | initEClass(annotationEClass, Annotation.class, "Annotation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
485 | |||
486 | // Create resource | ||
487 | createResource(eNS_URI); | ||
488 | } | ||
489 | |||
490 | } //LogicproblemPackageImpl | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/RelationAnnotationImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/RelationAnnotationImpl.java new file mode 100644 index 00000000..23fb6e5d --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/RelationAnnotationImpl.java | |||
@@ -0,0 +1,211 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.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 | |||
8 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage; | ||
9 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation; | ||
10 | |||
11 | import org.eclipse.emf.common.notify.Notification; | ||
12 | |||
13 | import org.eclipse.emf.common.notify.NotificationChain; | ||
14 | import org.eclipse.emf.ecore.EClass; | ||
15 | import org.eclipse.emf.ecore.InternalEObject; | ||
16 | |||
17 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
18 | |||
19 | /** | ||
20 | * <!-- begin-user-doc --> | ||
21 | * An implementation of the model object '<em><b>Relation Annotation</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.logicproblem.impl.RelationAnnotationImpl#getTarget <em>Target</em>}</li> | ||
28 | * </ul> | ||
29 | * | ||
30 | * @generated | ||
31 | */ | ||
32 | public class RelationAnnotationImpl extends AnnotationImpl implements RelationAnnotation { | ||
33 | /** | ||
34 | * The cached value of the '{@link #getTarget() <em>Target</em>}' reference. | ||
35 | * <!-- begin-user-doc --> | ||
36 | * <!-- end-user-doc --> | ||
37 | * @see #getTarget() | ||
38 | * @generated | ||
39 | * @ordered | ||
40 | */ | ||
41 | protected Relation target; | ||
42 | |||
43 | /** | ||
44 | * <!-- begin-user-doc --> | ||
45 | * <!-- end-user-doc --> | ||
46 | * @generated | ||
47 | */ | ||
48 | protected RelationAnnotationImpl() { | ||
49 | super(); | ||
50 | } | ||
51 | |||
52 | /** | ||
53 | * <!-- begin-user-doc --> | ||
54 | * <!-- end-user-doc --> | ||
55 | * @generated | ||
56 | */ | ||
57 | @Override | ||
58 | protected EClass eStaticClass() { | ||
59 | return LogicproblemPackage.Literals.RELATION_ANNOTATION; | ||
60 | } | ||
61 | |||
62 | /** | ||
63 | * <!-- begin-user-doc --> | ||
64 | * <!-- end-user-doc --> | ||
65 | * @generated | ||
66 | */ | ||
67 | public Relation getTarget() { | ||
68 | if (target != null && target.eIsProxy()) { | ||
69 | InternalEObject oldTarget = (InternalEObject)target; | ||
70 | target = (Relation)eResolveProxy(oldTarget); | ||
71 | if (target != oldTarget) { | ||
72 | if (eNotificationRequired()) | ||
73 | eNotify(new ENotificationImpl(this, Notification.RESOLVE, LogicproblemPackage.RELATION_ANNOTATION__TARGET, oldTarget, target)); | ||
74 | } | ||
75 | } | ||
76 | return target; | ||
77 | } | ||
78 | |||
79 | /** | ||
80 | * <!-- begin-user-doc --> | ||
81 | * <!-- end-user-doc --> | ||
82 | * @generated | ||
83 | */ | ||
84 | public Relation basicGetTarget() { | ||
85 | return target; | ||
86 | } | ||
87 | |||
88 | /** | ||
89 | * <!-- begin-user-doc --> | ||
90 | * <!-- end-user-doc --> | ||
91 | * @generated | ||
92 | */ | ||
93 | public NotificationChain basicSetTarget(Relation newTarget, NotificationChain msgs) { | ||
94 | Relation oldTarget = target; | ||
95 | target = newTarget; | ||
96 | if (eNotificationRequired()) { | ||
97 | ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, LogicproblemPackage.RELATION_ANNOTATION__TARGET, oldTarget, newTarget); | ||
98 | if (msgs == null) msgs = notification; else msgs.add(notification); | ||
99 | } | ||
100 | return msgs; | ||
101 | } | ||
102 | |||
103 | /** | ||
104 | * <!-- begin-user-doc --> | ||
105 | * <!-- end-user-doc --> | ||
106 | * @generated | ||
107 | */ | ||
108 | public void setTarget(Relation newTarget) { | ||
109 | if (newTarget != target) { | ||
110 | NotificationChain msgs = null; | ||
111 | if (target != null) | ||
112 | msgs = ((InternalEObject)target).eInverseRemove(this, LogiclanguagePackage.RELATION__ANNOTATIONS, Relation.class, msgs); | ||
113 | if (newTarget != null) | ||
114 | msgs = ((InternalEObject)newTarget).eInverseAdd(this, LogiclanguagePackage.RELATION__ANNOTATIONS, Relation.class, msgs); | ||
115 | msgs = basicSetTarget(newTarget, msgs); | ||
116 | if (msgs != null) msgs.dispatch(); | ||
117 | } | ||
118 | else if (eNotificationRequired()) | ||
119 | eNotify(new ENotificationImpl(this, Notification.SET, LogicproblemPackage.RELATION_ANNOTATION__TARGET, newTarget, newTarget)); | ||
120 | } | ||
121 | |||
122 | /** | ||
123 | * <!-- begin-user-doc --> | ||
124 | * <!-- end-user-doc --> | ||
125 | * @generated | ||
126 | */ | ||
127 | @Override | ||
128 | public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) { | ||
129 | switch (featureID) { | ||
130 | case LogicproblemPackage.RELATION_ANNOTATION__TARGET: | ||
131 | if (target != null) | ||
132 | msgs = ((InternalEObject)target).eInverseRemove(this, LogiclanguagePackage.RELATION__ANNOTATIONS, Relation.class, msgs); | ||
133 | return basicSetTarget((Relation)otherEnd, msgs); | ||
134 | } | ||
135 | return super.eInverseAdd(otherEnd, featureID, msgs); | ||
136 | } | ||
137 | |||
138 | /** | ||
139 | * <!-- begin-user-doc --> | ||
140 | * <!-- end-user-doc --> | ||
141 | * @generated | ||
142 | */ | ||
143 | @Override | ||
144 | public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { | ||
145 | switch (featureID) { | ||
146 | case LogicproblemPackage.RELATION_ANNOTATION__TARGET: | ||
147 | return basicSetTarget(null, msgs); | ||
148 | } | ||
149 | return super.eInverseRemove(otherEnd, featureID, msgs); | ||
150 | } | ||
151 | |||
152 | /** | ||
153 | * <!-- begin-user-doc --> | ||
154 | * <!-- end-user-doc --> | ||
155 | * @generated | ||
156 | */ | ||
157 | @Override | ||
158 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | ||
159 | switch (featureID) { | ||
160 | case LogicproblemPackage.RELATION_ANNOTATION__TARGET: | ||
161 | if (resolve) return getTarget(); | ||
162 | return basicGetTarget(); | ||
163 | } | ||
164 | return super.eGet(featureID, resolve, coreType); | ||
165 | } | ||
166 | |||
167 | /** | ||
168 | * <!-- begin-user-doc --> | ||
169 | * <!-- end-user-doc --> | ||
170 | * @generated | ||
171 | */ | ||
172 | @Override | ||
173 | public void eSet(int featureID, Object newValue) { | ||
174 | switch (featureID) { | ||
175 | case LogicproblemPackage.RELATION_ANNOTATION__TARGET: | ||
176 | setTarget((Relation)newValue); | ||
177 | return; | ||
178 | } | ||
179 | super.eSet(featureID, newValue); | ||
180 | } | ||
181 | |||
182 | /** | ||
183 | * <!-- begin-user-doc --> | ||
184 | * <!-- end-user-doc --> | ||
185 | * @generated | ||
186 | */ | ||
187 | @Override | ||
188 | public void eUnset(int featureID) { | ||
189 | switch (featureID) { | ||
190 | case LogicproblemPackage.RELATION_ANNOTATION__TARGET: | ||
191 | setTarget((Relation)null); | ||
192 | return; | ||
193 | } | ||
194 | super.eUnset(featureID); | ||
195 | } | ||
196 | |||
197 | /** | ||
198 | * <!-- begin-user-doc --> | ||
199 | * <!-- end-user-doc --> | ||
200 | * @generated | ||
201 | */ | ||
202 | @Override | ||
203 | public boolean eIsSet(int featureID) { | ||
204 | switch (featureID) { | ||
205 | case LogicproblemPackage.RELATION_ANNOTATION__TARGET: | ||
206 | return target != null; | ||
207 | } | ||
208 | return super.eIsSet(featureID); | ||
209 | } | ||
210 | |||
211 | } //RelationAnnotationImpl | ||