diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem')
8 files changed, 60 insertions, 5 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/AssertionAnnotationImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/AssertionAnnotationImpl.java index 1e015974..8475fa72 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/AssertionAnnotationImpl.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/AssertionAnnotationImpl.java | |||
@@ -64,6 +64,7 @@ public class AssertionAnnotationImpl extends AnnotationImpl implements Assertion | |||
64 | * <!-- end-user-doc --> | 64 | * <!-- end-user-doc --> |
65 | * @generated | 65 | * @generated |
66 | */ | 66 | */ |
67 | @Override | ||
67 | public Assertion getTarget() { | 68 | public Assertion getTarget() { |
68 | if (target != null && target.eIsProxy()) { | 69 | if (target != null && target.eIsProxy()) { |
69 | InternalEObject oldTarget = (InternalEObject)target; | 70 | InternalEObject oldTarget = (InternalEObject)target; |
@@ -105,6 +106,7 @@ public class AssertionAnnotationImpl extends AnnotationImpl implements Assertion | |||
105 | * <!-- end-user-doc --> | 106 | * <!-- end-user-doc --> |
106 | * @generated | 107 | * @generated |
107 | */ | 108 | */ |
109 | @Override | ||
108 | public void setTarget(Assertion newTarget) { | 110 | public void setTarget(Assertion newTarget) { |
109 | if (newTarget != target) { | 111 | if (newTarget != target) { |
110 | NotificationChain msgs = null; | 112 | NotificationChain msgs = null; |
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/ConstantAnnotationImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/ConstantAnnotationImpl.java index 734ce70c..b9021015 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/ConstantAnnotationImpl.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/ConstantAnnotationImpl.java | |||
@@ -64,6 +64,7 @@ public class ConstantAnnotationImpl extends AnnotationImpl implements ConstantAn | |||
64 | * <!-- end-user-doc --> | 64 | * <!-- end-user-doc --> |
65 | * @generated | 65 | * @generated |
66 | */ | 66 | */ |
67 | @Override | ||
67 | public Constant getTarget() { | 68 | public Constant getTarget() { |
68 | if (target != null && target.eIsProxy()) { | 69 | if (target != null && target.eIsProxy()) { |
69 | InternalEObject oldTarget = (InternalEObject)target; | 70 | InternalEObject oldTarget = (InternalEObject)target; |
@@ -105,6 +106,7 @@ public class ConstantAnnotationImpl extends AnnotationImpl implements ConstantAn | |||
105 | * <!-- end-user-doc --> | 106 | * <!-- end-user-doc --> |
106 | * @generated | 107 | * @generated |
107 | */ | 108 | */ |
109 | @Override | ||
108 | public void setTarget(Constant newTarget) { | 110 | public void setTarget(Constant newTarget) { |
109 | if (newTarget != target) { | 111 | if (newTarget != target) { |
110 | NotificationChain msgs = null; | 112 | NotificationChain msgs = null; |
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/ContainmentHierarchyImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/ContainmentHierarchyImpl.java index 909f49a5..bb7b8ede 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/ContainmentHierarchyImpl.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/ContainmentHierarchyImpl.java | |||
@@ -105,6 +105,7 @@ public class ContainmentHierarchyImpl extends MinimalEObjectImpl.Container imple | |||
105 | * <!-- end-user-doc --> | 105 | * <!-- end-user-doc --> |
106 | * @generated | 106 | * @generated |
107 | */ | 107 | */ |
108 | @Override | ||
108 | public EList<Type> getTypesOrderedInHierarchy() { | 109 | public EList<Type> getTypesOrderedInHierarchy() { |
109 | if (typesOrderedInHierarchy == null) { | 110 | if (typesOrderedInHierarchy == null) { |
110 | typesOrderedInHierarchy = new EObjectResolvingEList<Type>(Type.class, this, LogicproblemPackage.CONTAINMENT_HIERARCHY__TYPES_ORDERED_IN_HIERARCHY); | 111 | typesOrderedInHierarchy = new EObjectResolvingEList<Type>(Type.class, this, LogicproblemPackage.CONTAINMENT_HIERARCHY__TYPES_ORDERED_IN_HIERARCHY); |
@@ -117,6 +118,7 @@ public class ContainmentHierarchyImpl extends MinimalEObjectImpl.Container imple | |||
117 | * <!-- end-user-doc --> | 118 | * <!-- end-user-doc --> |
118 | * @generated | 119 | * @generated |
119 | */ | 120 | */ |
121 | @Override | ||
120 | public EList<Function> getContainmentFunctions() { | 122 | public EList<Function> getContainmentFunctions() { |
121 | if (containmentFunctions == null) { | 123 | if (containmentFunctions == null) { |
122 | containmentFunctions = new EObjectResolvingEList<Function>(Function.class, this, LogicproblemPackage.CONTAINMENT_HIERARCHY__CONTAINMENT_FUNCTIONS); | 124 | containmentFunctions = new EObjectResolvingEList<Function>(Function.class, this, LogicproblemPackage.CONTAINMENT_HIERARCHY__CONTAINMENT_FUNCTIONS); |
@@ -129,6 +131,7 @@ public class ContainmentHierarchyImpl extends MinimalEObjectImpl.Container imple | |||
129 | * <!-- end-user-doc --> | 131 | * <!-- end-user-doc --> |
130 | * @generated | 132 | * @generated |
131 | */ | 133 | */ |
134 | @Override | ||
132 | public EList<Relation> getContainmentRelations() { | 135 | public EList<Relation> getContainmentRelations() { |
133 | if (containmentRelations == null) { | 136 | if (containmentRelations == null) { |
134 | containmentRelations = new EObjectResolvingEList<Relation>(Relation.class, this, LogicproblemPackage.CONTAINMENT_HIERARCHY__CONTAINMENT_RELATIONS); | 137 | containmentRelations = new EObjectResolvingEList<Relation>(Relation.class, this, LogicproblemPackage.CONTAINMENT_HIERARCHY__CONTAINMENT_RELATIONS); |
@@ -141,6 +144,7 @@ public class ContainmentHierarchyImpl extends MinimalEObjectImpl.Container imple | |||
141 | * <!-- end-user-doc --> | 144 | * <!-- end-user-doc --> |
142 | * @generated | 145 | * @generated |
143 | */ | 146 | */ |
147 | @Override | ||
144 | public Constant getRootConstant() { | 148 | public Constant getRootConstant() { |
145 | if (rootConstant != null && rootConstant.eIsProxy()) { | 149 | if (rootConstant != null && rootConstant.eIsProxy()) { |
146 | InternalEObject oldRootConstant = (InternalEObject)rootConstant; | 150 | InternalEObject oldRootConstant = (InternalEObject)rootConstant; |
@@ -167,6 +171,7 @@ public class ContainmentHierarchyImpl extends MinimalEObjectImpl.Container imple | |||
167 | * <!-- end-user-doc --> | 171 | * <!-- end-user-doc --> |
168 | * @generated | 172 | * @generated |
169 | */ | 173 | */ |
174 | @Override | ||
170 | public void setRootConstant(Constant newRootConstant) { | 175 | public void setRootConstant(Constant newRootConstant) { |
171 | Constant oldRootConstant = rootConstant; | 176 | Constant oldRootConstant = rootConstant; |
172 | rootConstant = newRootConstant; | 177 | rootConstant = newRootConstant; |
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/FunctionAnnotationImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/FunctionAnnotationImpl.java index 77ee58c2..a65374f8 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/FunctionAnnotationImpl.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/FunctionAnnotationImpl.java | |||
@@ -64,6 +64,7 @@ public class FunctionAnnotationImpl extends AnnotationImpl implements FunctionAn | |||
64 | * <!-- end-user-doc --> | 64 | * <!-- end-user-doc --> |
65 | * @generated | 65 | * @generated |
66 | */ | 66 | */ |
67 | @Override | ||
67 | public Function getTarget() { | 68 | public Function getTarget() { |
68 | if (target != null && target.eIsProxy()) { | 69 | if (target != null && target.eIsProxy()) { |
69 | InternalEObject oldTarget = (InternalEObject)target; | 70 | InternalEObject oldTarget = (InternalEObject)target; |
@@ -105,6 +106,7 @@ public class FunctionAnnotationImpl extends AnnotationImpl implements FunctionAn | |||
105 | * <!-- end-user-doc --> | 106 | * <!-- end-user-doc --> |
106 | * @generated | 107 | * @generated |
107 | */ | 108 | */ |
109 | @Override | ||
108 | public void setTarget(Function newTarget) { | 110 | public void setTarget(Function newTarget) { |
109 | if (newTarget != target) { | 111 | if (newTarget != target) { |
110 | NotificationChain msgs = null; | 112 | NotificationChain msgs = null; |
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/LogicProblemImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/LogicProblemImpl.java index 70b31163..f3aa5808 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/LogicProblemImpl.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/LogicProblemImpl.java | |||
@@ -152,6 +152,7 @@ public class LogicProblemImpl extends MinimalEObjectImpl.Container implements Lo | |||
152 | * <!-- end-user-doc --> | 152 | * <!-- end-user-doc --> |
153 | * @generated | 153 | * @generated |
154 | */ | 154 | */ |
155 | @Override | ||
155 | public EList<Type> getTypes() { | 156 | public EList<Type> getTypes() { |
156 | if (types == null) { | 157 | if (types == null) { |
157 | types = new EObjectContainmentEList<Type>(Type.class, this, LogicproblemPackage.LOGIC_PROBLEM__TYPES); | 158 | types = new EObjectContainmentEList<Type>(Type.class, this, LogicproblemPackage.LOGIC_PROBLEM__TYPES); |
@@ -164,6 +165,7 @@ public class LogicProblemImpl extends MinimalEObjectImpl.Container implements Lo | |||
164 | * <!-- end-user-doc --> | 165 | * <!-- end-user-doc --> |
165 | * @generated | 166 | * @generated |
166 | */ | 167 | */ |
168 | @Override | ||
167 | public EList<Function> getFunctions() { | 169 | public EList<Function> getFunctions() { |
168 | if (functions == null) { | 170 | if (functions == null) { |
169 | functions = new EObjectContainmentEList<Function>(Function.class, this, LogicproblemPackage.LOGIC_PROBLEM__FUNCTIONS); | 171 | functions = new EObjectContainmentEList<Function>(Function.class, this, LogicproblemPackage.LOGIC_PROBLEM__FUNCTIONS); |
@@ -176,6 +178,7 @@ public class LogicProblemImpl extends MinimalEObjectImpl.Container implements Lo | |||
176 | * <!-- end-user-doc --> | 178 | * <!-- end-user-doc --> |
177 | * @generated | 179 | * @generated |
178 | */ | 180 | */ |
181 | @Override | ||
179 | public EList<Assertion> getAssertions() { | 182 | public EList<Assertion> getAssertions() { |
180 | if (assertions == null) { | 183 | if (assertions == null) { |
181 | assertions = new EObjectContainmentEList<Assertion>(Assertion.class, this, LogicproblemPackage.LOGIC_PROBLEM__ASSERTIONS); | 184 | assertions = new EObjectContainmentEList<Assertion>(Assertion.class, this, LogicproblemPackage.LOGIC_PROBLEM__ASSERTIONS); |
@@ -188,6 +191,7 @@ public class LogicProblemImpl extends MinimalEObjectImpl.Container implements Lo | |||
188 | * <!-- end-user-doc --> | 191 | * <!-- end-user-doc --> |
189 | * @generated | 192 | * @generated |
190 | */ | 193 | */ |
194 | @Override | ||
191 | public EList<Relation> getRelations() { | 195 | public EList<Relation> getRelations() { |
192 | if (relations == null) { | 196 | if (relations == null) { |
193 | relations = new EObjectContainmentEList<Relation>(Relation.class, this, LogicproblemPackage.LOGIC_PROBLEM__RELATIONS); | 197 | relations = new EObjectContainmentEList<Relation>(Relation.class, this, LogicproblemPackage.LOGIC_PROBLEM__RELATIONS); |
@@ -200,6 +204,7 @@ public class LogicProblemImpl extends MinimalEObjectImpl.Container implements Lo | |||
200 | * <!-- end-user-doc --> | 204 | * <!-- end-user-doc --> |
201 | * @generated | 205 | * @generated |
202 | */ | 206 | */ |
207 | @Override | ||
203 | public EList<Constant> getConstants() { | 208 | public EList<Constant> getConstants() { |
204 | if (constants == null) { | 209 | if (constants == null) { |
205 | constants = new EObjectContainmentEList<Constant>(Constant.class, this, LogicproblemPackage.LOGIC_PROBLEM__CONSTANTS); | 210 | constants = new EObjectContainmentEList<Constant>(Constant.class, this, LogicproblemPackage.LOGIC_PROBLEM__CONSTANTS); |
@@ -212,6 +217,7 @@ public class LogicProblemImpl extends MinimalEObjectImpl.Container implements Lo | |||
212 | * <!-- end-user-doc --> | 217 | * <!-- end-user-doc --> |
213 | * @generated | 218 | * @generated |
214 | */ | 219 | */ |
220 | @Override | ||
215 | public EList<DefinedElement> getElements() { | 221 | public EList<DefinedElement> getElements() { |
216 | if (elements == null) { | 222 | if (elements == null) { |
217 | elements = new EObjectContainmentEList<DefinedElement>(DefinedElement.class, this, LogicproblemPackage.LOGIC_PROBLEM__ELEMENTS); | 223 | elements = new EObjectContainmentEList<DefinedElement>(DefinedElement.class, this, LogicproblemPackage.LOGIC_PROBLEM__ELEMENTS); |
@@ -224,6 +230,7 @@ public class LogicProblemImpl extends MinimalEObjectImpl.Container implements Lo | |||
224 | * <!-- end-user-doc --> | 230 | * <!-- end-user-doc --> |
225 | * @generated | 231 | * @generated |
226 | */ | 232 | */ |
233 | @Override | ||
227 | public EList<ContainmentHierarchy> getContainmentHierarchies() { | 234 | public EList<ContainmentHierarchy> getContainmentHierarchies() { |
228 | if (containmentHierarchies == null) { | 235 | if (containmentHierarchies == null) { |
229 | containmentHierarchies = new EObjectContainmentEList<ContainmentHierarchy>(ContainmentHierarchy.class, this, LogicproblemPackage.LOGIC_PROBLEM__CONTAINMENT_HIERARCHIES); | 236 | containmentHierarchies = new EObjectContainmentEList<ContainmentHierarchy>(ContainmentHierarchy.class, this, LogicproblemPackage.LOGIC_PROBLEM__CONTAINMENT_HIERARCHIES); |
@@ -236,6 +243,7 @@ public class LogicProblemImpl extends MinimalEObjectImpl.Container implements Lo | |||
236 | * <!-- end-user-doc --> | 243 | * <!-- end-user-doc --> |
237 | * @generated | 244 | * @generated |
238 | */ | 245 | */ |
246 | @Override | ||
239 | public EList<Annotation> getAnnotations() { | 247 | public EList<Annotation> getAnnotations() { |
240 | if (annotations == null) { | 248 | if (annotations == null) { |
241 | annotations = new EObjectContainmentEList<Annotation>(Annotation.class, this, LogicproblemPackage.LOGIC_PROBLEM__ANNOTATIONS); | 249 | annotations = new EObjectContainmentEList<Annotation>(Annotation.class, this, LogicproblemPackage.LOGIC_PROBLEM__ANNOTATIONS); |
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/LogicproblemFactoryImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/LogicproblemFactoryImpl.java index 66a8f116..a4703586 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/LogicproblemFactoryImpl.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/LogicproblemFactoryImpl.java | |||
@@ -73,6 +73,7 @@ public class LogicproblemFactoryImpl extends EFactoryImpl implements Logicproble | |||
73 | * <!-- end-user-doc --> | 73 | * <!-- end-user-doc --> |
74 | * @generated | 74 | * @generated |
75 | */ | 75 | */ |
76 | @Override | ||
76 | public LogicProblem createLogicProblem() { | 77 | public LogicProblem createLogicProblem() { |
77 | LogicProblemImpl logicProblem = new LogicProblemImpl(); | 78 | LogicProblemImpl logicProblem = new LogicProblemImpl(); |
78 | return logicProblem; | 79 | return logicProblem; |
@@ -83,6 +84,7 @@ public class LogicproblemFactoryImpl extends EFactoryImpl implements Logicproble | |||
83 | * <!-- end-user-doc --> | 84 | * <!-- end-user-doc --> |
84 | * @generated | 85 | * @generated |
85 | */ | 86 | */ |
87 | @Override | ||
86 | public ContainmentHierarchy createContainmentHierarchy() { | 88 | public ContainmentHierarchy createContainmentHierarchy() { |
87 | ContainmentHierarchyImpl containmentHierarchy = new ContainmentHierarchyImpl(); | 89 | ContainmentHierarchyImpl containmentHierarchy = new ContainmentHierarchyImpl(); |
88 | return containmentHierarchy; | 90 | return containmentHierarchy; |
@@ -93,6 +95,7 @@ public class LogicproblemFactoryImpl extends EFactoryImpl implements Logicproble | |||
93 | * <!-- end-user-doc --> | 95 | * <!-- end-user-doc --> |
94 | * @generated | 96 | * @generated |
95 | */ | 97 | */ |
98 | @Override | ||
96 | public RelationAnnotation createRelationAnnotation() { | 99 | public RelationAnnotation createRelationAnnotation() { |
97 | RelationAnnotationImpl relationAnnotation = new RelationAnnotationImpl(); | 100 | RelationAnnotationImpl relationAnnotation = new RelationAnnotationImpl(); |
98 | return relationAnnotation; | 101 | return relationAnnotation; |
@@ -103,6 +106,7 @@ public class LogicproblemFactoryImpl extends EFactoryImpl implements Logicproble | |||
103 | * <!-- end-user-doc --> | 106 | * <!-- end-user-doc --> |
104 | * @generated | 107 | * @generated |
105 | */ | 108 | */ |
109 | @Override | ||
106 | public ConstantAnnotation createConstantAnnotation() { | 110 | public ConstantAnnotation createConstantAnnotation() { |
107 | ConstantAnnotationImpl constantAnnotation = new ConstantAnnotationImpl(); | 111 | ConstantAnnotationImpl constantAnnotation = new ConstantAnnotationImpl(); |
108 | return constantAnnotation; | 112 | return constantAnnotation; |
@@ -113,6 +117,7 @@ public class LogicproblemFactoryImpl extends EFactoryImpl implements Logicproble | |||
113 | * <!-- end-user-doc --> | 117 | * <!-- end-user-doc --> |
114 | * @generated | 118 | * @generated |
115 | */ | 119 | */ |
120 | @Override | ||
116 | public FunctionAnnotation createFunctionAnnotation() { | 121 | public FunctionAnnotation createFunctionAnnotation() { |
117 | FunctionAnnotationImpl functionAnnotation = new FunctionAnnotationImpl(); | 122 | FunctionAnnotationImpl functionAnnotation = new FunctionAnnotationImpl(); |
118 | return functionAnnotation; | 123 | return functionAnnotation; |
@@ -123,6 +128,7 @@ public class LogicproblemFactoryImpl extends EFactoryImpl implements Logicproble | |||
123 | * <!-- end-user-doc --> | 128 | * <!-- end-user-doc --> |
124 | * @generated | 129 | * @generated |
125 | */ | 130 | */ |
131 | @Override | ||
126 | public AssertionAnnotation createAssertionAnnotation() { | 132 | public AssertionAnnotation createAssertionAnnotation() { |
127 | AssertionAnnotationImpl assertionAnnotation = new AssertionAnnotationImpl(); | 133 | AssertionAnnotationImpl assertionAnnotation = new AssertionAnnotationImpl(); |
128 | return assertionAnnotation; | 134 | return assertionAnnotation; |
@@ -133,6 +139,7 @@ public class LogicproblemFactoryImpl extends EFactoryImpl implements Logicproble | |||
133 | * <!-- end-user-doc --> | 139 | * <!-- end-user-doc --> |
134 | * @generated | 140 | * @generated |
135 | */ | 141 | */ |
142 | @Override | ||
136 | public Annotation createAnnotation() { | 143 | public Annotation createAnnotation() { |
137 | AnnotationImpl annotation = new AnnotationImpl(); | 144 | AnnotationImpl annotation = new AnnotationImpl(); |
138 | return annotation; | 145 | return annotation; |
@@ -143,6 +150,7 @@ public class LogicproblemFactoryImpl extends EFactoryImpl implements Logicproble | |||
143 | * <!-- end-user-doc --> | 150 | * <!-- end-user-doc --> |
144 | * @generated | 151 | * @generated |
145 | */ | 152 | */ |
153 | @Override | ||
146 | public LogicproblemPackage getLogicproblemPackage() { | 154 | public LogicproblemPackage getLogicproblemPackage() { |
147 | return (LogicproblemPackage)getEPackage(); | 155 | return (LogicproblemPackage)getEPackage(); |
148 | } | 156 | } |
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/LogicproblemPackageImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/LogicproblemPackageImpl.java index 1dd429e7..3d50b05c 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/LogicproblemPackageImpl.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/LogicproblemPackageImpl.java | |||
@@ -109,7 +109,7 @@ public class LogicproblemPackageImpl extends EPackageImpl implements Logicproble | |||
109 | 109 | ||
110 | /** | 110 | /** |
111 | * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends. | 111 | * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends. |
112 | * | 112 | * |
113 | * <p>This method is used to initialize {@link LogicproblemPackage#eINSTANCE} when that field is accessed. | 113 | * <p>This method is used to initialize {@link LogicproblemPackage#eINSTANCE} when that field is accessed. |
114 | * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package. | 114 | * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package. |
115 | * <!-- begin-user-doc --> | 115 | * <!-- begin-user-doc --> |
@@ -123,13 +123,16 @@ public class LogicproblemPackageImpl extends EPackageImpl implements Logicproble | |||
123 | if (isInited) return (LogicproblemPackage)EPackage.Registry.INSTANCE.getEPackage(LogicproblemPackage.eNS_URI); | 123 | if (isInited) return (LogicproblemPackage)EPackage.Registry.INSTANCE.getEPackage(LogicproblemPackage.eNS_URI); |
124 | 124 | ||
125 | // Obtain or create and register package | 125 | // Obtain or create and register package |
126 | LogicproblemPackageImpl theLogicproblemPackage = (LogicproblemPackageImpl)(EPackage.Registry.INSTANCE.get(eNS_URI) instanceof LogicproblemPackageImpl ? EPackage.Registry.INSTANCE.get(eNS_URI) : new LogicproblemPackageImpl()); | 126 | Object registeredLogicproblemPackage = EPackage.Registry.INSTANCE.get(eNS_URI); |
127 | LogicproblemPackageImpl theLogicproblemPackage = registeredLogicproblemPackage instanceof LogicproblemPackageImpl ? (LogicproblemPackageImpl)registeredLogicproblemPackage : new LogicproblemPackageImpl(); | ||
127 | 128 | ||
128 | isInited = true; | 129 | isInited = true; |
129 | 130 | ||
130 | // Obtain or create and register interdependencies | 131 | // Obtain or create and register interdependencies |
131 | LogiclanguagePackageImpl theLogiclanguagePackage = (LogiclanguagePackageImpl)(EPackage.Registry.INSTANCE.getEPackage(LogiclanguagePackage.eNS_URI) instanceof LogiclanguagePackageImpl ? EPackage.Registry.INSTANCE.getEPackage(LogiclanguagePackage.eNS_URI) : LogiclanguagePackage.eINSTANCE); | 132 | Object registeredPackage = EPackage.Registry.INSTANCE.getEPackage(LogiclanguagePackage.eNS_URI); |
132 | LogicresultPackageImpl theLogicresultPackage = (LogicresultPackageImpl)(EPackage.Registry.INSTANCE.getEPackage(LogicresultPackage.eNS_URI) instanceof LogicresultPackageImpl ? EPackage.Registry.INSTANCE.getEPackage(LogicresultPackage.eNS_URI) : LogicresultPackage.eINSTANCE); | 133 | LogiclanguagePackageImpl theLogiclanguagePackage = (LogiclanguagePackageImpl)(registeredPackage instanceof LogiclanguagePackageImpl ? registeredPackage : LogiclanguagePackage.eINSTANCE); |
134 | registeredPackage = EPackage.Registry.INSTANCE.getEPackage(LogicresultPackage.eNS_URI); | ||
135 | LogicresultPackageImpl theLogicresultPackage = (LogicresultPackageImpl)(registeredPackage instanceof LogicresultPackageImpl ? registeredPackage : LogicresultPackage.eINSTANCE); | ||
133 | 136 | ||
134 | // Create package meta-data objects | 137 | // Create package meta-data objects |
135 | theLogicproblemPackage.createPackageContents(); | 138 | theLogicproblemPackage.createPackageContents(); |
@@ -144,7 +147,6 @@ public class LogicproblemPackageImpl extends EPackageImpl implements Logicproble | |||
144 | // Mark meta-data to indicate it can't be changed | 147 | // Mark meta-data to indicate it can't be changed |
145 | theLogicproblemPackage.freeze(); | 148 | theLogicproblemPackage.freeze(); |
146 | 149 | ||
147 | |||
148 | // Update the registry and return the package | 150 | // Update the registry and return the package |
149 | EPackage.Registry.INSTANCE.put(LogicproblemPackage.eNS_URI, theLogicproblemPackage); | 151 | EPackage.Registry.INSTANCE.put(LogicproblemPackage.eNS_URI, theLogicproblemPackage); |
150 | return theLogicproblemPackage; | 152 | return theLogicproblemPackage; |
@@ -155,6 +157,7 @@ public class LogicproblemPackageImpl extends EPackageImpl implements Logicproble | |||
155 | * <!-- end-user-doc --> | 157 | * <!-- end-user-doc --> |
156 | * @generated | 158 | * @generated |
157 | */ | 159 | */ |
160 | @Override | ||
158 | public EClass getLogicProblem() { | 161 | public EClass getLogicProblem() { |
159 | return logicProblemEClass; | 162 | return logicProblemEClass; |
160 | } | 163 | } |
@@ -164,6 +167,7 @@ public class LogicproblemPackageImpl extends EPackageImpl implements Logicproble | |||
164 | * <!-- end-user-doc --> | 167 | * <!-- end-user-doc --> |
165 | * @generated | 168 | * @generated |
166 | */ | 169 | */ |
170 | @Override | ||
167 | public EReference getLogicProblem_Types() { | 171 | public EReference getLogicProblem_Types() { |
168 | return (EReference)logicProblemEClass.getEStructuralFeatures().get(0); | 172 | return (EReference)logicProblemEClass.getEStructuralFeatures().get(0); |
169 | } | 173 | } |
@@ -173,6 +177,7 @@ public class LogicproblemPackageImpl extends EPackageImpl implements Logicproble | |||
173 | * <!-- end-user-doc --> | 177 | * <!-- end-user-doc --> |
174 | * @generated | 178 | * @generated |
175 | */ | 179 | */ |
180 | @Override | ||
176 | public EReference getLogicProblem_Functions() { | 181 | public EReference getLogicProblem_Functions() { |
177 | return (EReference)logicProblemEClass.getEStructuralFeatures().get(1); | 182 | return (EReference)logicProblemEClass.getEStructuralFeatures().get(1); |
178 | } | 183 | } |
@@ -182,6 +187,7 @@ public class LogicproblemPackageImpl extends EPackageImpl implements Logicproble | |||
182 | * <!-- end-user-doc --> | 187 | * <!-- end-user-doc --> |
183 | * @generated | 188 | * @generated |
184 | */ | 189 | */ |
190 | @Override | ||
185 | public EReference getLogicProblem_Assertions() { | 191 | public EReference getLogicProblem_Assertions() { |
186 | return (EReference)logicProblemEClass.getEStructuralFeatures().get(2); | 192 | return (EReference)logicProblemEClass.getEStructuralFeatures().get(2); |
187 | } | 193 | } |
@@ -191,6 +197,7 @@ public class LogicproblemPackageImpl extends EPackageImpl implements Logicproble | |||
191 | * <!-- end-user-doc --> | 197 | * <!-- end-user-doc --> |
192 | * @generated | 198 | * @generated |
193 | */ | 199 | */ |
200 | @Override | ||
194 | public EReference getLogicProblem_Relations() { | 201 | public EReference getLogicProblem_Relations() { |
195 | return (EReference)logicProblemEClass.getEStructuralFeatures().get(3); | 202 | return (EReference)logicProblemEClass.getEStructuralFeatures().get(3); |
196 | } | 203 | } |
@@ -200,6 +207,7 @@ public class LogicproblemPackageImpl extends EPackageImpl implements Logicproble | |||
200 | * <!-- end-user-doc --> | 207 | * <!-- end-user-doc --> |
201 | * @generated | 208 | * @generated |
202 | */ | 209 | */ |
210 | @Override | ||
203 | public EReference getLogicProblem_Constants() { | 211 | public EReference getLogicProblem_Constants() { |
204 | return (EReference)logicProblemEClass.getEStructuralFeatures().get(4); | 212 | return (EReference)logicProblemEClass.getEStructuralFeatures().get(4); |
205 | } | 213 | } |
@@ -209,6 +217,7 @@ public class LogicproblemPackageImpl extends EPackageImpl implements Logicproble | |||
209 | * <!-- end-user-doc --> | 217 | * <!-- end-user-doc --> |
210 | * @generated | 218 | * @generated |
211 | */ | 219 | */ |
220 | @Override | ||
212 | public EReference getLogicProblem_Elements() { | 221 | public EReference getLogicProblem_Elements() { |
213 | return (EReference)logicProblemEClass.getEStructuralFeatures().get(5); | 222 | return (EReference)logicProblemEClass.getEStructuralFeatures().get(5); |
214 | } | 223 | } |
@@ -218,6 +227,7 @@ public class LogicproblemPackageImpl extends EPackageImpl implements Logicproble | |||
218 | * <!-- end-user-doc --> | 227 | * <!-- end-user-doc --> |
219 | * @generated | 228 | * @generated |
220 | */ | 229 | */ |
230 | @Override | ||
221 | public EReference getLogicProblem_ContainmentHierarchies() { | 231 | public EReference getLogicProblem_ContainmentHierarchies() { |
222 | return (EReference)logicProblemEClass.getEStructuralFeatures().get(6); | 232 | return (EReference)logicProblemEClass.getEStructuralFeatures().get(6); |
223 | } | 233 | } |
@@ -227,6 +237,7 @@ public class LogicproblemPackageImpl extends EPackageImpl implements Logicproble | |||
227 | * <!-- end-user-doc --> | 237 | * <!-- end-user-doc --> |
228 | * @generated | 238 | * @generated |
229 | */ | 239 | */ |
240 | @Override | ||
230 | public EReference getLogicProblem_Annotations() { | 241 | public EReference getLogicProblem_Annotations() { |
231 | return (EReference)logicProblemEClass.getEStructuralFeatures().get(7); | 242 | return (EReference)logicProblemEClass.getEStructuralFeatures().get(7); |
232 | } | 243 | } |
@@ -236,6 +247,7 @@ public class LogicproblemPackageImpl extends EPackageImpl implements Logicproble | |||
236 | * <!-- end-user-doc --> | 247 | * <!-- end-user-doc --> |
237 | * @generated | 248 | * @generated |
238 | */ | 249 | */ |
250 | @Override | ||
239 | public EClass getContainmentHierarchy() { | 251 | public EClass getContainmentHierarchy() { |
240 | return containmentHierarchyEClass; | 252 | return containmentHierarchyEClass; |
241 | } | 253 | } |
@@ -245,6 +257,7 @@ public class LogicproblemPackageImpl extends EPackageImpl implements Logicproble | |||
245 | * <!-- end-user-doc --> | 257 | * <!-- end-user-doc --> |
246 | * @generated | 258 | * @generated |
247 | */ | 259 | */ |
260 | @Override | ||
248 | public EReference getContainmentHierarchy_TypesOrderedInHierarchy() { | 261 | public EReference getContainmentHierarchy_TypesOrderedInHierarchy() { |
249 | return (EReference)containmentHierarchyEClass.getEStructuralFeatures().get(0); | 262 | return (EReference)containmentHierarchyEClass.getEStructuralFeatures().get(0); |
250 | } | 263 | } |
@@ -254,6 +267,7 @@ public class LogicproblemPackageImpl extends EPackageImpl implements Logicproble | |||
254 | * <!-- end-user-doc --> | 267 | * <!-- end-user-doc --> |
255 | * @generated | 268 | * @generated |
256 | */ | 269 | */ |
270 | @Override | ||
257 | public EReference getContainmentHierarchy_ContainmentFunctions() { | 271 | public EReference getContainmentHierarchy_ContainmentFunctions() { |
258 | return (EReference)containmentHierarchyEClass.getEStructuralFeatures().get(1); | 272 | return (EReference)containmentHierarchyEClass.getEStructuralFeatures().get(1); |
259 | } | 273 | } |
@@ -263,6 +277,7 @@ public class LogicproblemPackageImpl extends EPackageImpl implements Logicproble | |||
263 | * <!-- end-user-doc --> | 277 | * <!-- end-user-doc --> |
264 | * @generated | 278 | * @generated |
265 | */ | 279 | */ |
280 | @Override | ||
266 | public EReference getContainmentHierarchy_ContainmentRelations() { | 281 | public EReference getContainmentHierarchy_ContainmentRelations() { |
267 | return (EReference)containmentHierarchyEClass.getEStructuralFeatures().get(2); | 282 | return (EReference)containmentHierarchyEClass.getEStructuralFeatures().get(2); |
268 | } | 283 | } |
@@ -272,6 +287,7 @@ public class LogicproblemPackageImpl extends EPackageImpl implements Logicproble | |||
272 | * <!-- end-user-doc --> | 287 | * <!-- end-user-doc --> |
273 | * @generated | 288 | * @generated |
274 | */ | 289 | */ |
290 | @Override | ||
275 | public EReference getContainmentHierarchy_RootConstant() { | 291 | public EReference getContainmentHierarchy_RootConstant() { |
276 | return (EReference)containmentHierarchyEClass.getEStructuralFeatures().get(3); | 292 | return (EReference)containmentHierarchyEClass.getEStructuralFeatures().get(3); |
277 | } | 293 | } |
@@ -281,6 +297,7 @@ public class LogicproblemPackageImpl extends EPackageImpl implements Logicproble | |||
281 | * <!-- end-user-doc --> | 297 | * <!-- end-user-doc --> |
282 | * @generated | 298 | * @generated |
283 | */ | 299 | */ |
300 | @Override | ||
284 | public EClass getRelationAnnotation() { | 301 | public EClass getRelationAnnotation() { |
285 | return relationAnnotationEClass; | 302 | return relationAnnotationEClass; |
286 | } | 303 | } |
@@ -290,6 +307,7 @@ public class LogicproblemPackageImpl extends EPackageImpl implements Logicproble | |||
290 | * <!-- end-user-doc --> | 307 | * <!-- end-user-doc --> |
291 | * @generated | 308 | * @generated |
292 | */ | 309 | */ |
310 | @Override | ||
293 | public EReference getRelationAnnotation_Target() { | 311 | public EReference getRelationAnnotation_Target() { |
294 | return (EReference)relationAnnotationEClass.getEStructuralFeatures().get(0); | 312 | return (EReference)relationAnnotationEClass.getEStructuralFeatures().get(0); |
295 | } | 313 | } |
@@ -299,6 +317,7 @@ public class LogicproblemPackageImpl extends EPackageImpl implements Logicproble | |||
299 | * <!-- end-user-doc --> | 317 | * <!-- end-user-doc --> |
300 | * @generated | 318 | * @generated |
301 | */ | 319 | */ |
320 | @Override | ||
302 | public EClass getConstantAnnotation() { | 321 | public EClass getConstantAnnotation() { |
303 | return constantAnnotationEClass; | 322 | return constantAnnotationEClass; |
304 | } | 323 | } |
@@ -308,6 +327,7 @@ public class LogicproblemPackageImpl extends EPackageImpl implements Logicproble | |||
308 | * <!-- end-user-doc --> | 327 | * <!-- end-user-doc --> |
309 | * @generated | 328 | * @generated |
310 | */ | 329 | */ |
330 | @Override | ||
311 | public EReference getConstantAnnotation_Target() { | 331 | public EReference getConstantAnnotation_Target() { |
312 | return (EReference)constantAnnotationEClass.getEStructuralFeatures().get(0); | 332 | return (EReference)constantAnnotationEClass.getEStructuralFeatures().get(0); |
313 | } | 333 | } |
@@ -317,6 +337,7 @@ public class LogicproblemPackageImpl extends EPackageImpl implements Logicproble | |||
317 | * <!-- end-user-doc --> | 337 | * <!-- end-user-doc --> |
318 | * @generated | 338 | * @generated |
319 | */ | 339 | */ |
340 | @Override | ||
320 | public EClass getFunctionAnnotation() { | 341 | public EClass getFunctionAnnotation() { |
321 | return functionAnnotationEClass; | 342 | return functionAnnotationEClass; |
322 | } | 343 | } |
@@ -326,6 +347,7 @@ public class LogicproblemPackageImpl extends EPackageImpl implements Logicproble | |||
326 | * <!-- end-user-doc --> | 347 | * <!-- end-user-doc --> |
327 | * @generated | 348 | * @generated |
328 | */ | 349 | */ |
350 | @Override | ||
329 | public EReference getFunctionAnnotation_Target() { | 351 | public EReference getFunctionAnnotation_Target() { |
330 | return (EReference)functionAnnotationEClass.getEStructuralFeatures().get(0); | 352 | return (EReference)functionAnnotationEClass.getEStructuralFeatures().get(0); |
331 | } | 353 | } |
@@ -335,6 +357,7 @@ public class LogicproblemPackageImpl extends EPackageImpl implements Logicproble | |||
335 | * <!-- end-user-doc --> | 357 | * <!-- end-user-doc --> |
336 | * @generated | 358 | * @generated |
337 | */ | 359 | */ |
360 | @Override | ||
338 | public EClass getAssertionAnnotation() { | 361 | public EClass getAssertionAnnotation() { |
339 | return assertionAnnotationEClass; | 362 | return assertionAnnotationEClass; |
340 | } | 363 | } |
@@ -344,6 +367,7 @@ public class LogicproblemPackageImpl extends EPackageImpl implements Logicproble | |||
344 | * <!-- end-user-doc --> | 367 | * <!-- end-user-doc --> |
345 | * @generated | 368 | * @generated |
346 | */ | 369 | */ |
370 | @Override | ||
347 | public EReference getAssertionAnnotation_Target() { | 371 | public EReference getAssertionAnnotation_Target() { |
348 | return (EReference)assertionAnnotationEClass.getEStructuralFeatures().get(0); | 372 | return (EReference)assertionAnnotationEClass.getEStructuralFeatures().get(0); |
349 | } | 373 | } |
@@ -353,6 +377,7 @@ public class LogicproblemPackageImpl extends EPackageImpl implements Logicproble | |||
353 | * <!-- end-user-doc --> | 377 | * <!-- end-user-doc --> |
354 | * @generated | 378 | * @generated |
355 | */ | 379 | */ |
380 | @Override | ||
356 | public EClass getAnnotation() { | 381 | public EClass getAnnotation() { |
357 | return annotationEClass; | 382 | return annotationEClass; |
358 | } | 383 | } |
@@ -362,6 +387,7 @@ public class LogicproblemPackageImpl extends EPackageImpl implements Logicproble | |||
362 | * <!-- end-user-doc --> | 387 | * <!-- end-user-doc --> |
363 | * @generated | 388 | * @generated |
364 | */ | 389 | */ |
390 | @Override | ||
365 | public LogicproblemFactory getLogicproblemFactory() { | 391 | public LogicproblemFactory getLogicproblemFactory() { |
366 | return (LogicproblemFactory)getEFactoryInstance(); | 392 | return (LogicproblemFactory)getEFactoryInstance(); |
367 | } | 393 | } |
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/RelationAnnotationImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/RelationAnnotationImpl.java index 23fb6e5d..22e5527e 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/RelationAnnotationImpl.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/RelationAnnotationImpl.java | |||
@@ -64,6 +64,7 @@ public class RelationAnnotationImpl extends AnnotationImpl implements RelationAn | |||
64 | * <!-- end-user-doc --> | 64 | * <!-- end-user-doc --> |
65 | * @generated | 65 | * @generated |
66 | */ | 66 | */ |
67 | @Override | ||
67 | public Relation getTarget() { | 68 | public Relation getTarget() { |
68 | if (target != null && target.eIsProxy()) { | 69 | if (target != null && target.eIsProxy()) { |
69 | InternalEObject oldTarget = (InternalEObject)target; | 70 | InternalEObject oldTarget = (InternalEObject)target; |
@@ -105,6 +106,7 @@ public class RelationAnnotationImpl extends AnnotationImpl implements RelationAn | |||
105 | * <!-- end-user-doc --> | 106 | * <!-- end-user-doc --> |
106 | * @generated | 107 | * @generated |
107 | */ | 108 | */ |
109 | @Override | ||
108 | public void setTarget(Relation newTarget) { | 110 | public void setTarget(Relation newTarget) { |
109 | if (newTarget != target) { | 111 | if (newTarget != target) { |
110 | NotificationChain msgs = null; | 112 | NotificationChain msgs = null; |