aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl
diff options
context:
space:
mode:
authorLibravatar OszkarSemerath <oszka@152.66.252.189>2017-06-10 19:05:05 +0200
committerLibravatar OszkarSemerath <oszka@152.66.252.189>2017-06-10 19:05:05 +0200
commit60f01f46ba232ed6416054f0a6115cb2a9b70b4e (patch)
tree5edf8aeb07abc51f3fec63bbd15c926e1de09552 /Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl
parentInitial commit, migrating from SVN (diff)
downloadVIATRA-Generator-60f01f46ba232ed6416054f0a6115cb2a9b70b4e.tar.gz
VIATRA-Generator-60f01f46ba232ed6416054f0a6115cb2a9b70b4e.tar.zst
VIATRA-Generator-60f01f46ba232ed6416054f0a6115cb2a9b70b4e.zip
Migrating Additional projects
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl')
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/AnnotationImpl.java39
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/AssertionAnnotationImpl.java211
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/ConstantAnnotationImpl.java211
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/ContainmentHierarchyImpl.java270
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/FunctionAnnotationImpl.java211
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/LogicProblemImpl.java411
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/LogicproblemFactoryImpl.java161
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/LogicproblemPackageImpl.java490
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/RelationAnnotationImpl.java211
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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation;
6import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage;
7
8import org.eclipse.emf.ecore.EClass;
9
10import 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 */
19public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion;
6
7import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage;
8import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation;
9import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage;
10
11import org.eclipse.emf.common.notify.Notification;
12
13import org.eclipse.emf.common.notify.NotificationChain;
14import org.eclipse.emf.ecore.EClass;
15import org.eclipse.emf.ecore.InternalEObject;
16
17import 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 */
32public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant;
6
7import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage;
8import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ConstantAnnotation;
9import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage;
10
11import org.eclipse.emf.common.notify.Notification;
12
13import org.eclipse.emf.common.notify.NotificationChain;
14import org.eclipse.emf.ecore.EClass;
15import org.eclipse.emf.ecore.InternalEObject;
16
17import 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 */
32public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant;
6import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function;
7import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation;
8import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type;
9
10import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy;
11import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage;
12
13import java.util.Collection;
14
15import org.eclipse.emf.common.notify.Notification;
16
17import org.eclipse.emf.common.util.EList;
18
19import org.eclipse.emf.ecore.EClass;
20import org.eclipse.emf.ecore.InternalEObject;
21
22import org.eclipse.emf.ecore.impl.ENotificationImpl;
23import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
24
25import 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 */
43public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function;
6
7import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage;
8import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.FunctionAnnotation;
9import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage;
10
11import org.eclipse.emf.common.notify.Notification;
12
13import org.eclipse.emf.common.notify.NotificationChain;
14import org.eclipse.emf.ecore.EClass;
15import org.eclipse.emf.ecore.InternalEObject;
16
17import 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 */
32public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion;
6import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant;
7import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement;
8import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function;
9import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation;
10import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type;
11import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation;
12import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy;
13import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem;
14import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage;
15
16import java.util.Collection;
17
18import org.eclipse.emf.common.notify.NotificationChain;
19
20import org.eclipse.emf.common.util.EList;
21
22import org.eclipse.emf.ecore.EClass;
23import org.eclipse.emf.ecore.InternalEObject;
24
25import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
26
27import org.eclipse.emf.ecore.util.EObjectContainmentEList;
28import 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 */
50public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.*;
6
7import org.eclipse.emf.ecore.EClass;
8import org.eclipse.emf.ecore.EObject;
9import org.eclipse.emf.ecore.EPackage;
10
11import org.eclipse.emf.ecore.impl.EFactoryImpl;
12
13import 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 */
21public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage;
6
7import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl;
8import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation;
9import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation;
10import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ConstantAnnotation;
11import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy;
12import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.FunctionAnnotation;
13import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem;
14import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemFactory;
15import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage;
16
17import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation;
18import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage;
19
20import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl;
21
22import org.eclipse.emf.ecore.EClass;
23import org.eclipse.emf.ecore.EPackage;
24import org.eclipse.emf.ecore.EReference;
25
26import 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 */
34public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage;
6import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation;
7
8import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage;
9import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation;
10
11import org.eclipse.emf.common.notify.Notification;
12
13import org.eclipse.emf.common.notify.NotificationChain;
14import org.eclipse.emf.ecore.EClass;
15import org.eclipse.emf.ecore.InternalEObject;
16
17import 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 */
32public 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
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-30 20:26:44 +0000