diff options
author | 2020-05-07 02:41:05 +0200 | |
---|---|---|
committer | 2020-05-07 02:41:05 +0200 | |
commit | 28a7fda89898ec9d32d97efe7a0e111f36a8cf87 (patch) | |
tree | 7638c7a5876ff02250c4014cf60b2d8140ad1544 /Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf | |
parent | Adjustments to FamilyTree and Pledge Case studies (diff) | |
download | VIATRA-Generator-28a7fda89898ec9d32d97efe7a0e111f36a8cf87.tar.gz VIATRA-Generator-28a7fda89898ec9d32d97efe7a0e111f36a8cf87.tar.zst VIATRA-Generator-28a7fda89898ec9d32d97efe7a0e111f36a8cf87.zip |
viatra parsing fixes
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf')
4 files changed, 118 insertions, 1 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/TransfomedViatraQuery.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/TransfomedViatraQuery.java index 4ae4d79b..a4654103 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/TransfomedViatraQuery.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/TransfomedViatraQuery.java | |||
@@ -17,6 +17,7 @@ import org.eclipse.emf.common.util.EList; | |||
17 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getPatternFullyQualifiedName <em>Pattern Fully Qualified Name</em>}</li> | 17 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getPatternFullyQualifiedName <em>Pattern Fully Qualified Name</em>}</li> |
18 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getPatternPQuery <em>Pattern PQuery</em>}</li> | 18 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getPatternPQuery <em>Pattern PQuery</em>}</li> |
19 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getVariableTrace <em>Variable Trace</em>}</li> | 19 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getVariableTrace <em>Variable Trace</em>}</li> |
20 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getOptimizedDisjunction <em>Optimized Disjunction</em>}</li> | ||
20 | * </ul> | 21 | * </ul> |
21 | * | 22 | * |
22 | * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage#getTransfomedViatraQuery() | 23 | * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage#getTransfomedViatraQuery() |
@@ -88,4 +89,26 @@ public interface TransfomedViatraQuery extends RelationAnnotation { | |||
88 | * @generated | 89 | * @generated |
89 | */ | 90 | */ |
90 | EList<VariableMapping> getVariableTrace(); | 91 | EList<VariableMapping> getVariableTrace(); |
92 | |||
93 | /** | ||
94 | * Returns the value of the '<em><b>Optimized Disjunction</b></em>' attribute. | ||
95 | * <!-- begin-user-doc --> | ||
96 | * <!-- end-user-doc --> | ||
97 | * @return the value of the '<em>Optimized Disjunction</em>' attribute. | ||
98 | * @see #setOptimizedDisjunction(Object) | ||
99 | * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage#getTransfomedViatraQuery_OptimizedDisjunction() | ||
100 | * @model required="true" transient="true" | ||
101 | * @generated | ||
102 | */ | ||
103 | Object getOptimizedDisjunction(); | ||
104 | |||
105 | /** | ||
106 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getOptimizedDisjunction <em>Optimized Disjunction</em>}' attribute. | ||
107 | * <!-- begin-user-doc --> | ||
108 | * <!-- end-user-doc --> | ||
109 | * @param value the new value of the '<em>Optimized Disjunction</em>' attribute. | ||
110 | * @see #getOptimizedDisjunction() | ||
111 | * @generated | ||
112 | */ | ||
113 | void setOptimizedDisjunction(Object value); | ||
91 | } // TransfomedViatraQuery | 114 | } // TransfomedViatraQuery |
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/Viatra2LogicAnnotationsPackage.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/Viatra2LogicAnnotationsPackage.java index ef83a6cc..a5dcda78 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/Viatra2LogicAnnotationsPackage.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/Viatra2LogicAnnotationsPackage.java | |||
@@ -105,13 +105,22 @@ public interface Viatra2LogicAnnotationsPackage extends EPackage { | |||
105 | int TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE = LogicproblemPackage.RELATION_ANNOTATION_FEATURE_COUNT + 2; | 105 | int TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE = LogicproblemPackage.RELATION_ANNOTATION_FEATURE_COUNT + 2; |
106 | 106 | ||
107 | /** | 107 | /** |
108 | * The feature id for the '<em><b>Optimized Disjunction</b></em>' attribute. | ||
109 | * <!-- begin-user-doc --> | ||
110 | * <!-- end-user-doc --> | ||
111 | * @generated | ||
112 | * @ordered | ||
113 | */ | ||
114 | int TRANSFOMED_VIATRA_QUERY__OPTIMIZED_DISJUNCTION = LogicproblemPackage.RELATION_ANNOTATION_FEATURE_COUNT + 3; | ||
115 | |||
116 | /** | ||
108 | * The number of structural features of the '<em>Transfomed Viatra Query</em>' class. | 117 | * The number of structural features of the '<em>Transfomed Viatra Query</em>' class. |
109 | * <!-- begin-user-doc --> | 118 | * <!-- begin-user-doc --> |
110 | * <!-- end-user-doc --> | 119 | * <!-- end-user-doc --> |
111 | * @generated | 120 | * @generated |
112 | * @ordered | 121 | * @ordered |
113 | */ | 122 | */ |
114 | int TRANSFOMED_VIATRA_QUERY_FEATURE_COUNT = LogicproblemPackage.RELATION_ANNOTATION_FEATURE_COUNT + 3; | 123 | int TRANSFOMED_VIATRA_QUERY_FEATURE_COUNT = LogicproblemPackage.RELATION_ANNOTATION_FEATURE_COUNT + 4; |
115 | 124 | ||
116 | /** | 125 | /** |
117 | * The number of operations of the '<em>Transfomed Viatra Query</em>' class. | 126 | * The number of operations of the '<em>Transfomed Viatra Query</em>' class. |
@@ -307,6 +316,17 @@ public interface Viatra2LogicAnnotationsPackage extends EPackage { | |||
307 | EReference getTransfomedViatraQuery_VariableTrace(); | 316 | EReference getTransfomedViatraQuery_VariableTrace(); |
308 | 317 | ||
309 | /** | 318 | /** |
319 | * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getOptimizedDisjunction <em>Optimized Disjunction</em>}'. | ||
320 | * <!-- begin-user-doc --> | ||
321 | * <!-- end-user-doc --> | ||
322 | * @return the meta object for the attribute '<em>Optimized Disjunction</em>'. | ||
323 | * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getOptimizedDisjunction() | ||
324 | * @see #getTransfomedViatraQuery() | ||
325 | * @generated | ||
326 | */ | ||
327 | EAttribute getTransfomedViatraQuery_OptimizedDisjunction(); | ||
328 | |||
329 | /** | ||
310 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransformedViatraWellformednessConstraint <em>Transformed Viatra Wellformedness Constraint</em>}'. | 330 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransformedViatraWellformednessConstraint <em>Transformed Viatra Wellformedness Constraint</em>}'. |
311 | * <!-- begin-user-doc --> | 331 | * <!-- begin-user-doc --> |
312 | * <!-- end-user-doc --> | 332 | * <!-- end-user-doc --> |
@@ -438,6 +458,14 @@ public interface Viatra2LogicAnnotationsPackage extends EPackage { | |||
438 | EReference TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE = eINSTANCE.getTransfomedViatraQuery_VariableTrace(); | 458 | EReference TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE = eINSTANCE.getTransfomedViatraQuery_VariableTrace(); |
439 | 459 | ||
440 | /** | 460 | /** |
461 | * The meta object literal for the '<em><b>Optimized Disjunction</b></em>' attribute feature. | ||
462 | * <!-- begin-user-doc --> | ||
463 | * <!-- end-user-doc --> | ||
464 | * @generated | ||
465 | */ | ||
466 | EAttribute TRANSFOMED_VIATRA_QUERY__OPTIMIZED_DISJUNCTION = eINSTANCE.getTransfomedViatraQuery_OptimizedDisjunction(); | ||
467 | |||
468 | /** | ||
441 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransformedViatraWellformednessConstraintImpl <em>Transformed Viatra Wellformedness Constraint</em>}' class. | 469 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransformedViatraWellformednessConstraintImpl <em>Transformed Viatra Wellformedness Constraint</em>}' class. |
442 | * <!-- begin-user-doc --> | 470 | * <!-- begin-user-doc --> |
443 | * <!-- end-user-doc --> | 471 | * <!-- end-user-doc --> |
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransfomedViatraQueryImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransfomedViatraQueryImpl.java index 469ba336..d0233450 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransfomedViatraQueryImpl.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransfomedViatraQueryImpl.java | |||
@@ -29,6 +29,7 @@ import org.eclipse.emf.ecore.util.InternalEList; | |||
29 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransfomedViatraQueryImpl#getPatternFullyQualifiedName <em>Pattern Fully Qualified Name</em>}</li> | 29 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransfomedViatraQueryImpl#getPatternFullyQualifiedName <em>Pattern Fully Qualified Name</em>}</li> |
30 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransfomedViatraQueryImpl#getPatternPQuery <em>Pattern PQuery</em>}</li> | 30 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransfomedViatraQueryImpl#getPatternPQuery <em>Pattern PQuery</em>}</li> |
31 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransfomedViatraQueryImpl#getVariableTrace <em>Variable Trace</em>}</li> | 31 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransfomedViatraQueryImpl#getVariableTrace <em>Variable Trace</em>}</li> |
32 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransfomedViatraQueryImpl#getOptimizedDisjunction <em>Optimized Disjunction</em>}</li> | ||
32 | * </ul> | 33 | * </ul> |
33 | * | 34 | * |
34 | * @generated | 35 | * @generated |
@@ -81,6 +82,24 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements | |||
81 | */ | 82 | */ |
82 | protected EList<VariableMapping> variableTrace; | 83 | protected EList<VariableMapping> variableTrace; |
83 | /** | 84 | /** |
85 | * The default value of the '{@link #getOptimizedDisjunction() <em>Optimized Disjunction</em>}' attribute. | ||
86 | * <!-- begin-user-doc --> | ||
87 | * <!-- end-user-doc --> | ||
88 | * @see #getOptimizedDisjunction() | ||
89 | * @generated | ||
90 | * @ordered | ||
91 | */ | ||
92 | protected static final Object OPTIMIZED_DISJUNCTION_EDEFAULT = null; | ||
93 | /** | ||
94 | * The cached value of the '{@link #getOptimizedDisjunction() <em>Optimized Disjunction</em>}' attribute. | ||
95 | * <!-- begin-user-doc --> | ||
96 | * <!-- end-user-doc --> | ||
97 | * @see #getOptimizedDisjunction() | ||
98 | * @generated | ||
99 | * @ordered | ||
100 | */ | ||
101 | protected Object optimizedDisjunction = OPTIMIZED_DISJUNCTION_EDEFAULT; | ||
102 | /** | ||
84 | * <!-- begin-user-doc --> | 103 | * <!-- begin-user-doc --> |
85 | * <!-- end-user-doc --> | 104 | * <!-- end-user-doc --> |
86 | * @generated | 105 | * @generated |
@@ -164,6 +183,29 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements | |||
164 | * @generated | 183 | * @generated |
165 | */ | 184 | */ |
166 | @Override | 185 | @Override |
186 | public Object getOptimizedDisjunction() { | ||
187 | return optimizedDisjunction; | ||
188 | } | ||
189 | |||
190 | /** | ||
191 | * <!-- begin-user-doc --> | ||
192 | * <!-- end-user-doc --> | ||
193 | * @generated | ||
194 | */ | ||
195 | @Override | ||
196 | public void setOptimizedDisjunction(Object newOptimizedDisjunction) { | ||
197 | Object oldOptimizedDisjunction = optimizedDisjunction; | ||
198 | optimizedDisjunction = newOptimizedDisjunction; | ||
199 | if (eNotificationRequired()) | ||
200 | eNotify(new ENotificationImpl(this, Notification.SET, Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__OPTIMIZED_DISJUNCTION, oldOptimizedDisjunction, optimizedDisjunction)); | ||
201 | } | ||
202 | |||
203 | /** | ||
204 | * <!-- begin-user-doc --> | ||
205 | * <!-- end-user-doc --> | ||
206 | * @generated | ||
207 | */ | ||
208 | @Override | ||
167 | public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { | 209 | public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { |
168 | switch (featureID) { | 210 | switch (featureID) { |
169 | case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE: | 211 | case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE: |
@@ -186,6 +228,8 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements | |||
186 | return getPatternPQuery(); | 228 | return getPatternPQuery(); |
187 | case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE: | 229 | case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE: |
188 | return getVariableTrace(); | 230 | return getVariableTrace(); |
231 | case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__OPTIMIZED_DISJUNCTION: | ||
232 | return getOptimizedDisjunction(); | ||
189 | } | 233 | } |
190 | return super.eGet(featureID, resolve, coreType); | 234 | return super.eGet(featureID, resolve, coreType); |
191 | } | 235 | } |
@@ -209,6 +253,9 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements | |||
209 | getVariableTrace().clear(); | 253 | getVariableTrace().clear(); |
210 | getVariableTrace().addAll((Collection<? extends VariableMapping>)newValue); | 254 | getVariableTrace().addAll((Collection<? extends VariableMapping>)newValue); |
211 | return; | 255 | return; |
256 | case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__OPTIMIZED_DISJUNCTION: | ||
257 | setOptimizedDisjunction(newValue); | ||
258 | return; | ||
212 | } | 259 | } |
213 | super.eSet(featureID, newValue); | 260 | super.eSet(featureID, newValue); |
214 | } | 261 | } |
@@ -230,6 +277,9 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements | |||
230 | case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE: | 277 | case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE: |
231 | getVariableTrace().clear(); | 278 | getVariableTrace().clear(); |
232 | return; | 279 | return; |
280 | case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__OPTIMIZED_DISJUNCTION: | ||
281 | setOptimizedDisjunction(OPTIMIZED_DISJUNCTION_EDEFAULT); | ||
282 | return; | ||
233 | } | 283 | } |
234 | super.eUnset(featureID); | 284 | super.eUnset(featureID); |
235 | } | 285 | } |
@@ -248,6 +298,8 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements | |||
248 | return PATTERN_PQUERY_EDEFAULT == null ? patternPQuery != null : !PATTERN_PQUERY_EDEFAULT.equals(patternPQuery); | 298 | return PATTERN_PQUERY_EDEFAULT == null ? patternPQuery != null : !PATTERN_PQUERY_EDEFAULT.equals(patternPQuery); |
249 | case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE: | 299 | case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE: |
250 | return variableTrace != null && !variableTrace.isEmpty(); | 300 | return variableTrace != null && !variableTrace.isEmpty(); |
301 | case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__OPTIMIZED_DISJUNCTION: | ||
302 | return OPTIMIZED_DISJUNCTION_EDEFAULT == null ? optimizedDisjunction != null : !OPTIMIZED_DISJUNCTION_EDEFAULT.equals(optimizedDisjunction); | ||
251 | } | 303 | } |
252 | return super.eIsSet(featureID); | 304 | return super.eIsSet(featureID); |
253 | } | 305 | } |
@@ -266,6 +318,8 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements | |||
266 | result.append(patternFullyQualifiedName); | 318 | result.append(patternFullyQualifiedName); |
267 | result.append(", patternPQuery: "); | 319 | result.append(", patternPQuery: "); |
268 | result.append(patternPQuery); | 320 | result.append(patternPQuery); |
321 | result.append(", optimizedDisjunction: "); | ||
322 | result.append(optimizedDisjunction); | ||
269 | result.append(')'); | 323 | result.append(')'); |
270 | return result.toString(); | 324 | return result.toString(); |
271 | } | 325 | } |
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/Viatra2LogicAnnotationsPackageImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/Viatra2LogicAnnotationsPackageImpl.java index 85474753..ae96f617 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/Viatra2LogicAnnotationsPackageImpl.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/Viatra2LogicAnnotationsPackageImpl.java | |||
@@ -166,6 +166,16 @@ public class Viatra2LogicAnnotationsPackageImpl extends EPackageImpl implements | |||
166 | * @generated | 166 | * @generated |
167 | */ | 167 | */ |
168 | @Override | 168 | @Override |
169 | public EAttribute getTransfomedViatraQuery_OptimizedDisjunction() { | ||
170 | return (EAttribute)transfomedViatraQueryEClass.getEStructuralFeatures().get(3); | ||
171 | } | ||
172 | |||
173 | /** | ||
174 | * <!-- begin-user-doc --> | ||
175 | * <!-- end-user-doc --> | ||
176 | * @generated | ||
177 | */ | ||
178 | @Override | ||
169 | public EClass getTransformedViatraWellformednessConstraint() { | 179 | public EClass getTransformedViatraWellformednessConstraint() { |
170 | return transformedViatraWellformednessConstraintEClass; | 180 | return transformedViatraWellformednessConstraintEClass; |
171 | } | 181 | } |
@@ -263,6 +273,7 @@ public class Viatra2LogicAnnotationsPackageImpl extends EPackageImpl implements | |||
263 | createEAttribute(transfomedViatraQueryEClass, TRANSFOMED_VIATRA_QUERY__PATTERN_FULLY_QUALIFIED_NAME); | 273 | createEAttribute(transfomedViatraQueryEClass, TRANSFOMED_VIATRA_QUERY__PATTERN_FULLY_QUALIFIED_NAME); |
264 | createEAttribute(transfomedViatraQueryEClass, TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY); | 274 | createEAttribute(transfomedViatraQueryEClass, TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY); |
265 | createEReference(transfomedViatraQueryEClass, TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE); | 275 | createEReference(transfomedViatraQueryEClass, TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE); |
276 | createEAttribute(transfomedViatraQueryEClass, TRANSFOMED_VIATRA_QUERY__OPTIMIZED_DISJUNCTION); | ||
266 | 277 | ||
267 | transformedViatraWellformednessConstraintEClass = createEClass(TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT); | 278 | transformedViatraWellformednessConstraintEClass = createEClass(TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT); |
268 | createEReference(transformedViatraWellformednessConstraintEClass, TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT__QUERY); | 279 | createEReference(transformedViatraWellformednessConstraintEClass, TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT__QUERY); |
@@ -316,6 +327,7 @@ public class Viatra2LogicAnnotationsPackageImpl extends EPackageImpl implements | |||
316 | initEAttribute(getTransfomedViatraQuery_PatternFullyQualifiedName(), ecorePackage.getEString(), "patternFullyQualifiedName", null, 1, 1, TransfomedViatraQuery.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 327 | initEAttribute(getTransfomedViatraQuery_PatternFullyQualifiedName(), ecorePackage.getEString(), "patternFullyQualifiedName", null, 1, 1, TransfomedViatraQuery.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
317 | initEAttribute(getTransfomedViatraQuery_PatternPQuery(), ecorePackage.getEJavaObject(), "patternPQuery", null, 1, 1, TransfomedViatraQuery.class, IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 328 | initEAttribute(getTransfomedViatraQuery_PatternPQuery(), ecorePackage.getEJavaObject(), "patternPQuery", null, 1, 1, TransfomedViatraQuery.class, IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
318 | initEReference(getTransfomedViatraQuery_VariableTrace(), this.getVariableMapping(), null, "variableTrace", null, 0, -1, TransfomedViatraQuery.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 329 | initEReference(getTransfomedViatraQuery_VariableTrace(), this.getVariableMapping(), null, "variableTrace", null, 0, -1, TransfomedViatraQuery.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
330 | initEAttribute(getTransfomedViatraQuery_OptimizedDisjunction(), ecorePackage.getEJavaObject(), "optimizedDisjunction", null, 1, 1, TransfomedViatraQuery.class, IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
319 | 331 | ||
320 | initEClass(transformedViatraWellformednessConstraintEClass, TransformedViatraWellformednessConstraint.class, "TransformedViatraWellformednessConstraint", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 332 | initEClass(transformedViatraWellformednessConstraintEClass, TransformedViatraWellformednessConstraint.class, "TransformedViatraWellformednessConstraint", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
321 | initEReference(getTransformedViatraWellformednessConstraint_Query(), this.getTransfomedViatraQuery(), null, "query", null, 1, 1, TransformedViatraWellformednessConstraint.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 333 | initEReference(getTransformedViatraWellformednessConstraint_Query(), this.getTransfomedViatraQuery(), null, "query", null, 1, 1, TransformedViatraWellformednessConstraint.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |