diff options
author | 2018-05-14 12:55:47 +0200 | |
---|---|---|
committer | 2018-05-14 12:55:47 +0200 | |
commit | a993b72eb3e038897767c79d054467a6986d2085 (patch) | |
tree | 6ebd0c0e4d074bc7a97651e780c228014dccf42d /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit | |
parent | derived feature -> partial relation bugfix (diff) | |
download | VIATRA-Generator-a993b72eb3e038897767c79d054467a6986d2085.tar.gz VIATRA-Generator-a993b72eb3e038897767c79d054467a6986d2085.tar.zst VIATRA-Generator-a993b72eb3e038897767c79d054467a6986d2085.zip |
Moved partial model management is moved to one project (+1 PM edge fix)
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit')
8 files changed, 1133 insertions, 0 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/Partial2logicannotationsFactory.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/Partial2logicannotationsFactory.java new file mode 100644 index 00000000..7d53f823 --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/Partial2logicannotationsFactory.java | |||
@@ -0,0 +1,42 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations; | ||
4 | |||
5 | import org.eclipse.emf.ecore.EFactory; | ||
6 | |||
7 | /** | ||
8 | * <!-- begin-user-doc --> | ||
9 | * The <b>Factory</b> for the model. | ||
10 | * It provides a create method for each non-abstract class of the model. | ||
11 | * <!-- end-user-doc --> | ||
12 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsPackage | ||
13 | * @generated | ||
14 | */ | ||
15 | public interface Partial2logicannotationsFactory extends EFactory { | ||
16 | /** | ||
17 | * The singleton instance of the factory. | ||
18 | * <!-- begin-user-doc --> | ||
19 | * <!-- end-user-doc --> | ||
20 | * @generated | ||
21 | */ | ||
22 | Partial2logicannotationsFactory eINSTANCE = hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl.Partial2logicannotationsFactoryImpl.init(); | ||
23 | |||
24 | /** | ||
25 | * Returns a new object of class '<em>Partial Model Relation2 Assertion</em>'. | ||
26 | * <!-- begin-user-doc --> | ||
27 | * <!-- end-user-doc --> | ||
28 | * @return a new object of class '<em>Partial Model Relation2 Assertion</em>'. | ||
29 | * @generated | ||
30 | */ | ||
31 | PartialModelRelation2Assertion createPartialModelRelation2Assertion(); | ||
32 | |||
33 | /** | ||
34 | * Returns the package supported by this factory. | ||
35 | * <!-- begin-user-doc --> | ||
36 | * <!-- end-user-doc --> | ||
37 | * @return the package supported by this factory. | ||
38 | * @generated | ||
39 | */ | ||
40 | Partial2logicannotationsPackage getPartial2logicannotationsPackage(); | ||
41 | |||
42 | } //Partial2logicannotationsFactory | ||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/Partial2logicannotationsPackage.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/Partial2logicannotationsPackage.java new file mode 100644 index 00000000..25438ba2 --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/Partial2logicannotationsPackage.java | |||
@@ -0,0 +1,199 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage; | ||
6 | |||
7 | import org.eclipse.emf.ecore.EClass; | ||
8 | import org.eclipse.emf.ecore.EPackage; | ||
9 | import org.eclipse.emf.ecore.EReference; | ||
10 | |||
11 | /** | ||
12 | * <!-- begin-user-doc --> | ||
13 | * The <b>Package</b> for the model. | ||
14 | * It contains accessors for the meta objects to represent | ||
15 | * <ul> | ||
16 | * <li>each class,</li> | ||
17 | * <li>each feature of each class,</li> | ||
18 | * <li>each operation of each class,</li> | ||
19 | * <li>each enum,</li> | ||
20 | * <li>and each data type</li> | ||
21 | * </ul> | ||
22 | * <!-- end-user-doc --> | ||
23 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsFactory | ||
24 | * @model kind="package" | ||
25 | * @generated | ||
26 | */ | ||
27 | public interface Partial2logicannotationsPackage extends EPackage { | ||
28 | /** | ||
29 | * The package name. | ||
30 | * <!-- begin-user-doc --> | ||
31 | * <!-- end-user-doc --> | ||
32 | * @generated | ||
33 | */ | ||
34 | String eNAME = "partial2logicannotations"; | ||
35 | |||
36 | /** | ||
37 | * The package namespace URI. | ||
38 | * <!-- begin-user-doc --> | ||
39 | * <!-- end-user-doc --> | ||
40 | * @generated | ||
41 | */ | ||
42 | String eNS_URI = "http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/partial2logicannotation"; | ||
43 | |||
44 | /** | ||
45 | * The package namespace name. | ||
46 | * <!-- begin-user-doc --> | ||
47 | * <!-- end-user-doc --> | ||
48 | * @generated | ||
49 | */ | ||
50 | String eNS_PREFIX = "partial2logicannotations"; | ||
51 | |||
52 | /** | ||
53 | * The singleton instance of the package. | ||
54 | * <!-- begin-user-doc --> | ||
55 | * <!-- end-user-doc --> | ||
56 | * @generated | ||
57 | */ | ||
58 | Partial2logicannotationsPackage eINSTANCE = hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl.Partial2logicannotationsPackageImpl.init(); | ||
59 | |||
60 | /** | ||
61 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl.PartialModelRelation2AssertionImpl <em>Partial Model Relation2 Assertion</em>}' class. | ||
62 | * <!-- begin-user-doc --> | ||
63 | * <!-- end-user-doc --> | ||
64 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl.PartialModelRelation2AssertionImpl | ||
65 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl.Partial2logicannotationsPackageImpl#getPartialModelRelation2Assertion() | ||
66 | * @generated | ||
67 | */ | ||
68 | int PARTIAL_MODEL_RELATION2_ASSERTION = 0; | ||
69 | |||
70 | /** | ||
71 | * The feature id for the '<em><b>Target</b></em>' reference. | ||
72 | * <!-- begin-user-doc --> | ||
73 | * <!-- end-user-doc --> | ||
74 | * @generated | ||
75 | * @ordered | ||
76 | */ | ||
77 | int PARTIAL_MODEL_RELATION2_ASSERTION__TARGET = LogicproblemPackage.ASSERTION_ANNOTATION__TARGET; | ||
78 | |||
79 | /** | ||
80 | * The feature id for the '<em><b>Links</b></em>' containment reference list. | ||
81 | * <!-- begin-user-doc --> | ||
82 | * <!-- end-user-doc --> | ||
83 | * @generated | ||
84 | * @ordered | ||
85 | */ | ||
86 | int PARTIAL_MODEL_RELATION2_ASSERTION__LINKS = LogicproblemPackage.ASSERTION_ANNOTATION_FEATURE_COUNT + 0; | ||
87 | |||
88 | /** | ||
89 | * The feature id for the '<em><b>Target Relation</b></em>' reference. | ||
90 | * <!-- begin-user-doc --> | ||
91 | * <!-- end-user-doc --> | ||
92 | * @generated | ||
93 | * @ordered | ||
94 | */ | ||
95 | int PARTIAL_MODEL_RELATION2_ASSERTION__TARGET_RELATION = LogicproblemPackage.ASSERTION_ANNOTATION_FEATURE_COUNT + 1; | ||
96 | |||
97 | /** | ||
98 | * The number of structural features of the '<em>Partial Model Relation2 Assertion</em>' class. | ||
99 | * <!-- begin-user-doc --> | ||
100 | * <!-- end-user-doc --> | ||
101 | * @generated | ||
102 | * @ordered | ||
103 | */ | ||
104 | int PARTIAL_MODEL_RELATION2_ASSERTION_FEATURE_COUNT = LogicproblemPackage.ASSERTION_ANNOTATION_FEATURE_COUNT + 2; | ||
105 | |||
106 | /** | ||
107 | * The number of operations of the '<em>Partial Model Relation2 Assertion</em>' class. | ||
108 | * <!-- begin-user-doc --> | ||
109 | * <!-- end-user-doc --> | ||
110 | * @generated | ||
111 | * @ordered | ||
112 | */ | ||
113 | int PARTIAL_MODEL_RELATION2_ASSERTION_OPERATION_COUNT = LogicproblemPackage.ASSERTION_ANNOTATION_OPERATION_COUNT + 0; | ||
114 | |||
115 | |||
116 | /** | ||
117 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion <em>Partial Model Relation2 Assertion</em>}'. | ||
118 | * <!-- begin-user-doc --> | ||
119 | * <!-- end-user-doc --> | ||
120 | * @return the meta object for class '<em>Partial Model Relation2 Assertion</em>'. | ||
121 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion | ||
122 | * @generated | ||
123 | */ | ||
124 | EClass getPartialModelRelation2Assertion(); | ||
125 | |||
126 | /** | ||
127 | * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion#getLinks <em>Links</em>}'. | ||
128 | * <!-- begin-user-doc --> | ||
129 | * <!-- end-user-doc --> | ||
130 | * @return the meta object for the containment reference list '<em>Links</em>'. | ||
131 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion#getLinks() | ||
132 | * @see #getPartialModelRelation2Assertion() | ||
133 | * @generated | ||
134 | */ | ||
135 | EReference getPartialModelRelation2Assertion_Links(); | ||
136 | |||
137 | /** | ||
138 | * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion#getTargetRelation <em>Target Relation</em>}'. | ||
139 | * <!-- begin-user-doc --> | ||
140 | * <!-- end-user-doc --> | ||
141 | * @return the meta object for the reference '<em>Target Relation</em>'. | ||
142 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion#getTargetRelation() | ||
143 | * @see #getPartialModelRelation2Assertion() | ||
144 | * @generated | ||
145 | */ | ||
146 | EReference getPartialModelRelation2Assertion_TargetRelation(); | ||
147 | |||
148 | /** | ||
149 | * Returns the factory that creates the instances of the model. | ||
150 | * <!-- begin-user-doc --> | ||
151 | * <!-- end-user-doc --> | ||
152 | * @return the factory that creates the instances of the model. | ||
153 | * @generated | ||
154 | */ | ||
155 | Partial2logicannotationsFactory getPartial2logicannotationsFactory(); | ||
156 | |||
157 | /** | ||
158 | * <!-- begin-user-doc --> | ||
159 | * Defines literals for the meta objects that represent | ||
160 | * <ul> | ||
161 | * <li>each class,</li> | ||
162 | * <li>each feature of each class,</li> | ||
163 | * <li>each operation of each class,</li> | ||
164 | * <li>each enum,</li> | ||
165 | * <li>and each data type</li> | ||
166 | * </ul> | ||
167 | * <!-- end-user-doc --> | ||
168 | * @generated | ||
169 | */ | ||
170 | interface Literals { | ||
171 | /** | ||
172 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl.PartialModelRelation2AssertionImpl <em>Partial Model Relation2 Assertion</em>}' class. | ||
173 | * <!-- begin-user-doc --> | ||
174 | * <!-- end-user-doc --> | ||
175 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl.PartialModelRelation2AssertionImpl | ||
176 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl.Partial2logicannotationsPackageImpl#getPartialModelRelation2Assertion() | ||
177 | * @generated | ||
178 | */ | ||
179 | EClass PARTIAL_MODEL_RELATION2_ASSERTION = eINSTANCE.getPartialModelRelation2Assertion(); | ||
180 | |||
181 | /** | ||
182 | * The meta object literal for the '<em><b>Links</b></em>' containment reference list feature. | ||
183 | * <!-- begin-user-doc --> | ||
184 | * <!-- end-user-doc --> | ||
185 | * @generated | ||
186 | */ | ||
187 | EReference PARTIAL_MODEL_RELATION2_ASSERTION__LINKS = eINSTANCE.getPartialModelRelation2Assertion_Links(); | ||
188 | |||
189 | /** | ||
190 | * The meta object literal for the '<em><b>Target Relation</b></em>' reference feature. | ||
191 | * <!-- begin-user-doc --> | ||
192 | * <!-- end-user-doc --> | ||
193 | * @generated | ||
194 | */ | ||
195 | EReference PARTIAL_MODEL_RELATION2_ASSERTION__TARGET_RELATION = eINSTANCE.getPartialModelRelation2Assertion_TargetRelation(); | ||
196 | |||
197 | } | ||
198 | |||
199 | } //Partial2logicannotationsPackage | ||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/PartialModelRelation2Assertion.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/PartialModelRelation2Assertion.java new file mode 100644 index 00000000..3c7f1a38 --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/PartialModelRelation2Assertion.java | |||
@@ -0,0 +1,72 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDeclaration; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation; | ||
7 | |||
8 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RelationLink; | ||
9 | |||
10 | import org.eclipse.emf.common.util.EList; | ||
11 | |||
12 | /** | ||
13 | * <!-- begin-user-doc --> | ||
14 | * A representation of the model object '<em><b>Partial Model Relation2 Assertion</b></em>'. | ||
15 | * <!-- end-user-doc --> | ||
16 | * | ||
17 | * <p> | ||
18 | * The following features are supported: | ||
19 | * </p> | ||
20 | * <ul> | ||
21 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion#getLinks <em>Links</em>}</li> | ||
22 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion#getTargetRelation <em>Target Relation</em>}</li> | ||
23 | * </ul> | ||
24 | * | ||
25 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsPackage#getPartialModelRelation2Assertion() | ||
26 | * @model | ||
27 | * @generated | ||
28 | */ | ||
29 | public interface PartialModelRelation2Assertion extends AssertionAnnotation { | ||
30 | /** | ||
31 | * Returns the value of the '<em><b>Links</b></em>' containment reference list. | ||
32 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RelationLink}. | ||
33 | * <!-- begin-user-doc --> | ||
34 | * <p> | ||
35 | * If the meaning of the '<em>Links</em>' containment reference list isn't clear, | ||
36 | * there really should be more of a description here... | ||
37 | * </p> | ||
38 | * <!-- end-user-doc --> | ||
39 | * @return the value of the '<em>Links</em>' containment reference list. | ||
40 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsPackage#getPartialModelRelation2Assertion_Links() | ||
41 | * @model containment="true" | ||
42 | * @generated | ||
43 | */ | ||
44 | EList<RelationLink> getLinks(); | ||
45 | |||
46 | /** | ||
47 | * Returns the value of the '<em><b>Target Relation</b></em>' reference. | ||
48 | * <!-- begin-user-doc --> | ||
49 | * <p> | ||
50 | * If the meaning of the '<em>Target Relation</em>' reference isn't clear, | ||
51 | * there really should be more of a description here... | ||
52 | * </p> | ||
53 | * <!-- end-user-doc --> | ||
54 | * @return the value of the '<em>Target Relation</em>' reference. | ||
55 | * @see #setTargetRelation(RelationDeclaration) | ||
56 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsPackage#getPartialModelRelation2Assertion_TargetRelation() | ||
57 | * @model required="true" | ||
58 | * @generated | ||
59 | */ | ||
60 | RelationDeclaration getTargetRelation(); | ||
61 | |||
62 | /** | ||
63 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion#getTargetRelation <em>Target Relation</em>}' reference. | ||
64 | * <!-- begin-user-doc --> | ||
65 | * <!-- end-user-doc --> | ||
66 | * @param value the new value of the '<em>Target Relation</em>' reference. | ||
67 | * @see #getTargetRelation() | ||
68 | * @generated | ||
69 | */ | ||
70 | void setTargetRelation(RelationDeclaration value); | ||
71 | |||
72 | } // PartialModelRelation2Assertion | ||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/impl/Partial2logicannotationsFactoryImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/impl/Partial2logicannotationsFactoryImpl.java new file mode 100644 index 00000000..a9906e70 --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/impl/Partial2logicannotationsFactoryImpl.java | |||
@@ -0,0 +1,95 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.*; | ||
6 | |||
7 | import org.eclipse.emf.ecore.EClass; | ||
8 | import org.eclipse.emf.ecore.EObject; | ||
9 | import org.eclipse.emf.ecore.EPackage; | ||
10 | |||
11 | import org.eclipse.emf.ecore.impl.EFactoryImpl; | ||
12 | |||
13 | import org.eclipse.emf.ecore.plugin.EcorePlugin; | ||
14 | |||
15 | /** | ||
16 | * <!-- begin-user-doc --> | ||
17 | * An implementation of the model <b>Factory</b>. | ||
18 | * <!-- end-user-doc --> | ||
19 | * @generated | ||
20 | */ | ||
21 | public class Partial2logicannotationsFactoryImpl extends EFactoryImpl implements Partial2logicannotationsFactory { | ||
22 | /** | ||
23 | * Creates the default factory implementation. | ||
24 | * <!-- begin-user-doc --> | ||
25 | * <!-- end-user-doc --> | ||
26 | * @generated | ||
27 | */ | ||
28 | public static Partial2logicannotationsFactory init() { | ||
29 | try { | ||
30 | Partial2logicannotationsFactory thePartial2logicannotationsFactory = (Partial2logicannotationsFactory)EPackage.Registry.INSTANCE.getEFactory(Partial2logicannotationsPackage.eNS_URI); | ||
31 | if (thePartial2logicannotationsFactory != null) { | ||
32 | return thePartial2logicannotationsFactory; | ||
33 | } | ||
34 | } | ||
35 | catch (Exception exception) { | ||
36 | EcorePlugin.INSTANCE.log(exception); | ||
37 | } | ||
38 | return new Partial2logicannotationsFactoryImpl(); | ||
39 | } | ||
40 | |||
41 | /** | ||
42 | * Creates an instance of the factory. | ||
43 | * <!-- begin-user-doc --> | ||
44 | * <!-- end-user-doc --> | ||
45 | * @generated | ||
46 | */ | ||
47 | public Partial2logicannotationsFactoryImpl() { | ||
48 | super(); | ||
49 | } | ||
50 | |||
51 | /** | ||
52 | * <!-- begin-user-doc --> | ||
53 | * <!-- end-user-doc --> | ||
54 | * @generated | ||
55 | */ | ||
56 | @Override | ||
57 | public EObject create(EClass eClass) { | ||
58 | switch (eClass.getClassifierID()) { | ||
59 | case Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION: return createPartialModelRelation2Assertion(); | ||
60 | default: | ||
61 | throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); | ||
62 | } | ||
63 | } | ||
64 | |||
65 | /** | ||
66 | * <!-- begin-user-doc --> | ||
67 | * <!-- end-user-doc --> | ||
68 | * @generated | ||
69 | */ | ||
70 | public PartialModelRelation2Assertion createPartialModelRelation2Assertion() { | ||
71 | PartialModelRelation2AssertionImpl partialModelRelation2Assertion = new PartialModelRelation2AssertionImpl(); | ||
72 | return partialModelRelation2Assertion; | ||
73 | } | ||
74 | |||
75 | /** | ||
76 | * <!-- begin-user-doc --> | ||
77 | * <!-- end-user-doc --> | ||
78 | * @generated | ||
79 | */ | ||
80 | public Partial2logicannotationsPackage getPartial2logicannotationsPackage() { | ||
81 | return (Partial2logicannotationsPackage)getEPackage(); | ||
82 | } | ||
83 | |||
84 | /** | ||
85 | * <!-- begin-user-doc --> | ||
86 | * <!-- end-user-doc --> | ||
87 | * @deprecated | ||
88 | * @generated | ||
89 | */ | ||
90 | @Deprecated | ||
91 | public static Partial2logicannotationsPackage getPackage() { | ||
92 | return Partial2logicannotationsPackage.eINSTANCE; | ||
93 | } | ||
94 | |||
95 | } //Partial2logicannotationsFactoryImpl | ||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/impl/Partial2logicannotationsPackageImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/impl/Partial2logicannotationsPackageImpl.java new file mode 100644 index 00000000..f83498cd --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/impl/Partial2logicannotationsPackageImpl.java | |||
@@ -0,0 +1,205 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage; | ||
6 | |||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage; | ||
8 | |||
9 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsFactory; | ||
10 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsPackage; | ||
11 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion; | ||
12 | |||
13 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; | ||
14 | |||
15 | import org.eclipse.emf.ecore.EClass; | ||
16 | import org.eclipse.emf.ecore.EPackage; | ||
17 | import org.eclipse.emf.ecore.EReference; | ||
18 | |||
19 | import org.eclipse.emf.ecore.impl.EPackageImpl; | ||
20 | |||
21 | /** | ||
22 | * <!-- begin-user-doc --> | ||
23 | * An implementation of the model <b>Package</b>. | ||
24 | * <!-- end-user-doc --> | ||
25 | * @generated | ||
26 | */ | ||
27 | public class Partial2logicannotationsPackageImpl extends EPackageImpl implements Partial2logicannotationsPackage { | ||
28 | /** | ||
29 | * <!-- begin-user-doc --> | ||
30 | * <!-- end-user-doc --> | ||
31 | * @generated | ||
32 | */ | ||
33 | private EClass partialModelRelation2AssertionEClass = null; | ||
34 | |||
35 | /** | ||
36 | * Creates an instance of the model <b>Package</b>, registered with | ||
37 | * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package | ||
38 | * package URI value. | ||
39 | * <p>Note: the correct way to create the package is via the static | ||
40 | * factory method {@link #init init()}, which also performs | ||
41 | * initialization of the package, or returns the registered package, | ||
42 | * if one already exists. | ||
43 | * <!-- begin-user-doc --> | ||
44 | * <!-- end-user-doc --> | ||
45 | * @see org.eclipse.emf.ecore.EPackage.Registry | ||
46 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsPackage#eNS_URI | ||
47 | * @see #init() | ||
48 | * @generated | ||
49 | */ | ||
50 | private Partial2logicannotationsPackageImpl() { | ||
51 | super(eNS_URI, Partial2logicannotationsFactory.eINSTANCE); | ||
52 | } | ||
53 | |||
54 | /** | ||
55 | * <!-- begin-user-doc --> | ||
56 | * <!-- end-user-doc --> | ||
57 | * @generated | ||
58 | */ | ||
59 | private static boolean isInited = false; | ||
60 | |||
61 | /** | ||
62 | * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends. | ||
63 | * | ||
64 | * <p>This method is used to initialize {@link Partial2logicannotationsPackage#eINSTANCE} when that field is accessed. | ||
65 | * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package. | ||
66 | * <!-- begin-user-doc --> | ||
67 | * <!-- end-user-doc --> | ||
68 | * @see #eNS_URI | ||
69 | * @see #createPackageContents() | ||
70 | * @see #initializePackageContents() | ||
71 | * @generated | ||
72 | */ | ||
73 | public static Partial2logicannotationsPackage init() { | ||
74 | if (isInited) return (Partial2logicannotationsPackage)EPackage.Registry.INSTANCE.getEPackage(Partial2logicannotationsPackage.eNS_URI); | ||
75 | |||
76 | // Obtain or create and register package | ||
77 | Partial2logicannotationsPackageImpl thePartial2logicannotationsPackage = (Partial2logicannotationsPackageImpl)(EPackage.Registry.INSTANCE.get(eNS_URI) instanceof Partial2logicannotationsPackageImpl ? EPackage.Registry.INSTANCE.get(eNS_URI) : new Partial2logicannotationsPackageImpl()); | ||
78 | |||
79 | isInited = true; | ||
80 | |||
81 | // Initialize simple dependencies | ||
82 | LogiclanguagePackage.eINSTANCE.eClass(); | ||
83 | LogicproblemPackage.eINSTANCE.eClass(); | ||
84 | PartialinterpretationPackage.eINSTANCE.eClass(); | ||
85 | |||
86 | // Create package meta-data objects | ||
87 | thePartial2logicannotationsPackage.createPackageContents(); | ||
88 | |||
89 | // Initialize created meta-data | ||
90 | thePartial2logicannotationsPackage.initializePackageContents(); | ||
91 | |||
92 | // Mark meta-data to indicate it can't be changed | ||
93 | thePartial2logicannotationsPackage.freeze(); | ||
94 | |||
95 | |||
96 | // Update the registry and return the package | ||
97 | EPackage.Registry.INSTANCE.put(Partial2logicannotationsPackage.eNS_URI, thePartial2logicannotationsPackage); | ||
98 | return thePartial2logicannotationsPackage; | ||
99 | } | ||
100 | |||
101 | /** | ||
102 | * <!-- begin-user-doc --> | ||
103 | * <!-- end-user-doc --> | ||
104 | * @generated | ||
105 | */ | ||
106 | public EClass getPartialModelRelation2Assertion() { | ||
107 | return partialModelRelation2AssertionEClass; | ||
108 | } | ||
109 | |||
110 | /** | ||
111 | * <!-- begin-user-doc --> | ||
112 | * <!-- end-user-doc --> | ||
113 | * @generated | ||
114 | */ | ||
115 | public EReference getPartialModelRelation2Assertion_Links() { | ||
116 | return (EReference)partialModelRelation2AssertionEClass.getEStructuralFeatures().get(0); | ||
117 | } | ||
118 | |||
119 | /** | ||
120 | * <!-- begin-user-doc --> | ||
121 | * <!-- end-user-doc --> | ||
122 | * @generated | ||
123 | */ | ||
124 | public EReference getPartialModelRelation2Assertion_TargetRelation() { | ||
125 | return (EReference)partialModelRelation2AssertionEClass.getEStructuralFeatures().get(1); | ||
126 | } | ||
127 | |||
128 | /** | ||
129 | * <!-- begin-user-doc --> | ||
130 | * <!-- end-user-doc --> | ||
131 | * @generated | ||
132 | */ | ||
133 | public Partial2logicannotationsFactory getPartial2logicannotationsFactory() { | ||
134 | return (Partial2logicannotationsFactory)getEFactoryInstance(); | ||
135 | } | ||
136 | |||
137 | /** | ||
138 | * <!-- begin-user-doc --> | ||
139 | * <!-- end-user-doc --> | ||
140 | * @generated | ||
141 | */ | ||
142 | private boolean isCreated = false; | ||
143 | |||
144 | /** | ||
145 | * Creates the meta-model objects for the package. This method is | ||
146 | * guarded to have no affect on any invocation but its first. | ||
147 | * <!-- begin-user-doc --> | ||
148 | * <!-- end-user-doc --> | ||
149 | * @generated | ||
150 | */ | ||
151 | public void createPackageContents() { | ||
152 | if (isCreated) return; | ||
153 | isCreated = true; | ||
154 | |||
155 | // Create classes and their features | ||
156 | partialModelRelation2AssertionEClass = createEClass(PARTIAL_MODEL_RELATION2_ASSERTION); | ||
157 | createEReference(partialModelRelation2AssertionEClass, PARTIAL_MODEL_RELATION2_ASSERTION__LINKS); | ||
158 | createEReference(partialModelRelation2AssertionEClass, PARTIAL_MODEL_RELATION2_ASSERTION__TARGET_RELATION); | ||
159 | } | ||
160 | |||
161 | /** | ||
162 | * <!-- begin-user-doc --> | ||
163 | * <!-- end-user-doc --> | ||
164 | * @generated | ||
165 | */ | ||
166 | private boolean isInitialized = false; | ||
167 | |||
168 | /** | ||
169 | * Complete the initialization of the package and its meta-model. This | ||
170 | * method is guarded to have no affect on any invocation but its first. | ||
171 | * <!-- begin-user-doc --> | ||
172 | * <!-- end-user-doc --> | ||
173 | * @generated | ||
174 | */ | ||
175 | public void initializePackageContents() { | ||
176 | if (isInitialized) return; | ||
177 | isInitialized = true; | ||
178 | |||
179 | // Initialize package | ||
180 | setName(eNAME); | ||
181 | setNsPrefix(eNS_PREFIX); | ||
182 | setNsURI(eNS_URI); | ||
183 | |||
184 | // Obtain other dependent packages | ||
185 | LogicproblemPackage theLogicproblemPackage = (LogicproblemPackage)EPackage.Registry.INSTANCE.getEPackage(LogicproblemPackage.eNS_URI); | ||
186 | PartialinterpretationPackage thePartialinterpretationPackage = (PartialinterpretationPackage)EPackage.Registry.INSTANCE.getEPackage(PartialinterpretationPackage.eNS_URI); | ||
187 | LogiclanguagePackage theLogiclanguagePackage = (LogiclanguagePackage)EPackage.Registry.INSTANCE.getEPackage(LogiclanguagePackage.eNS_URI); | ||
188 | |||
189 | // Create type parameters | ||
190 | |||
191 | // Set bounds for type parameters | ||
192 | |||
193 | // Add supertypes to classes | ||
194 | partialModelRelation2AssertionEClass.getESuperTypes().add(theLogicproblemPackage.getAssertionAnnotation()); | ||
195 | |||
196 | // Initialize classes, features, and operations; add parameters | ||
197 | initEClass(partialModelRelation2AssertionEClass, PartialModelRelation2Assertion.class, "PartialModelRelation2Assertion", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
198 | initEReference(getPartialModelRelation2Assertion_Links(), thePartialinterpretationPackage.getRelationLink(), null, "links", null, 0, -1, PartialModelRelation2Assertion.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
199 | initEReference(getPartialModelRelation2Assertion_TargetRelation(), theLogiclanguagePackage.getRelationDeclaration(), null, "targetRelation", null, 1, 1, PartialModelRelation2Assertion.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
200 | |||
201 | // Create resource | ||
202 | createResource(eNS_URI); | ||
203 | } | ||
204 | |||
205 | } //Partial2logicannotationsPackageImpl | ||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/impl/PartialModelRelation2AssertionImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/impl/PartialModelRelation2AssertionImpl.java new file mode 100644 index 00000000..92011d1c --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/impl/PartialModelRelation2AssertionImpl.java | |||
@@ -0,0 +1,216 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDeclaration; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.AssertionAnnotationImpl; | ||
7 | |||
8 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsPackage; | ||
9 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion; | ||
10 | |||
11 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RelationLink; | ||
12 | |||
13 | import java.util.Collection; | ||
14 | |||
15 | import org.eclipse.emf.common.notify.Notification; | ||
16 | import org.eclipse.emf.common.notify.NotificationChain; | ||
17 | |||
18 | import org.eclipse.emf.common.util.EList; | ||
19 | |||
20 | import org.eclipse.emf.ecore.EClass; | ||
21 | import org.eclipse.emf.ecore.InternalEObject; | ||
22 | |||
23 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
24 | import org.eclipse.emf.ecore.util.EObjectContainmentEList; | ||
25 | import org.eclipse.emf.ecore.util.InternalEList; | ||
26 | |||
27 | /** | ||
28 | * <!-- begin-user-doc --> | ||
29 | * An implementation of the model object '<em><b>Partial Model Relation2 Assertion</b></em>'. | ||
30 | * <!-- end-user-doc --> | ||
31 | * <p> | ||
32 | * The following features are implemented: | ||
33 | * </p> | ||
34 | * <ul> | ||
35 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl.PartialModelRelation2AssertionImpl#getLinks <em>Links</em>}</li> | ||
36 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl.PartialModelRelation2AssertionImpl#getTargetRelation <em>Target Relation</em>}</li> | ||
37 | * </ul> | ||
38 | * | ||
39 | * @generated | ||
40 | */ | ||
41 | public class PartialModelRelation2AssertionImpl extends AssertionAnnotationImpl implements PartialModelRelation2Assertion { | ||
42 | /** | ||
43 | * The cached value of the '{@link #getLinks() <em>Links</em>}' containment reference list. | ||
44 | * <!-- begin-user-doc --> | ||
45 | * <!-- end-user-doc --> | ||
46 | * @see #getLinks() | ||
47 | * @generated | ||
48 | * @ordered | ||
49 | */ | ||
50 | protected EList<RelationLink> links; | ||
51 | |||
52 | /** | ||
53 | * The cached value of the '{@link #getTargetRelation() <em>Target Relation</em>}' reference. | ||
54 | * <!-- begin-user-doc --> | ||
55 | * <!-- end-user-doc --> | ||
56 | * @see #getTargetRelation() | ||
57 | * @generated | ||
58 | * @ordered | ||
59 | */ | ||
60 | protected RelationDeclaration targetRelation; | ||
61 | |||
62 | /** | ||
63 | * <!-- begin-user-doc --> | ||
64 | * <!-- end-user-doc --> | ||
65 | * @generated | ||
66 | */ | ||
67 | protected PartialModelRelation2AssertionImpl() { | ||
68 | super(); | ||
69 | } | ||
70 | |||
71 | /** | ||
72 | * <!-- begin-user-doc --> | ||
73 | * <!-- end-user-doc --> | ||
74 | * @generated | ||
75 | */ | ||
76 | @Override | ||
77 | protected EClass eStaticClass() { | ||
78 | return Partial2logicannotationsPackage.Literals.PARTIAL_MODEL_RELATION2_ASSERTION; | ||
79 | } | ||
80 | |||
81 | /** | ||
82 | * <!-- begin-user-doc --> | ||
83 | * <!-- end-user-doc --> | ||
84 | * @generated | ||
85 | */ | ||
86 | public EList<RelationLink> getLinks() { | ||
87 | if (links == null) { | ||
88 | links = new EObjectContainmentEList<RelationLink>(RelationLink.class, this, Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION__LINKS); | ||
89 | } | ||
90 | return links; | ||
91 | } | ||
92 | |||
93 | /** | ||
94 | * <!-- begin-user-doc --> | ||
95 | * <!-- end-user-doc --> | ||
96 | * @generated | ||
97 | */ | ||
98 | public RelationDeclaration getTargetRelation() { | ||
99 | if (targetRelation != null && targetRelation.eIsProxy()) { | ||
100 | InternalEObject oldTargetRelation = (InternalEObject)targetRelation; | ||
101 | targetRelation = (RelationDeclaration)eResolveProxy(oldTargetRelation); | ||
102 | if (targetRelation != oldTargetRelation) { | ||
103 | if (eNotificationRequired()) | ||
104 | eNotify(new ENotificationImpl(this, Notification.RESOLVE, Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION__TARGET_RELATION, oldTargetRelation, targetRelation)); | ||
105 | } | ||
106 | } | ||
107 | return targetRelation; | ||
108 | } | ||
109 | |||
110 | /** | ||
111 | * <!-- begin-user-doc --> | ||
112 | * <!-- end-user-doc --> | ||
113 | * @generated | ||
114 | */ | ||
115 | public RelationDeclaration basicGetTargetRelation() { | ||
116 | return targetRelation; | ||
117 | } | ||
118 | |||
119 | /** | ||
120 | * <!-- begin-user-doc --> | ||
121 | * <!-- end-user-doc --> | ||
122 | * @generated | ||
123 | */ | ||
124 | public void setTargetRelation(RelationDeclaration newTargetRelation) { | ||
125 | RelationDeclaration oldTargetRelation = targetRelation; | ||
126 | targetRelation = newTargetRelation; | ||
127 | if (eNotificationRequired()) | ||
128 | eNotify(new ENotificationImpl(this, Notification.SET, Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION__TARGET_RELATION, oldTargetRelation, targetRelation)); | ||
129 | } | ||
130 | |||
131 | /** | ||
132 | * <!-- begin-user-doc --> | ||
133 | * <!-- end-user-doc --> | ||
134 | * @generated | ||
135 | */ | ||
136 | @Override | ||
137 | public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { | ||
138 | switch (featureID) { | ||
139 | case Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION__LINKS: | ||
140 | return ((InternalEList<?>)getLinks()).basicRemove(otherEnd, msgs); | ||
141 | } | ||
142 | return super.eInverseRemove(otherEnd, featureID, msgs); | ||
143 | } | ||
144 | |||
145 | /** | ||
146 | * <!-- begin-user-doc --> | ||
147 | * <!-- end-user-doc --> | ||
148 | * @generated | ||
149 | */ | ||
150 | @Override | ||
151 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | ||
152 | switch (featureID) { | ||
153 | case Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION__LINKS: | ||
154 | return getLinks(); | ||
155 | case Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION__TARGET_RELATION: | ||
156 | if (resolve) return getTargetRelation(); | ||
157 | return basicGetTargetRelation(); | ||
158 | } | ||
159 | return super.eGet(featureID, resolve, coreType); | ||
160 | } | ||
161 | |||
162 | /** | ||
163 | * <!-- begin-user-doc --> | ||
164 | * <!-- end-user-doc --> | ||
165 | * @generated | ||
166 | */ | ||
167 | @SuppressWarnings("unchecked") | ||
168 | @Override | ||
169 | public void eSet(int featureID, Object newValue) { | ||
170 | switch (featureID) { | ||
171 | case Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION__LINKS: | ||
172 | getLinks().clear(); | ||
173 | getLinks().addAll((Collection<? extends RelationLink>)newValue); | ||
174 | return; | ||
175 | case Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION__TARGET_RELATION: | ||
176 | setTargetRelation((RelationDeclaration)newValue); | ||
177 | return; | ||
178 | } | ||
179 | super.eSet(featureID, newValue); | ||
180 | } | ||
181 | |||
182 | /** | ||
183 | * <!-- begin-user-doc --> | ||
184 | * <!-- end-user-doc --> | ||
185 | * @generated | ||
186 | */ | ||
187 | @Override | ||
188 | public void eUnset(int featureID) { | ||
189 | switch (featureID) { | ||
190 | case Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION__LINKS: | ||
191 | getLinks().clear(); | ||
192 | return; | ||
193 | case Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION__TARGET_RELATION: | ||
194 | setTargetRelation((RelationDeclaration)null); | ||
195 | return; | ||
196 | } | ||
197 | super.eUnset(featureID); | ||
198 | } | ||
199 | |||
200 | /** | ||
201 | * <!-- begin-user-doc --> | ||
202 | * <!-- end-user-doc --> | ||
203 | * @generated | ||
204 | */ | ||
205 | @Override | ||
206 | public boolean eIsSet(int featureID) { | ||
207 | switch (featureID) { | ||
208 | case Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION__LINKS: | ||
209 | return links != null && !links.isEmpty(); | ||
210 | case Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION__TARGET_RELATION: | ||
211 | return targetRelation != null; | ||
212 | } | ||
213 | return super.eIsSet(featureID); | ||
214 | } | ||
215 | |||
216 | } //PartialModelRelation2AssertionImpl | ||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/util/Partial2logicannotationsAdapterFactory.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/util/Partial2logicannotationsAdapterFactory.java new file mode 100644 index 00000000..2777a18d --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/util/Partial2logicannotationsAdapterFactory.java | |||
@@ -0,0 +1,159 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.util; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation; | ||
7 | |||
8 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.*; | ||
9 | |||
10 | import org.eclipse.emf.common.notify.Adapter; | ||
11 | import org.eclipse.emf.common.notify.Notifier; | ||
12 | |||
13 | import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl; | ||
14 | |||
15 | import org.eclipse.emf.ecore.EObject; | ||
16 | |||
17 | /** | ||
18 | * <!-- begin-user-doc --> | ||
19 | * The <b>Adapter Factory</b> for the model. | ||
20 | * It provides an adapter <code>createXXX</code> method for each class of the model. | ||
21 | * <!-- end-user-doc --> | ||
22 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsPackage | ||
23 | * @generated | ||
24 | */ | ||
25 | public class Partial2logicannotationsAdapterFactory extends AdapterFactoryImpl { | ||
26 | /** | ||
27 | * The cached model package. | ||
28 | * <!-- begin-user-doc --> | ||
29 | * <!-- end-user-doc --> | ||
30 | * @generated | ||
31 | */ | ||
32 | protected static Partial2logicannotationsPackage modelPackage; | ||
33 | |||
34 | /** | ||
35 | * Creates an instance of the adapter factory. | ||
36 | * <!-- begin-user-doc --> | ||
37 | * <!-- end-user-doc --> | ||
38 | * @generated | ||
39 | */ | ||
40 | public Partial2logicannotationsAdapterFactory() { | ||
41 | if (modelPackage == null) { | ||
42 | modelPackage = Partial2logicannotationsPackage.eINSTANCE; | ||
43 | } | ||
44 | } | ||
45 | |||
46 | /** | ||
47 | * Returns whether this factory is applicable for the type of the object. | ||
48 | * <!-- begin-user-doc --> | ||
49 | * This implementation returns <code>true</code> if the object is either the model's package or is an instance object of the model. | ||
50 | * <!-- end-user-doc --> | ||
51 | * @return whether this factory is applicable for the type of the object. | ||
52 | * @generated | ||
53 | */ | ||
54 | @Override | ||
55 | public boolean isFactoryForType(Object object) { | ||
56 | if (object == modelPackage) { | ||
57 | return true; | ||
58 | } | ||
59 | if (object instanceof EObject) { | ||
60 | return ((EObject)object).eClass().getEPackage() == modelPackage; | ||
61 | } | ||
62 | return false; | ||
63 | } | ||
64 | |||
65 | /** | ||
66 | * The switch that delegates to the <code>createXXX</code> methods. | ||
67 | * <!-- begin-user-doc --> | ||
68 | * <!-- end-user-doc --> | ||
69 | * @generated | ||
70 | */ | ||
71 | protected Partial2logicannotationsSwitch<Adapter> modelSwitch = | ||
72 | new Partial2logicannotationsSwitch<Adapter>() { | ||
73 | @Override | ||
74 | public Adapter casePartialModelRelation2Assertion(PartialModelRelation2Assertion object) { | ||
75 | return createPartialModelRelation2AssertionAdapter(); | ||
76 | } | ||
77 | @Override | ||
78 | public Adapter caseAnnotation(Annotation object) { | ||
79 | return createAnnotationAdapter(); | ||
80 | } | ||
81 | @Override | ||
82 | public Adapter caseAssertionAnnotation(AssertionAnnotation object) { | ||
83 | return createAssertionAnnotationAdapter(); | ||
84 | } | ||
85 | @Override | ||
86 | public Adapter defaultCase(EObject object) { | ||
87 | return createEObjectAdapter(); | ||
88 | } | ||
89 | }; | ||
90 | |||
91 | /** | ||
92 | * Creates an adapter for the <code>target</code>. | ||
93 | * <!-- begin-user-doc --> | ||
94 | * <!-- end-user-doc --> | ||
95 | * @param target the object to adapt. | ||
96 | * @return the adapter for the <code>target</code>. | ||
97 | * @generated | ||
98 | */ | ||
99 | @Override | ||
100 | public Adapter createAdapter(Notifier target) { | ||
101 | return modelSwitch.doSwitch((EObject)target); | ||
102 | } | ||
103 | |||
104 | |||
105 | /** | ||
106 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion <em>Partial Model Relation2 Assertion</em>}'. | ||
107 | * <!-- begin-user-doc --> | ||
108 | * This default implementation returns null so that we can easily ignore cases; | ||
109 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
110 | * <!-- end-user-doc --> | ||
111 | * @return the new adapter. | ||
112 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion | ||
113 | * @generated | ||
114 | */ | ||
115 | public Adapter createPartialModelRelation2AssertionAdapter() { | ||
116 | return null; | ||
117 | } | ||
118 | |||
119 | /** | ||
120 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation <em>Annotation</em>}'. | ||
121 | * <!-- begin-user-doc --> | ||
122 | * This default implementation returns null so that we can easily ignore cases; | ||
123 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
124 | * <!-- end-user-doc --> | ||
125 | * @return the new adapter. | ||
126 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation | ||
127 | * @generated | ||
128 | */ | ||
129 | public Adapter createAnnotationAdapter() { | ||
130 | return null; | ||
131 | } | ||
132 | |||
133 | /** | ||
134 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation <em>Assertion Annotation</em>}'. | ||
135 | * <!-- begin-user-doc --> | ||
136 | * This default implementation returns null so that we can easily ignore cases; | ||
137 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
138 | * <!-- end-user-doc --> | ||
139 | * @return the new adapter. | ||
140 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation | ||
141 | * @generated | ||
142 | */ | ||
143 | public Adapter createAssertionAnnotationAdapter() { | ||
144 | return null; | ||
145 | } | ||
146 | |||
147 | /** | ||
148 | * Creates a new adapter for the default case. | ||
149 | * <!-- begin-user-doc --> | ||
150 | * This default implementation returns null. | ||
151 | * <!-- end-user-doc --> | ||
152 | * @return the new adapter. | ||
153 | * @generated | ||
154 | */ | ||
155 | public Adapter createEObjectAdapter() { | ||
156 | return null; | ||
157 | } | ||
158 | |||
159 | } //Partial2logicannotationsAdapterFactory | ||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/util/Partial2logicannotationsSwitch.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/util/Partial2logicannotationsSwitch.java new file mode 100644 index 00000000..f2a194e9 --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/util/Partial2logicannotationsSwitch.java | |||
@@ -0,0 +1,145 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.util; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation; | ||
7 | |||
8 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.*; | ||
9 | |||
10 | import org.eclipse.emf.ecore.EObject; | ||
11 | import org.eclipse.emf.ecore.EPackage; | ||
12 | |||
13 | import org.eclipse.emf.ecore.util.Switch; | ||
14 | |||
15 | /** | ||
16 | * <!-- begin-user-doc --> | ||
17 | * The <b>Switch</b> for the model's inheritance hierarchy. | ||
18 | * It supports the call {@link #doSwitch(EObject) doSwitch(object)} | ||
19 | * to invoke the <code>caseXXX</code> method for each class of the model, | ||
20 | * starting with the actual class of the object | ||
21 | * and proceeding up the inheritance hierarchy | ||
22 | * until a non-null result is returned, | ||
23 | * which is the result of the switch. | ||
24 | * <!-- end-user-doc --> | ||
25 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsPackage | ||
26 | * @generated | ||
27 | */ | ||
28 | public class Partial2logicannotationsSwitch<T> extends Switch<T> { | ||
29 | /** | ||
30 | * The cached model package | ||
31 | * <!-- begin-user-doc --> | ||
32 | * <!-- end-user-doc --> | ||
33 | * @generated | ||
34 | */ | ||
35 | protected static Partial2logicannotationsPackage modelPackage; | ||
36 | |||
37 | /** | ||
38 | * Creates an instance of the switch. | ||
39 | * <!-- begin-user-doc --> | ||
40 | * <!-- end-user-doc --> | ||
41 | * @generated | ||
42 | */ | ||
43 | public Partial2logicannotationsSwitch() { | ||
44 | if (modelPackage == null) { | ||
45 | modelPackage = Partial2logicannotationsPackage.eINSTANCE; | ||
46 | } | ||
47 | } | ||
48 | |||
49 | /** | ||
50 | * Checks whether this is a switch for the given package. | ||
51 | * <!-- begin-user-doc --> | ||
52 | * <!-- end-user-doc --> | ||
53 | * @param ePackage the package in question. | ||
54 | * @return whether this is a switch for the given package. | ||
55 | * @generated | ||
56 | */ | ||
57 | @Override | ||
58 | protected boolean isSwitchFor(EPackage ePackage) { | ||
59 | return ePackage == modelPackage; | ||
60 | } | ||
61 | |||
62 | /** | ||
63 | * Calls <code>caseXXX</code> for each class of the model until one returns a non null result; it yields that result. | ||
64 | * <!-- begin-user-doc --> | ||
65 | * <!-- end-user-doc --> | ||
66 | * @return the first non-null result returned by a <code>caseXXX</code> call. | ||
67 | * @generated | ||
68 | */ | ||
69 | @Override | ||
70 | protected T doSwitch(int classifierID, EObject theEObject) { | ||
71 | switch (classifierID) { | ||
72 | case Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION: { | ||
73 | PartialModelRelation2Assertion partialModelRelation2Assertion = (PartialModelRelation2Assertion)theEObject; | ||
74 | T result = casePartialModelRelation2Assertion(partialModelRelation2Assertion); | ||
75 | if (result == null) result = caseAssertionAnnotation(partialModelRelation2Assertion); | ||
76 | if (result == null) result = caseAnnotation(partialModelRelation2Assertion); | ||
77 | if (result == null) result = defaultCase(theEObject); | ||
78 | return result; | ||
79 | } | ||
80 | default: return defaultCase(theEObject); | ||
81 | } | ||
82 | } | ||
83 | |||
84 | /** | ||
85 | * Returns the result of interpreting the object as an instance of '<em>Partial Model Relation2 Assertion</em>'. | ||
86 | * <!-- begin-user-doc --> | ||
87 | * This implementation returns null; | ||
88 | * returning a non-null result will terminate the switch. | ||
89 | * <!-- end-user-doc --> | ||
90 | * @param object the target of the switch. | ||
91 | * @return the result of interpreting the object as an instance of '<em>Partial Model Relation2 Assertion</em>'. | ||
92 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
93 | * @generated | ||
94 | */ | ||
95 | public T casePartialModelRelation2Assertion(PartialModelRelation2Assertion object) { | ||
96 | return null; | ||
97 | } | ||
98 | |||
99 | /** | ||
100 | * Returns the result of interpreting the object as an instance of '<em>Annotation</em>'. | ||
101 | * <!-- begin-user-doc --> | ||
102 | * This implementation returns null; | ||
103 | * returning a non-null result will terminate the switch. | ||
104 | * <!-- end-user-doc --> | ||
105 | * @param object the target of the switch. | ||
106 | * @return the result of interpreting the object as an instance of '<em>Annotation</em>'. | ||
107 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
108 | * @generated | ||
109 | */ | ||
110 | public T caseAnnotation(Annotation object) { | ||
111 | return null; | ||
112 | } | ||
113 | |||
114 | /** | ||
115 | * Returns the result of interpreting the object as an instance of '<em>Assertion Annotation</em>'. | ||
116 | * <!-- begin-user-doc --> | ||
117 | * This implementation returns null; | ||
118 | * returning a non-null result will terminate the switch. | ||
119 | * <!-- end-user-doc --> | ||
120 | * @param object the target of the switch. | ||
121 | * @return the result of interpreting the object as an instance of '<em>Assertion Annotation</em>'. | ||
122 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
123 | * @generated | ||
124 | */ | ||
125 | public T caseAssertionAnnotation(AssertionAnnotation object) { | ||
126 | return null; | ||
127 | } | ||
128 | |||
129 | /** | ||
130 | * Returns the result of interpreting the object as an instance of '<em>EObject</em>'. | ||
131 | * <!-- begin-user-doc --> | ||
132 | * This implementation returns null; | ||
133 | * returning a non-null result will terminate the switch, but this is the last case anyway. | ||
134 | * <!-- end-user-doc --> | ||
135 | * @param object the target of the switch. | ||
136 | * @return the result of interpreting the object as an instance of '<em>EObject</em>'. | ||
137 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) | ||
138 | * @generated | ||
139 | */ | ||
140 | @Override | ||
141 | public T defaultCase(EObject object) { | ||
142 | return null; | ||
143 | } | ||
144 | |||
145 | } //Partial2logicannotationsSwitch | ||