aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf')
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/Partial2logicannotationsFactory.java42
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/Partial2logicannotationsPackage.java199
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/PartialModelRelation2Assertion.java72
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/impl/Partial2logicannotationsFactoryImpl.java95
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/impl/Partial2logicannotationsPackageImpl.java205
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/impl/PartialModelRelation2AssertionImpl.java216
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/util/Partial2logicannotationsAdapterFactory.java159
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/util/Partial2logicannotationsSwitch.java145
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 */
3package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations;
4
5import 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 */
15public 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 */
3package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage;
6
7import org.eclipse.emf.ecore.EClass;
8import org.eclipse.emf.ecore.EPackage;
9import 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 */
27public 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 */
3package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDeclaration;
6import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation;
7
8import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RelationLink;
9
10import 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 */
29public 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 */
3package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl;
4
5import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.*;
6
7import org.eclipse.emf.ecore.EClass;
8import org.eclipse.emf.ecore.EObject;
9import org.eclipse.emf.ecore.EPackage;
10
11import org.eclipse.emf.ecore.impl.EFactoryImpl;
12
13import 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 */
21public 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 */
3package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage;
6
7import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage;
8
9import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsFactory;
10import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsPackage;
11import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion;
12
13import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
14
15import org.eclipse.emf.ecore.EClass;
16import org.eclipse.emf.ecore.EPackage;
17import org.eclipse.emf.ecore.EReference;
18
19import 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 */
27public 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 */
3package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDeclaration;
6import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.AssertionAnnotationImpl;
7
8import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsPackage;
9import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion;
10
11import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RelationLink;
12
13import java.util.Collection;
14
15import org.eclipse.emf.common.notify.Notification;
16import org.eclipse.emf.common.notify.NotificationChain;
17
18import org.eclipse.emf.common.util.EList;
19
20import org.eclipse.emf.ecore.EClass;
21import org.eclipse.emf.ecore.InternalEObject;
22
23import org.eclipse.emf.ecore.impl.ENotificationImpl;
24import org.eclipse.emf.ecore.util.EObjectContainmentEList;
25import 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 */
41public 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 */
3package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.util;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation;
6import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation;
7
8import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.*;
9
10import org.eclipse.emf.common.notify.Adapter;
11import org.eclipse.emf.common.notify.Notifier;
12
13import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl;
14
15import 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 */
25public 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 */
3package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.util;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation;
6import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation;
7
8import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.*;
9
10import org.eclipse.emf.ecore.EObject;
11import org.eclipse.emf.ecore.EPackage;
12
13import 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 */
28public 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
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-26 15:00:33 +0000