aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl
diff options
context:
space:
mode:
authorLibravatar OszkarSemerath <oszkar.semerath@gmail.com>2018-06-13 11:15:12 +0200
committerLibravatar OszkarSemerath <oszkar.semerath@gmail.com>2018-06-13 11:15:12 +0200
commit9e39671e47b12ef63178715b19d2ab23a9acdc11 (patch)
treeeb941857c11e1156d006e1fb6b885d164fed5f3d /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl
parentCleared up visualisation thread (diff)
downloadVIATRA-Generator-9e39671e47b12ef63178715b19d2ab23a9acdc11.tar.gz
VIATRA-Generator-9e39671e47b12ef63178715b19d2ab23a9acdc11.tar.zst
VIATRA-Generator-9e39671e47b12ef63178715b19d2ab23a9acdc11.zip
Updated partial model representation
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl')
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/NaryRelationLinkElementImpl.java62
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialBooleanInterpretationImpl.java37
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialComplexTypeInterpretationImpl.java198
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialIntegerInterpretationImpl.java37
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java571
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialPrimitiveInterpretationImpl.java37
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialRealInterpretationImpl.java37
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialStringInterpretationImpl.java37
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialTypeInterpratationImpl.java103
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationFactoryImpl.java77
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationPackageImpl.java341
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/ScopeImpl.java279
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 */
3package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl; 3package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;
4 4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement;
5import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLinkElement; 6import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLinkElement;
6import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; 7import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
7 8
@@ -9,6 +10,7 @@ import org.eclipse.emf.common.notify.Notification;
9 10
10import org.eclipse.emf.ecore.EClass; 11import org.eclipse.emf.ecore.EClass;
11 12
13import org.eclipse.emf.ecore.InternalEObject;
12import org.eclipse.emf.ecore.impl.ENotificationImpl; 14import org.eclipse.emf.ecore.impl.ENotificationImpl;
13import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; 15import 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 */
3package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;
4
5import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialBooleanInterpretation;
6import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
7
8import 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 */
17public 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 */
3package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration;
6
7import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation;
8import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
9
10import java.util.Collection;
11
12import org.eclipse.emf.common.notify.Notification;
13
14import org.eclipse.emf.common.util.EList;
15
16import org.eclipse.emf.ecore.EClass;
17import org.eclipse.emf.ecore.InternalEObject;
18
19import org.eclipse.emf.ecore.impl.ENotificationImpl;
20
21import 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 */
37public 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 */
3package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;
4
5import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialIntegerInterpretation;
6import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
7
8import 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 */
17public 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
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement; 5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement;
6 6
7import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem; 7import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem;
8
9import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement;
10import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement;
11import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation; 8import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation;
12import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation; 9import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation;
13import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation; 10import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation;
14import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation; 11import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation;
15import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation; 12import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation;
16import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; 13import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
17 14import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope;
18import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement;
19import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement;
20import java.util.Collection; 15import java.util.Collection;
21 16
22import org.eclipse.emf.common.notify.Notification; 17import 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 */
3package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;
4
5import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialPrimitiveInterpretation;
6import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
7
8import 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 */
17public 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 */
3package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;
4
5import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRealInterpretation;
6import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
7
8import 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 */
17public 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 */
3package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;
4
5import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialStringInterpretation;
6import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
7
8import 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 */
17public 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 @@
3package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl; 3package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;
4 4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement; 5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement;
6import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration;
7
8import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation; 6import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation;
9import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; 7import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
10 8
11import java.util.Collection; 9import java.util.Collection;
12import org.eclipse.emf.common.notify.Notification;
13
14import org.eclipse.emf.common.util.EList; 10import org.eclipse.emf.common.util.EList;
15import org.eclipse.emf.ecore.EClass; 11import org.eclipse.emf.ecore.EClass;
16import org.eclipse.emf.ecore.InternalEObject;
17
18import org.eclipse.emf.ecore.impl.ENotificationImpl;
19import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; 12import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
20import org.eclipse.emf.ecore.util.EObjectResolvingEList; 13import 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 */
37public class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container implements PartialTypeInterpratation { 28public 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
11import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement; 11import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement;
12import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLink; 12import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLink;
13import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLinkElement; 13import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLinkElement;
14import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialBooleanInterpretation;
15import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation;
14import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation; 16import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation;
15import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation; 17import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation;
18import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialIntegerInterpretation;
16import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation; 19import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation;
20import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialPrimitiveInterpretation;
21import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRealInterpretation;
17import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation; 22import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation;
23import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialStringInterpretation;
18import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation; 24import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation;
19import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationFactory; 25import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationFactory;
20import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; 26import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
21import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement; 27import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement;
22import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement; 28import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement;
23import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RelationLink; 29import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RelationLink;
30import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope;
24import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement; 31import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement;
25import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.UnaryElementRelationLink; 32import 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 */
3package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;
4
5import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation;
6import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
7import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope;
8
9import org.eclipse.emf.common.notify.Notification;
10
11import org.eclipse.emf.ecore.EClass;
12import org.eclipse.emf.ecore.InternalEObject;
13
14import org.eclipse.emf.ecore.impl.ENotificationImpl;
15import 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 */
32public 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
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-16 00:59:33 +0000