diff options
author | 2018-06-25 00:16:48 +0200 | |
---|---|---|
committer | 2018-06-25 00:16:48 +0200 | |
commit | 6bd475a3eced9d9a912f76e24f91d2ad8da13d54 (patch) | |
tree | 66b3fbfb52e204d605225d1eac7e371eecea791e /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation | |
parent | Fixing multiple "true" and "false" objects (diff) | |
download | VIATRA-Generator-6bd475a3eced9d9a912f76e24f91d2ad8da13d54.tar.gz VIATRA-Generator-6bd475a3eced9d9a912f76e24f91d2ad8da13d54.tar.zst VIATRA-Generator-6bd475a3eced9d9a912f76e24f91d2ad8da13d54.zip |
Fixing multiple true/false + bug preventing generation without PS
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation')
6 files changed, 241 insertions, 6 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialTypeInterpratation.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialTypeInterpratation.java index 8e2def20..1d61421b 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialTypeInterpratation.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialTypeInterpratation.java | |||
@@ -16,6 +16,7 @@ import org.eclipse.emf.ecore.EObject; | |||
16 | * </p> | 16 | * </p> |
17 | * <ul> | 17 | * <ul> |
18 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getElements <em>Elements</em>}</li> | 18 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getElements <em>Elements</em>}</li> |
19 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getScopes <em>Scopes</em>}</li> | ||
19 | * </ul> | 20 | * </ul> |
20 | * | 21 | * |
21 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialTypeInterpratation() | 22 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialTypeInterpratation() |
@@ -39,4 +40,22 @@ public interface PartialTypeInterpratation extends EObject { | |||
39 | */ | 40 | */ |
40 | EList<DefinedElement> getElements(); | 41 | EList<DefinedElement> getElements(); |
41 | 42 | ||
43 | /** | ||
44 | * Returns the value of the '<em><b>Scopes</b></em>' reference list. | ||
45 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope}. | ||
46 | * It is bidirectional and its opposite is '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getTargetTypeInterpretation <em>Target Type Interpretation</em>}'. | ||
47 | * <!-- begin-user-doc --> | ||
48 | * <p> | ||
49 | * If the meaning of the '<em>Scopes</em>' reference list isn't clear, | ||
50 | * there really should be more of a description here... | ||
51 | * </p> | ||
52 | * <!-- end-user-doc --> | ||
53 | * @return the value of the '<em>Scopes</em>' reference list. | ||
54 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialTypeInterpratation_Scopes() | ||
55 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getTargetTypeInterpretation | ||
56 | * @model opposite="targetTypeInterpretation" | ||
57 | * @generated | ||
58 | */ | ||
59 | EList<Scope> getScopes(); | ||
60 | |||
42 | } // PartialTypeInterpratation | 61 | } // PartialTypeInterpratation |
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java index ba04bca8..4f34b9b7 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java | |||
@@ -342,13 +342,22 @@ public interface PartialinterpretationPackage extends EPackage { | |||
342 | int PARTIAL_TYPE_INTERPRATATION__ELEMENTS = 0; | 342 | int PARTIAL_TYPE_INTERPRATATION__ELEMENTS = 0; |
343 | 343 | ||
344 | /** | 344 | /** |
345 | * The feature id for the '<em><b>Scopes</b></em>' reference list. | ||
346 | * <!-- begin-user-doc --> | ||
347 | * <!-- end-user-doc --> | ||
348 | * @generated | ||
349 | * @ordered | ||
350 | */ | ||
351 | int PARTIAL_TYPE_INTERPRATATION__SCOPES = 1; | ||
352 | |||
353 | /** | ||
345 | * The number of structural features of the '<em>Partial Type Interpratation</em>' class. | 354 | * The number of structural features of the '<em>Partial Type Interpratation</em>' class. |
346 | * <!-- begin-user-doc --> | 355 | * <!-- begin-user-doc --> |
347 | * <!-- end-user-doc --> | 356 | * <!-- end-user-doc --> |
348 | * @generated | 357 | * @generated |
349 | * @ordered | 358 | * @ordered |
350 | */ | 359 | */ |
351 | int PARTIAL_TYPE_INTERPRATATION_FEATURE_COUNT = 1; | 360 | int PARTIAL_TYPE_INTERPRATATION_FEATURE_COUNT = 2; |
352 | 361 | ||
353 | /** | 362 | /** |
354 | * The number of operations of the '<em>Partial Type Interpratation</em>' class. | 363 | * The number of operations of the '<em>Partial Type Interpratation</em>' class. |
@@ -941,6 +950,15 @@ public interface PartialinterpretationPackage extends EPackage { | |||
941 | int PARTIAL_PRIMITIVE_INTERPRETATION__ELEMENTS = PARTIAL_TYPE_INTERPRATATION__ELEMENTS; | 950 | int PARTIAL_PRIMITIVE_INTERPRETATION__ELEMENTS = PARTIAL_TYPE_INTERPRATATION__ELEMENTS; |
942 | 951 | ||
943 | /** | 952 | /** |
953 | * The feature id for the '<em><b>Scopes</b></em>' reference list. | ||
954 | * <!-- begin-user-doc --> | ||
955 | * <!-- end-user-doc --> | ||
956 | * @generated | ||
957 | * @ordered | ||
958 | */ | ||
959 | int PARTIAL_PRIMITIVE_INTERPRETATION__SCOPES = PARTIAL_TYPE_INTERPRATATION__SCOPES; | ||
960 | |||
961 | /** | ||
944 | * The number of structural features of the '<em>Partial Primitive Interpretation</em>' class. | 962 | * The number of structural features of the '<em>Partial Primitive Interpretation</em>' class. |
945 | * <!-- begin-user-doc --> | 963 | * <!-- begin-user-doc --> |
946 | * <!-- end-user-doc --> | 964 | * <!-- end-user-doc --> |
@@ -978,6 +996,15 @@ public interface PartialinterpretationPackage extends EPackage { | |||
978 | int PARTIAL_BOOLEAN_INTERPRETATION__ELEMENTS = PARTIAL_PRIMITIVE_INTERPRETATION__ELEMENTS; | 996 | int PARTIAL_BOOLEAN_INTERPRETATION__ELEMENTS = PARTIAL_PRIMITIVE_INTERPRETATION__ELEMENTS; |
979 | 997 | ||
980 | /** | 998 | /** |
999 | * The feature id for the '<em><b>Scopes</b></em>' reference list. | ||
1000 | * <!-- begin-user-doc --> | ||
1001 | * <!-- end-user-doc --> | ||
1002 | * @generated | ||
1003 | * @ordered | ||
1004 | */ | ||
1005 | int PARTIAL_BOOLEAN_INTERPRETATION__SCOPES = PARTIAL_PRIMITIVE_INTERPRETATION__SCOPES; | ||
1006 | |||
1007 | /** | ||
981 | * The number of structural features of the '<em>Partial Boolean Interpretation</em>' class. | 1008 | * The number of structural features of the '<em>Partial Boolean Interpretation</em>' class. |
982 | * <!-- begin-user-doc --> | 1009 | * <!-- begin-user-doc --> |
983 | * <!-- end-user-doc --> | 1010 | * <!-- end-user-doc --> |
@@ -1015,6 +1042,15 @@ public interface PartialinterpretationPackage extends EPackage { | |||
1015 | int PARTIAL_INTEGER_INTERPRETATION__ELEMENTS = PARTIAL_PRIMITIVE_INTERPRETATION__ELEMENTS; | 1042 | int PARTIAL_INTEGER_INTERPRETATION__ELEMENTS = PARTIAL_PRIMITIVE_INTERPRETATION__ELEMENTS; |
1016 | 1043 | ||
1017 | /** | 1044 | /** |
1045 | * The feature id for the '<em><b>Scopes</b></em>' reference list. | ||
1046 | * <!-- begin-user-doc --> | ||
1047 | * <!-- end-user-doc --> | ||
1048 | * @generated | ||
1049 | * @ordered | ||
1050 | */ | ||
1051 | int PARTIAL_INTEGER_INTERPRETATION__SCOPES = PARTIAL_PRIMITIVE_INTERPRETATION__SCOPES; | ||
1052 | |||
1053 | /** | ||
1018 | * The number of structural features of the '<em>Partial Integer Interpretation</em>' class. | 1054 | * The number of structural features of the '<em>Partial Integer Interpretation</em>' class. |
1019 | * <!-- begin-user-doc --> | 1055 | * <!-- begin-user-doc --> |
1020 | * <!-- end-user-doc --> | 1056 | * <!-- end-user-doc --> |
@@ -1052,6 +1088,15 @@ public interface PartialinterpretationPackage extends EPackage { | |||
1052 | int PARTIAL_REAL_INTERPRETATION__ELEMENTS = PARTIAL_PRIMITIVE_INTERPRETATION__ELEMENTS; | 1088 | int PARTIAL_REAL_INTERPRETATION__ELEMENTS = PARTIAL_PRIMITIVE_INTERPRETATION__ELEMENTS; |
1053 | 1089 | ||
1054 | /** | 1090 | /** |
1091 | * The feature id for the '<em><b>Scopes</b></em>' reference list. | ||
1092 | * <!-- begin-user-doc --> | ||
1093 | * <!-- end-user-doc --> | ||
1094 | * @generated | ||
1095 | * @ordered | ||
1096 | */ | ||
1097 | int PARTIAL_REAL_INTERPRETATION__SCOPES = PARTIAL_PRIMITIVE_INTERPRETATION__SCOPES; | ||
1098 | |||
1099 | /** | ||
1055 | * The number of structural features of the '<em>Partial Real Interpretation</em>' class. | 1100 | * The number of structural features of the '<em>Partial Real Interpretation</em>' class. |
1056 | * <!-- begin-user-doc --> | 1101 | * <!-- begin-user-doc --> |
1057 | * <!-- end-user-doc --> | 1102 | * <!-- end-user-doc --> |
@@ -1089,6 +1134,15 @@ public interface PartialinterpretationPackage extends EPackage { | |||
1089 | int PARTIAL_STRING_INTERPRETATION__ELEMENTS = PARTIAL_PRIMITIVE_INTERPRETATION__ELEMENTS; | 1134 | int PARTIAL_STRING_INTERPRETATION__ELEMENTS = PARTIAL_PRIMITIVE_INTERPRETATION__ELEMENTS; |
1090 | 1135 | ||
1091 | /** | 1136 | /** |
1137 | * The feature id for the '<em><b>Scopes</b></em>' reference list. | ||
1138 | * <!-- begin-user-doc --> | ||
1139 | * <!-- end-user-doc --> | ||
1140 | * @generated | ||
1141 | * @ordered | ||
1142 | */ | ||
1143 | int PARTIAL_STRING_INTERPRETATION__SCOPES = PARTIAL_PRIMITIVE_INTERPRETATION__SCOPES; | ||
1144 | |||
1145 | /** | ||
1092 | * The number of structural features of the '<em>Partial String Interpretation</em>' class. | 1146 | * The number of structural features of the '<em>Partial String Interpretation</em>' class. |
1093 | * <!-- begin-user-doc --> | 1147 | * <!-- begin-user-doc --> |
1094 | * <!-- end-user-doc --> | 1148 | * <!-- end-user-doc --> |
@@ -1127,6 +1181,15 @@ public interface PartialinterpretationPackage extends EPackage { | |||
1127 | int PARTIAL_COMPLEX_TYPE_INTERPRETATION__ELEMENTS = PARTIAL_TYPE_INTERPRATATION__ELEMENTS; | 1181 | int PARTIAL_COMPLEX_TYPE_INTERPRETATION__ELEMENTS = PARTIAL_TYPE_INTERPRATATION__ELEMENTS; |
1128 | 1182 | ||
1129 | /** | 1183 | /** |
1184 | * The feature id for the '<em><b>Scopes</b></em>' reference list. | ||
1185 | * <!-- begin-user-doc --> | ||
1186 | * <!-- end-user-doc --> | ||
1187 | * @generated | ||
1188 | * @ordered | ||
1189 | */ | ||
1190 | int PARTIAL_COMPLEX_TYPE_INTERPRETATION__SCOPES = PARTIAL_TYPE_INTERPRATATION__SCOPES; | ||
1191 | |||
1192 | /** | ||
1130 | * The feature id for the '<em><b>Supertype Interpretation</b></em>' reference list. | 1193 | * The feature id for the '<em><b>Supertype Interpretation</b></em>' reference list. |
1131 | * <!-- begin-user-doc --> | 1194 | * <!-- begin-user-doc --> |
1132 | * <!-- end-user-doc --> | 1195 | * <!-- end-user-doc --> |
@@ -1412,6 +1475,17 @@ public interface PartialinterpretationPackage extends EPackage { | |||
1412 | EReference getPartialTypeInterpratation_Elements(); | 1475 | EReference getPartialTypeInterpratation_Elements(); |
1413 | 1476 | ||
1414 | /** | 1477 | /** |
1478 | * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getScopes <em>Scopes</em>}'. | ||
1479 | * <!-- begin-user-doc --> | ||
1480 | * <!-- end-user-doc --> | ||
1481 | * @return the meta object for the reference list '<em>Scopes</em>'. | ||
1482 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getScopes() | ||
1483 | * @see #getPartialTypeInterpratation() | ||
1484 | * @generated | ||
1485 | */ | ||
1486 | EReference getPartialTypeInterpratation_Scopes(); | ||
1487 | |||
1488 | /** | ||
1415 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RelationLink <em>Relation Link</em>}'. | 1489 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RelationLink <em>Relation Link</em>}'. |
1416 | * <!-- begin-user-doc --> | 1490 | * <!-- begin-user-doc --> |
1417 | * <!-- end-user-doc --> | 1491 | * <!-- end-user-doc --> |
@@ -1975,6 +2049,14 @@ public interface PartialinterpretationPackage extends EPackage { | |||
1975 | EReference PARTIAL_TYPE_INTERPRATATION__ELEMENTS = eINSTANCE.getPartialTypeInterpratation_Elements(); | 2049 | EReference PARTIAL_TYPE_INTERPRATATION__ELEMENTS = eINSTANCE.getPartialTypeInterpratation_Elements(); |
1976 | 2050 | ||
1977 | /** | 2051 | /** |
2052 | * The meta object literal for the '<em><b>Scopes</b></em>' reference list feature. | ||
2053 | * <!-- begin-user-doc --> | ||
2054 | * <!-- end-user-doc --> | ||
2055 | * @generated | ||
2056 | */ | ||
2057 | EReference PARTIAL_TYPE_INTERPRATATION__SCOPES = eINSTANCE.getPartialTypeInterpratation_Scopes(); | ||
2058 | |||
2059 | /** | ||
1978 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.RelationLinkImpl <em>Relation Link</em>}' class. | 2060 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.RelationLinkImpl <em>Relation Link</em>}' class. |
1979 | * <!-- begin-user-doc --> | 2061 | * <!-- begin-user-doc --> |
1980 | * <!-- end-user-doc --> | 2062 | * <!-- end-user-doc --> |
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/Scope.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/Scope.java index ba9435c2..155b9f00 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/Scope.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/Scope.java | |||
@@ -79,6 +79,7 @@ public interface Scope extends EObject { | |||
79 | 79 | ||
80 | /** | 80 | /** |
81 | * Returns the value of the '<em><b>Target Type Interpretation</b></em>' reference. | 81 | * Returns the value of the '<em><b>Target Type Interpretation</b></em>' reference. |
82 | * It is bidirectional and its opposite is '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getScopes <em>Scopes</em>}'. | ||
82 | * <!-- begin-user-doc --> | 83 | * <!-- begin-user-doc --> |
83 | * <p> | 84 | * <p> |
84 | * If the meaning of the '<em>Target Type Interpretation</em>' reference isn't clear, | 85 | * If the meaning of the '<em>Target Type Interpretation</em>' reference isn't clear, |
@@ -88,7 +89,8 @@ public interface Scope extends EObject { | |||
88 | * @return the value of the '<em>Target Type Interpretation</em>' reference. | 89 | * @return the value of the '<em>Target Type Interpretation</em>' reference. |
89 | * @see #setTargetTypeInterpretation(PartialTypeInterpratation) | 90 | * @see #setTargetTypeInterpretation(PartialTypeInterpratation) |
90 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getScope_TargetTypeInterpretation() | 91 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getScope_TargetTypeInterpretation() |
91 | * @model required="true" | 92 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getScopes |
93 | * @model opposite="scopes" required="true" | ||
92 | * @generated | 94 | * @generated |
93 | */ | 95 | */ |
94 | PartialTypeInterpratation getTargetTypeInterpretation(); | 96 | PartialTypeInterpratation getTargetTypeInterpretation(); |
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 beb45529..da9b1472 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 | |||
@@ -6,11 +6,16 @@ import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement; | |||
6 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation; | 6 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation; |
7 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; | 7 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; |
8 | 8 | ||
9 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope; | ||
9 | import java.util.Collection; | 10 | import java.util.Collection; |
11 | import org.eclipse.emf.common.notify.NotificationChain; | ||
10 | import org.eclipse.emf.common.util.EList; | 12 | import org.eclipse.emf.common.util.EList; |
11 | import org.eclipse.emf.ecore.EClass; | 13 | import org.eclipse.emf.ecore.EClass; |
14 | import org.eclipse.emf.ecore.InternalEObject; | ||
12 | import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; | 15 | import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; |
13 | import org.eclipse.emf.ecore.util.EObjectResolvingEList; | 16 | import org.eclipse.emf.ecore.util.EObjectResolvingEList; |
17 | import org.eclipse.emf.ecore.util.EObjectWithInverseResolvingEList; | ||
18 | import org.eclipse.emf.ecore.util.InternalEList; | ||
14 | 19 | ||
15 | /** | 20 | /** |
16 | * <!-- begin-user-doc --> | 21 | * <!-- begin-user-doc --> |
@@ -21,6 +26,7 @@ import org.eclipse.emf.ecore.util.EObjectResolvingEList; | |||
21 | * </p> | 26 | * </p> |
22 | * <ul> | 27 | * <ul> |
23 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialTypeInterpratationImpl#getElements <em>Elements</em>}</li> | 28 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialTypeInterpratationImpl#getElements <em>Elements</em>}</li> |
29 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialTypeInterpratationImpl#getScopes <em>Scopes</em>}</li> | ||
24 | * </ul> | 30 | * </ul> |
25 | * | 31 | * |
26 | * @generated | 32 | * @generated |
@@ -37,6 +43,16 @@ public abstract class PartialTypeInterpratationImpl extends MinimalEObjectImpl.C | |||
37 | protected EList<DefinedElement> elements; | 43 | protected EList<DefinedElement> elements; |
38 | 44 | ||
39 | /** | 45 | /** |
46 | * The cached value of the '{@link #getScopes() <em>Scopes</em>}' reference list. | ||
47 | * <!-- begin-user-doc --> | ||
48 | * <!-- end-user-doc --> | ||
49 | * @see #getScopes() | ||
50 | * @generated | ||
51 | * @ordered | ||
52 | */ | ||
53 | protected EList<Scope> scopes; | ||
54 | |||
55 | /** | ||
40 | * <!-- begin-user-doc --> | 56 | * <!-- begin-user-doc --> |
41 | * <!-- end-user-doc --> | 57 | * <!-- end-user-doc --> |
42 | * @generated | 58 | * @generated |
@@ -72,11 +88,54 @@ public abstract class PartialTypeInterpratationImpl extends MinimalEObjectImpl.C | |||
72 | * <!-- end-user-doc --> | 88 | * <!-- end-user-doc --> |
73 | * @generated | 89 | * @generated |
74 | */ | 90 | */ |
91 | public EList<Scope> getScopes() { | ||
92 | if (scopes == null) { | ||
93 | scopes = new EObjectWithInverseResolvingEList<Scope>(Scope.class, this, PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__SCOPES, PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION); | ||
94 | } | ||
95 | return scopes; | ||
96 | } | ||
97 | |||
98 | /** | ||
99 | * <!-- begin-user-doc --> | ||
100 | * <!-- end-user-doc --> | ||
101 | * @generated | ||
102 | */ | ||
103 | @SuppressWarnings("unchecked") | ||
104 | @Override | ||
105 | public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) { | ||
106 | switch (featureID) { | ||
107 | case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__SCOPES: | ||
108 | return ((InternalEList<InternalEObject>)(InternalEList<?>)getScopes()).basicAdd(otherEnd, msgs); | ||
109 | } | ||
110 | return super.eInverseAdd(otherEnd, featureID, msgs); | ||
111 | } | ||
112 | |||
113 | /** | ||
114 | * <!-- begin-user-doc --> | ||
115 | * <!-- end-user-doc --> | ||
116 | * @generated | ||
117 | */ | ||
118 | @Override | ||
119 | public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { | ||
120 | switch (featureID) { | ||
121 | case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__SCOPES: | ||
122 | return ((InternalEList<?>)getScopes()).basicRemove(otherEnd, msgs); | ||
123 | } | ||
124 | return super.eInverseRemove(otherEnd, featureID, msgs); | ||
125 | } | ||
126 | |||
127 | /** | ||
128 | * <!-- begin-user-doc --> | ||
129 | * <!-- end-user-doc --> | ||
130 | * @generated | ||
131 | */ | ||
75 | @Override | 132 | @Override |
76 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | 133 | public Object eGet(int featureID, boolean resolve, boolean coreType) { |
77 | switch (featureID) { | 134 | switch (featureID) { |
78 | case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__ELEMENTS: | 135 | case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__ELEMENTS: |
79 | return getElements(); | 136 | return getElements(); |
137 | case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__SCOPES: | ||
138 | return getScopes(); | ||
80 | } | 139 | } |
81 | return super.eGet(featureID, resolve, coreType); | 140 | return super.eGet(featureID, resolve, coreType); |
82 | } | 141 | } |
@@ -94,6 +153,10 @@ public abstract class PartialTypeInterpratationImpl extends MinimalEObjectImpl.C | |||
94 | getElements().clear(); | 153 | getElements().clear(); |
95 | getElements().addAll((Collection<? extends DefinedElement>)newValue); | 154 | getElements().addAll((Collection<? extends DefinedElement>)newValue); |
96 | return; | 155 | return; |
156 | case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__SCOPES: | ||
157 | getScopes().clear(); | ||
158 | getScopes().addAll((Collection<? extends Scope>)newValue); | ||
159 | return; | ||
97 | } | 160 | } |
98 | super.eSet(featureID, newValue); | 161 | super.eSet(featureID, newValue); |
99 | } | 162 | } |
@@ -109,6 +172,9 @@ public abstract class PartialTypeInterpratationImpl extends MinimalEObjectImpl.C | |||
109 | case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__ELEMENTS: | 172 | case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__ELEMENTS: |
110 | getElements().clear(); | 173 | getElements().clear(); |
111 | return; | 174 | return; |
175 | case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__SCOPES: | ||
176 | getScopes().clear(); | ||
177 | return; | ||
112 | } | 178 | } |
113 | super.eUnset(featureID); | 179 | super.eUnset(featureID); |
114 | } | 180 | } |
@@ -123,6 +189,8 @@ public abstract class PartialTypeInterpratationImpl extends MinimalEObjectImpl.C | |||
123 | switch (featureID) { | 189 | switch (featureID) { |
124 | case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__ELEMENTS: | 190 | case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__ELEMENTS: |
125 | return elements != null && !elements.isEmpty(); | 191 | return elements != null && !elements.isEmpty(); |
192 | case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__SCOPES: | ||
193 | return scopes != null && !scopes.isEmpty(); | ||
126 | } | 194 | } |
127 | return super.eIsSet(featureID); | 195 | return super.eIsSet(featureID); |
128 | } | 196 | } |
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 c0515c43..a21dc306 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 | |||
@@ -476,6 +476,15 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
476 | * <!-- end-user-doc --> | 476 | * <!-- end-user-doc --> |
477 | * @generated | 477 | * @generated |
478 | */ | 478 | */ |
479 | public EReference getPartialTypeInterpratation_Scopes() { | ||
480 | return (EReference)partialTypeInterpratationEClass.getEStructuralFeatures().get(1); | ||
481 | } | ||
482 | |||
483 | /** | ||
484 | * <!-- begin-user-doc --> | ||
485 | * <!-- end-user-doc --> | ||
486 | * @generated | ||
487 | */ | ||
479 | public EClass getRelationLink() { | 488 | public EClass getRelationLink() { |
480 | return relationLinkEClass; | 489 | return relationLinkEClass; |
481 | } | 490 | } |
@@ -823,6 +832,7 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
823 | 832 | ||
824 | partialTypeInterpratationEClass = createEClass(PARTIAL_TYPE_INTERPRATATION); | 833 | partialTypeInterpratationEClass = createEClass(PARTIAL_TYPE_INTERPRATATION); |
825 | createEReference(partialTypeInterpratationEClass, PARTIAL_TYPE_INTERPRATATION__ELEMENTS); | 834 | createEReference(partialTypeInterpratationEClass, PARTIAL_TYPE_INTERPRATATION__ELEMENTS); |
835 | createEReference(partialTypeInterpratationEClass, PARTIAL_TYPE_INTERPRATATION__SCOPES); | ||
826 | 836 | ||
827 | relationLinkEClass = createEClass(RELATION_LINK); | 837 | relationLinkEClass = createEClass(RELATION_LINK); |
828 | 838 | ||
@@ -950,6 +960,7 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
950 | 960 | ||
951 | initEClass(partialTypeInterpratationEClass, PartialTypeInterpratation.class, "PartialTypeInterpratation", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 961 | initEClass(partialTypeInterpratationEClass, PartialTypeInterpratation.class, "PartialTypeInterpratation", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
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); | 962 | 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); |
963 | initEReference(getPartialTypeInterpratation_Scopes(), this.getScope(), this.getScope_TargetTypeInterpretation(), "scopes", null, 0, -1, PartialTypeInterpratation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
953 | 964 | ||
954 | initEClass(relationLinkEClass, RelationLink.class, "RelationLink", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 965 | initEClass(relationLinkEClass, RelationLink.class, "RelationLink", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
955 | 966 | ||
@@ -985,7 +996,7 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
985 | initEClass(scopeEClass, Scope.class, "Scope", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 996 | 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); | 997 | 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); | 998 | 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); | 999 | initEReference(getScope_TargetTypeInterpretation(), this.getPartialTypeInterpratation(), this.getPartialTypeInterpratation_Scopes(), "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 | 1000 | ||
990 | initEClass(partialPrimitiveInterpretationEClass, PartialPrimitiveInterpretation.class, "PartialPrimitiveInterpretation", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1001 | initEClass(partialPrimitiveInterpretationEClass, PartialPrimitiveInterpretation.class, "PartialPrimitiveInterpretation", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
991 | 1002 | ||
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 index 4699aef6..d8ade871 100644 --- 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 | |||
@@ -8,6 +8,7 @@ import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.par | |||
8 | 8 | ||
9 | import org.eclipse.emf.common.notify.Notification; | 9 | import org.eclipse.emf.common.notify.Notification; |
10 | 10 | ||
11 | import org.eclipse.emf.common.notify.NotificationChain; | ||
11 | import org.eclipse.emf.ecore.EClass; | 12 | import org.eclipse.emf.ecore.EClass; |
12 | import org.eclipse.emf.ecore.InternalEObject; | 13 | import org.eclipse.emf.ecore.InternalEObject; |
13 | 14 | ||
@@ -172,11 +173,63 @@ public class ScopeImpl extends MinimalEObjectImpl.Container implements Scope { | |||
172 | * <!-- end-user-doc --> | 173 | * <!-- end-user-doc --> |
173 | * @generated | 174 | * @generated |
174 | */ | 175 | */ |
175 | public void setTargetTypeInterpretation(PartialTypeInterpratation newTargetTypeInterpretation) { | 176 | public NotificationChain basicSetTargetTypeInterpretation(PartialTypeInterpratation newTargetTypeInterpretation, NotificationChain msgs) { |
176 | PartialTypeInterpratation oldTargetTypeInterpretation = targetTypeInterpretation; | 177 | PartialTypeInterpratation oldTargetTypeInterpretation = targetTypeInterpretation; |
177 | targetTypeInterpretation = newTargetTypeInterpretation; | 178 | targetTypeInterpretation = newTargetTypeInterpretation; |
178 | if (eNotificationRequired()) | 179 | if (eNotificationRequired()) { |
179 | eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION, oldTargetTypeInterpretation, targetTypeInterpretation)); | 180 | ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION, oldTargetTypeInterpretation, newTargetTypeInterpretation); |
181 | if (msgs == null) msgs = notification; else msgs.add(notification); | ||
182 | } | ||
183 | return msgs; | ||
184 | } | ||
185 | |||
186 | /** | ||
187 | * <!-- begin-user-doc --> | ||
188 | * <!-- end-user-doc --> | ||
189 | * @generated | ||
190 | */ | ||
191 | public void setTargetTypeInterpretation(PartialTypeInterpratation newTargetTypeInterpretation) { | ||
192 | if (newTargetTypeInterpretation != targetTypeInterpretation) { | ||
193 | NotificationChain msgs = null; | ||
194 | if (targetTypeInterpretation != null) | ||
195 | msgs = ((InternalEObject)targetTypeInterpretation).eInverseRemove(this, PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__SCOPES, PartialTypeInterpratation.class, msgs); | ||
196 | if (newTargetTypeInterpretation != null) | ||
197 | msgs = ((InternalEObject)newTargetTypeInterpretation).eInverseAdd(this, PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__SCOPES, PartialTypeInterpratation.class, msgs); | ||
198 | msgs = basicSetTargetTypeInterpretation(newTargetTypeInterpretation, msgs); | ||
199 | if (msgs != null) msgs.dispatch(); | ||
200 | } | ||
201 | else if (eNotificationRequired()) | ||
202 | eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION, newTargetTypeInterpretation, newTargetTypeInterpretation)); | ||
203 | } | ||
204 | |||
205 | /** | ||
206 | * <!-- begin-user-doc --> | ||
207 | * <!-- end-user-doc --> | ||
208 | * @generated | ||
209 | */ | ||
210 | @Override | ||
211 | public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) { | ||
212 | switch (featureID) { | ||
213 | case PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION: | ||
214 | if (targetTypeInterpretation != null) | ||
215 | msgs = ((InternalEObject)targetTypeInterpretation).eInverseRemove(this, PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__SCOPES, PartialTypeInterpratation.class, msgs); | ||
216 | return basicSetTargetTypeInterpretation((PartialTypeInterpratation)otherEnd, msgs); | ||
217 | } | ||
218 | return super.eInverseAdd(otherEnd, featureID, msgs); | ||
219 | } | ||
220 | |||
221 | /** | ||
222 | * <!-- begin-user-doc --> | ||
223 | * <!-- end-user-doc --> | ||
224 | * @generated | ||
225 | */ | ||
226 | @Override | ||
227 | public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { | ||
228 | switch (featureID) { | ||
229 | case PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION: | ||
230 | return basicSetTargetTypeInterpretation(null, msgs); | ||
231 | } | ||
232 | return super.eInverseRemove(otherEnd, featureID, msgs); | ||
180 | } | 233 | } |
181 | 234 | ||
182 | /** | 235 | /** |