diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl')
12 files changed, 1081 insertions, 735 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/NaryRelationLinkElementImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/NaryRelationLinkElementImpl.java index 40e6549d..749a03c5 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/NaryRelationLinkElementImpl.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/NaryRelationLinkElementImpl.java | |||
@@ -2,6 +2,7 @@ | |||
2 | */ | 2 | */ |
3 | package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl; | 3 | package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl; |
4 | 4 | ||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement; | ||
5 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLinkElement; | 6 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLinkElement; |
6 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; | 7 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; |
7 | 8 | ||
@@ -9,6 +10,7 @@ import org.eclipse.emf.common.notify.Notification; | |||
9 | 10 | ||
10 | import org.eclipse.emf.ecore.EClass; | 11 | import org.eclipse.emf.ecore.EClass; |
11 | 12 | ||
13 | import org.eclipse.emf.ecore.InternalEObject; | ||
12 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | 14 | import org.eclipse.emf.ecore.impl.ENotificationImpl; |
13 | import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; | 15 | import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; |
14 | 16 | ||
@@ -21,6 +23,7 @@ import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; | |||
21 | * </p> | 23 | * </p> |
22 | * <ul> | 24 | * <ul> |
23 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.NaryRelationLinkElementImpl#getIndex <em>Index</em>}</li> | 25 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.NaryRelationLinkElementImpl#getIndex <em>Index</em>}</li> |
26 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.NaryRelationLinkElementImpl#getParam <em>Param</em>}</li> | ||
24 | * </ul> | 27 | * </ul> |
25 | * | 28 | * |
26 | * @generated | 29 | * @generated |
@@ -47,6 +50,16 @@ public class NaryRelationLinkElementImpl extends MinimalEObjectImpl.Container im | |||
47 | protected int index = INDEX_EDEFAULT; | 50 | protected int index = INDEX_EDEFAULT; |
48 | 51 | ||
49 | /** | 52 | /** |
53 | * The cached value of the '{@link #getParam() <em>Param</em>}' reference. | ||
54 | * <!-- begin-user-doc --> | ||
55 | * <!-- end-user-doc --> | ||
56 | * @see #getParam() | ||
57 | * @generated | ||
58 | * @ordered | ||
59 | */ | ||
60 | protected DefinedElement param; | ||
61 | |||
62 | /** | ||
50 | * <!-- begin-user-doc --> | 63 | * <!-- begin-user-doc --> |
51 | * <!-- end-user-doc --> | 64 | * <!-- end-user-doc --> |
52 | * @generated | 65 | * @generated |
@@ -91,11 +104,52 @@ public class NaryRelationLinkElementImpl extends MinimalEObjectImpl.Container im | |||
91 | * <!-- end-user-doc --> | 104 | * <!-- end-user-doc --> |
92 | * @generated | 105 | * @generated |
93 | */ | 106 | */ |
107 | public DefinedElement getParam() { | ||
108 | if (param != null && param.eIsProxy()) { | ||
109 | InternalEObject oldParam = (InternalEObject)param; | ||
110 | param = (DefinedElement)eResolveProxy(oldParam); | ||
111 | if (param != oldParam) { | ||
112 | if (eNotificationRequired()) | ||
113 | eNotify(new ENotificationImpl(this, Notification.RESOLVE, PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__PARAM, oldParam, param)); | ||
114 | } | ||
115 | } | ||
116 | return param; | ||
117 | } | ||
118 | |||
119 | /** | ||
120 | * <!-- begin-user-doc --> | ||
121 | * <!-- end-user-doc --> | ||
122 | * @generated | ||
123 | */ | ||
124 | public DefinedElement basicGetParam() { | ||
125 | return param; | ||
126 | } | ||
127 | |||
128 | /** | ||
129 | * <!-- begin-user-doc --> | ||
130 | * <!-- end-user-doc --> | ||
131 | * @generated | ||
132 | */ | ||
133 | public void setParam(DefinedElement newParam) { | ||
134 | DefinedElement oldParam = param; | ||
135 | param = newParam; | ||
136 | if (eNotificationRequired()) | ||
137 | eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__PARAM, oldParam, param)); | ||
138 | } | ||
139 | |||
140 | /** | ||
141 | * <!-- begin-user-doc --> | ||
142 | * <!-- end-user-doc --> | ||
143 | * @generated | ||
144 | */ | ||
94 | @Override | 145 | @Override |
95 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | 146 | public Object eGet(int featureID, boolean resolve, boolean coreType) { |
96 | switch (featureID) { | 147 | switch (featureID) { |
97 | case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__INDEX: | 148 | case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__INDEX: |
98 | return getIndex(); | 149 | return getIndex(); |
150 | case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__PARAM: | ||
151 | if (resolve) return getParam(); | ||
152 | return basicGetParam(); | ||
99 | } | 153 | } |
100 | return super.eGet(featureID, resolve, coreType); | 154 | return super.eGet(featureID, resolve, coreType); |
101 | } | 155 | } |
@@ -111,6 +165,9 @@ public class NaryRelationLinkElementImpl extends MinimalEObjectImpl.Container im | |||
111 | case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__INDEX: | 165 | case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__INDEX: |
112 | setIndex((Integer)newValue); | 166 | setIndex((Integer)newValue); |
113 | return; | 167 | return; |
168 | case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__PARAM: | ||
169 | setParam((DefinedElement)newValue); | ||
170 | return; | ||
114 | } | 171 | } |
115 | super.eSet(featureID, newValue); | 172 | super.eSet(featureID, newValue); |
116 | } | 173 | } |
@@ -126,6 +183,9 @@ public class NaryRelationLinkElementImpl extends MinimalEObjectImpl.Container im | |||
126 | case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__INDEX: | 183 | case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__INDEX: |
127 | setIndex(INDEX_EDEFAULT); | 184 | setIndex(INDEX_EDEFAULT); |
128 | return; | 185 | return; |
186 | case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__PARAM: | ||
187 | setParam((DefinedElement)null); | ||
188 | return; | ||
129 | } | 189 | } |
130 | super.eUnset(featureID); | 190 | super.eUnset(featureID); |
131 | } | 191 | } |
@@ -140,6 +200,8 @@ public class NaryRelationLinkElementImpl extends MinimalEObjectImpl.Container im | |||
140 | switch (featureID) { | 200 | switch (featureID) { |
141 | case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__INDEX: | 201 | case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__INDEX: |
142 | return index != INDEX_EDEFAULT; | 202 | return index != INDEX_EDEFAULT; |
203 | case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__PARAM: | ||
204 | return param != null; | ||
143 | } | 205 | } |
144 | return super.eIsSet(featureID); | 206 | return super.eIsSet(featureID); |
145 | } | 207 | } |
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialBooleanInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialBooleanInterpretationImpl.java new file mode 100644 index 00000000..6c549300 --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialBooleanInterpretationImpl.java | |||
@@ -0,0 +1,37 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialBooleanInterpretation; | ||
6 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; | ||
7 | |||
8 | import org.eclipse.emf.ecore.EClass; | ||
9 | |||
10 | /** | ||
11 | * <!-- begin-user-doc --> | ||
12 | * An implementation of the model object '<em><b>Partial Boolean Interpretation</b></em>'. | ||
13 | * <!-- end-user-doc --> | ||
14 | * | ||
15 | * @generated | ||
16 | */ | ||
17 | public class PartialBooleanInterpretationImpl extends PartialPrimitiveInterpretationImpl implements PartialBooleanInterpretation { | ||
18 | /** | ||
19 | * <!-- begin-user-doc --> | ||
20 | * <!-- end-user-doc --> | ||
21 | * @generated | ||
22 | */ | ||
23 | protected PartialBooleanInterpretationImpl() { | ||
24 | super(); | ||
25 | } | ||
26 | |||
27 | /** | ||
28 | * <!-- begin-user-doc --> | ||
29 | * <!-- end-user-doc --> | ||
30 | * @generated | ||
31 | */ | ||
32 | @Override | ||
33 | protected EClass eStaticClass() { | ||
34 | return PartialinterpretationPackage.Literals.PARTIAL_BOOLEAN_INTERPRETATION; | ||
35 | } | ||
36 | |||
37 | } //PartialBooleanInterpretationImpl | ||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialComplexTypeInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialComplexTypeInterpretationImpl.java new file mode 100644 index 00000000..07ee282d --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialComplexTypeInterpretationImpl.java | |||
@@ -0,0 +1,198 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration; | ||
6 | |||
7 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation; | ||
8 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; | ||
9 | |||
10 | import java.util.Collection; | ||
11 | |||
12 | import org.eclipse.emf.common.notify.Notification; | ||
13 | |||
14 | import org.eclipse.emf.common.util.EList; | ||
15 | |||
16 | import org.eclipse.emf.ecore.EClass; | ||
17 | import org.eclipse.emf.ecore.InternalEObject; | ||
18 | |||
19 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
20 | |||
21 | import org.eclipse.emf.ecore.util.EObjectResolvingEList; | ||
22 | |||
23 | /** | ||
24 | * <!-- begin-user-doc --> | ||
25 | * An implementation of the model object '<em><b>Partial Complex Type Interpretation</b></em>'. | ||
26 | * <!-- end-user-doc --> | ||
27 | * <p> | ||
28 | * The following features are implemented: | ||
29 | * </p> | ||
30 | * <ul> | ||
31 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialComplexTypeInterpretationImpl#getSupertypeInterpretation <em>Supertype Interpretation</em>}</li> | ||
32 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialComplexTypeInterpretationImpl#getInterpretationOf <em>Interpretation Of</em>}</li> | ||
33 | * </ul> | ||
34 | * | ||
35 | * @generated | ||
36 | */ | ||
37 | public class PartialComplexTypeInterpretationImpl extends PartialTypeInterpratationImpl implements PartialComplexTypeInterpretation { | ||
38 | /** | ||
39 | * The cached value of the '{@link #getSupertypeInterpretation() <em>Supertype Interpretation</em>}' reference list. | ||
40 | * <!-- begin-user-doc --> | ||
41 | * <!-- end-user-doc --> | ||
42 | * @see #getSupertypeInterpretation() | ||
43 | * @generated | ||
44 | * @ordered | ||
45 | */ | ||
46 | protected EList<PartialComplexTypeInterpretation> supertypeInterpretation; | ||
47 | |||
48 | /** | ||
49 | * The cached value of the '{@link #getInterpretationOf() <em>Interpretation Of</em>}' reference. | ||
50 | * <!-- begin-user-doc --> | ||
51 | * <!-- end-user-doc --> | ||
52 | * @see #getInterpretationOf() | ||
53 | * @generated | ||
54 | * @ordered | ||
55 | */ | ||
56 | protected TypeDeclaration interpretationOf; | ||
57 | |||
58 | /** | ||
59 | * <!-- begin-user-doc --> | ||
60 | * <!-- end-user-doc --> | ||
61 | * @generated | ||
62 | */ | ||
63 | protected PartialComplexTypeInterpretationImpl() { | ||
64 | super(); | ||
65 | } | ||
66 | |||
67 | /** | ||
68 | * <!-- begin-user-doc --> | ||
69 | * <!-- end-user-doc --> | ||
70 | * @generated | ||
71 | */ | ||
72 | @Override | ||
73 | protected EClass eStaticClass() { | ||
74 | return PartialinterpretationPackage.Literals.PARTIAL_COMPLEX_TYPE_INTERPRETATION; | ||
75 | } | ||
76 | |||
77 | /** | ||
78 | * <!-- begin-user-doc --> | ||
79 | * <!-- end-user-doc --> | ||
80 | * @generated | ||
81 | */ | ||
82 | public EList<PartialComplexTypeInterpretation> getSupertypeInterpretation() { | ||
83 | if (supertypeInterpretation == null) { | ||
84 | supertypeInterpretation = new EObjectResolvingEList<PartialComplexTypeInterpretation>(PartialComplexTypeInterpretation.class, this, PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__SUPERTYPE_INTERPRETATION); | ||
85 | } | ||
86 | return supertypeInterpretation; | ||
87 | } | ||
88 | |||
89 | /** | ||
90 | * <!-- begin-user-doc --> | ||
91 | * <!-- end-user-doc --> | ||
92 | * @generated | ||
93 | */ | ||
94 | public TypeDeclaration getInterpretationOf() { | ||
95 | if (interpretationOf != null && interpretationOf.eIsProxy()) { | ||
96 | InternalEObject oldInterpretationOf = (InternalEObject)interpretationOf; | ||
97 | interpretationOf = (TypeDeclaration)eResolveProxy(oldInterpretationOf); | ||
98 | if (interpretationOf != oldInterpretationOf) { | ||
99 | if (eNotificationRequired()) | ||
100 | eNotify(new ENotificationImpl(this, Notification.RESOLVE, PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF, oldInterpretationOf, interpretationOf)); | ||
101 | } | ||
102 | } | ||
103 | return interpretationOf; | ||
104 | } | ||
105 | |||
106 | /** | ||
107 | * <!-- begin-user-doc --> | ||
108 | * <!-- end-user-doc --> | ||
109 | * @generated | ||
110 | */ | ||
111 | public TypeDeclaration basicGetInterpretationOf() { | ||
112 | return interpretationOf; | ||
113 | } | ||
114 | |||
115 | /** | ||
116 | * <!-- begin-user-doc --> | ||
117 | * <!-- end-user-doc --> | ||
118 | * @generated | ||
119 | */ | ||
120 | public void setInterpretationOf(TypeDeclaration newInterpretationOf) { | ||
121 | TypeDeclaration oldInterpretationOf = interpretationOf; | ||
122 | interpretationOf = newInterpretationOf; | ||
123 | if (eNotificationRequired()) | ||
124 | eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF, oldInterpretationOf, interpretationOf)); | ||
125 | } | ||
126 | |||
127 | /** | ||
128 | * <!-- begin-user-doc --> | ||
129 | * <!-- end-user-doc --> | ||
130 | * @generated | ||
131 | */ | ||
132 | @Override | ||
133 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | ||
134 | switch (featureID) { | ||
135 | case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__SUPERTYPE_INTERPRETATION: | ||
136 | return getSupertypeInterpretation(); | ||
137 | case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF: | ||
138 | if (resolve) return getInterpretationOf(); | ||
139 | return basicGetInterpretationOf(); | ||
140 | } | ||
141 | return super.eGet(featureID, resolve, coreType); | ||
142 | } | ||
143 | |||
144 | /** | ||
145 | * <!-- begin-user-doc --> | ||
146 | * <!-- end-user-doc --> | ||
147 | * @generated | ||
148 | */ | ||
149 | @SuppressWarnings("unchecked") | ||
150 | @Override | ||
151 | public void eSet(int featureID, Object newValue) { | ||
152 | switch (featureID) { | ||
153 | case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__SUPERTYPE_INTERPRETATION: | ||
154 | getSupertypeInterpretation().clear(); | ||
155 | getSupertypeInterpretation().addAll((Collection<? extends PartialComplexTypeInterpretation>)newValue); | ||
156 | return; | ||
157 | case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF: | ||
158 | setInterpretationOf((TypeDeclaration)newValue); | ||
159 | return; | ||
160 | } | ||
161 | super.eSet(featureID, newValue); | ||
162 | } | ||
163 | |||
164 | /** | ||
165 | * <!-- begin-user-doc --> | ||
166 | * <!-- end-user-doc --> | ||
167 | * @generated | ||
168 | */ | ||
169 | @Override | ||
170 | public void eUnset(int featureID) { | ||
171 | switch (featureID) { | ||
172 | case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__SUPERTYPE_INTERPRETATION: | ||
173 | getSupertypeInterpretation().clear(); | ||
174 | return; | ||
175 | case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF: | ||
176 | setInterpretationOf((TypeDeclaration)null); | ||
177 | return; | ||
178 | } | ||
179 | super.eUnset(featureID); | ||
180 | } | ||
181 | |||
182 | /** | ||
183 | * <!-- begin-user-doc --> | ||
184 | * <!-- end-user-doc --> | ||
185 | * @generated | ||
186 | */ | ||
187 | @Override | ||
188 | public boolean eIsSet(int featureID) { | ||
189 | switch (featureID) { | ||
190 | case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__SUPERTYPE_INTERPRETATION: | ||
191 | return supertypeInterpretation != null && !supertypeInterpretation.isEmpty(); | ||
192 | case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF: | ||
193 | return interpretationOf != null; | ||
194 | } | ||
195 | return super.eIsSet(featureID); | ||
196 | } | ||
197 | |||
198 | } //PartialComplexTypeInterpretationImpl | ||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialIntegerInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialIntegerInterpretationImpl.java new file mode 100644 index 00000000..d3e034c3 --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialIntegerInterpretationImpl.java | |||
@@ -0,0 +1,37 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialIntegerInterpretation; | ||
6 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; | ||
7 | |||
8 | import org.eclipse.emf.ecore.EClass; | ||
9 | |||
10 | /** | ||
11 | * <!-- begin-user-doc --> | ||
12 | * An implementation of the model object '<em><b>Partial Integer Interpretation</b></em>'. | ||
13 | * <!-- end-user-doc --> | ||
14 | * | ||
15 | * @generated | ||
16 | */ | ||
17 | public class PartialIntegerInterpretationImpl extends PartialPrimitiveInterpretationImpl implements PartialIntegerInterpretation { | ||
18 | /** | ||
19 | * <!-- begin-user-doc --> | ||
20 | * <!-- end-user-doc --> | ||
21 | * @generated | ||
22 | */ | ||
23 | protected PartialIntegerInterpretationImpl() { | ||
24 | super(); | ||
25 | } | ||
26 | |||
27 | /** | ||
28 | * <!-- begin-user-doc --> | ||
29 | * <!-- end-user-doc --> | ||
30 | * @generated | ||
31 | */ | ||
32 | @Override | ||
33 | protected EClass eStaticClass() { | ||
34 | return PartialinterpretationPackage.Literals.PARTIAL_INTEGER_INTERPRETATION; | ||
35 | } | ||
36 | |||
37 | } //PartialIntegerInterpretationImpl | ||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java index dd744606..bce3e2e0 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java | |||
@@ -5,18 +5,13 @@ package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.pa | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement; | 5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement; |
6 | 6 | ||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem; | 7 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem; |
8 | |||
9 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement; | ||
10 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement; | ||
11 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation; | 8 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation; |
12 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation; | 9 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation; |
13 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation; | 10 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation; |
14 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation; | 11 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation; |
15 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation; | 12 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation; |
16 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; | 13 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; |
17 | 14 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope; | |
18 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement; | ||
19 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement; | ||
20 | import java.util.Collection; | 15 | import java.util.Collection; |
21 | 16 | ||
22 | import org.eclipse.emf.common.notify.Notification; | 17 | import org.eclipse.emf.common.notify.Notification; |
@@ -47,21 +42,11 @@ import org.eclipse.emf.ecore.util.InternalEList; | |||
47 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getPartialfunctioninterpretation <em>Partialfunctioninterpretation</em>}</li> | 42 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getPartialfunctioninterpretation <em>Partialfunctioninterpretation</em>}</li> |
48 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getNewElements <em>New Elements</em>}</li> | 43 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getNewElements <em>New Elements</em>}</li> |
49 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getPartialtypeinterpratation <em>Partialtypeinterpratation</em>}</li> | 44 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getPartialtypeinterpratation <em>Partialtypeinterpratation</em>}</li> |
45 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getOpenWorldElements <em>Open World Elements</em>}</li> | ||
46 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getProblemConainer <em>Problem Conainer</em>}</li> | ||
47 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getScopes <em>Scopes</em>}</li> | ||
50 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMinNewElements <em>Min New Elements</em>}</li> | 48 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMinNewElements <em>Min New Elements</em>}</li> |
51 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewElements <em>Max New Elements</em>}</li> | 49 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewElements <em>Max New Elements</em>}</li> |
52 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getOpenWorldElementPrototypes <em>Open World Element Prototypes</em>}</li> | ||
53 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getProblemConainer <em>Problem Conainer</em>}</li> | ||
54 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getStringelement <em>Stringelement</em>}</li> | ||
55 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getStringelements <em>Stringelements</em>}</li> | ||
56 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getRealelements <em>Realelements</em>}</li> | ||
57 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getIntegerelements <em>Integerelements</em>}</li> | ||
58 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getBooleanelements <em>Booleanelements</em>}</li> | ||
59 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewIntegers <em>Max New Integers</em>}</li> | ||
60 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewReals <em>Max New Reals</em>}</li> | ||
61 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewStrings <em>Max New Strings</em>}</li> | ||
62 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getNewStrings <em>New Strings</em>}</li> | ||
63 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getNewReals <em>New Reals</em>}</li> | ||
64 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getNewIntegers <em>New Integers</em>}</li> | ||
65 | * </ul> | 50 | * </ul> |
66 | * | 51 | * |
67 | * @generated | 52 | * @generated |
@@ -128,54 +113,14 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
128 | protected EList<PartialTypeInterpratation> partialtypeinterpratation; | 113 | protected EList<PartialTypeInterpratation> partialtypeinterpratation; |
129 | 114 | ||
130 | /** | 115 | /** |
131 | * The default value of the '{@link #getMinNewElements() <em>Min New Elements</em>}' attribute. | 116 | * The cached value of the '{@link #getOpenWorldElements() <em>Open World Elements</em>}' containment reference list. |
132 | * <!-- begin-user-doc --> | ||
133 | * <!-- end-user-doc --> | ||
134 | * @see #getMinNewElements() | ||
135 | * @generated | ||
136 | * @ordered | ||
137 | */ | ||
138 | protected static final int MIN_NEW_ELEMENTS_EDEFAULT = 0; | ||
139 | |||
140 | /** | ||
141 | * The cached value of the '{@link #getMinNewElements() <em>Min New Elements</em>}' attribute. | ||
142 | * <!-- begin-user-doc --> | ||
143 | * <!-- end-user-doc --> | ||
144 | * @see #getMinNewElements() | ||
145 | * @generated | ||
146 | * @ordered | ||
147 | */ | ||
148 | protected int minNewElements = MIN_NEW_ELEMENTS_EDEFAULT; | ||
149 | |||
150 | /** | ||
151 | * The default value of the '{@link #getMaxNewElements() <em>Max New Elements</em>}' attribute. | ||
152 | * <!-- begin-user-doc --> | ||
153 | * <!-- end-user-doc --> | ||
154 | * @see #getMaxNewElements() | ||
155 | * @generated | ||
156 | * @ordered | ||
157 | */ | ||
158 | protected static final int MAX_NEW_ELEMENTS_EDEFAULT = 0; | ||
159 | |||
160 | /** | ||
161 | * The cached value of the '{@link #getMaxNewElements() <em>Max New Elements</em>}' attribute. | ||
162 | * <!-- begin-user-doc --> | ||
163 | * <!-- end-user-doc --> | ||
164 | * @see #getMaxNewElements() | ||
165 | * @generated | ||
166 | * @ordered | ||
167 | */ | ||
168 | protected int maxNewElements = MAX_NEW_ELEMENTS_EDEFAULT; | ||
169 | |||
170 | /** | ||
171 | * The cached value of the '{@link #getOpenWorldElementPrototypes() <em>Open World Element Prototypes</em>}' containment reference list. | ||
172 | * <!-- begin-user-doc --> | 117 | * <!-- begin-user-doc --> |
173 | * <!-- end-user-doc --> | 118 | * <!-- end-user-doc --> |
174 | * @see #getOpenWorldElementPrototypes() | 119 | * @see #getOpenWorldElements() |
175 | * @generated | 120 | * @generated |
176 | * @ordered | 121 | * @ordered |
177 | */ | 122 | */ |
178 | protected EList<DefinedElement> openWorldElementPrototypes; | 123 | protected EList<DefinedElement> openWorldElements; |
179 | 124 | ||
180 | /** | 125 | /** |
181 | * The cached value of the '{@link #getProblemConainer() <em>Problem Conainer</em>}' containment reference. | 126 | * The cached value of the '{@link #getProblemConainer() <em>Problem Conainer</em>}' containment reference. |
@@ -188,144 +133,54 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
188 | protected LogicProblem problemConainer; | 133 | protected LogicProblem problemConainer; |
189 | 134 | ||
190 | /** | 135 | /** |
191 | * The cached value of the '{@link #getStringelement() <em>Stringelement</em>}' containment reference list. | 136 | * The cached value of the '{@link #getScopes() <em>Scopes</em>}' containment reference list. |
192 | * <!-- begin-user-doc --> | ||
193 | * <!-- end-user-doc --> | ||
194 | * @see #getStringelement() | ||
195 | * @generated | ||
196 | * @ordered | ||
197 | */ | ||
198 | protected EList<StringElement> stringelement; | ||
199 | |||
200 | /** | ||
201 | * The cached value of the '{@link #getStringelements() <em>Stringelements</em>}' containment reference list. | ||
202 | * <!-- begin-user-doc --> | ||
203 | * <!-- end-user-doc --> | ||
204 | * @see #getStringelements() | ||
205 | * @generated | ||
206 | * @ordered | ||
207 | */ | ||
208 | protected EList<StringElement> stringelements; | ||
209 | |||
210 | /** | ||
211 | * The cached value of the '{@link #getRealelements() <em>Realelements</em>}' containment reference list. | ||
212 | * <!-- begin-user-doc --> | ||
213 | * <!-- end-user-doc --> | ||
214 | * @see #getRealelements() | ||
215 | * @generated | ||
216 | * @ordered | ||
217 | */ | ||
218 | protected EList<RealElement> realelements; | ||
219 | |||
220 | /** | ||
221 | * The cached value of the '{@link #getIntegerelements() <em>Integerelements</em>}' containment reference list. | ||
222 | * <!-- begin-user-doc --> | 137 | * <!-- begin-user-doc --> |
223 | * <!-- end-user-doc --> | 138 | * <!-- end-user-doc --> |
224 | * @see #getIntegerelements() | 139 | * @see #getScopes() |
225 | * @generated | 140 | * @generated |
226 | * @ordered | 141 | * @ordered |
227 | */ | 142 | */ |
228 | protected EList<IntegerElement> integerelements; | 143 | protected EList<Scope> scopes; |
229 | 144 | ||
230 | /** | 145 | /** |
231 | * The cached value of the '{@link #getBooleanelements() <em>Booleanelements</em>}' containment reference list. | 146 | * The default value of the '{@link #getMinNewElements() <em>Min New Elements</em>}' attribute. |
232 | * <!-- begin-user-doc --> | ||
233 | * <!-- end-user-doc --> | ||
234 | * @see #getBooleanelements() | ||
235 | * @generated | ||
236 | * @ordered | ||
237 | */ | ||
238 | protected EList<BooleanElement> booleanelements; | ||
239 | |||
240 | /** | ||
241 | * The default value of the '{@link #getMaxNewIntegers() <em>Max New Integers</em>}' attribute. | ||
242 | * <!-- begin-user-doc --> | ||
243 | * <!-- end-user-doc --> | ||
244 | * @see #getMaxNewIntegers() | ||
245 | * @generated | ||
246 | * @ordered | ||
247 | */ | ||
248 | protected static final int MAX_NEW_INTEGERS_EDEFAULT = 0; | ||
249 | |||
250 | /** | ||
251 | * The cached value of the '{@link #getMaxNewIntegers() <em>Max New Integers</em>}' attribute. | ||
252 | * <!-- begin-user-doc --> | ||
253 | * <!-- end-user-doc --> | ||
254 | * @see #getMaxNewIntegers() | ||
255 | * @generated | ||
256 | * @ordered | ||
257 | */ | ||
258 | protected int maxNewIntegers = MAX_NEW_INTEGERS_EDEFAULT; | ||
259 | |||
260 | /** | ||
261 | * The default value of the '{@link #getMaxNewReals() <em>Max New Reals</em>}' attribute. | ||
262 | * <!-- begin-user-doc --> | ||
263 | * <!-- end-user-doc --> | ||
264 | * @see #getMaxNewReals() | ||
265 | * @generated | ||
266 | * @ordered | ||
267 | */ | ||
268 | protected static final int MAX_NEW_REALS_EDEFAULT = 0; | ||
269 | |||
270 | /** | ||
271 | * The cached value of the '{@link #getMaxNewReals() <em>Max New Reals</em>}' attribute. | ||
272 | * <!-- begin-user-doc --> | ||
273 | * <!-- end-user-doc --> | ||
274 | * @see #getMaxNewReals() | ||
275 | * @generated | ||
276 | * @ordered | ||
277 | */ | ||
278 | protected int maxNewReals = MAX_NEW_REALS_EDEFAULT; | ||
279 | |||
280 | /** | ||
281 | * The default value of the '{@link #getMaxNewStrings() <em>Max New Strings</em>}' attribute. | ||
282 | * <!-- begin-user-doc --> | ||
283 | * <!-- end-user-doc --> | ||
284 | * @see #getMaxNewStrings() | ||
285 | * @generated | ||
286 | * @ordered | ||
287 | */ | ||
288 | protected static final int MAX_NEW_STRINGS_EDEFAULT = 0; | ||
289 | |||
290 | /** | ||
291 | * The cached value of the '{@link #getMaxNewStrings() <em>Max New Strings</em>}' attribute. | ||
292 | * <!-- begin-user-doc --> | 147 | * <!-- begin-user-doc --> |
293 | * <!-- end-user-doc --> | 148 | * <!-- end-user-doc --> |
294 | * @see #getMaxNewStrings() | 149 | * @see #getMinNewElements() |
295 | * @generated | 150 | * @generated |
296 | * @ordered | 151 | * @ordered |
297 | */ | 152 | */ |
298 | protected int maxNewStrings = MAX_NEW_STRINGS_EDEFAULT; | 153 | protected static final int MIN_NEW_ELEMENTS_EDEFAULT = 0; |
299 | 154 | ||
300 | /** | 155 | /** |
301 | * The cached value of the '{@link #getNewStrings() <em>New Strings</em>}' containment reference list. | 156 | * The cached value of the '{@link #getMinNewElements() <em>Min New Elements</em>}' attribute. |
302 | * <!-- begin-user-doc --> | 157 | * <!-- begin-user-doc --> |
303 | * <!-- end-user-doc --> | 158 | * <!-- end-user-doc --> |
304 | * @see #getNewStrings() | 159 | * @see #getMinNewElements() |
305 | * @generated | 160 | * @generated |
306 | * @ordered | 161 | * @ordered |
307 | */ | 162 | */ |
308 | protected EList<StringElement> newStrings; | 163 | protected int minNewElements = MIN_NEW_ELEMENTS_EDEFAULT; |
309 | 164 | ||
310 | /** | 165 | /** |
311 | * The cached value of the '{@link #getNewReals() <em>New Reals</em>}' containment reference list. | 166 | * The default value of the '{@link #getMaxNewElements() <em>Max New Elements</em>}' attribute. |
312 | * <!-- begin-user-doc --> | 167 | * <!-- begin-user-doc --> |
313 | * <!-- end-user-doc --> | 168 | * <!-- end-user-doc --> |
314 | * @see #getNewReals() | 169 | * @see #getMaxNewElements() |
315 | * @generated | 170 | * @generated |
316 | * @ordered | 171 | * @ordered |
317 | */ | 172 | */ |
318 | protected EList<RealElement> newReals; | 173 | protected static final int MAX_NEW_ELEMENTS_EDEFAULT = -1; |
319 | 174 | ||
320 | /** | 175 | /** |
321 | * The cached value of the '{@link #getNewIntegers() <em>New Integers</em>}' containment reference list. | 176 | * The cached value of the '{@link #getMaxNewElements() <em>Max New Elements</em>}' attribute. |
322 | * <!-- begin-user-doc --> | 177 | * <!-- begin-user-doc --> |
323 | * <!-- end-user-doc --> | 178 | * <!-- end-user-doc --> |
324 | * @see #getNewIntegers() | 179 | * @see #getMaxNewElements() |
325 | * @generated | 180 | * @generated |
326 | * @ordered | 181 | * @ordered |
327 | */ | 182 | */ |
328 | protected EList<IntegerElement> newIntegers; | 183 | protected int maxNewElements = MAX_NEW_ELEMENTS_EDEFAULT; |
329 | 184 | ||
330 | /** | 185 | /** |
331 | * <!-- begin-user-doc --> | 186 | * <!-- begin-user-doc --> |
@@ -449,53 +304,11 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
449 | * <!-- end-user-doc --> | 304 | * <!-- end-user-doc --> |
450 | * @generated | 305 | * @generated |
451 | */ | 306 | */ |
452 | public int getMinNewElements() { | 307 | public EList<DefinedElement> getOpenWorldElements() { |
453 | return minNewElements; | 308 | if (openWorldElements == null) { |
454 | } | 309 | openWorldElements = new EObjectContainmentEList<DefinedElement>(DefinedElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS); |
455 | |||
456 | /** | ||
457 | * <!-- begin-user-doc --> | ||
458 | * <!-- end-user-doc --> | ||
459 | * @generated | ||
460 | */ | ||
461 | public void setMinNewElements(int newMinNewElements) { | ||
462 | int oldMinNewElements = minNewElements; | ||
463 | minNewElements = newMinNewElements; | ||
464 | if (eNotificationRequired()) | ||
465 | eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS, oldMinNewElements, minNewElements)); | ||
466 | } | ||
467 | |||
468 | /** | ||
469 | * <!-- begin-user-doc --> | ||
470 | * <!-- end-user-doc --> | ||
471 | * @generated | ||
472 | */ | ||
473 | public int getMaxNewElements() { | ||
474 | return maxNewElements; | ||
475 | } | ||
476 | |||
477 | /** | ||
478 | * <!-- begin-user-doc --> | ||
479 | * <!-- end-user-doc --> | ||
480 | * @generated | ||
481 | */ | ||
482 | public void setMaxNewElements(int newMaxNewElements) { | ||
483 | int oldMaxNewElements = maxNewElements; | ||
484 | maxNewElements = newMaxNewElements; | ||
485 | if (eNotificationRequired()) | ||
486 | eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS, oldMaxNewElements, maxNewElements)); | ||
487 | } | ||
488 | |||
489 | /** | ||
490 | * <!-- begin-user-doc --> | ||
491 | * <!-- end-user-doc --> | ||
492 | * @generated | ||
493 | */ | ||
494 | public EList<DefinedElement> getOpenWorldElementPrototypes() { | ||
495 | if (openWorldElementPrototypes == null) { | ||
496 | openWorldElementPrototypes = new EObjectContainmentEList<DefinedElement>(DefinedElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES); | ||
497 | } | 310 | } |
498 | return openWorldElementPrototypes; | 311 | return openWorldElements; |
499 | } | 312 | } |
500 | 313 | ||
501 | /** | 314 | /** |
@@ -546,80 +359,11 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
546 | * <!-- end-user-doc --> | 359 | * <!-- end-user-doc --> |
547 | * @generated | 360 | * @generated |
548 | */ | 361 | */ |
549 | public EList<StringElement> getStringelement() { | 362 | public EList<Scope> getScopes() { |
550 | if (stringelement == null) { | 363 | if (scopes == null) { |
551 | stringelement = new EObjectContainmentEList<StringElement>(StringElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT); | 364 | scopes = new EObjectContainmentEList<Scope>(Scope.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__SCOPES); |
552 | } | ||
553 | return stringelement; | ||
554 | } | ||
555 | |||
556 | /** | ||
557 | * <!-- begin-user-doc --> | ||
558 | * <!-- end-user-doc --> | ||
559 | * @generated | ||
560 | */ | ||
561 | public EList<StringElement> getStringelements() { | ||
562 | if (stringelements == null) { | ||
563 | stringelements = new EObjectContainmentEList<StringElement>(StringElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS); | ||
564 | } | ||
565 | return stringelements; | ||
566 | } | ||
567 | |||
568 | /** | ||
569 | * <!-- begin-user-doc --> | ||
570 | * <!-- end-user-doc --> | ||
571 | * @generated | ||
572 | */ | ||
573 | public EList<RealElement> getRealelements() { | ||
574 | if (realelements == null) { | ||
575 | realelements = new EObjectContainmentEList<RealElement>(RealElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS); | ||
576 | } | ||
577 | return realelements; | ||
578 | } | ||
579 | |||
580 | /** | ||
581 | * <!-- begin-user-doc --> | ||
582 | * <!-- end-user-doc --> | ||
583 | * @generated | ||
584 | */ | ||
585 | public EList<IntegerElement> getIntegerelements() { | ||
586 | if (integerelements == null) { | ||
587 | integerelements = new EObjectContainmentEList<IntegerElement>(IntegerElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS); | ||
588 | } | ||
589 | return integerelements; | ||
590 | } | ||
591 | |||
592 | /** | ||
593 | * <!-- begin-user-doc --> | ||
594 | * <!-- end-user-doc --> | ||
595 | * @generated | ||
596 | */ | ||
597 | public EList<BooleanElement> getBooleanelements() { | ||
598 | if (booleanelements == null) { | ||
599 | booleanelements = new EObjectContainmentEList<BooleanElement>(BooleanElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS); | ||
600 | } | 365 | } |
601 | return booleanelements; | 366 | return scopes; |
602 | } | ||
603 | |||
604 | /** | ||
605 | * <!-- begin-user-doc --> | ||
606 | * <!-- end-user-doc --> | ||
607 | * @generated | ||
608 | */ | ||
609 | public int getMaxNewIntegers() { | ||
610 | return maxNewIntegers; | ||
611 | } | ||
612 | |||
613 | /** | ||
614 | * <!-- begin-user-doc --> | ||
615 | * <!-- end-user-doc --> | ||
616 | * @generated | ||
617 | */ | ||
618 | public void setMaxNewIntegers(int newMaxNewIntegers) { | ||
619 | int oldMaxNewIntegers = maxNewIntegers; | ||
620 | maxNewIntegers = newMaxNewIntegers; | ||
621 | if (eNotificationRequired()) | ||
622 | eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS, oldMaxNewIntegers, maxNewIntegers)); | ||
623 | } | 367 | } |
624 | 368 | ||
625 | /** | 369 | /** |
@@ -627,8 +371,8 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
627 | * <!-- end-user-doc --> | 371 | * <!-- end-user-doc --> |
628 | * @generated | 372 | * @generated |
629 | */ | 373 | */ |
630 | public int getMaxNewReals() { | 374 | public int getMinNewElements() { |
631 | return maxNewReals; | 375 | return minNewElements; |
632 | } | 376 | } |
633 | 377 | ||
634 | /** | 378 | /** |
@@ -636,11 +380,11 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
636 | * <!-- end-user-doc --> | 380 | * <!-- end-user-doc --> |
637 | * @generated | 381 | * @generated |
638 | */ | 382 | */ |
639 | public void setMaxNewReals(int newMaxNewReals) { | 383 | public void setMinNewElements(int newMinNewElements) { |
640 | int oldMaxNewReals = maxNewReals; | 384 | int oldMinNewElements = minNewElements; |
641 | maxNewReals = newMaxNewReals; | 385 | minNewElements = newMinNewElements; |
642 | if (eNotificationRequired()) | 386 | if (eNotificationRequired()) |
643 | eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS, oldMaxNewReals, maxNewReals)); | 387 | eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS, oldMinNewElements, minNewElements)); |
644 | } | 388 | } |
645 | 389 | ||
646 | /** | 390 | /** |
@@ -648,8 +392,8 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
648 | * <!-- end-user-doc --> | 392 | * <!-- end-user-doc --> |
649 | * @generated | 393 | * @generated |
650 | */ | 394 | */ |
651 | public int getMaxNewStrings() { | 395 | public int getMaxNewElements() { |
652 | return maxNewStrings; | 396 | return maxNewElements; |
653 | } | 397 | } |
654 | 398 | ||
655 | /** | 399 | /** |
@@ -657,47 +401,11 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
657 | * <!-- end-user-doc --> | 401 | * <!-- end-user-doc --> |
658 | * @generated | 402 | * @generated |
659 | */ | 403 | */ |
660 | public void setMaxNewStrings(int newMaxNewStrings) { | 404 | public void setMaxNewElements(int newMaxNewElements) { |
661 | int oldMaxNewStrings = maxNewStrings; | 405 | int oldMaxNewElements = maxNewElements; |
662 | maxNewStrings = newMaxNewStrings; | 406 | maxNewElements = newMaxNewElements; |
663 | if (eNotificationRequired()) | 407 | if (eNotificationRequired()) |
664 | eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS, oldMaxNewStrings, maxNewStrings)); | 408 | eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS, oldMaxNewElements, maxNewElements)); |
665 | } | ||
666 | |||
667 | /** | ||
668 | * <!-- begin-user-doc --> | ||
669 | * <!-- end-user-doc --> | ||
670 | * @generated | ||
671 | */ | ||
672 | public EList<StringElement> getNewStrings() { | ||
673 | if (newStrings == null) { | ||
674 | newStrings = new EObjectContainmentEList<StringElement>(StringElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS); | ||
675 | } | ||
676 | return newStrings; | ||
677 | } | ||
678 | |||
679 | /** | ||
680 | * <!-- begin-user-doc --> | ||
681 | * <!-- end-user-doc --> | ||
682 | * @generated | ||
683 | */ | ||
684 | public EList<RealElement> getNewReals() { | ||
685 | if (newReals == null) { | ||
686 | newReals = new EObjectContainmentEList<RealElement>(RealElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS); | ||
687 | } | ||
688 | return newReals; | ||
689 | } | ||
690 | |||
691 | /** | ||
692 | * <!-- begin-user-doc --> | ||
693 | * <!-- end-user-doc --> | ||
694 | * @generated | ||
695 | */ | ||
696 | public EList<IntegerElement> getNewIntegers() { | ||
697 | if (newIntegers == null) { | ||
698 | newIntegers = new EObjectContainmentEList<IntegerElement>(IntegerElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS); | ||
699 | } | ||
700 | return newIntegers; | ||
701 | } | 409 | } |
702 | 410 | ||
703 | /** | 411 | /** |
@@ -718,26 +426,12 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
718 | return ((InternalEList<?>)getNewElements()).basicRemove(otherEnd, msgs); | 426 | return ((InternalEList<?>)getNewElements()).basicRemove(otherEnd, msgs); |
719 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION: | 427 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION: |
720 | return ((InternalEList<?>)getPartialtypeinterpratation()).basicRemove(otherEnd, msgs); | 428 | return ((InternalEList<?>)getPartialtypeinterpratation()).basicRemove(otherEnd, msgs); |
721 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES: | 429 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS: |
722 | return ((InternalEList<?>)getOpenWorldElementPrototypes()).basicRemove(otherEnd, msgs); | 430 | return ((InternalEList<?>)getOpenWorldElements()).basicRemove(otherEnd, msgs); |
723 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: | 431 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: |
724 | return basicSetProblemConainer(null, msgs); | 432 | return basicSetProblemConainer(null, msgs); |
725 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT: | 433 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__SCOPES: |
726 | return ((InternalEList<?>)getStringelement()).basicRemove(otherEnd, msgs); | 434 | return ((InternalEList<?>)getScopes()).basicRemove(otherEnd, msgs); |
727 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS: | ||
728 | return ((InternalEList<?>)getStringelements()).basicRemove(otherEnd, msgs); | ||
729 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS: | ||
730 | return ((InternalEList<?>)getRealelements()).basicRemove(otherEnd, msgs); | ||
731 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS: | ||
732 | return ((InternalEList<?>)getIntegerelements()).basicRemove(otherEnd, msgs); | ||
733 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS: | ||
734 | return ((InternalEList<?>)getBooleanelements()).basicRemove(otherEnd, msgs); | ||
735 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS: | ||
736 | return ((InternalEList<?>)getNewStrings()).basicRemove(otherEnd, msgs); | ||
737 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS: | ||
738 | return ((InternalEList<?>)getNewReals()).basicRemove(otherEnd, msgs); | ||
739 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS: | ||
740 | return ((InternalEList<?>)getNewIntegers()).basicRemove(otherEnd, msgs); | ||
741 | } | 435 | } |
742 | return super.eInverseRemove(otherEnd, featureID, msgs); | 436 | return super.eInverseRemove(otherEnd, featureID, msgs); |
743 | } | 437 | } |
@@ -763,36 +457,16 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
763 | return getNewElements(); | 457 | return getNewElements(); |
764 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION: | 458 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION: |
765 | return getPartialtypeinterpratation(); | 459 | return getPartialtypeinterpratation(); |
460 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS: | ||
461 | return getOpenWorldElements(); | ||
462 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: | ||
463 | return getProblemConainer(); | ||
464 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__SCOPES: | ||
465 | return getScopes(); | ||
766 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS: | 466 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS: |
767 | return getMinNewElements(); | 467 | return getMinNewElements(); |
768 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: | 468 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: |
769 | return getMaxNewElements(); | 469 | return getMaxNewElements(); |
770 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES: | ||
771 | return getOpenWorldElementPrototypes(); | ||
772 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: | ||
773 | return getProblemConainer(); | ||
774 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT: | ||
775 | return getStringelement(); | ||
776 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS: | ||
777 | return getStringelements(); | ||
778 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS: | ||
779 | return getRealelements(); | ||
780 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS: | ||
781 | return getIntegerelements(); | ||
782 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS: | ||
783 | return getBooleanelements(); | ||
784 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS: | ||
785 | return getMaxNewIntegers(); | ||
786 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS: | ||
787 | return getMaxNewReals(); | ||
788 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS: | ||
789 | return getMaxNewStrings(); | ||
790 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS: | ||
791 | return getNewStrings(); | ||
792 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS: | ||
793 | return getNewReals(); | ||
794 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS: | ||
795 | return getNewIntegers(); | ||
796 | } | 470 | } |
797 | return super.eGet(featureID, resolve, coreType); | 471 | return super.eGet(featureID, resolve, coreType); |
798 | } | 472 | } |
@@ -829,59 +503,22 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
829 | getPartialtypeinterpratation().clear(); | 503 | getPartialtypeinterpratation().clear(); |
830 | getPartialtypeinterpratation().addAll((Collection<? extends PartialTypeInterpratation>)newValue); | 504 | getPartialtypeinterpratation().addAll((Collection<? extends PartialTypeInterpratation>)newValue); |
831 | return; | 505 | return; |
832 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS: | 506 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS: |
833 | setMinNewElements((Integer)newValue); | 507 | getOpenWorldElements().clear(); |
834 | return; | 508 | getOpenWorldElements().addAll((Collection<? extends DefinedElement>)newValue); |
835 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: | ||
836 | setMaxNewElements((Integer)newValue); | ||
837 | return; | ||
838 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES: | ||
839 | getOpenWorldElementPrototypes().clear(); | ||
840 | getOpenWorldElementPrototypes().addAll((Collection<? extends DefinedElement>)newValue); | ||
841 | return; | 509 | return; |
842 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: | 510 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: |
843 | setProblemConainer((LogicProblem)newValue); | 511 | setProblemConainer((LogicProblem)newValue); |
844 | return; | 512 | return; |
845 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT: | 513 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__SCOPES: |
846 | getStringelement().clear(); | 514 | getScopes().clear(); |
847 | getStringelement().addAll((Collection<? extends StringElement>)newValue); | 515 | getScopes().addAll((Collection<? extends Scope>)newValue); |
848 | return; | ||
849 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS: | ||
850 | getStringelements().clear(); | ||
851 | getStringelements().addAll((Collection<? extends StringElement>)newValue); | ||
852 | return; | ||
853 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS: | ||
854 | getRealelements().clear(); | ||
855 | getRealelements().addAll((Collection<? extends RealElement>)newValue); | ||
856 | return; | ||
857 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS: | ||
858 | getIntegerelements().clear(); | ||
859 | getIntegerelements().addAll((Collection<? extends IntegerElement>)newValue); | ||
860 | return; | ||
861 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS: | ||
862 | getBooleanelements().clear(); | ||
863 | getBooleanelements().addAll((Collection<? extends BooleanElement>)newValue); | ||
864 | return; | ||
865 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS: | ||
866 | setMaxNewIntegers((Integer)newValue); | ||
867 | return; | ||
868 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS: | ||
869 | setMaxNewReals((Integer)newValue); | ||
870 | return; | ||
871 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS: | ||
872 | setMaxNewStrings((Integer)newValue); | ||
873 | return; | ||
874 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS: | ||
875 | getNewStrings().clear(); | ||
876 | getNewStrings().addAll((Collection<? extends StringElement>)newValue); | ||
877 | return; | 516 | return; |
878 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS: | 517 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS: |
879 | getNewReals().clear(); | 518 | setMinNewElements((Integer)newValue); |
880 | getNewReals().addAll((Collection<? extends RealElement>)newValue); | ||
881 | return; | 519 | return; |
882 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS: | 520 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: |
883 | getNewIntegers().clear(); | 521 | setMaxNewElements((Integer)newValue); |
884 | getNewIntegers().addAll((Collection<? extends IntegerElement>)newValue); | ||
885 | return; | 522 | return; |
886 | } | 523 | } |
887 | super.eSet(featureID, newValue); | 524 | super.eSet(featureID, newValue); |
@@ -913,50 +550,20 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
913 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION: | 550 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION: |
914 | getPartialtypeinterpratation().clear(); | 551 | getPartialtypeinterpratation().clear(); |
915 | return; | 552 | return; |
916 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS: | 553 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS: |
917 | setMinNewElements(MIN_NEW_ELEMENTS_EDEFAULT); | 554 | getOpenWorldElements().clear(); |
918 | return; | ||
919 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: | ||
920 | setMaxNewElements(MAX_NEW_ELEMENTS_EDEFAULT); | ||
921 | return; | ||
922 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES: | ||
923 | getOpenWorldElementPrototypes().clear(); | ||
924 | return; | 555 | return; |
925 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: | 556 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: |
926 | setProblemConainer((LogicProblem)null); | 557 | setProblemConainer((LogicProblem)null); |
927 | return; | 558 | return; |
928 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT: | 559 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__SCOPES: |
929 | getStringelement().clear(); | 560 | getScopes().clear(); |
930 | return; | ||
931 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS: | ||
932 | getStringelements().clear(); | ||
933 | return; | ||
934 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS: | ||
935 | getRealelements().clear(); | ||
936 | return; | ||
937 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS: | ||
938 | getIntegerelements().clear(); | ||
939 | return; | ||
940 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS: | ||
941 | getBooleanelements().clear(); | ||
942 | return; | ||
943 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS: | ||
944 | setMaxNewIntegers(MAX_NEW_INTEGERS_EDEFAULT); | ||
945 | return; | ||
946 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS: | ||
947 | setMaxNewReals(MAX_NEW_REALS_EDEFAULT); | ||
948 | return; | ||
949 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS: | ||
950 | setMaxNewStrings(MAX_NEW_STRINGS_EDEFAULT); | ||
951 | return; | ||
952 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS: | ||
953 | getNewStrings().clear(); | ||
954 | return; | 561 | return; |
955 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS: | 562 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS: |
956 | getNewReals().clear(); | 563 | setMinNewElements(MIN_NEW_ELEMENTS_EDEFAULT); |
957 | return; | 564 | return; |
958 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS: | 565 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: |
959 | getNewIntegers().clear(); | 566 | setMaxNewElements(MAX_NEW_ELEMENTS_EDEFAULT); |
960 | return; | 567 | return; |
961 | } | 568 | } |
962 | super.eUnset(featureID); | 569 | super.eUnset(featureID); |
@@ -982,36 +589,16 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
982 | return newElements != null && !newElements.isEmpty(); | 589 | return newElements != null && !newElements.isEmpty(); |
983 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION: | 590 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION: |
984 | return partialtypeinterpratation != null && !partialtypeinterpratation.isEmpty(); | 591 | return partialtypeinterpratation != null && !partialtypeinterpratation.isEmpty(); |
592 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS: | ||
593 | return openWorldElements != null && !openWorldElements.isEmpty(); | ||
594 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: | ||
595 | return problemConainer != null; | ||
596 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__SCOPES: | ||
597 | return scopes != null && !scopes.isEmpty(); | ||
985 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS: | 598 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS: |
986 | return minNewElements != MIN_NEW_ELEMENTS_EDEFAULT; | 599 | return minNewElements != MIN_NEW_ELEMENTS_EDEFAULT; |
987 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: | 600 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: |
988 | return maxNewElements != MAX_NEW_ELEMENTS_EDEFAULT; | 601 | return maxNewElements != MAX_NEW_ELEMENTS_EDEFAULT; |
989 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES: | ||
990 | return openWorldElementPrototypes != null && !openWorldElementPrototypes.isEmpty(); | ||
991 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: | ||
992 | return problemConainer != null; | ||
993 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT: | ||
994 | return stringelement != null && !stringelement.isEmpty(); | ||
995 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS: | ||
996 | return stringelements != null && !stringelements.isEmpty(); | ||
997 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS: | ||
998 | return realelements != null && !realelements.isEmpty(); | ||
999 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS: | ||
1000 | return integerelements != null && !integerelements.isEmpty(); | ||
1001 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS: | ||
1002 | return booleanelements != null && !booleanelements.isEmpty(); | ||
1003 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS: | ||
1004 | return maxNewIntegers != MAX_NEW_INTEGERS_EDEFAULT; | ||
1005 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS: | ||
1006 | return maxNewReals != MAX_NEW_REALS_EDEFAULT; | ||
1007 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS: | ||
1008 | return maxNewStrings != MAX_NEW_STRINGS_EDEFAULT; | ||
1009 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS: | ||
1010 | return newStrings != null && !newStrings.isEmpty(); | ||
1011 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS: | ||
1012 | return newReals != null && !newReals.isEmpty(); | ||
1013 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS: | ||
1014 | return newIntegers != null && !newIntegers.isEmpty(); | ||
1015 | } | 602 | } |
1016 | return super.eIsSet(featureID); | 603 | return super.eIsSet(featureID); |
1017 | } | 604 | } |
@@ -1030,12 +617,6 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
1030 | result.append(minNewElements); | 617 | result.append(minNewElements); |
1031 | result.append(", maxNewElements: "); | 618 | result.append(", maxNewElements: "); |
1032 | result.append(maxNewElements); | 619 | result.append(maxNewElements); |
1033 | result.append(", maxNewIntegers: "); | ||
1034 | result.append(maxNewIntegers); | ||
1035 | result.append(", maxNewReals: "); | ||
1036 | result.append(maxNewReals); | ||
1037 | result.append(", maxNewStrings: "); | ||
1038 | result.append(maxNewStrings); | ||
1039 | result.append(')'); | 620 | result.append(')'); |
1040 | return result.toString(); | 621 | return result.toString(); |
1041 | } | 622 | } |
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialPrimitiveInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialPrimitiveInterpretationImpl.java new file mode 100644 index 00000000..cc426031 --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialPrimitiveInterpretationImpl.java | |||
@@ -0,0 +1,37 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialPrimitiveInterpretation; | ||
6 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; | ||
7 | |||
8 | import org.eclipse.emf.ecore.EClass; | ||
9 | |||
10 | /** | ||
11 | * <!-- begin-user-doc --> | ||
12 | * An implementation of the model object '<em><b>Partial Primitive Interpretation</b></em>'. | ||
13 | * <!-- end-user-doc --> | ||
14 | * | ||
15 | * @generated | ||
16 | */ | ||
17 | public abstract class PartialPrimitiveInterpretationImpl extends PartialTypeInterpratationImpl implements PartialPrimitiveInterpretation { | ||
18 | /** | ||
19 | * <!-- begin-user-doc --> | ||
20 | * <!-- end-user-doc --> | ||
21 | * @generated | ||
22 | */ | ||
23 | protected PartialPrimitiveInterpretationImpl() { | ||
24 | super(); | ||
25 | } | ||
26 | |||
27 | /** | ||
28 | * <!-- begin-user-doc --> | ||
29 | * <!-- end-user-doc --> | ||
30 | * @generated | ||
31 | */ | ||
32 | @Override | ||
33 | protected EClass eStaticClass() { | ||
34 | return PartialinterpretationPackage.Literals.PARTIAL_PRIMITIVE_INTERPRETATION; | ||
35 | } | ||
36 | |||
37 | } //PartialPrimitiveInterpretationImpl | ||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialRealInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialRealInterpretationImpl.java new file mode 100644 index 00000000..d14bdaa2 --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialRealInterpretationImpl.java | |||
@@ -0,0 +1,37 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRealInterpretation; | ||
6 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; | ||
7 | |||
8 | import org.eclipse.emf.ecore.EClass; | ||
9 | |||
10 | /** | ||
11 | * <!-- begin-user-doc --> | ||
12 | * An implementation of the model object '<em><b>Partial Real Interpretation</b></em>'. | ||
13 | * <!-- end-user-doc --> | ||
14 | * | ||
15 | * @generated | ||
16 | */ | ||
17 | public class PartialRealInterpretationImpl extends PartialPrimitiveInterpretationImpl implements PartialRealInterpretation { | ||
18 | /** | ||
19 | * <!-- begin-user-doc --> | ||
20 | * <!-- end-user-doc --> | ||
21 | * @generated | ||
22 | */ | ||
23 | protected PartialRealInterpretationImpl() { | ||
24 | super(); | ||
25 | } | ||
26 | |||
27 | /** | ||
28 | * <!-- begin-user-doc --> | ||
29 | * <!-- end-user-doc --> | ||
30 | * @generated | ||
31 | */ | ||
32 | @Override | ||
33 | protected EClass eStaticClass() { | ||
34 | return PartialinterpretationPackage.Literals.PARTIAL_REAL_INTERPRETATION; | ||
35 | } | ||
36 | |||
37 | } //PartialRealInterpretationImpl | ||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialStringInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialStringInterpretationImpl.java new file mode 100644 index 00000000..2a887d43 --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialStringInterpretationImpl.java | |||
@@ -0,0 +1,37 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialStringInterpretation; | ||
6 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; | ||
7 | |||
8 | import org.eclipse.emf.ecore.EClass; | ||
9 | |||
10 | /** | ||
11 | * <!-- begin-user-doc --> | ||
12 | * An implementation of the model object '<em><b>Partial String Interpretation</b></em>'. | ||
13 | * <!-- end-user-doc --> | ||
14 | * | ||
15 | * @generated | ||
16 | */ | ||
17 | public class PartialStringInterpretationImpl extends PartialPrimitiveInterpretationImpl implements PartialStringInterpretation { | ||
18 | /** | ||
19 | * <!-- begin-user-doc --> | ||
20 | * <!-- end-user-doc --> | ||
21 | * @generated | ||
22 | */ | ||
23 | protected PartialStringInterpretationImpl() { | ||
24 | super(); | ||
25 | } | ||
26 | |||
27 | /** | ||
28 | * <!-- begin-user-doc --> | ||
29 | * <!-- end-user-doc --> | ||
30 | * @generated | ||
31 | */ | ||
32 | @Override | ||
33 | protected EClass eStaticClass() { | ||
34 | return PartialinterpretationPackage.Literals.PARTIAL_STRING_INTERPRETATION; | ||
35 | } | ||
36 | |||
37 | } //PartialStringInterpretationImpl | ||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialTypeInterpratationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialTypeInterpratationImpl.java index 1090aaf7..beb45529 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialTypeInterpratationImpl.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialTypeInterpratationImpl.java | |||
@@ -3,19 +3,12 @@ | |||
3 | package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl; | 3 | package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl; |
4 | 4 | ||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement; | 5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement; |
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration; | ||
7 | |||
8 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation; | 6 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation; |
9 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; | 7 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; |
10 | 8 | ||
11 | import java.util.Collection; | 9 | import java.util.Collection; |
12 | import org.eclipse.emf.common.notify.Notification; | ||
13 | |||
14 | import org.eclipse.emf.common.util.EList; | 10 | import org.eclipse.emf.common.util.EList; |
15 | import org.eclipse.emf.ecore.EClass; | 11 | import org.eclipse.emf.ecore.EClass; |
16 | import org.eclipse.emf.ecore.InternalEObject; | ||
17 | |||
18 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
19 | import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; | 12 | import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; |
20 | import org.eclipse.emf.ecore.util.EObjectResolvingEList; | 13 | import org.eclipse.emf.ecore.util.EObjectResolvingEList; |
21 | 14 | ||
@@ -27,24 +20,12 @@ import org.eclipse.emf.ecore.util.EObjectResolvingEList; | |||
27 | * The following features are implemented: | 20 | * The following features are implemented: |
28 | * </p> | 21 | * </p> |
29 | * <ul> | 22 | * <ul> |
30 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialTypeInterpratationImpl#getInterpretationOf <em>Interpretation Of</em>}</li> | ||
31 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialTypeInterpratationImpl#getElements <em>Elements</em>}</li> | 23 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialTypeInterpratationImpl#getElements <em>Elements</em>}</li> |
32 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialTypeInterpratationImpl#getSupertypeInterpretation <em>Supertype Interpretation</em>}</li> | ||
33 | * </ul> | 24 | * </ul> |
34 | * | 25 | * |
35 | * @generated | 26 | * @generated |
36 | */ | 27 | */ |
37 | public class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container implements PartialTypeInterpratation { | 28 | public abstract class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container implements PartialTypeInterpratation { |
38 | /** | ||
39 | * The cached value of the '{@link #getInterpretationOf() <em>Interpretation Of</em>}' reference. | ||
40 | * <!-- begin-user-doc --> | ||
41 | * <!-- end-user-doc --> | ||
42 | * @see #getInterpretationOf() | ||
43 | * @generated | ||
44 | * @ordered | ||
45 | */ | ||
46 | protected TypeDeclaration interpretationOf; | ||
47 | |||
48 | /** | 29 | /** |
49 | * The cached value of the '{@link #getElements() <em>Elements</em>}' reference list. | 30 | * The cached value of the '{@link #getElements() <em>Elements</em>}' reference list. |
50 | * <!-- begin-user-doc --> | 31 | * <!-- begin-user-doc --> |
@@ -56,16 +37,6 @@ public class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container | |||
56 | protected EList<DefinedElement> elements; | 37 | protected EList<DefinedElement> elements; |
57 | 38 | ||
58 | /** | 39 | /** |
59 | * The cached value of the '{@link #getSupertypeInterpretation() <em>Supertype Interpretation</em>}' reference list. | ||
60 | * <!-- begin-user-doc --> | ||
61 | * <!-- end-user-doc --> | ||
62 | * @see #getSupertypeInterpretation() | ||
63 | * @generated | ||
64 | * @ordered | ||
65 | */ | ||
66 | protected EList<PartialTypeInterpratation> supertypeInterpretation; | ||
67 | |||
68 | /** | ||
69 | * <!-- begin-user-doc --> | 40 | * <!-- begin-user-doc --> |
70 | * <!-- end-user-doc --> | 41 | * <!-- end-user-doc --> |
71 | * @generated | 42 | * @generated |
@@ -89,44 +60,6 @@ public class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container | |||
89 | * <!-- end-user-doc --> | 60 | * <!-- end-user-doc --> |
90 | * @generated | 61 | * @generated |
91 | */ | 62 | */ |
92 | public TypeDeclaration getInterpretationOf() { | ||
93 | if (interpretationOf != null && interpretationOf.eIsProxy()) { | ||
94 | InternalEObject oldInterpretationOf = (InternalEObject)interpretationOf; | ||
95 | interpretationOf = (TypeDeclaration)eResolveProxy(oldInterpretationOf); | ||
96 | if (interpretationOf != oldInterpretationOf) { | ||
97 | if (eNotificationRequired()) | ||
98 | eNotify(new ENotificationImpl(this, Notification.RESOLVE, PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF, oldInterpretationOf, interpretationOf)); | ||
99 | } | ||
100 | } | ||
101 | return interpretationOf; | ||
102 | } | ||
103 | |||
104 | /** | ||
105 | * <!-- begin-user-doc --> | ||
106 | * <!-- end-user-doc --> | ||
107 | * @generated | ||
108 | */ | ||
109 | public TypeDeclaration basicGetInterpretationOf() { | ||
110 | return interpretationOf; | ||
111 | } | ||
112 | |||
113 | /** | ||
114 | * <!-- begin-user-doc --> | ||
115 | * <!-- end-user-doc --> | ||
116 | * @generated | ||
117 | */ | ||
118 | public void setInterpretationOf(TypeDeclaration newInterpretationOf) { | ||
119 | TypeDeclaration oldInterpretationOf = interpretationOf; | ||
120 | interpretationOf = newInterpretationOf; | ||
121 | if (eNotificationRequired()) | ||
122 | eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF, oldInterpretationOf, interpretationOf)); | ||
123 | } | ||
124 | |||
125 | /** | ||
126 | * <!-- begin-user-doc --> | ||
127 | * <!-- end-user-doc --> | ||
128 | * @generated | ||
129 | */ | ||
130 | public EList<DefinedElement> getElements() { | 63 | public EList<DefinedElement> getElements() { |
131 | if (elements == null) { | 64 | if (elements == null) { |
132 | elements = new EObjectResolvingEList<DefinedElement>(DefinedElement.class, this, PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__ELEMENTS); | 65 | elements = new EObjectResolvingEList<DefinedElement>(DefinedElement.class, this, PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__ELEMENTS); |
@@ -139,28 +72,11 @@ public class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container | |||
139 | * <!-- end-user-doc --> | 72 | * <!-- end-user-doc --> |
140 | * @generated | 73 | * @generated |
141 | */ | 74 | */ |
142 | public EList<PartialTypeInterpratation> getSupertypeInterpretation() { | ||
143 | if (supertypeInterpretation == null) { | ||
144 | supertypeInterpretation = new EObjectResolvingEList<PartialTypeInterpratation>(PartialTypeInterpratation.class, this, PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__SUPERTYPE_INTERPRETATION); | ||
145 | } | ||
146 | return supertypeInterpretation; | ||
147 | } | ||
148 | |||
149 | /** | ||
150 | * <!-- begin-user-doc --> | ||
151 | * <!-- end-user-doc --> | ||
152 | * @generated | ||
153 | */ | ||
154 | @Override | 75 | @Override |
155 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | 76 | public Object eGet(int featureID, boolean resolve, boolean coreType) { |
156 | switch (featureID) { | 77 | switch (featureID) { |
157 | case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF: | ||
158 | if (resolve) return getInterpretationOf(); | ||
159 | return basicGetInterpretationOf(); | ||
160 | case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__ELEMENTS: | 78 | case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__ELEMENTS: |
161 | return getElements(); | 79 | return getElements(); |
162 | case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__SUPERTYPE_INTERPRETATION: | ||
163 | return getSupertypeInterpretation(); | ||
164 | } | 80 | } |
165 | return super.eGet(featureID, resolve, coreType); | 81 | return super.eGet(featureID, resolve, coreType); |
166 | } | 82 | } |
@@ -174,17 +90,10 @@ public class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container | |||
174 | @Override | 90 | @Override |
175 | public void eSet(int featureID, Object newValue) { | 91 | public void eSet(int featureID, Object newValue) { |
176 | switch (featureID) { | 92 | switch (featureID) { |
177 | case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF: | ||
178 | setInterpretationOf((TypeDeclaration)newValue); | ||
179 | return; | ||
180 | case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__ELEMENTS: | 93 | case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__ELEMENTS: |
181 | getElements().clear(); | 94 | getElements().clear(); |
182 | getElements().addAll((Collection<? extends DefinedElement>)newValue); | 95 | getElements().addAll((Collection<? extends DefinedElement>)newValue); |
183 | return; | 96 | return; |
184 | case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__SUPERTYPE_INTERPRETATION: | ||
185 | getSupertypeInterpretation().clear(); | ||
186 | getSupertypeInterpretation().addAll((Collection<? extends PartialTypeInterpratation>)newValue); | ||
187 | return; | ||
188 | } | 97 | } |
189 | super.eSet(featureID, newValue); | 98 | super.eSet(featureID, newValue); |
190 | } | 99 | } |
@@ -197,15 +106,9 @@ public class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container | |||
197 | @Override | 106 | @Override |
198 | public void eUnset(int featureID) { | 107 | public void eUnset(int featureID) { |
199 | switch (featureID) { | 108 | switch (featureID) { |
200 | case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF: | ||
201 | setInterpretationOf((TypeDeclaration)null); | ||
202 | return; | ||
203 | case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__ELEMENTS: | 109 | case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__ELEMENTS: |
204 | getElements().clear(); | 110 | getElements().clear(); |
205 | return; | 111 | return; |
206 | case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__SUPERTYPE_INTERPRETATION: | ||
207 | getSupertypeInterpretation().clear(); | ||
208 | return; | ||
209 | } | 112 | } |
210 | super.eUnset(featureID); | 113 | super.eUnset(featureID); |
211 | } | 114 | } |
@@ -218,12 +121,8 @@ public class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container | |||
218 | @Override | 121 | @Override |
219 | public boolean eIsSet(int featureID) { | 122 | public boolean eIsSet(int featureID) { |
220 | switch (featureID) { | 123 | switch (featureID) { |
221 | case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF: | ||
222 | return interpretationOf != null; | ||
223 | case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__ELEMENTS: | 124 | case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__ELEMENTS: |
224 | return elements != null && !elements.isEmpty(); | 125 | return elements != null && !elements.isEmpty(); |
225 | case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__SUPERTYPE_INTERPRETATION: | ||
226 | return supertypeInterpretation != null && !supertypeInterpretation.isEmpty(); | ||
227 | } | 126 | } |
228 | return super.eIsSet(featureID); | 127 | return super.eIsSet(featureID); |
229 | } | 128 | } |
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationFactoryImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationFactoryImpl.java index ebd70a97..af1db8a1 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationFactoryImpl.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationFactoryImpl.java | |||
@@ -60,7 +60,6 @@ public class PartialinterpretationFactoryImpl extends EFactoryImpl implements Pa | |||
60 | case PartialinterpretationPackage.PARTIAL_CONSTANT_INTERPRETATION: return createPartialConstantInterpretation(); | 60 | case PartialinterpretationPackage.PARTIAL_CONSTANT_INTERPRETATION: return createPartialConstantInterpretation(); |
61 | case PartialinterpretationPackage.PARTIAL_RELATION_INTERPRETATION: return createPartialRelationInterpretation(); | 61 | case PartialinterpretationPackage.PARTIAL_RELATION_INTERPRETATION: return createPartialRelationInterpretation(); |
62 | case PartialinterpretationPackage.PARTIAL_FUNCTION_INTERPRETATION: return createPartialFunctionInterpretation(); | 62 | case PartialinterpretationPackage.PARTIAL_FUNCTION_INTERPRETATION: return createPartialFunctionInterpretation(); |
63 | case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION: return createPartialTypeInterpratation(); | ||
64 | case PartialinterpretationPackage.UNARY_ELEMENT_RELATION_LINK: return createUnaryElementRelationLink(); | 63 | case PartialinterpretationPackage.UNARY_ELEMENT_RELATION_LINK: return createUnaryElementRelationLink(); |
65 | case PartialinterpretationPackage.BINARY_ELEMENT_RELATION_LINK: return createBinaryElementRelationLink(); | 64 | case PartialinterpretationPackage.BINARY_ELEMENT_RELATION_LINK: return createBinaryElementRelationLink(); |
66 | case PartialinterpretationPackage.NARY_RELATION_LINK: return createNaryRelationLink(); | 65 | case PartialinterpretationPackage.NARY_RELATION_LINK: return createNaryRelationLink(); |
@@ -69,6 +68,12 @@ public class PartialinterpretationFactoryImpl extends EFactoryImpl implements Pa | |||
69 | case PartialinterpretationPackage.INTEGER_ELEMENT: return createIntegerElement(); | 68 | case PartialinterpretationPackage.INTEGER_ELEMENT: return createIntegerElement(); |
70 | case PartialinterpretationPackage.REAL_ELEMENT: return createRealElement(); | 69 | case PartialinterpretationPackage.REAL_ELEMENT: return createRealElement(); |
71 | case PartialinterpretationPackage.STRING_ELEMENT: return createStringElement(); | 70 | case PartialinterpretationPackage.STRING_ELEMENT: return createStringElement(); |
71 | case PartialinterpretationPackage.SCOPE: return createScope(); | ||
72 | case PartialinterpretationPackage.PARTIAL_BOOLEAN_INTERPRETATION: return createPartialBooleanInterpretation(); | ||
73 | case PartialinterpretationPackage.PARTIAL_INTEGER_INTERPRETATION: return createPartialIntegerInterpretation(); | ||
74 | case PartialinterpretationPackage.PARTIAL_REAL_INTERPRETATION: return createPartialRealInterpretation(); | ||
75 | case PartialinterpretationPackage.PARTIAL_STRING_INTERPRETATION: return createPartialStringInterpretation(); | ||
76 | case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION: return createPartialComplexTypeInterpretation(); | ||
72 | default: | 77 | default: |
73 | throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); | 78 | throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); |
74 | } | 79 | } |
@@ -119,16 +124,6 @@ public class PartialinterpretationFactoryImpl extends EFactoryImpl implements Pa | |||
119 | * <!-- end-user-doc --> | 124 | * <!-- end-user-doc --> |
120 | * @generated | 125 | * @generated |
121 | */ | 126 | */ |
122 | public PartialTypeInterpratation createPartialTypeInterpratation() { | ||
123 | PartialTypeInterpratationImpl partialTypeInterpratation = new PartialTypeInterpratationImpl(); | ||
124 | return partialTypeInterpratation; | ||
125 | } | ||
126 | |||
127 | /** | ||
128 | * <!-- begin-user-doc --> | ||
129 | * <!-- end-user-doc --> | ||
130 | * @generated | ||
131 | */ | ||
132 | public UnaryElementRelationLink createUnaryElementRelationLink() { | 127 | public UnaryElementRelationLink createUnaryElementRelationLink() { |
133 | UnaryElementRelationLinkImpl unaryElementRelationLink = new UnaryElementRelationLinkImpl(); | 128 | UnaryElementRelationLinkImpl unaryElementRelationLink = new UnaryElementRelationLinkImpl(); |
134 | return unaryElementRelationLink; | 129 | return unaryElementRelationLink; |
@@ -209,6 +204,66 @@ public class PartialinterpretationFactoryImpl extends EFactoryImpl implements Pa | |||
209 | * <!-- end-user-doc --> | 204 | * <!-- end-user-doc --> |
210 | * @generated | 205 | * @generated |
211 | */ | 206 | */ |
207 | public Scope createScope() { | ||
208 | ScopeImpl scope = new ScopeImpl(); | ||
209 | return scope; | ||
210 | } | ||
211 | |||
212 | /** | ||
213 | * <!-- begin-user-doc --> | ||
214 | * <!-- end-user-doc --> | ||
215 | * @generated | ||
216 | */ | ||
217 | public PartialBooleanInterpretation createPartialBooleanInterpretation() { | ||
218 | PartialBooleanInterpretationImpl partialBooleanInterpretation = new PartialBooleanInterpretationImpl(); | ||
219 | return partialBooleanInterpretation; | ||
220 | } | ||
221 | |||
222 | /** | ||
223 | * <!-- begin-user-doc --> | ||
224 | * <!-- end-user-doc --> | ||
225 | * @generated | ||
226 | */ | ||
227 | public PartialIntegerInterpretation createPartialIntegerInterpretation() { | ||
228 | PartialIntegerInterpretationImpl partialIntegerInterpretation = new PartialIntegerInterpretationImpl(); | ||
229 | return partialIntegerInterpretation; | ||
230 | } | ||
231 | |||
232 | /** | ||
233 | * <!-- begin-user-doc --> | ||
234 | * <!-- end-user-doc --> | ||
235 | * @generated | ||
236 | */ | ||
237 | public PartialRealInterpretation createPartialRealInterpretation() { | ||
238 | PartialRealInterpretationImpl partialRealInterpretation = new PartialRealInterpretationImpl(); | ||
239 | return partialRealInterpretation; | ||
240 | } | ||
241 | |||
242 | /** | ||
243 | * <!-- begin-user-doc --> | ||
244 | * <!-- end-user-doc --> | ||
245 | * @generated | ||
246 | */ | ||
247 | public PartialStringInterpretation createPartialStringInterpretation() { | ||
248 | PartialStringInterpretationImpl partialStringInterpretation = new PartialStringInterpretationImpl(); | ||
249 | return partialStringInterpretation; | ||
250 | } | ||
251 | |||
252 | /** | ||
253 | * <!-- begin-user-doc --> | ||
254 | * <!-- end-user-doc --> | ||
255 | * @generated | ||
256 | */ | ||
257 | public PartialComplexTypeInterpretation createPartialComplexTypeInterpretation() { | ||
258 | PartialComplexTypeInterpretationImpl partialComplexTypeInterpretation = new PartialComplexTypeInterpretationImpl(); | ||
259 | return partialComplexTypeInterpretation; | ||
260 | } | ||
261 | |||
262 | /** | ||
263 | * <!-- begin-user-doc --> | ||
264 | * <!-- end-user-doc --> | ||
265 | * @generated | ||
266 | */ | ||
212 | public PartialinterpretationPackage getPartialinterpretationPackage() { | 267 | public PartialinterpretationPackage getPartialinterpretationPackage() { |
213 | return (PartialinterpretationPackage)getEPackage(); | 268 | return (PartialinterpretationPackage)getEPackage(); |
214 | } | 269 | } |
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationPackageImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationPackageImpl.java index 5fae0d4e..c0515c43 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationPackageImpl.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationPackageImpl.java | |||
@@ -11,16 +11,23 @@ import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.par | |||
11 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement; | 11 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement; |
12 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLink; | 12 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLink; |
13 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLinkElement; | 13 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLinkElement; |
14 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialBooleanInterpretation; | ||
15 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation; | ||
14 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation; | 16 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation; |
15 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation; | 17 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation; |
18 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialIntegerInterpretation; | ||
16 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation; | 19 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation; |
20 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialPrimitiveInterpretation; | ||
21 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRealInterpretation; | ||
17 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation; | 22 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation; |
23 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialStringInterpretation; | ||
18 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation; | 24 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation; |
19 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationFactory; | 25 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationFactory; |
20 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; | 26 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; |
21 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement; | 27 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement; |
22 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement; | 28 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement; |
23 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RelationLink; | 29 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RelationLink; |
30 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope; | ||
24 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement; | 31 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement; |
25 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.UnaryElementRelationLink; | 32 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.UnaryElementRelationLink; |
26 | 33 | ||
@@ -144,6 +151,55 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
144 | private EClass stringElementEClass = null; | 151 | private EClass stringElementEClass = null; |
145 | 152 | ||
146 | /** | 153 | /** |
154 | * <!-- begin-user-doc --> | ||
155 | * <!-- end-user-doc --> | ||
156 | * @generated | ||
157 | */ | ||
158 | private EClass scopeEClass = null; | ||
159 | |||
160 | /** | ||
161 | * <!-- begin-user-doc --> | ||
162 | * <!-- end-user-doc --> | ||
163 | * @generated | ||
164 | */ | ||
165 | private EClass partialPrimitiveInterpretationEClass = null; | ||
166 | |||
167 | /** | ||
168 | * <!-- begin-user-doc --> | ||
169 | * <!-- end-user-doc --> | ||
170 | * @generated | ||
171 | */ | ||
172 | private EClass partialBooleanInterpretationEClass = null; | ||
173 | |||
174 | /** | ||
175 | * <!-- begin-user-doc --> | ||
176 | * <!-- end-user-doc --> | ||
177 | * @generated | ||
178 | */ | ||
179 | private EClass partialIntegerInterpretationEClass = null; | ||
180 | |||
181 | /** | ||
182 | * <!-- begin-user-doc --> | ||
183 | * <!-- end-user-doc --> | ||
184 | * @generated | ||
185 | */ | ||
186 | private EClass partialRealInterpretationEClass = null; | ||
187 | |||
188 | /** | ||
189 | * <!-- begin-user-doc --> | ||
190 | * <!-- end-user-doc --> | ||
191 | * @generated | ||
192 | */ | ||
193 | private EClass partialStringInterpretationEClass = null; | ||
194 | |||
195 | /** | ||
196 | * <!-- begin-user-doc --> | ||
197 | * <!-- end-user-doc --> | ||
198 | * @generated | ||
199 | */ | ||
200 | private EClass partialComplexTypeInterpretationEClass = null; | ||
201 | |||
202 | /** | ||
147 | * Creates an instance of the model <b>Package</b>, registered with | 203 | * Creates an instance of the model <b>Package</b>, registered with |
148 | * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package | 204 | * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package |
149 | * package URI value. | 205 | * package URI value. |
@@ -276,8 +332,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
276 | * <!-- end-user-doc --> | 332 | * <!-- end-user-doc --> |
277 | * @generated | 333 | * @generated |
278 | */ | 334 | */ |
279 | public EAttribute getPartialInterpretation_MinNewElements() { | 335 | public EReference getPartialInterpretation_OpenWorldElements() { |
280 | return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(6); | 336 | return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(6); |
281 | } | 337 | } |
282 | 338 | ||
283 | /** | 339 | /** |
@@ -285,8 +341,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
285 | * <!-- end-user-doc --> | 341 | * <!-- end-user-doc --> |
286 | * @generated | 342 | * @generated |
287 | */ | 343 | */ |
288 | public EAttribute getPartialInterpretation_MaxNewElements() { | 344 | public EReference getPartialInterpretation_ProblemConainer() { |
289 | return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(7); | 345 | return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(7); |
290 | } | 346 | } |
291 | 347 | ||
292 | /** | 348 | /** |
@@ -294,7 +350,7 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
294 | * <!-- end-user-doc --> | 350 | * <!-- end-user-doc --> |
295 | * @generated | 351 | * @generated |
296 | */ | 352 | */ |
297 | public EReference getPartialInterpretation_OpenWorldElementPrototypes() { | 353 | public EReference getPartialInterpretation_Scopes() { |
298 | return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(8); | 354 | return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(8); |
299 | } | 355 | } |
300 | 356 | ||
@@ -303,8 +359,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
303 | * <!-- end-user-doc --> | 359 | * <!-- end-user-doc --> |
304 | * @generated | 360 | * @generated |
305 | */ | 361 | */ |
306 | public EReference getPartialInterpretation_ProblemConainer() { | 362 | public EAttribute getPartialInterpretation_MinNewElements() { |
307 | return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(9); | 363 | return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(9); |
308 | } | 364 | } |
309 | 365 | ||
310 | /** | 366 | /** |
@@ -312,8 +368,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
312 | * <!-- end-user-doc --> | 368 | * <!-- end-user-doc --> |
313 | * @generated | 369 | * @generated |
314 | */ | 370 | */ |
315 | public EReference getPartialInterpretation_Stringelement() { | 371 | public EAttribute getPartialInterpretation_MaxNewElements() { |
316 | return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(10); | 372 | return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(10); |
317 | } | 373 | } |
318 | 374 | ||
319 | /** | 375 | /** |
@@ -321,8 +377,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
321 | * <!-- end-user-doc --> | 377 | * <!-- end-user-doc --> |
322 | * @generated | 378 | * @generated |
323 | */ | 379 | */ |
324 | public EReference getPartialInterpretation_Stringelements() { | 380 | public EClass getPartialConstantInterpretation() { |
325 | return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(11); | 381 | return partialConstantInterpretationEClass; |
326 | } | 382 | } |
327 | 383 | ||
328 | /** | 384 | /** |
@@ -330,8 +386,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
330 | * <!-- end-user-doc --> | 386 | * <!-- end-user-doc --> |
331 | * @generated | 387 | * @generated |
332 | */ | 388 | */ |
333 | public EReference getPartialInterpretation_Realelements() { | 389 | public EReference getPartialConstantInterpretation_InterpretationOf() { |
334 | return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(12); | 390 | return (EReference)partialConstantInterpretationEClass.getEStructuralFeatures().get(0); |
335 | } | 391 | } |
336 | 392 | ||
337 | /** | 393 | /** |
@@ -339,8 +395,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
339 | * <!-- end-user-doc --> | 395 | * <!-- end-user-doc --> |
340 | * @generated | 396 | * @generated |
341 | */ | 397 | */ |
342 | public EReference getPartialInterpretation_Integerelements() { | 398 | public EClass getPartialRelationInterpretation() { |
343 | return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(13); | 399 | return partialRelationInterpretationEClass; |
344 | } | 400 | } |
345 | 401 | ||
346 | /** | 402 | /** |
@@ -348,8 +404,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
348 | * <!-- end-user-doc --> | 404 | * <!-- end-user-doc --> |
349 | * @generated | 405 | * @generated |
350 | */ | 406 | */ |
351 | public EReference getPartialInterpretation_Booleanelements() { | 407 | public EReference getPartialRelationInterpretation_InterpretationOf() { |
352 | return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(14); | 408 | return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(0); |
353 | } | 409 | } |
354 | 410 | ||
355 | /** | 411 | /** |
@@ -357,8 +413,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
357 | * <!-- end-user-doc --> | 413 | * <!-- end-user-doc --> |
358 | * @generated | 414 | * @generated |
359 | */ | 415 | */ |
360 | public EAttribute getPartialInterpretation_MaxNewIntegers() { | 416 | public EReference getPartialRelationInterpretation_Relationlinks() { |
361 | return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(15); | 417 | return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(1); |
362 | } | 418 | } |
363 | 419 | ||
364 | /** | 420 | /** |
@@ -366,8 +422,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
366 | * <!-- end-user-doc --> | 422 | * <!-- end-user-doc --> |
367 | * @generated | 423 | * @generated |
368 | */ | 424 | */ |
369 | public EAttribute getPartialInterpretation_MaxNewReals() { | 425 | public EReference getPartialRelationInterpretation_Param1() { |
370 | return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(16); | 426 | return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(2); |
371 | } | 427 | } |
372 | 428 | ||
373 | /** | 429 | /** |
@@ -375,8 +431,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
375 | * <!-- end-user-doc --> | 431 | * <!-- end-user-doc --> |
376 | * @generated | 432 | * @generated |
377 | */ | 433 | */ |
378 | public EAttribute getPartialInterpretation_MaxNewStrings() { | 434 | public EReference getPartialRelationInterpretation_Param2() { |
379 | return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(17); | 435 | return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(3); |
380 | } | 436 | } |
381 | 437 | ||
382 | /** | 438 | /** |
@@ -384,8 +440,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
384 | * <!-- end-user-doc --> | 440 | * <!-- end-user-doc --> |
385 | * @generated | 441 | * @generated |
386 | */ | 442 | */ |
387 | public EReference getPartialInterpretation_NewStrings() { | 443 | public EClass getPartialFunctionInterpretation() { |
388 | return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(18); | 444 | return partialFunctionInterpretationEClass; |
389 | } | 445 | } |
390 | 446 | ||
391 | /** | 447 | /** |
@@ -393,8 +449,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
393 | * <!-- end-user-doc --> | 449 | * <!-- end-user-doc --> |
394 | * @generated | 450 | * @generated |
395 | */ | 451 | */ |
396 | public EReference getPartialInterpretation_NewReals() { | 452 | public EReference getPartialFunctionInterpretation_InterpretationOf() { |
397 | return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(19); | 453 | return (EReference)partialFunctionInterpretationEClass.getEStructuralFeatures().get(0); |
398 | } | 454 | } |
399 | 455 | ||
400 | /** | 456 | /** |
@@ -402,8 +458,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
402 | * <!-- end-user-doc --> | 458 | * <!-- end-user-doc --> |
403 | * @generated | 459 | * @generated |
404 | */ | 460 | */ |
405 | public EReference getPartialInterpretation_NewIntegers() { | 461 | public EClass getPartialTypeInterpratation() { |
406 | return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(20); | 462 | return partialTypeInterpratationEClass; |
407 | } | 463 | } |
408 | 464 | ||
409 | /** | 465 | /** |
@@ -411,8 +467,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
411 | * <!-- end-user-doc --> | 467 | * <!-- end-user-doc --> |
412 | * @generated | 468 | * @generated |
413 | */ | 469 | */ |
414 | public EClass getPartialConstantInterpretation() { | 470 | public EReference getPartialTypeInterpratation_Elements() { |
415 | return partialConstantInterpretationEClass; | 471 | return (EReference)partialTypeInterpratationEClass.getEStructuralFeatures().get(0); |
416 | } | 472 | } |
417 | 473 | ||
418 | /** | 474 | /** |
@@ -420,8 +476,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
420 | * <!-- end-user-doc --> | 476 | * <!-- end-user-doc --> |
421 | * @generated | 477 | * @generated |
422 | */ | 478 | */ |
423 | public EReference getPartialConstantInterpretation_InterpretationOf() { | 479 | public EClass getRelationLink() { |
424 | return (EReference)partialConstantInterpretationEClass.getEStructuralFeatures().get(0); | 480 | return relationLinkEClass; |
425 | } | 481 | } |
426 | 482 | ||
427 | /** | 483 | /** |
@@ -429,8 +485,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
429 | * <!-- end-user-doc --> | 485 | * <!-- end-user-doc --> |
430 | * @generated | 486 | * @generated |
431 | */ | 487 | */ |
432 | public EClass getPartialRelationInterpretation() { | 488 | public EClass getUnaryElementRelationLink() { |
433 | return partialRelationInterpretationEClass; | 489 | return unaryElementRelationLinkEClass; |
434 | } | 490 | } |
435 | 491 | ||
436 | /** | 492 | /** |
@@ -438,8 +494,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
438 | * <!-- end-user-doc --> | 494 | * <!-- end-user-doc --> |
439 | * @generated | 495 | * @generated |
440 | */ | 496 | */ |
441 | public EReference getPartialRelationInterpretation_InterpretationOf() { | 497 | public EReference getUnaryElementRelationLink_Param1() { |
442 | return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(0); | 498 | return (EReference)unaryElementRelationLinkEClass.getEStructuralFeatures().get(0); |
443 | } | 499 | } |
444 | 500 | ||
445 | /** | 501 | /** |
@@ -447,8 +503,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
447 | * <!-- end-user-doc --> | 503 | * <!-- end-user-doc --> |
448 | * @generated | 504 | * @generated |
449 | */ | 505 | */ |
450 | public EReference getPartialRelationInterpretation_Relationlinks() { | 506 | public EClass getBinaryElementRelationLink() { |
451 | return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(1); | 507 | return binaryElementRelationLinkEClass; |
452 | } | 508 | } |
453 | 509 | ||
454 | /** | 510 | /** |
@@ -456,8 +512,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
456 | * <!-- end-user-doc --> | 512 | * <!-- end-user-doc --> |
457 | * @generated | 513 | * @generated |
458 | */ | 514 | */ |
459 | public EReference getPartialRelationInterpretation_Param1() { | 515 | public EReference getBinaryElementRelationLink_Param1() { |
460 | return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(2); | 516 | return (EReference)binaryElementRelationLinkEClass.getEStructuralFeatures().get(0); |
461 | } | 517 | } |
462 | 518 | ||
463 | /** | 519 | /** |
@@ -465,8 +521,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
465 | * <!-- end-user-doc --> | 521 | * <!-- end-user-doc --> |
466 | * @generated | 522 | * @generated |
467 | */ | 523 | */ |
468 | public EReference getPartialRelationInterpretation_Param2() { | 524 | public EReference getBinaryElementRelationLink_Param2() { |
469 | return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(3); | 525 | return (EReference)binaryElementRelationLinkEClass.getEStructuralFeatures().get(1); |
470 | } | 526 | } |
471 | 527 | ||
472 | /** | 528 | /** |
@@ -474,8 +530,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
474 | * <!-- end-user-doc --> | 530 | * <!-- end-user-doc --> |
475 | * @generated | 531 | * @generated |
476 | */ | 532 | */ |
477 | public EClass getPartialFunctionInterpretation() { | 533 | public EClass getNaryRelationLink() { |
478 | return partialFunctionInterpretationEClass; | 534 | return naryRelationLinkEClass; |
479 | } | 535 | } |
480 | 536 | ||
481 | /** | 537 | /** |
@@ -483,8 +539,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
483 | * <!-- end-user-doc --> | 539 | * <!-- end-user-doc --> |
484 | * @generated | 540 | * @generated |
485 | */ | 541 | */ |
486 | public EReference getPartialFunctionInterpretation_InterpretationOf() { | 542 | public EReference getNaryRelationLink_Elements() { |
487 | return (EReference)partialFunctionInterpretationEClass.getEStructuralFeatures().get(0); | 543 | return (EReference)naryRelationLinkEClass.getEStructuralFeatures().get(0); |
488 | } | 544 | } |
489 | 545 | ||
490 | /** | 546 | /** |
@@ -492,8 +548,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
492 | * <!-- end-user-doc --> | 548 | * <!-- end-user-doc --> |
493 | * @generated | 549 | * @generated |
494 | */ | 550 | */ |
495 | public EClass getPartialTypeInterpratation() { | 551 | public EClass getNaryRelationLinkElement() { |
496 | return partialTypeInterpratationEClass; | 552 | return naryRelationLinkElementEClass; |
497 | } | 553 | } |
498 | 554 | ||
499 | /** | 555 | /** |
@@ -501,8 +557,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
501 | * <!-- end-user-doc --> | 557 | * <!-- end-user-doc --> |
502 | * @generated | 558 | * @generated |
503 | */ | 559 | */ |
504 | public EReference getPartialTypeInterpratation_InterpretationOf() { | 560 | public EAttribute getNaryRelationLinkElement_Index() { |
505 | return (EReference)partialTypeInterpratationEClass.getEStructuralFeatures().get(0); | 561 | return (EAttribute)naryRelationLinkElementEClass.getEStructuralFeatures().get(0); |
506 | } | 562 | } |
507 | 563 | ||
508 | /** | 564 | /** |
@@ -510,8 +566,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
510 | * <!-- end-user-doc --> | 566 | * <!-- end-user-doc --> |
511 | * @generated | 567 | * @generated |
512 | */ | 568 | */ |
513 | public EReference getPartialTypeInterpratation_Elements() { | 569 | public EReference getNaryRelationLinkElement_Param() { |
514 | return (EReference)partialTypeInterpratationEClass.getEStructuralFeatures().get(1); | 570 | return (EReference)naryRelationLinkElementEClass.getEStructuralFeatures().get(1); |
515 | } | 571 | } |
516 | 572 | ||
517 | /** | 573 | /** |
@@ -519,8 +575,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
519 | * <!-- end-user-doc --> | 575 | * <!-- end-user-doc --> |
520 | * @generated | 576 | * @generated |
521 | */ | 577 | */ |
522 | public EReference getPartialTypeInterpratation_SupertypeInterpretation() { | 578 | public EClass getPrimitiveElement() { |
523 | return (EReference)partialTypeInterpratationEClass.getEStructuralFeatures().get(2); | 579 | return primitiveElementEClass; |
524 | } | 580 | } |
525 | 581 | ||
526 | /** | 582 | /** |
@@ -528,8 +584,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
528 | * <!-- end-user-doc --> | 584 | * <!-- end-user-doc --> |
529 | * @generated | 585 | * @generated |
530 | */ | 586 | */ |
531 | public EClass getRelationLink() { | 587 | public EAttribute getPrimitiveElement_ValueSet() { |
532 | return relationLinkEClass; | 588 | return (EAttribute)primitiveElementEClass.getEStructuralFeatures().get(0); |
533 | } | 589 | } |
534 | 590 | ||
535 | /** | 591 | /** |
@@ -537,8 +593,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
537 | * <!-- end-user-doc --> | 593 | * <!-- end-user-doc --> |
538 | * @generated | 594 | * @generated |
539 | */ | 595 | */ |
540 | public EClass getUnaryElementRelationLink() { | 596 | public EClass getBooleanElement() { |
541 | return unaryElementRelationLinkEClass; | 597 | return booleanElementEClass; |
542 | } | 598 | } |
543 | 599 | ||
544 | /** | 600 | /** |
@@ -546,8 +602,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
546 | * <!-- end-user-doc --> | 602 | * <!-- end-user-doc --> |
547 | * @generated | 603 | * @generated |
548 | */ | 604 | */ |
549 | public EReference getUnaryElementRelationLink_Param1() { | 605 | public EAttribute getBooleanElement_Value() { |
550 | return (EReference)unaryElementRelationLinkEClass.getEStructuralFeatures().get(0); | 606 | return (EAttribute)booleanElementEClass.getEStructuralFeatures().get(0); |
551 | } | 607 | } |
552 | 608 | ||
553 | /** | 609 | /** |
@@ -555,8 +611,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
555 | * <!-- end-user-doc --> | 611 | * <!-- end-user-doc --> |
556 | * @generated | 612 | * @generated |
557 | */ | 613 | */ |
558 | public EClass getBinaryElementRelationLink() { | 614 | public EClass getIntegerElement() { |
559 | return binaryElementRelationLinkEClass; | 615 | return integerElementEClass; |
560 | } | 616 | } |
561 | 617 | ||
562 | /** | 618 | /** |
@@ -564,8 +620,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
564 | * <!-- end-user-doc --> | 620 | * <!-- end-user-doc --> |
565 | * @generated | 621 | * @generated |
566 | */ | 622 | */ |
567 | public EReference getBinaryElementRelationLink_Param1() { | 623 | public EAttribute getIntegerElement_Value() { |
568 | return (EReference)binaryElementRelationLinkEClass.getEStructuralFeatures().get(0); | 624 | return (EAttribute)integerElementEClass.getEStructuralFeatures().get(0); |
569 | } | 625 | } |
570 | 626 | ||
571 | /** | 627 | /** |
@@ -573,8 +629,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
573 | * <!-- end-user-doc --> | 629 | * <!-- end-user-doc --> |
574 | * @generated | 630 | * @generated |
575 | */ | 631 | */ |
576 | public EReference getBinaryElementRelationLink_Param2() { | 632 | public EClass getRealElement() { |
577 | return (EReference)binaryElementRelationLinkEClass.getEStructuralFeatures().get(1); | 633 | return realElementEClass; |
578 | } | 634 | } |
579 | 635 | ||
580 | /** | 636 | /** |
@@ -582,8 +638,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
582 | * <!-- end-user-doc --> | 638 | * <!-- end-user-doc --> |
583 | * @generated | 639 | * @generated |
584 | */ | 640 | */ |
585 | public EClass getNaryRelationLink() { | 641 | public EAttribute getRealElement_Value() { |
586 | return naryRelationLinkEClass; | 642 | return (EAttribute)realElementEClass.getEStructuralFeatures().get(0); |
587 | } | 643 | } |
588 | 644 | ||
589 | /** | 645 | /** |
@@ -591,8 +647,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
591 | * <!-- end-user-doc --> | 647 | * <!-- end-user-doc --> |
592 | * @generated | 648 | * @generated |
593 | */ | 649 | */ |
594 | public EReference getNaryRelationLink_Elements() { | 650 | public EClass getStringElement() { |
595 | return (EReference)naryRelationLinkEClass.getEStructuralFeatures().get(0); | 651 | return stringElementEClass; |
596 | } | 652 | } |
597 | 653 | ||
598 | /** | 654 | /** |
@@ -600,8 +656,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
600 | * <!-- end-user-doc --> | 656 | * <!-- end-user-doc --> |
601 | * @generated | 657 | * @generated |
602 | */ | 658 | */ |
603 | public EClass getNaryRelationLinkElement() { | 659 | public EAttribute getStringElement_Value() { |
604 | return naryRelationLinkElementEClass; | 660 | return (EAttribute)stringElementEClass.getEStructuralFeatures().get(0); |
605 | } | 661 | } |
606 | 662 | ||
607 | /** | 663 | /** |
@@ -609,8 +665,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
609 | * <!-- end-user-doc --> | 665 | * <!-- end-user-doc --> |
610 | * @generated | 666 | * @generated |
611 | */ | 667 | */ |
612 | public EAttribute getNaryRelationLinkElement_Index() { | 668 | public EClass getScope() { |
613 | return (EAttribute)naryRelationLinkElementEClass.getEStructuralFeatures().get(0); | 669 | return scopeEClass; |
614 | } | 670 | } |
615 | 671 | ||
616 | /** | 672 | /** |
@@ -618,8 +674,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
618 | * <!-- end-user-doc --> | 674 | * <!-- end-user-doc --> |
619 | * @generated | 675 | * @generated |
620 | */ | 676 | */ |
621 | public EClass getPrimitiveElement() { | 677 | public EAttribute getScope_MinNewElements() { |
622 | return primitiveElementEClass; | 678 | return (EAttribute)scopeEClass.getEStructuralFeatures().get(0); |
623 | } | 679 | } |
624 | 680 | ||
625 | /** | 681 | /** |
@@ -627,8 +683,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
627 | * <!-- end-user-doc --> | 683 | * <!-- end-user-doc --> |
628 | * @generated | 684 | * @generated |
629 | */ | 685 | */ |
630 | public EAttribute getPrimitiveElement_ValueSet() { | 686 | public EAttribute getScope_MaxNewElements() { |
631 | return (EAttribute)primitiveElementEClass.getEStructuralFeatures().get(0); | 687 | return (EAttribute)scopeEClass.getEStructuralFeatures().get(1); |
632 | } | 688 | } |
633 | 689 | ||
634 | /** | 690 | /** |
@@ -636,8 +692,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
636 | * <!-- end-user-doc --> | 692 | * <!-- end-user-doc --> |
637 | * @generated | 693 | * @generated |
638 | */ | 694 | */ |
639 | public EClass getBooleanElement() { | 695 | public EReference getScope_TargetTypeInterpretation() { |
640 | return booleanElementEClass; | 696 | return (EReference)scopeEClass.getEStructuralFeatures().get(2); |
641 | } | 697 | } |
642 | 698 | ||
643 | /** | 699 | /** |
@@ -645,8 +701,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
645 | * <!-- end-user-doc --> | 701 | * <!-- end-user-doc --> |
646 | * @generated | 702 | * @generated |
647 | */ | 703 | */ |
648 | public EAttribute getBooleanElement_Value() { | 704 | public EClass getPartialPrimitiveInterpretation() { |
649 | return (EAttribute)booleanElementEClass.getEStructuralFeatures().get(0); | 705 | return partialPrimitiveInterpretationEClass; |
650 | } | 706 | } |
651 | 707 | ||
652 | /** | 708 | /** |
@@ -654,8 +710,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
654 | * <!-- end-user-doc --> | 710 | * <!-- end-user-doc --> |
655 | * @generated | 711 | * @generated |
656 | */ | 712 | */ |
657 | public EClass getIntegerElement() { | 713 | public EClass getPartialBooleanInterpretation() { |
658 | return integerElementEClass; | 714 | return partialBooleanInterpretationEClass; |
659 | } | 715 | } |
660 | 716 | ||
661 | /** | 717 | /** |
@@ -663,8 +719,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
663 | * <!-- end-user-doc --> | 719 | * <!-- end-user-doc --> |
664 | * @generated | 720 | * @generated |
665 | */ | 721 | */ |
666 | public EAttribute getIntegerElement_Value() { | 722 | public EClass getPartialIntegerInterpretation() { |
667 | return (EAttribute)integerElementEClass.getEStructuralFeatures().get(0); | 723 | return partialIntegerInterpretationEClass; |
668 | } | 724 | } |
669 | 725 | ||
670 | /** | 726 | /** |
@@ -672,8 +728,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
672 | * <!-- end-user-doc --> | 728 | * <!-- end-user-doc --> |
673 | * @generated | 729 | * @generated |
674 | */ | 730 | */ |
675 | public EClass getRealElement() { | 731 | public EClass getPartialRealInterpretation() { |
676 | return realElementEClass; | 732 | return partialRealInterpretationEClass; |
677 | } | 733 | } |
678 | 734 | ||
679 | /** | 735 | /** |
@@ -681,8 +737,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
681 | * <!-- end-user-doc --> | 737 | * <!-- end-user-doc --> |
682 | * @generated | 738 | * @generated |
683 | */ | 739 | */ |
684 | public EAttribute getRealElement_Value() { | 740 | public EClass getPartialStringInterpretation() { |
685 | return (EAttribute)realElementEClass.getEStructuralFeatures().get(0); | 741 | return partialStringInterpretationEClass; |
686 | } | 742 | } |
687 | 743 | ||
688 | /** | 744 | /** |
@@ -690,8 +746,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
690 | * <!-- end-user-doc --> | 746 | * <!-- end-user-doc --> |
691 | * @generated | 747 | * @generated |
692 | */ | 748 | */ |
693 | public EClass getStringElement() { | 749 | public EClass getPartialComplexTypeInterpretation() { |
694 | return stringElementEClass; | 750 | return partialComplexTypeInterpretationEClass; |
695 | } | 751 | } |
696 | 752 | ||
697 | /** | 753 | /** |
@@ -699,8 +755,17 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
699 | * <!-- end-user-doc --> | 755 | * <!-- end-user-doc --> |
700 | * @generated | 756 | * @generated |
701 | */ | 757 | */ |
702 | public EAttribute getStringElement_Value() { | 758 | public EReference getPartialComplexTypeInterpretation_SupertypeInterpretation() { |
703 | return (EAttribute)stringElementEClass.getEStructuralFeatures().get(0); | 759 | return (EReference)partialComplexTypeInterpretationEClass.getEStructuralFeatures().get(0); |
760 | } | ||
761 | |||
762 | /** | ||
763 | * <!-- begin-user-doc --> | ||
764 | * <!-- end-user-doc --> | ||
765 | * @generated | ||
766 | */ | ||
767 | public EReference getPartialComplexTypeInterpretation_InterpretationOf() { | ||
768 | return (EReference)partialComplexTypeInterpretationEClass.getEStructuralFeatures().get(1); | ||
704 | } | 769 | } |
705 | 770 | ||
706 | /** | 771 | /** |
@@ -738,21 +803,11 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
738 | createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__PARTIALFUNCTIONINTERPRETATION); | 803 | createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__PARTIALFUNCTIONINTERPRETATION); |
739 | createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__NEW_ELEMENTS); | 804 | createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__NEW_ELEMENTS); |
740 | createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION); | 805 | createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION); |
806 | createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS); | ||
807 | createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__PROBLEM_CONAINER); | ||
808 | createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__SCOPES); | ||
741 | createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS); | 809 | createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS); |
742 | createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS); | 810 | createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS); |
743 | createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES); | ||
744 | createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__PROBLEM_CONAINER); | ||
745 | createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__STRINGELEMENT); | ||
746 | createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__STRINGELEMENTS); | ||
747 | createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__REALELEMENTS); | ||
748 | createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__INTEGERELEMENTS); | ||
749 | createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__BOOLEANELEMENTS); | ||
750 | createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS); | ||
751 | createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_REALS); | ||
752 | createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_STRINGS); | ||
753 | createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__NEW_STRINGS); | ||
754 | createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__NEW_REALS); | ||
755 | createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__NEW_INTEGERS); | ||
756 | 811 | ||
757 | partialConstantInterpretationEClass = createEClass(PARTIAL_CONSTANT_INTERPRETATION); | 812 | partialConstantInterpretationEClass = createEClass(PARTIAL_CONSTANT_INTERPRETATION); |
758 | createEReference(partialConstantInterpretationEClass, PARTIAL_CONSTANT_INTERPRETATION__INTERPRETATION_OF); | 813 | createEReference(partialConstantInterpretationEClass, PARTIAL_CONSTANT_INTERPRETATION__INTERPRETATION_OF); |
@@ -767,9 +822,7 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
767 | createEReference(partialFunctionInterpretationEClass, PARTIAL_FUNCTION_INTERPRETATION__INTERPRETATION_OF); | 822 | createEReference(partialFunctionInterpretationEClass, PARTIAL_FUNCTION_INTERPRETATION__INTERPRETATION_OF); |
768 | 823 | ||
769 | partialTypeInterpratationEClass = createEClass(PARTIAL_TYPE_INTERPRATATION); | 824 | partialTypeInterpratationEClass = createEClass(PARTIAL_TYPE_INTERPRATATION); |
770 | createEReference(partialTypeInterpratationEClass, PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF); | ||
771 | createEReference(partialTypeInterpratationEClass, PARTIAL_TYPE_INTERPRATATION__ELEMENTS); | 825 | createEReference(partialTypeInterpratationEClass, PARTIAL_TYPE_INTERPRATATION__ELEMENTS); |
772 | createEReference(partialTypeInterpratationEClass, PARTIAL_TYPE_INTERPRATATION__SUPERTYPE_INTERPRETATION); | ||
773 | 826 | ||
774 | relationLinkEClass = createEClass(RELATION_LINK); | 827 | relationLinkEClass = createEClass(RELATION_LINK); |
775 | 828 | ||
@@ -785,6 +838,7 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
785 | 838 | ||
786 | naryRelationLinkElementEClass = createEClass(NARY_RELATION_LINK_ELEMENT); | 839 | naryRelationLinkElementEClass = createEClass(NARY_RELATION_LINK_ELEMENT); |
787 | createEAttribute(naryRelationLinkElementEClass, NARY_RELATION_LINK_ELEMENT__INDEX); | 840 | createEAttribute(naryRelationLinkElementEClass, NARY_RELATION_LINK_ELEMENT__INDEX); |
841 | createEReference(naryRelationLinkElementEClass, NARY_RELATION_LINK_ELEMENT__PARAM); | ||
788 | 842 | ||
789 | primitiveElementEClass = createEClass(PRIMITIVE_ELEMENT); | 843 | primitiveElementEClass = createEClass(PRIMITIVE_ELEMENT); |
790 | createEAttribute(primitiveElementEClass, PRIMITIVE_ELEMENT__VALUE_SET); | 844 | createEAttribute(primitiveElementEClass, PRIMITIVE_ELEMENT__VALUE_SET); |
@@ -800,6 +854,25 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
800 | 854 | ||
801 | stringElementEClass = createEClass(STRING_ELEMENT); | 855 | stringElementEClass = createEClass(STRING_ELEMENT); |
802 | createEAttribute(stringElementEClass, STRING_ELEMENT__VALUE); | 856 | createEAttribute(stringElementEClass, STRING_ELEMENT__VALUE); |
857 | |||
858 | scopeEClass = createEClass(SCOPE); | ||
859 | createEAttribute(scopeEClass, SCOPE__MIN_NEW_ELEMENTS); | ||
860 | createEAttribute(scopeEClass, SCOPE__MAX_NEW_ELEMENTS); | ||
861 | createEReference(scopeEClass, SCOPE__TARGET_TYPE_INTERPRETATION); | ||
862 | |||
863 | partialPrimitiveInterpretationEClass = createEClass(PARTIAL_PRIMITIVE_INTERPRETATION); | ||
864 | |||
865 | partialBooleanInterpretationEClass = createEClass(PARTIAL_BOOLEAN_INTERPRETATION); | ||
866 | |||
867 | partialIntegerInterpretationEClass = createEClass(PARTIAL_INTEGER_INTERPRETATION); | ||
868 | |||
869 | partialRealInterpretationEClass = createEClass(PARTIAL_REAL_INTERPRETATION); | ||
870 | |||
871 | partialStringInterpretationEClass = createEClass(PARTIAL_STRING_INTERPRETATION); | ||
872 | |||
873 | partialComplexTypeInterpretationEClass = createEClass(PARTIAL_COMPLEX_TYPE_INTERPRETATION); | ||
874 | createEReference(partialComplexTypeInterpretationEClass, PARTIAL_COMPLEX_TYPE_INTERPRETATION__SUPERTYPE_INTERPRETATION); | ||
875 | createEReference(partialComplexTypeInterpretationEClass, PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF); | ||
803 | } | 876 | } |
804 | 877 | ||
805 | /** | 878 | /** |
@@ -842,6 +915,12 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
842 | integerElementEClass.getESuperTypes().add(this.getPrimitiveElement()); | 915 | integerElementEClass.getESuperTypes().add(this.getPrimitiveElement()); |
843 | realElementEClass.getESuperTypes().add(this.getPrimitiveElement()); | 916 | realElementEClass.getESuperTypes().add(this.getPrimitiveElement()); |
844 | stringElementEClass.getESuperTypes().add(this.getPrimitiveElement()); | 917 | stringElementEClass.getESuperTypes().add(this.getPrimitiveElement()); |
918 | partialPrimitiveInterpretationEClass.getESuperTypes().add(this.getPartialTypeInterpratation()); | ||
919 | partialBooleanInterpretationEClass.getESuperTypes().add(this.getPartialPrimitiveInterpretation()); | ||
920 | partialIntegerInterpretationEClass.getESuperTypes().add(this.getPartialPrimitiveInterpretation()); | ||
921 | partialRealInterpretationEClass.getESuperTypes().add(this.getPartialPrimitiveInterpretation()); | ||
922 | partialStringInterpretationEClass.getESuperTypes().add(this.getPartialPrimitiveInterpretation()); | ||
923 | partialComplexTypeInterpretationEClass.getESuperTypes().add(this.getPartialTypeInterpratation()); | ||
845 | 924 | ||
846 | // Initialize classes, features, and operations; add parameters | 925 | // Initialize classes, features, and operations; add parameters |
847 | initEClass(partialInterpretationEClass, PartialInterpretation.class, "PartialInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 926 | initEClass(partialInterpretationEClass, PartialInterpretation.class, "PartialInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
@@ -851,21 +930,11 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
851 | initEReference(getPartialInterpretation_Partialfunctioninterpretation(), this.getPartialFunctionInterpretation(), null, "partialfunctioninterpretation", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 930 | initEReference(getPartialInterpretation_Partialfunctioninterpretation(), this.getPartialFunctionInterpretation(), null, "partialfunctioninterpretation", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
852 | initEReference(getPartialInterpretation_NewElements(), theLogiclanguagePackage.getDefinedElement(), null, "newElements", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 931 | initEReference(getPartialInterpretation_NewElements(), theLogiclanguagePackage.getDefinedElement(), null, "newElements", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
853 | initEReference(getPartialInterpretation_Partialtypeinterpratation(), this.getPartialTypeInterpratation(), null, "partialtypeinterpratation", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 932 | initEReference(getPartialInterpretation_Partialtypeinterpratation(), this.getPartialTypeInterpratation(), null, "partialtypeinterpratation", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
854 | initEAttribute(getPartialInterpretation_MinNewElements(), ecorePackage.getEInt(), "minNewElements", "0", 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 933 | initEReference(getPartialInterpretation_OpenWorldElements(), theLogiclanguagePackage.getDefinedElement(), null, "openWorldElements", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
855 | initEAttribute(getPartialInterpretation_MaxNewElements(), ecorePackage.getEInt(), "maxNewElements", "0", 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
856 | initEReference(getPartialInterpretation_OpenWorldElementPrototypes(), theLogiclanguagePackage.getDefinedElement(), null, "openWorldElementPrototypes", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
857 | initEReference(getPartialInterpretation_ProblemConainer(), theLogicproblemPackage.getLogicProblem(), null, "problemConainer", null, 0, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 934 | initEReference(getPartialInterpretation_ProblemConainer(), theLogicproblemPackage.getLogicProblem(), null, "problemConainer", null, 0, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
858 | initEReference(getPartialInterpretation_Stringelement(), this.getStringElement(), null, "stringelement", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 935 | initEReference(getPartialInterpretation_Scopes(), this.getScope(), null, "scopes", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
859 | initEReference(getPartialInterpretation_Stringelements(), this.getStringElement(), null, "stringelements", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 936 | initEAttribute(getPartialInterpretation_MinNewElements(), ecorePackage.getEInt(), "minNewElements", "0", 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
860 | initEReference(getPartialInterpretation_Realelements(), this.getRealElement(), null, "realelements", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 937 | initEAttribute(getPartialInterpretation_MaxNewElements(), ecorePackage.getEInt(), "maxNewElements", "-1", 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
861 | initEReference(getPartialInterpretation_Integerelements(), this.getIntegerElement(), null, "integerelements", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
862 | initEReference(getPartialInterpretation_Booleanelements(), this.getBooleanElement(), null, "booleanelements", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
863 | initEAttribute(getPartialInterpretation_MaxNewIntegers(), ecorePackage.getEInt(), "maxNewIntegers", null, 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
864 | initEAttribute(getPartialInterpretation_MaxNewReals(), ecorePackage.getEInt(), "maxNewReals", null, 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
865 | initEAttribute(getPartialInterpretation_MaxNewStrings(), ecorePackage.getEInt(), "maxNewStrings", null, 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
866 | initEReference(getPartialInterpretation_NewStrings(), this.getStringElement(), null, "newStrings", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
867 | initEReference(getPartialInterpretation_NewReals(), this.getRealElement(), null, "newReals", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
868 | initEReference(getPartialInterpretation_NewIntegers(), this.getIntegerElement(), null, "newIntegers", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
869 | 938 | ||
870 | initEClass(partialConstantInterpretationEClass, PartialConstantInterpretation.class, "PartialConstantInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 939 | initEClass(partialConstantInterpretationEClass, PartialConstantInterpretation.class, "PartialConstantInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
871 | initEReference(getPartialConstantInterpretation_InterpretationOf(), theLogiclanguagePackage.getConstantDeclaration(), null, "interpretationOf", null, 1, 1, PartialConstantInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 940 | initEReference(getPartialConstantInterpretation_InterpretationOf(), theLogiclanguagePackage.getConstantDeclaration(), null, "interpretationOf", null, 1, 1, PartialConstantInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
@@ -879,10 +948,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
879 | initEClass(partialFunctionInterpretationEClass, PartialFunctionInterpretation.class, "PartialFunctionInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 948 | initEClass(partialFunctionInterpretationEClass, PartialFunctionInterpretation.class, "PartialFunctionInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
880 | initEReference(getPartialFunctionInterpretation_InterpretationOf(), theLogiclanguagePackage.getFunctionDeclaration(), null, "interpretationOf", null, 1, 1, PartialFunctionInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 949 | initEReference(getPartialFunctionInterpretation_InterpretationOf(), theLogiclanguagePackage.getFunctionDeclaration(), null, "interpretationOf", null, 1, 1, PartialFunctionInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
881 | 950 | ||
882 | initEClass(partialTypeInterpratationEClass, PartialTypeInterpratation.class, "PartialTypeInterpratation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 951 | initEClass(partialTypeInterpratationEClass, PartialTypeInterpratation.class, "PartialTypeInterpratation", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
883 | initEReference(getPartialTypeInterpratation_InterpretationOf(), theLogiclanguagePackage.getTypeDeclaration(), null, "interpretationOf", null, 1, 1, PartialTypeInterpratation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
884 | initEReference(getPartialTypeInterpratation_Elements(), theLogiclanguagePackage.getDefinedElement(), null, "elements", null, 0, -1, PartialTypeInterpratation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 952 | initEReference(getPartialTypeInterpratation_Elements(), theLogiclanguagePackage.getDefinedElement(), null, "elements", null, 0, -1, PartialTypeInterpratation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
885 | initEReference(getPartialTypeInterpratation_SupertypeInterpretation(), this.getPartialTypeInterpratation(), null, "supertypeInterpretation", null, 0, -1, PartialTypeInterpratation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
886 | 953 | ||
887 | initEClass(relationLinkEClass, RelationLink.class, "RelationLink", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 954 | initEClass(relationLinkEClass, RelationLink.class, "RelationLink", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
888 | 955 | ||
@@ -898,6 +965,7 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
898 | 965 | ||
899 | initEClass(naryRelationLinkElementEClass, NaryRelationLinkElement.class, "NaryRelationLinkElement", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 966 | initEClass(naryRelationLinkElementEClass, NaryRelationLinkElement.class, "NaryRelationLinkElement", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
900 | initEAttribute(getNaryRelationLinkElement_Index(), ecorePackage.getEInt(), "index", null, 0, 1, NaryRelationLinkElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 967 | initEAttribute(getNaryRelationLinkElement_Index(), ecorePackage.getEInt(), "index", null, 0, 1, NaryRelationLinkElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
968 | initEReference(getNaryRelationLinkElement_Param(), theLogiclanguagePackage.getDefinedElement(), null, "param", null, 1, 1, NaryRelationLinkElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
901 | 969 | ||
902 | initEClass(primitiveElementEClass, PrimitiveElement.class, "PrimitiveElement", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 970 | initEClass(primitiveElementEClass, PrimitiveElement.class, "PrimitiveElement", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
903 | initEAttribute(getPrimitiveElement_ValueSet(), ecorePackage.getEBoolean(), "valueSet", null, 1, 1, PrimitiveElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 971 | initEAttribute(getPrimitiveElement_ValueSet(), ecorePackage.getEBoolean(), "valueSet", null, 1, 1, PrimitiveElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
@@ -914,6 +982,25 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
914 | initEClass(stringElementEClass, StringElement.class, "StringElement", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 982 | initEClass(stringElementEClass, StringElement.class, "StringElement", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
915 | initEAttribute(getStringElement_Value(), ecorePackage.getEString(), "value", null, 1, 1, StringElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 983 | initEAttribute(getStringElement_Value(), ecorePackage.getEString(), "value", null, 1, 1, StringElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
916 | 984 | ||
985 | initEClass(scopeEClass, Scope.class, "Scope", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
986 | initEAttribute(getScope_MinNewElements(), ecorePackage.getEInt(), "minNewElements", "0", 1, 1, Scope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
987 | initEAttribute(getScope_MaxNewElements(), ecorePackage.getEInt(), "maxNewElements", "-1", 1, 1, Scope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
988 | initEReference(getScope_TargetTypeInterpretation(), this.getPartialTypeInterpratation(), null, "targetTypeInterpretation", null, 1, 1, Scope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
989 | |||
990 | initEClass(partialPrimitiveInterpretationEClass, PartialPrimitiveInterpretation.class, "PartialPrimitiveInterpretation", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
991 | |||
992 | initEClass(partialBooleanInterpretationEClass, PartialBooleanInterpretation.class, "PartialBooleanInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
993 | |||
994 | initEClass(partialIntegerInterpretationEClass, PartialIntegerInterpretation.class, "PartialIntegerInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
995 | |||
996 | initEClass(partialRealInterpretationEClass, PartialRealInterpretation.class, "PartialRealInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
997 | |||
998 | initEClass(partialStringInterpretationEClass, PartialStringInterpretation.class, "PartialStringInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
999 | |||
1000 | initEClass(partialComplexTypeInterpretationEClass, PartialComplexTypeInterpretation.class, "PartialComplexTypeInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1001 | initEReference(getPartialComplexTypeInterpretation_SupertypeInterpretation(), this.getPartialComplexTypeInterpretation(), null, "supertypeInterpretation", null, 0, -1, PartialComplexTypeInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1002 | initEReference(getPartialComplexTypeInterpretation_InterpretationOf(), theLogiclanguagePackage.getTypeDeclaration(), null, "interpretationOf", null, 1, 1, PartialComplexTypeInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1003 | |||
917 | // Create resource | 1004 | // Create resource |
918 | createResource(eNS_URI); | 1005 | createResource(eNS_URI); |
919 | } | 1006 | } |
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/ScopeImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/ScopeImpl.java new file mode 100644 index 00000000..4699aef6 --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/ScopeImpl.java | |||
@@ -0,0 +1,279 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation; | ||
6 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; | ||
7 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope; | ||
8 | |||
9 | import org.eclipse.emf.common.notify.Notification; | ||
10 | |||
11 | import org.eclipse.emf.ecore.EClass; | ||
12 | import org.eclipse.emf.ecore.InternalEObject; | ||
13 | |||
14 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
15 | import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; | ||
16 | |||
17 | /** | ||
18 | * <!-- begin-user-doc --> | ||
19 | * An implementation of the model object '<em><b>Scope</b></em>'. | ||
20 | * <!-- end-user-doc --> | ||
21 | * <p> | ||
22 | * The following features are implemented: | ||
23 | * </p> | ||
24 | * <ul> | ||
25 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.ScopeImpl#getMinNewElements <em>Min New Elements</em>}</li> | ||
26 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.ScopeImpl#getMaxNewElements <em>Max New Elements</em>}</li> | ||
27 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.ScopeImpl#getTargetTypeInterpretation <em>Target Type Interpretation</em>}</li> | ||
28 | * </ul> | ||
29 | * | ||
30 | * @generated | ||
31 | */ | ||
32 | public class ScopeImpl extends MinimalEObjectImpl.Container implements Scope { | ||
33 | /** | ||
34 | * The default value of the '{@link #getMinNewElements() <em>Min New Elements</em>}' attribute. | ||
35 | * <!-- begin-user-doc --> | ||
36 | * <!-- end-user-doc --> | ||
37 | * @see #getMinNewElements() | ||
38 | * @generated | ||
39 | * @ordered | ||
40 | */ | ||
41 | protected static final int MIN_NEW_ELEMENTS_EDEFAULT = 0; | ||
42 | |||
43 | /** | ||
44 | * The cached value of the '{@link #getMinNewElements() <em>Min New Elements</em>}' attribute. | ||
45 | * <!-- begin-user-doc --> | ||
46 | * <!-- end-user-doc --> | ||
47 | * @see #getMinNewElements() | ||
48 | * @generated | ||
49 | * @ordered | ||
50 | */ | ||
51 | protected int minNewElements = MIN_NEW_ELEMENTS_EDEFAULT; | ||
52 | |||
53 | /** | ||
54 | * The default value of the '{@link #getMaxNewElements() <em>Max New Elements</em>}' attribute. | ||
55 | * <!-- begin-user-doc --> | ||
56 | * <!-- end-user-doc --> | ||
57 | * @see #getMaxNewElements() | ||
58 | * @generated | ||
59 | * @ordered | ||
60 | */ | ||
61 | protected static final int MAX_NEW_ELEMENTS_EDEFAULT = -1; | ||
62 | |||
63 | /** | ||
64 | * The cached value of the '{@link #getMaxNewElements() <em>Max New Elements</em>}' attribute. | ||
65 | * <!-- begin-user-doc --> | ||
66 | * <!-- end-user-doc --> | ||
67 | * @see #getMaxNewElements() | ||
68 | * @generated | ||
69 | * @ordered | ||
70 | */ | ||
71 | protected int maxNewElements = MAX_NEW_ELEMENTS_EDEFAULT; | ||
72 | |||
73 | /** | ||
74 | * The cached value of the '{@link #getTargetTypeInterpretation() <em>Target Type Interpretation</em>}' reference. | ||
75 | * <!-- begin-user-doc --> | ||
76 | * <!-- end-user-doc --> | ||
77 | * @see #getTargetTypeInterpretation() | ||
78 | * @generated | ||
79 | * @ordered | ||
80 | */ | ||
81 | protected PartialTypeInterpratation targetTypeInterpretation; | ||
82 | |||
83 | /** | ||
84 | * <!-- begin-user-doc --> | ||
85 | * <!-- end-user-doc --> | ||
86 | * @generated | ||
87 | */ | ||
88 | protected ScopeImpl() { | ||
89 | super(); | ||
90 | } | ||
91 | |||
92 | /** | ||
93 | * <!-- begin-user-doc --> | ||
94 | * <!-- end-user-doc --> | ||
95 | * @generated | ||
96 | */ | ||
97 | @Override | ||
98 | protected EClass eStaticClass() { | ||
99 | return PartialinterpretationPackage.Literals.SCOPE; | ||
100 | } | ||
101 | |||
102 | /** | ||
103 | * <!-- begin-user-doc --> | ||
104 | * <!-- end-user-doc --> | ||
105 | * @generated | ||
106 | */ | ||
107 | public int getMinNewElements() { | ||
108 | return minNewElements; | ||
109 | } | ||
110 | |||
111 | /** | ||
112 | * <!-- begin-user-doc --> | ||
113 | * <!-- end-user-doc --> | ||
114 | * @generated | ||
115 | */ | ||
116 | public void setMinNewElements(int newMinNewElements) { | ||
117 | int oldMinNewElements = minNewElements; | ||
118 | minNewElements = newMinNewElements; | ||
119 | if (eNotificationRequired()) | ||
120 | eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.SCOPE__MIN_NEW_ELEMENTS, oldMinNewElements, minNewElements)); | ||
121 | } | ||
122 | |||
123 | /** | ||
124 | * <!-- begin-user-doc --> | ||
125 | * <!-- end-user-doc --> | ||
126 | * @generated | ||
127 | */ | ||
128 | public int getMaxNewElements() { | ||
129 | return maxNewElements; | ||
130 | } | ||
131 | |||
132 | /** | ||
133 | * <!-- begin-user-doc --> | ||
134 | * <!-- end-user-doc --> | ||
135 | * @generated | ||
136 | */ | ||
137 | public void setMaxNewElements(int newMaxNewElements) { | ||
138 | int oldMaxNewElements = maxNewElements; | ||
139 | maxNewElements = newMaxNewElements; | ||
140 | if (eNotificationRequired()) | ||
141 | eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.SCOPE__MAX_NEW_ELEMENTS, oldMaxNewElements, maxNewElements)); | ||
142 | } | ||
143 | |||
144 | /** | ||
145 | * <!-- begin-user-doc --> | ||
146 | * <!-- end-user-doc --> | ||
147 | * @generated | ||
148 | */ | ||
149 | public PartialTypeInterpratation getTargetTypeInterpretation() { | ||
150 | if (targetTypeInterpretation != null && targetTypeInterpretation.eIsProxy()) { | ||
151 | InternalEObject oldTargetTypeInterpretation = (InternalEObject)targetTypeInterpretation; | ||
152 | targetTypeInterpretation = (PartialTypeInterpratation)eResolveProxy(oldTargetTypeInterpretation); | ||
153 | if (targetTypeInterpretation != oldTargetTypeInterpretation) { | ||
154 | if (eNotificationRequired()) | ||
155 | eNotify(new ENotificationImpl(this, Notification.RESOLVE, PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION, oldTargetTypeInterpretation, targetTypeInterpretation)); | ||
156 | } | ||
157 | } | ||
158 | return targetTypeInterpretation; | ||
159 | } | ||
160 | |||
161 | /** | ||
162 | * <!-- begin-user-doc --> | ||
163 | * <!-- end-user-doc --> | ||
164 | * @generated | ||
165 | */ | ||
166 | public PartialTypeInterpratation basicGetTargetTypeInterpretation() { | ||
167 | return targetTypeInterpretation; | ||
168 | } | ||
169 | |||
170 | /** | ||
171 | * <!-- begin-user-doc --> | ||
172 | * <!-- end-user-doc --> | ||
173 | * @generated | ||
174 | */ | ||
175 | public void setTargetTypeInterpretation(PartialTypeInterpratation newTargetTypeInterpretation) { | ||
176 | PartialTypeInterpratation oldTargetTypeInterpretation = targetTypeInterpretation; | ||
177 | targetTypeInterpretation = newTargetTypeInterpretation; | ||
178 | if (eNotificationRequired()) | ||
179 | eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION, oldTargetTypeInterpretation, targetTypeInterpretation)); | ||
180 | } | ||
181 | |||
182 | /** | ||
183 | * <!-- begin-user-doc --> | ||
184 | * <!-- end-user-doc --> | ||
185 | * @generated | ||
186 | */ | ||
187 | @Override | ||
188 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | ||
189 | switch (featureID) { | ||
190 | case PartialinterpretationPackage.SCOPE__MIN_NEW_ELEMENTS: | ||
191 | return getMinNewElements(); | ||
192 | case PartialinterpretationPackage.SCOPE__MAX_NEW_ELEMENTS: | ||
193 | return getMaxNewElements(); | ||
194 | case PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION: | ||
195 | if (resolve) return getTargetTypeInterpretation(); | ||
196 | return basicGetTargetTypeInterpretation(); | ||
197 | } | ||
198 | return super.eGet(featureID, resolve, coreType); | ||
199 | } | ||
200 | |||
201 | /** | ||
202 | * <!-- begin-user-doc --> | ||
203 | * <!-- end-user-doc --> | ||
204 | * @generated | ||
205 | */ | ||
206 | @Override | ||
207 | public void eSet(int featureID, Object newValue) { | ||
208 | switch (featureID) { | ||
209 | case PartialinterpretationPackage.SCOPE__MIN_NEW_ELEMENTS: | ||
210 | setMinNewElements((Integer)newValue); | ||
211 | return; | ||
212 | case PartialinterpretationPackage.SCOPE__MAX_NEW_ELEMENTS: | ||
213 | setMaxNewElements((Integer)newValue); | ||
214 | return; | ||
215 | case PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION: | ||
216 | setTargetTypeInterpretation((PartialTypeInterpratation)newValue); | ||
217 | return; | ||
218 | } | ||
219 | super.eSet(featureID, newValue); | ||
220 | } | ||
221 | |||
222 | /** | ||
223 | * <!-- begin-user-doc --> | ||
224 | * <!-- end-user-doc --> | ||
225 | * @generated | ||
226 | */ | ||
227 | @Override | ||
228 | public void eUnset(int featureID) { | ||
229 | switch (featureID) { | ||
230 | case PartialinterpretationPackage.SCOPE__MIN_NEW_ELEMENTS: | ||
231 | setMinNewElements(MIN_NEW_ELEMENTS_EDEFAULT); | ||
232 | return; | ||
233 | case PartialinterpretationPackage.SCOPE__MAX_NEW_ELEMENTS: | ||
234 | setMaxNewElements(MAX_NEW_ELEMENTS_EDEFAULT); | ||
235 | return; | ||
236 | case PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION: | ||
237 | setTargetTypeInterpretation((PartialTypeInterpratation)null); | ||
238 | return; | ||
239 | } | ||
240 | super.eUnset(featureID); | ||
241 | } | ||
242 | |||
243 | /** | ||
244 | * <!-- begin-user-doc --> | ||
245 | * <!-- end-user-doc --> | ||
246 | * @generated | ||
247 | */ | ||
248 | @Override | ||
249 | public boolean eIsSet(int featureID) { | ||
250 | switch (featureID) { | ||
251 | case PartialinterpretationPackage.SCOPE__MIN_NEW_ELEMENTS: | ||
252 | return minNewElements != MIN_NEW_ELEMENTS_EDEFAULT; | ||
253 | case PartialinterpretationPackage.SCOPE__MAX_NEW_ELEMENTS: | ||
254 | return maxNewElements != MAX_NEW_ELEMENTS_EDEFAULT; | ||
255 | case PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION: | ||
256 | return targetTypeInterpretation != null; | ||
257 | } | ||
258 | return super.eIsSet(featureID); | ||
259 | } | ||
260 | |||
261 | /** | ||
262 | * <!-- begin-user-doc --> | ||
263 | * <!-- end-user-doc --> | ||
264 | * @generated | ||
265 | */ | ||
266 | @Override | ||
267 | public String toString() { | ||
268 | if (eIsProxy()) return super.toString(); | ||
269 | |||
270 | StringBuffer result = new StringBuffer(super.toString()); | ||
271 | result.append(" (minNewElements: "); | ||
272 | result.append(minNewElements); | ||
273 | result.append(", maxNewElements: "); | ||
274 | result.append(maxNewElements); | ||
275 | result.append(')'); | ||
276 | return result.toString(); | ||
277 | } | ||
278 | |||
279 | } //ScopeImpl | ||