aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner
diff options
context:
space:
mode:
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner')
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/DefinedByDerivedFeature.java50
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/TransfomedViatraQuery.java50
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/TransformedViatraWellformednessConstraint.java50
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/Viatra2LogicAnnotationsFactory.java60
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/Viatra2LogicAnnotationsPackage.java343
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/DefinedByDerivedFeatureImpl.java158
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransfomedViatraQueryImpl.java161
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransformedViatraWellformednessConstraintImpl.java158
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/Viatra2LogicAnnotationsFactoryImpl.java117
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/Viatra2LogicAnnotationsPackageImpl.java256
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/util/Viatra2LogicAnnotationsAdapterFactory.java214
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/util/Viatra2LogicAnnotationsSwitch.java207
12 files changed, 1824 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/DefinedByDerivedFeature.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/DefinedByDerivedFeature.java
new file mode 100644
index 00000000..ab468027
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/DefinedByDerivedFeature.java
@@ -0,0 +1,50 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation;
6
7/**
8 * <!-- begin-user-doc -->
9 * A representation of the model object '<em><b>Defined By Derived Feature</b></em>'.
10 * <!-- end-user-doc -->
11 *
12 * <p>
13 * The following features are supported:
14 * </p>
15 * <ul>
16 * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.DefinedByDerivedFeature#getQuery <em>Query</em>}</li>
17 * </ul>
18 *
19 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage#getDefinedByDerivedFeature()
20 * @model
21 * @generated
22 */
23public interface DefinedByDerivedFeature extends RelationAnnotation {
24 /**
25 * Returns the value of the '<em><b>Query</b></em>' reference.
26 * <!-- begin-user-doc -->
27 * <p>
28 * If the meaning of the '<em>Query</em>' reference isn't clear,
29 * there really should be more of a description here...
30 * </p>
31 * <!-- end-user-doc -->
32 * @return the value of the '<em>Query</em>' reference.
33 * @see #setQuery(TransfomedViatraQuery)
34 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage#getDefinedByDerivedFeature_Query()
35 * @model required="true"
36 * @generated
37 */
38 TransfomedViatraQuery getQuery();
39
40 /**
41 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.DefinedByDerivedFeature#getQuery <em>Query</em>}' reference.
42 * <!-- begin-user-doc -->
43 * <!-- end-user-doc -->
44 * @param value the new value of the '<em>Query</em>' reference.
45 * @see #getQuery()
46 * @generated
47 */
48 void setQuery(TransfomedViatraQuery value);
49
50} // DefinedByDerivedFeature
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/TransfomedViatraQuery.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/TransfomedViatraQuery.java
new file mode 100644
index 00000000..9eb911d5
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/TransfomedViatraQuery.java
@@ -0,0 +1,50 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation;
6
7/**
8 * <!-- begin-user-doc -->
9 * A representation of the model object '<em><b>Transfomed Viatra Query</b></em>'.
10 * <!-- end-user-doc -->
11 *
12 * <p>
13 * The following features are supported:
14 * </p>
15 * <ul>
16 * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getPatternFullyQualifiedName <em>Pattern Fully Qualified Name</em>}</li>
17 * </ul>
18 *
19 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage#getTransfomedViatraQuery()
20 * @model
21 * @generated
22 */
23public interface TransfomedViatraQuery extends RelationAnnotation {
24
25 /**
26 * Returns the value of the '<em><b>Pattern Fully Qualified Name</b></em>' attribute.
27 * <!-- begin-user-doc -->
28 * <p>
29 * If the meaning of the '<em>Pattern Fully Qualified Name</em>' attribute isn't clear,
30 * there really should be more of a description here...
31 * </p>
32 * <!-- end-user-doc -->
33 * @return the value of the '<em>Pattern Fully Qualified Name</em>' attribute.
34 * @see #setPatternFullyQualifiedName(String)
35 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage#getTransfomedViatraQuery_PatternFullyQualifiedName()
36 * @model required="true"
37 * @generated
38 */
39 String getPatternFullyQualifiedName();
40
41 /**
42 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getPatternFullyQualifiedName <em>Pattern Fully Qualified Name</em>}' attribute.
43 * <!-- begin-user-doc -->
44 * <!-- end-user-doc -->
45 * @param value the new value of the '<em>Pattern Fully Qualified Name</em>' attribute.
46 * @see #getPatternFullyQualifiedName()
47 * @generated
48 */
49 void setPatternFullyQualifiedName(String value);
50} // TransfomedViatraQuery
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/TransformedViatraWellformednessConstraint.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/TransformedViatraWellformednessConstraint.java
new file mode 100644
index 00000000..04c5480f
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/TransformedViatraWellformednessConstraint.java
@@ -0,0 +1,50 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation;
6
7/**
8 * <!-- begin-user-doc -->
9 * A representation of the model object '<em><b>Transformed Viatra Wellformedness Constraint</b></em>'.
10 * <!-- end-user-doc -->
11 *
12 * <p>
13 * The following features are supported:
14 * </p>
15 * <ul>
16 * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransformedViatraWellformednessConstraint#getQuery <em>Query</em>}</li>
17 * </ul>
18 *
19 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage#getTransformedViatraWellformednessConstraint()
20 * @model
21 * @generated
22 */
23public interface TransformedViatraWellformednessConstraint extends AssertionAnnotation {
24 /**
25 * Returns the value of the '<em><b>Query</b></em>' reference.
26 * <!-- begin-user-doc -->
27 * <p>
28 * If the meaning of the '<em>Query</em>' reference isn't clear,
29 * there really should be more of a description here...
30 * </p>
31 * <!-- end-user-doc -->
32 * @return the value of the '<em>Query</em>' reference.
33 * @see #setQuery(TransfomedViatraQuery)
34 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage#getTransformedViatraWellformednessConstraint_Query()
35 * @model required="true"
36 * @generated
37 */
38 TransfomedViatraQuery getQuery();
39
40 /**
41 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransformedViatraWellformednessConstraint#getQuery <em>Query</em>}' reference.
42 * <!-- begin-user-doc -->
43 * <!-- end-user-doc -->
44 * @param value the new value of the '<em>Query</em>' reference.
45 * @see #getQuery()
46 * @generated
47 */
48 void setQuery(TransfomedViatraQuery value);
49
50} // TransformedViatraWellformednessConstraint
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/Viatra2LogicAnnotationsFactory.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/Viatra2LogicAnnotationsFactory.java
new file mode 100644
index 00000000..1343bee3
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/Viatra2LogicAnnotationsFactory.java
@@ -0,0 +1,60 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations;
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.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage
13 * @generated
14 */
15public interface Viatra2LogicAnnotationsFactory extends EFactory {
16 /**
17 * The singleton instance of the factory.
18 * <!-- begin-user-doc -->
19 * <!-- end-user-doc -->
20 * @generated
21 */
22 Viatra2LogicAnnotationsFactory eINSTANCE = hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.Viatra2LogicAnnotationsFactoryImpl.init();
23
24 /**
25 * Returns a new object of class '<em>Transfomed Viatra Query</em>'.
26 * <!-- begin-user-doc -->
27 * <!-- end-user-doc -->
28 * @return a new object of class '<em>Transfomed Viatra Query</em>'.
29 * @generated
30 */
31 TransfomedViatraQuery createTransfomedViatraQuery();
32
33 /**
34 * Returns a new object of class '<em>Transformed Viatra Wellformedness Constraint</em>'.
35 * <!-- begin-user-doc -->
36 * <!-- end-user-doc -->
37 * @return a new object of class '<em>Transformed Viatra Wellformedness Constraint</em>'.
38 * @generated
39 */
40 TransformedViatraWellformednessConstraint createTransformedViatraWellformednessConstraint();
41
42 /**
43 * Returns a new object of class '<em>Defined By Derived Feature</em>'.
44 * <!-- begin-user-doc -->
45 * <!-- end-user-doc -->
46 * @return a new object of class '<em>Defined By Derived Feature</em>'.
47 * @generated
48 */
49 DefinedByDerivedFeature createDefinedByDerivedFeature();
50
51 /**
52 * Returns the package supported by this factory.
53 * <!-- begin-user-doc -->
54 * <!-- end-user-doc -->
55 * @return the package supported by this factory.
56 * @generated
57 */
58 Viatra2LogicAnnotationsPackage getViatra2LogicAnnotationsPackage();
59
60} //Viatra2LogicAnnotationsFactory
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/Viatra2LogicAnnotationsPackage.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/Viatra2LogicAnnotationsPackage.java
new file mode 100644
index 00000000..0c3de242
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/Viatra2LogicAnnotationsPackage.java
@@ -0,0 +1,343 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage;
6
7import org.eclipse.emf.ecore.EAttribute;
8import org.eclipse.emf.ecore.EClass;
9import org.eclipse.emf.ecore.EPackage;
10import org.eclipse.emf.ecore.EReference;
11
12/**
13 * <!-- begin-user-doc -->
14 * The <b>Package</b> for the model.
15 * It contains accessors for the meta objects to represent
16 * <ul>
17 * <li>each class,</li>
18 * <li>each feature of each class,</li>
19 * <li>each operation of each class,</li>
20 * <li>each enum,</li>
21 * <li>and each data type</li>
22 * </ul>
23 * <!-- end-user-doc -->
24 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsFactory
25 * @model kind="package"
26 * @generated
27 */
28public interface Viatra2LogicAnnotationsPackage extends EPackage {
29 /**
30 * The package name.
31 * <!-- begin-user-doc -->
32 * <!-- end-user-doc -->
33 * @generated
34 */
35 String eNAME = "viatra2logicannotations";
36
37 /**
38 * The package namespace URI.
39 * <!-- begin-user-doc -->
40 * <!-- end-user-doc -->
41 * @generated
42 */
43 String eNS_URI = "http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/viatra2logicannotation";
44
45 /**
46 * The package namespace name.
47 * <!-- begin-user-doc -->
48 * <!-- end-user-doc -->
49 * @generated
50 */
51 String eNS_PREFIX = "viatra2logicannotations";
52
53 /**
54 * The singleton instance of the package.
55 * <!-- begin-user-doc -->
56 * <!-- end-user-doc -->
57 * @generated
58 */
59 Viatra2LogicAnnotationsPackage eINSTANCE = hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.Viatra2LogicAnnotationsPackageImpl.init();
60
61 /**
62 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransfomedViatraQueryImpl <em>Transfomed Viatra Query</em>}' class.
63 * <!-- begin-user-doc -->
64 * <!-- end-user-doc -->
65 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransfomedViatraQueryImpl
66 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.Viatra2LogicAnnotationsPackageImpl#getTransfomedViatraQuery()
67 * @generated
68 */
69 int TRANSFOMED_VIATRA_QUERY = 0;
70
71 /**
72 * The feature id for the '<em><b>Target</b></em>' reference.
73 * <!-- begin-user-doc -->
74 * <!-- end-user-doc -->
75 * @generated
76 * @ordered
77 */
78 int TRANSFOMED_VIATRA_QUERY__TARGET = LogicproblemPackage.RELATION_ANNOTATION__TARGET;
79
80 /**
81 * The feature id for the '<em><b>Pattern Fully Qualified Name</b></em>' attribute.
82 * <!-- begin-user-doc -->
83 * <!-- end-user-doc -->
84 * @generated
85 * @ordered
86 */
87 int TRANSFOMED_VIATRA_QUERY__PATTERN_FULLY_QUALIFIED_NAME = LogicproblemPackage.RELATION_ANNOTATION_FEATURE_COUNT + 0;
88
89 /**
90 * The number of structural features of the '<em>Transfomed Viatra Query</em>' class.
91 * <!-- begin-user-doc -->
92 * <!-- end-user-doc -->
93 * @generated
94 * @ordered
95 */
96 int TRANSFOMED_VIATRA_QUERY_FEATURE_COUNT = LogicproblemPackage.RELATION_ANNOTATION_FEATURE_COUNT + 1;
97
98 /**
99 * The number of operations of the '<em>Transfomed Viatra Query</em>' class.
100 * <!-- begin-user-doc -->
101 * <!-- end-user-doc -->
102 * @generated
103 * @ordered
104 */
105 int TRANSFOMED_VIATRA_QUERY_OPERATION_COUNT = LogicproblemPackage.RELATION_ANNOTATION_OPERATION_COUNT + 0;
106
107 /**
108 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransformedViatraWellformednessConstraintImpl <em>Transformed Viatra Wellformedness Constraint</em>}' class.
109 * <!-- begin-user-doc -->
110 * <!-- end-user-doc -->
111 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransformedViatraWellformednessConstraintImpl
112 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.Viatra2LogicAnnotationsPackageImpl#getTransformedViatraWellformednessConstraint()
113 * @generated
114 */
115 int TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT = 1;
116
117 /**
118 * The feature id for the '<em><b>Target</b></em>' reference.
119 * <!-- begin-user-doc -->
120 * <!-- end-user-doc -->
121 * @generated
122 * @ordered
123 */
124 int TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT__TARGET = LogicproblemPackage.ASSERTION_ANNOTATION__TARGET;
125
126 /**
127 * The feature id for the '<em><b>Query</b></em>' reference.
128 * <!-- begin-user-doc -->
129 * <!-- end-user-doc -->
130 * @generated
131 * @ordered
132 */
133 int TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT__QUERY = LogicproblemPackage.ASSERTION_ANNOTATION_FEATURE_COUNT + 0;
134
135 /**
136 * The number of structural features of the '<em>Transformed Viatra Wellformedness Constraint</em>' class.
137 * <!-- begin-user-doc -->
138 * <!-- end-user-doc -->
139 * @generated
140 * @ordered
141 */
142 int TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT_FEATURE_COUNT = LogicproblemPackage.ASSERTION_ANNOTATION_FEATURE_COUNT + 1;
143
144 /**
145 * The number of operations of the '<em>Transformed Viatra Wellformedness Constraint</em>' class.
146 * <!-- begin-user-doc -->
147 * <!-- end-user-doc -->
148 * @generated
149 * @ordered
150 */
151 int TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT_OPERATION_COUNT = LogicproblemPackage.ASSERTION_ANNOTATION_OPERATION_COUNT + 0;
152
153
154 /**
155 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.DefinedByDerivedFeatureImpl <em>Defined By Derived Feature</em>}' class.
156 * <!-- begin-user-doc -->
157 * <!-- end-user-doc -->
158 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.DefinedByDerivedFeatureImpl
159 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.Viatra2LogicAnnotationsPackageImpl#getDefinedByDerivedFeature()
160 * @generated
161 */
162 int DEFINED_BY_DERIVED_FEATURE = 2;
163
164 /**
165 * The feature id for the '<em><b>Target</b></em>' reference.
166 * <!-- begin-user-doc -->
167 * <!-- end-user-doc -->
168 * @generated
169 * @ordered
170 */
171 int DEFINED_BY_DERIVED_FEATURE__TARGET = LogicproblemPackage.RELATION_ANNOTATION__TARGET;
172
173 /**
174 * The feature id for the '<em><b>Query</b></em>' reference.
175 * <!-- begin-user-doc -->
176 * <!-- end-user-doc -->
177 * @generated
178 * @ordered
179 */
180 int DEFINED_BY_DERIVED_FEATURE__QUERY = LogicproblemPackage.RELATION_ANNOTATION_FEATURE_COUNT + 0;
181
182 /**
183 * The number of structural features of the '<em>Defined By Derived Feature</em>' class.
184 * <!-- begin-user-doc -->
185 * <!-- end-user-doc -->
186 * @generated
187 * @ordered
188 */
189 int DEFINED_BY_DERIVED_FEATURE_FEATURE_COUNT = LogicproblemPackage.RELATION_ANNOTATION_FEATURE_COUNT + 1;
190
191 /**
192 * The number of operations of the '<em>Defined By Derived Feature</em>' class.
193 * <!-- begin-user-doc -->
194 * <!-- end-user-doc -->
195 * @generated
196 * @ordered
197 */
198 int DEFINED_BY_DERIVED_FEATURE_OPERATION_COUNT = LogicproblemPackage.RELATION_ANNOTATION_OPERATION_COUNT + 0;
199
200
201 /**
202 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery <em>Transfomed Viatra Query</em>}'.
203 * <!-- begin-user-doc -->
204 * <!-- end-user-doc -->
205 * @return the meta object for class '<em>Transfomed Viatra Query</em>'.
206 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery
207 * @generated
208 */
209 EClass getTransfomedViatraQuery();
210
211 /**
212 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getPatternFullyQualifiedName <em>Pattern Fully Qualified Name</em>}'.
213 * <!-- begin-user-doc -->
214 * <!-- end-user-doc -->
215 * @return the meta object for the attribute '<em>Pattern Fully Qualified Name</em>'.
216 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getPatternFullyQualifiedName()
217 * @see #getTransfomedViatraQuery()
218 * @generated
219 */
220 EAttribute getTransfomedViatraQuery_PatternFullyQualifiedName();
221
222 /**
223 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransformedViatraWellformednessConstraint <em>Transformed Viatra Wellformedness Constraint</em>}'.
224 * <!-- begin-user-doc -->
225 * <!-- end-user-doc -->
226 * @return the meta object for class '<em>Transformed Viatra Wellformedness Constraint</em>'.
227 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransformedViatraWellformednessConstraint
228 * @generated
229 */
230 EClass getTransformedViatraWellformednessConstraint();
231
232 /**
233 * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransformedViatraWellformednessConstraint#getQuery <em>Query</em>}'.
234 * <!-- begin-user-doc -->
235 * <!-- end-user-doc -->
236 * @return the meta object for the reference '<em>Query</em>'.
237 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransformedViatraWellformednessConstraint#getQuery()
238 * @see #getTransformedViatraWellformednessConstraint()
239 * @generated
240 */
241 EReference getTransformedViatraWellformednessConstraint_Query();
242
243 /**
244 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.DefinedByDerivedFeature <em>Defined By Derived Feature</em>}'.
245 * <!-- begin-user-doc -->
246 * <!-- end-user-doc -->
247 * @return the meta object for class '<em>Defined By Derived Feature</em>'.
248 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.DefinedByDerivedFeature
249 * @generated
250 */
251 EClass getDefinedByDerivedFeature();
252
253 /**
254 * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.DefinedByDerivedFeature#getQuery <em>Query</em>}'.
255 * <!-- begin-user-doc -->
256 * <!-- end-user-doc -->
257 * @return the meta object for the reference '<em>Query</em>'.
258 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.DefinedByDerivedFeature#getQuery()
259 * @see #getDefinedByDerivedFeature()
260 * @generated
261 */
262 EReference getDefinedByDerivedFeature_Query();
263
264 /**
265 * Returns the factory that creates the instances of the model.
266 * <!-- begin-user-doc -->
267 * <!-- end-user-doc -->
268 * @return the factory that creates the instances of the model.
269 * @generated
270 */
271 Viatra2LogicAnnotationsFactory getViatra2LogicAnnotationsFactory();
272
273 /**
274 * <!-- begin-user-doc -->
275 * Defines literals for the meta objects that represent
276 * <ul>
277 * <li>each class,</li>
278 * <li>each feature of each class,</li>
279 * <li>each operation of each class,</li>
280 * <li>each enum,</li>
281 * <li>and each data type</li>
282 * </ul>
283 * <!-- end-user-doc -->
284 * @generated
285 */
286 interface Literals {
287 /**
288 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransfomedViatraQueryImpl <em>Transfomed Viatra Query</em>}' class.
289 * <!-- begin-user-doc -->
290 * <!-- end-user-doc -->
291 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransfomedViatraQueryImpl
292 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.Viatra2LogicAnnotationsPackageImpl#getTransfomedViatraQuery()
293 * @generated
294 */
295 EClass TRANSFOMED_VIATRA_QUERY = eINSTANCE.getTransfomedViatraQuery();
296
297 /**
298 * The meta object literal for the '<em><b>Pattern Fully Qualified Name</b></em>' attribute feature.
299 * <!-- begin-user-doc -->
300 * <!-- end-user-doc -->
301 * @generated
302 */
303 EAttribute TRANSFOMED_VIATRA_QUERY__PATTERN_FULLY_QUALIFIED_NAME = eINSTANCE.getTransfomedViatraQuery_PatternFullyQualifiedName();
304
305 /**
306 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransformedViatraWellformednessConstraintImpl <em>Transformed Viatra Wellformedness Constraint</em>}' class.
307 * <!-- begin-user-doc -->
308 * <!-- end-user-doc -->
309 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransformedViatraWellformednessConstraintImpl
310 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.Viatra2LogicAnnotationsPackageImpl#getTransformedViatraWellformednessConstraint()
311 * @generated
312 */
313 EClass TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT = eINSTANCE.getTransformedViatraWellformednessConstraint();
314
315 /**
316 * The meta object literal for the '<em><b>Query</b></em>' reference feature.
317 * <!-- begin-user-doc -->
318 * <!-- end-user-doc -->
319 * @generated
320 */
321 EReference TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT__QUERY = eINSTANCE.getTransformedViatraWellformednessConstraint_Query();
322
323 /**
324 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.DefinedByDerivedFeatureImpl <em>Defined By Derived Feature</em>}' class.
325 * <!-- begin-user-doc -->
326 * <!-- end-user-doc -->
327 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.DefinedByDerivedFeatureImpl
328 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.Viatra2LogicAnnotationsPackageImpl#getDefinedByDerivedFeature()
329 * @generated
330 */
331 EClass DEFINED_BY_DERIVED_FEATURE = eINSTANCE.getDefinedByDerivedFeature();
332
333 /**
334 * The meta object literal for the '<em><b>Query</b></em>' reference feature.
335 * <!-- begin-user-doc -->
336 * <!-- end-user-doc -->
337 * @generated
338 */
339 EReference DEFINED_BY_DERIVED_FEATURE__QUERY = eINSTANCE.getDefinedByDerivedFeature_Query();
340
341 }
342
343} //Viatra2LogicAnnotationsPackage
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/DefinedByDerivedFeatureImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/DefinedByDerivedFeatureImpl.java
new file mode 100644
index 00000000..c2098ed0
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/DefinedByDerivedFeatureImpl.java
@@ -0,0 +1,158 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.RelationAnnotationImpl;
6
7import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.DefinedByDerivedFeature;
8import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery;
9import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage;
10
11import org.eclipse.emf.common.notify.Notification;
12
13import org.eclipse.emf.ecore.EClass;
14import org.eclipse.emf.ecore.InternalEObject;
15
16import org.eclipse.emf.ecore.impl.ENotificationImpl;
17
18/**
19 * <!-- begin-user-doc -->
20 * An implementation of the model object '<em><b>Defined By Derived Feature</b></em>'.
21 * <!-- end-user-doc -->
22 * <p>
23 * The following features are implemented:
24 * </p>
25 * <ul>
26 * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.DefinedByDerivedFeatureImpl#getQuery <em>Query</em>}</li>
27 * </ul>
28 *
29 * @generated
30 */
31public class DefinedByDerivedFeatureImpl extends RelationAnnotationImpl implements DefinedByDerivedFeature {
32 /**
33 * The cached value of the '{@link #getQuery() <em>Query</em>}' reference.
34 * <!-- begin-user-doc -->
35 * <!-- end-user-doc -->
36 * @see #getQuery()
37 * @generated
38 * @ordered
39 */
40 protected TransfomedViatraQuery query;
41
42 /**
43 * <!-- begin-user-doc -->
44 * <!-- end-user-doc -->
45 * @generated
46 */
47 protected DefinedByDerivedFeatureImpl() {
48 super();
49 }
50
51 /**
52 * <!-- begin-user-doc -->
53 * <!-- end-user-doc -->
54 * @generated
55 */
56 @Override
57 protected EClass eStaticClass() {
58 return Viatra2LogicAnnotationsPackage.Literals.DEFINED_BY_DERIVED_FEATURE;
59 }
60
61 /**
62 * <!-- begin-user-doc -->
63 * <!-- end-user-doc -->
64 * @generated
65 */
66 public TransfomedViatraQuery getQuery() {
67 if (query != null && query.eIsProxy()) {
68 InternalEObject oldQuery = (InternalEObject)query;
69 query = (TransfomedViatraQuery)eResolveProxy(oldQuery);
70 if (query != oldQuery) {
71 if (eNotificationRequired())
72 eNotify(new ENotificationImpl(this, Notification.RESOLVE, Viatra2LogicAnnotationsPackage.DEFINED_BY_DERIVED_FEATURE__QUERY, oldQuery, query));
73 }
74 }
75 return query;
76 }
77
78 /**
79 * <!-- begin-user-doc -->
80 * <!-- end-user-doc -->
81 * @generated
82 */
83 public TransfomedViatraQuery basicGetQuery() {
84 return query;
85 }
86
87 /**
88 * <!-- begin-user-doc -->
89 * <!-- end-user-doc -->
90 * @generated
91 */
92 public void setQuery(TransfomedViatraQuery newQuery) {
93 TransfomedViatraQuery oldQuery = query;
94 query = newQuery;
95 if (eNotificationRequired())
96 eNotify(new ENotificationImpl(this, Notification.SET, Viatra2LogicAnnotationsPackage.DEFINED_BY_DERIVED_FEATURE__QUERY, oldQuery, query));
97 }
98
99 /**
100 * <!-- begin-user-doc -->
101 * <!-- end-user-doc -->
102 * @generated
103 */
104 @Override
105 public Object eGet(int featureID, boolean resolve, boolean coreType) {
106 switch (featureID) {
107 case Viatra2LogicAnnotationsPackage.DEFINED_BY_DERIVED_FEATURE__QUERY:
108 if (resolve) return getQuery();
109 return basicGetQuery();
110 }
111 return super.eGet(featureID, resolve, coreType);
112 }
113
114 /**
115 * <!-- begin-user-doc -->
116 * <!-- end-user-doc -->
117 * @generated
118 */
119 @Override
120 public void eSet(int featureID, Object newValue) {
121 switch (featureID) {
122 case Viatra2LogicAnnotationsPackage.DEFINED_BY_DERIVED_FEATURE__QUERY:
123 setQuery((TransfomedViatraQuery)newValue);
124 return;
125 }
126 super.eSet(featureID, newValue);
127 }
128
129 /**
130 * <!-- begin-user-doc -->
131 * <!-- end-user-doc -->
132 * @generated
133 */
134 @Override
135 public void eUnset(int featureID) {
136 switch (featureID) {
137 case Viatra2LogicAnnotationsPackage.DEFINED_BY_DERIVED_FEATURE__QUERY:
138 setQuery((TransfomedViatraQuery)null);
139 return;
140 }
141 super.eUnset(featureID);
142 }
143
144 /**
145 * <!-- begin-user-doc -->
146 * <!-- end-user-doc -->
147 * @generated
148 */
149 @Override
150 public boolean eIsSet(int featureID) {
151 switch (featureID) {
152 case Viatra2LogicAnnotationsPackage.DEFINED_BY_DERIVED_FEATURE__QUERY:
153 return query != null;
154 }
155 return super.eIsSet(featureID);
156 }
157
158} //DefinedByDerivedFeatureImpl
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransfomedViatraQueryImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransfomedViatraQueryImpl.java
new file mode 100644
index 00000000..f0d18ee9
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransfomedViatraQueryImpl.java
@@ -0,0 +1,161 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.RelationAnnotationImpl;
6
7import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery;
8import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage;
9
10import org.eclipse.emf.common.notify.Notification;
11import org.eclipse.emf.ecore.EClass;
12import org.eclipse.emf.ecore.impl.ENotificationImpl;
13
14/**
15 * <!-- begin-user-doc -->
16 * An implementation of the model object '<em><b>Transfomed Viatra Query</b></em>'.
17 * <!-- end-user-doc -->
18 * <p>
19 * The following features are implemented:
20 * </p>
21 * <ul>
22 * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransfomedViatraQueryImpl#getPatternFullyQualifiedName <em>Pattern Fully Qualified Name</em>}</li>
23 * </ul>
24 *
25 * @generated
26 */
27public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements TransfomedViatraQuery {
28 /**
29 * The default value of the '{@link #getPatternFullyQualifiedName() <em>Pattern Fully Qualified Name</em>}' attribute.
30 * <!-- begin-user-doc -->
31 * <!-- end-user-doc -->
32 * @see #getPatternFullyQualifiedName()
33 * @generated
34 * @ordered
35 */
36 protected static final String PATTERN_FULLY_QUALIFIED_NAME_EDEFAULT = null;
37 /**
38 * The cached value of the '{@link #getPatternFullyQualifiedName() <em>Pattern Fully Qualified Name</em>}' attribute.
39 * <!-- begin-user-doc -->
40 * <!-- end-user-doc -->
41 * @see #getPatternFullyQualifiedName()
42 * @generated
43 * @ordered
44 */
45 protected String patternFullyQualifiedName = PATTERN_FULLY_QUALIFIED_NAME_EDEFAULT;
46
47 /**
48 * <!-- begin-user-doc -->
49 * <!-- end-user-doc -->
50 * @generated
51 */
52 protected TransfomedViatraQueryImpl() {
53 super();
54 }
55
56 /**
57 * <!-- begin-user-doc -->
58 * <!-- end-user-doc -->
59 * @generated
60 */
61 @Override
62 protected EClass eStaticClass() {
63 return Viatra2LogicAnnotationsPackage.Literals.TRANSFOMED_VIATRA_QUERY;
64 }
65
66 /**
67 * <!-- begin-user-doc -->
68 * <!-- end-user-doc -->
69 * @generated
70 */
71 public String getPatternFullyQualifiedName() {
72 return patternFullyQualifiedName;
73 }
74
75 /**
76 * <!-- begin-user-doc -->
77 * <!-- end-user-doc -->
78 * @generated
79 */
80 public void setPatternFullyQualifiedName(String newPatternFullyQualifiedName) {
81 String oldPatternFullyQualifiedName = patternFullyQualifiedName;
82 patternFullyQualifiedName = newPatternFullyQualifiedName;
83 if (eNotificationRequired())
84 eNotify(new ENotificationImpl(this, Notification.SET, Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_FULLY_QUALIFIED_NAME, oldPatternFullyQualifiedName, patternFullyQualifiedName));
85 }
86
87 /**
88 * <!-- begin-user-doc -->
89 * <!-- end-user-doc -->
90 * @generated
91 */
92 @Override
93 public Object eGet(int featureID, boolean resolve, boolean coreType) {
94 switch (featureID) {
95 case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_FULLY_QUALIFIED_NAME:
96 return getPatternFullyQualifiedName();
97 }
98 return super.eGet(featureID, resolve, coreType);
99 }
100
101 /**
102 * <!-- begin-user-doc -->
103 * <!-- end-user-doc -->
104 * @generated
105 */
106 @Override
107 public void eSet(int featureID, Object newValue) {
108 switch (featureID) {
109 case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_FULLY_QUALIFIED_NAME:
110 setPatternFullyQualifiedName((String)newValue);
111 return;
112 }
113 super.eSet(featureID, newValue);
114 }
115
116 /**
117 * <!-- begin-user-doc -->
118 * <!-- end-user-doc -->
119 * @generated
120 */
121 @Override
122 public void eUnset(int featureID) {
123 switch (featureID) {
124 case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_FULLY_QUALIFIED_NAME:
125 setPatternFullyQualifiedName(PATTERN_FULLY_QUALIFIED_NAME_EDEFAULT);
126 return;
127 }
128 super.eUnset(featureID);
129 }
130
131 /**
132 * <!-- begin-user-doc -->
133 * <!-- end-user-doc -->
134 * @generated
135 */
136 @Override
137 public boolean eIsSet(int featureID) {
138 switch (featureID) {
139 case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_FULLY_QUALIFIED_NAME:
140 return PATTERN_FULLY_QUALIFIED_NAME_EDEFAULT == null ? patternFullyQualifiedName != null : !PATTERN_FULLY_QUALIFIED_NAME_EDEFAULT.equals(patternFullyQualifiedName);
141 }
142 return super.eIsSet(featureID);
143 }
144
145 /**
146 * <!-- begin-user-doc -->
147 * <!-- end-user-doc -->
148 * @generated
149 */
150 @Override
151 public String toString() {
152 if (eIsProxy()) return super.toString();
153
154 StringBuffer result = new StringBuffer(super.toString());
155 result.append(" (patternFullyQualifiedName: ");
156 result.append(patternFullyQualifiedName);
157 result.append(')');
158 return result.toString();
159 }
160
161} //TransfomedViatraQueryImpl
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransformedViatraWellformednessConstraintImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransformedViatraWellformednessConstraintImpl.java
new file mode 100644
index 00000000..be0c3078
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransformedViatraWellformednessConstraintImpl.java
@@ -0,0 +1,158 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.AssertionAnnotationImpl;
6
7import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery;
8import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransformedViatraWellformednessConstraint;
9import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage;
10
11import org.eclipse.emf.common.notify.Notification;
12
13import org.eclipse.emf.ecore.EClass;
14import org.eclipse.emf.ecore.InternalEObject;
15
16import org.eclipse.emf.ecore.impl.ENotificationImpl;
17
18/**
19 * <!-- begin-user-doc -->
20 * An implementation of the model object '<em><b>Transformed Viatra Wellformedness Constraint</b></em>'.
21 * <!-- end-user-doc -->
22 * <p>
23 * The following features are implemented:
24 * </p>
25 * <ul>
26 * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransformedViatraWellformednessConstraintImpl#getQuery <em>Query</em>}</li>
27 * </ul>
28 *
29 * @generated
30 */
31public class TransformedViatraWellformednessConstraintImpl extends AssertionAnnotationImpl implements TransformedViatraWellformednessConstraint {
32 /**
33 * The cached value of the '{@link #getQuery() <em>Query</em>}' reference.
34 * <!-- begin-user-doc -->
35 * <!-- end-user-doc -->
36 * @see #getQuery()
37 * @generated
38 * @ordered
39 */
40 protected TransfomedViatraQuery query;
41
42 /**
43 * <!-- begin-user-doc -->
44 * <!-- end-user-doc -->
45 * @generated
46 */
47 protected TransformedViatraWellformednessConstraintImpl() {
48 super();
49 }
50
51 /**
52 * <!-- begin-user-doc -->
53 * <!-- end-user-doc -->
54 * @generated
55 */
56 @Override
57 protected EClass eStaticClass() {
58 return Viatra2LogicAnnotationsPackage.Literals.TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT;
59 }
60
61 /**
62 * <!-- begin-user-doc -->
63 * <!-- end-user-doc -->
64 * @generated
65 */
66 public TransfomedViatraQuery getQuery() {
67 if (query != null && query.eIsProxy()) {
68 InternalEObject oldQuery = (InternalEObject)query;
69 query = (TransfomedViatraQuery)eResolveProxy(oldQuery);
70 if (query != oldQuery) {
71 if (eNotificationRequired())
72 eNotify(new ENotificationImpl(this, Notification.RESOLVE, Viatra2LogicAnnotationsPackage.TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT__QUERY, oldQuery, query));
73 }
74 }
75 return query;
76 }
77
78 /**
79 * <!-- begin-user-doc -->
80 * <!-- end-user-doc -->
81 * @generated
82 */
83 public TransfomedViatraQuery basicGetQuery() {
84 return query;
85 }
86
87 /**
88 * <!-- begin-user-doc -->
89 * <!-- end-user-doc -->
90 * @generated
91 */
92 public void setQuery(TransfomedViatraQuery newQuery) {
93 TransfomedViatraQuery oldQuery = query;
94 query = newQuery;
95 if (eNotificationRequired())
96 eNotify(new ENotificationImpl(this, Notification.SET, Viatra2LogicAnnotationsPackage.TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT__QUERY, oldQuery, query));
97 }
98
99 /**
100 * <!-- begin-user-doc -->
101 * <!-- end-user-doc -->
102 * @generated
103 */
104 @Override
105 public Object eGet(int featureID, boolean resolve, boolean coreType) {
106 switch (featureID) {
107 case Viatra2LogicAnnotationsPackage.TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT__QUERY:
108 if (resolve) return getQuery();
109 return basicGetQuery();
110 }
111 return super.eGet(featureID, resolve, coreType);
112 }
113
114 /**
115 * <!-- begin-user-doc -->
116 * <!-- end-user-doc -->
117 * @generated
118 */
119 @Override
120 public void eSet(int featureID, Object newValue) {
121 switch (featureID) {
122 case Viatra2LogicAnnotationsPackage.TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT__QUERY:
123 setQuery((TransfomedViatraQuery)newValue);
124 return;
125 }
126 super.eSet(featureID, newValue);
127 }
128
129 /**
130 * <!-- begin-user-doc -->
131 * <!-- end-user-doc -->
132 * @generated
133 */
134 @Override
135 public void eUnset(int featureID) {
136 switch (featureID) {
137 case Viatra2LogicAnnotationsPackage.TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT__QUERY:
138 setQuery((TransfomedViatraQuery)null);
139 return;
140 }
141 super.eUnset(featureID);
142 }
143
144 /**
145 * <!-- begin-user-doc -->
146 * <!-- end-user-doc -->
147 * @generated
148 */
149 @Override
150 public boolean eIsSet(int featureID) {
151 switch (featureID) {
152 case Viatra2LogicAnnotationsPackage.TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT__QUERY:
153 return query != null;
154 }
155 return super.eIsSet(featureID);
156 }
157
158} //TransformedViatraWellformednessConstraintImpl
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/Viatra2LogicAnnotationsFactoryImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/Viatra2LogicAnnotationsFactoryImpl.java
new file mode 100644
index 00000000..fc8f23c7
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/Viatra2LogicAnnotationsFactoryImpl.java
@@ -0,0 +1,117 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl;
4
5import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.*;
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 Viatra2LogicAnnotationsFactoryImpl extends EFactoryImpl implements Viatra2LogicAnnotationsFactory {
22 /**
23 * Creates the default factory implementation.
24 * <!-- begin-user-doc -->
25 * <!-- end-user-doc -->
26 * @generated
27 */
28 public static Viatra2LogicAnnotationsFactory init() {
29 try {
30 Viatra2LogicAnnotationsFactory theViatra2LogicAnnotationsFactory = (Viatra2LogicAnnotationsFactory)EPackage.Registry.INSTANCE.getEFactory(Viatra2LogicAnnotationsPackage.eNS_URI);
31 if (theViatra2LogicAnnotationsFactory != null) {
32 return theViatra2LogicAnnotationsFactory;
33 }
34 }
35 catch (Exception exception) {
36 EcorePlugin.INSTANCE.log(exception);
37 }
38 return new Viatra2LogicAnnotationsFactoryImpl();
39 }
40
41 /**
42 * Creates an instance of the factory.
43 * <!-- begin-user-doc -->
44 * <!-- end-user-doc -->
45 * @generated
46 */
47 public Viatra2LogicAnnotationsFactoryImpl() {
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 Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY: return createTransfomedViatraQuery();
60 case Viatra2LogicAnnotationsPackage.TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT: return createTransformedViatraWellformednessConstraint();
61 case Viatra2LogicAnnotationsPackage.DEFINED_BY_DERIVED_FEATURE: return createDefinedByDerivedFeature();
62 default:
63 throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier");
64 }
65 }
66
67 /**
68 * <!-- begin-user-doc -->
69 * <!-- end-user-doc -->
70 * @generated
71 */
72 public TransfomedViatraQuery createTransfomedViatraQuery() {
73 TransfomedViatraQueryImpl transfomedViatraQuery = new TransfomedViatraQueryImpl();
74 return transfomedViatraQuery;
75 }
76
77 /**
78 * <!-- begin-user-doc -->
79 * <!-- end-user-doc -->
80 * @generated
81 */
82 public TransformedViatraWellformednessConstraint createTransformedViatraWellformednessConstraint() {
83 TransformedViatraWellformednessConstraintImpl transformedViatraWellformednessConstraint = new TransformedViatraWellformednessConstraintImpl();
84 return transformedViatraWellformednessConstraint;
85 }
86
87 /**
88 * <!-- begin-user-doc -->
89 * <!-- end-user-doc -->
90 * @generated
91 */
92 public DefinedByDerivedFeature createDefinedByDerivedFeature() {
93 DefinedByDerivedFeatureImpl definedByDerivedFeature = new DefinedByDerivedFeatureImpl();
94 return definedByDerivedFeature;
95 }
96
97 /**
98 * <!-- begin-user-doc -->
99 * <!-- end-user-doc -->
100 * @generated
101 */
102 public Viatra2LogicAnnotationsPackage getViatra2LogicAnnotationsPackage() {
103 return (Viatra2LogicAnnotationsPackage)getEPackage();
104 }
105
106 /**
107 * <!-- begin-user-doc -->
108 * <!-- end-user-doc -->
109 * @deprecated
110 * @generated
111 */
112 @Deprecated
113 public static Viatra2LogicAnnotationsPackage getPackage() {
114 return Viatra2LogicAnnotationsPackage.eINSTANCE;
115 }
116
117} //Viatra2LogicAnnotationsFactoryImpl
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/Viatra2LogicAnnotationsPackageImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/Viatra2LogicAnnotationsPackageImpl.java
new file mode 100644
index 00000000..b6992bf9
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/Viatra2LogicAnnotationsPackageImpl.java
@@ -0,0 +1,256 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.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.viatra2logic.viatra2logicannotations.DefinedByDerivedFeature;
10import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery;
11import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransformedViatraWellformednessConstraint;
12import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsFactory;
13import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage;
14
15import org.eclipse.emf.ecore.EAttribute;
16import org.eclipse.emf.ecore.EClass;
17import org.eclipse.emf.ecore.EPackage;
18import org.eclipse.emf.ecore.EReference;
19
20import org.eclipse.emf.ecore.impl.EPackageImpl;
21
22/**
23 * <!-- begin-user-doc -->
24 * An implementation of the model <b>Package</b>.
25 * <!-- end-user-doc -->
26 * @generated
27 */
28public class Viatra2LogicAnnotationsPackageImpl extends EPackageImpl implements Viatra2LogicAnnotationsPackage {
29 /**
30 * <!-- begin-user-doc -->
31 * <!-- end-user-doc -->
32 * @generated
33 */
34 private EClass transfomedViatraQueryEClass = null;
35
36 /**
37 * <!-- begin-user-doc -->
38 * <!-- end-user-doc -->
39 * @generated
40 */
41 private EClass transformedViatraWellformednessConstraintEClass = null;
42
43 /**
44 * <!-- begin-user-doc -->
45 * <!-- end-user-doc -->
46 * @generated
47 */
48 private EClass definedByDerivedFeatureEClass = null;
49
50 /**
51 * Creates an instance of the model <b>Package</b>, registered with
52 * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package
53 * package URI value.
54 * <p>Note: the correct way to create the package is via the static
55 * factory method {@link #init init()}, which also performs
56 * initialization of the package, or returns the registered package,
57 * if one already exists.
58 * <!-- begin-user-doc -->
59 * <!-- end-user-doc -->
60 * @see org.eclipse.emf.ecore.EPackage.Registry
61 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage#eNS_URI
62 * @see #init()
63 * @generated
64 */
65 private Viatra2LogicAnnotationsPackageImpl() {
66 super(eNS_URI, Viatra2LogicAnnotationsFactory.eINSTANCE);
67 }
68
69 /**
70 * <!-- begin-user-doc -->
71 * <!-- end-user-doc -->
72 * @generated
73 */
74 private static boolean isInited = false;
75
76 /**
77 * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends.
78 *
79 * <p>This method is used to initialize {@link Viatra2LogicAnnotationsPackage#eINSTANCE} when that field is accessed.
80 * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package.
81 * <!-- begin-user-doc -->
82 * <!-- end-user-doc -->
83 * @see #eNS_URI
84 * @see #createPackageContents()
85 * @see #initializePackageContents()
86 * @generated
87 */
88 public static Viatra2LogicAnnotationsPackage init() {
89 if (isInited) return (Viatra2LogicAnnotationsPackage)EPackage.Registry.INSTANCE.getEPackage(Viatra2LogicAnnotationsPackage.eNS_URI);
90
91 // Obtain or create and register package
92 Viatra2LogicAnnotationsPackageImpl theViatra2LogicAnnotationsPackage = (Viatra2LogicAnnotationsPackageImpl)(EPackage.Registry.INSTANCE.get(eNS_URI) instanceof Viatra2LogicAnnotationsPackageImpl ? EPackage.Registry.INSTANCE.get(eNS_URI) : new Viatra2LogicAnnotationsPackageImpl());
93
94 isInited = true;
95
96 // Initialize simple dependencies
97 LogiclanguagePackage.eINSTANCE.eClass();
98 LogicproblemPackage.eINSTANCE.eClass();
99
100 // Create package meta-data objects
101 theViatra2LogicAnnotationsPackage.createPackageContents();
102
103 // Initialize created meta-data
104 theViatra2LogicAnnotationsPackage.initializePackageContents();
105
106 // Mark meta-data to indicate it can't be changed
107 theViatra2LogicAnnotationsPackage.freeze();
108
109
110 // Update the registry and return the package
111 EPackage.Registry.INSTANCE.put(Viatra2LogicAnnotationsPackage.eNS_URI, theViatra2LogicAnnotationsPackage);
112 return theViatra2LogicAnnotationsPackage;
113 }
114
115 /**
116 * <!-- begin-user-doc -->
117 * <!-- end-user-doc -->
118 * @generated
119 */
120 public EClass getTransfomedViatraQuery() {
121 return transfomedViatraQueryEClass;
122 }
123
124 /**
125 * <!-- begin-user-doc -->
126 * <!-- end-user-doc -->
127 * @generated
128 */
129 public EAttribute getTransfomedViatraQuery_PatternFullyQualifiedName() {
130 return (EAttribute)transfomedViatraQueryEClass.getEStructuralFeatures().get(0);
131 }
132
133 /**
134 * <!-- begin-user-doc -->
135 * <!-- end-user-doc -->
136 * @generated
137 */
138 public EClass getTransformedViatraWellformednessConstraint() {
139 return transformedViatraWellformednessConstraintEClass;
140 }
141
142 /**
143 * <!-- begin-user-doc -->
144 * <!-- end-user-doc -->
145 * @generated
146 */
147 public EReference getTransformedViatraWellformednessConstraint_Query() {
148 return (EReference)transformedViatraWellformednessConstraintEClass.getEStructuralFeatures().get(0);
149 }
150
151 /**
152 * <!-- begin-user-doc -->
153 * <!-- end-user-doc -->
154 * @generated
155 */
156 public EClass getDefinedByDerivedFeature() {
157 return definedByDerivedFeatureEClass;
158 }
159
160 /**
161 * <!-- begin-user-doc -->
162 * <!-- end-user-doc -->
163 * @generated
164 */
165 public EReference getDefinedByDerivedFeature_Query() {
166 return (EReference)definedByDerivedFeatureEClass.getEStructuralFeatures().get(0);
167 }
168
169 /**
170 * <!-- begin-user-doc -->
171 * <!-- end-user-doc -->
172 * @generated
173 */
174 public Viatra2LogicAnnotationsFactory getViatra2LogicAnnotationsFactory() {
175 return (Viatra2LogicAnnotationsFactory)getEFactoryInstance();
176 }
177
178 /**
179 * <!-- begin-user-doc -->
180 * <!-- end-user-doc -->
181 * @generated
182 */
183 private boolean isCreated = false;
184
185 /**
186 * Creates the meta-model objects for the package. This method is
187 * guarded to have no affect on any invocation but its first.
188 * <!-- begin-user-doc -->
189 * <!-- end-user-doc -->
190 * @generated
191 */
192 public void createPackageContents() {
193 if (isCreated) return;
194 isCreated = true;
195
196 // Create classes and their features
197 transfomedViatraQueryEClass = createEClass(TRANSFOMED_VIATRA_QUERY);
198 createEAttribute(transfomedViatraQueryEClass, TRANSFOMED_VIATRA_QUERY__PATTERN_FULLY_QUALIFIED_NAME);
199
200 transformedViatraWellformednessConstraintEClass = createEClass(TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT);
201 createEReference(transformedViatraWellformednessConstraintEClass, TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT__QUERY);
202
203 definedByDerivedFeatureEClass = createEClass(DEFINED_BY_DERIVED_FEATURE);
204 createEReference(definedByDerivedFeatureEClass, DEFINED_BY_DERIVED_FEATURE__QUERY);
205 }
206
207 /**
208 * <!-- begin-user-doc -->
209 * <!-- end-user-doc -->
210 * @generated
211 */
212 private boolean isInitialized = false;
213
214 /**
215 * Complete the initialization of the package and its meta-model. This
216 * method is guarded to have no affect on any invocation but its first.
217 * <!-- begin-user-doc -->
218 * <!-- end-user-doc -->
219 * @generated
220 */
221 public void initializePackageContents() {
222 if (isInitialized) return;
223 isInitialized = true;
224
225 // Initialize package
226 setName(eNAME);
227 setNsPrefix(eNS_PREFIX);
228 setNsURI(eNS_URI);
229
230 // Obtain other dependent packages
231 LogicproblemPackage theLogicproblemPackage = (LogicproblemPackage)EPackage.Registry.INSTANCE.getEPackage(LogicproblemPackage.eNS_URI);
232
233 // Create type parameters
234
235 // Set bounds for type parameters
236
237 // Add supertypes to classes
238 transfomedViatraQueryEClass.getESuperTypes().add(theLogicproblemPackage.getRelationAnnotation());
239 transformedViatraWellformednessConstraintEClass.getESuperTypes().add(theLogicproblemPackage.getAssertionAnnotation());
240 definedByDerivedFeatureEClass.getESuperTypes().add(theLogicproblemPackage.getRelationAnnotation());
241
242 // Initialize classes, features, and operations; add parameters
243 initEClass(transfomedViatraQueryEClass, TransfomedViatraQuery.class, "TransfomedViatraQuery", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
244 initEAttribute(getTransfomedViatraQuery_PatternFullyQualifiedName(), ecorePackage.getEString(), "patternFullyQualifiedName", null, 1, 1, TransfomedViatraQuery.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
245
246 initEClass(transformedViatraWellformednessConstraintEClass, TransformedViatraWellformednessConstraint.class, "TransformedViatraWellformednessConstraint", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
247 initEReference(getTransformedViatraWellformednessConstraint_Query(), this.getTransfomedViatraQuery(), null, "query", null, 1, 1, TransformedViatraWellformednessConstraint.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
248
249 initEClass(definedByDerivedFeatureEClass, DefinedByDerivedFeature.class, "DefinedByDerivedFeature", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
250 initEReference(getDefinedByDerivedFeature_Query(), this.getTransfomedViatraQuery(), null, "query", null, 1, 1, DefinedByDerivedFeature.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
251
252 // Create resource
253 createResource(eNS_URI);
254 }
255
256} //Viatra2LogicAnnotationsPackageImpl
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/util/Viatra2LogicAnnotationsAdapterFactory.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/util/Viatra2LogicAnnotationsAdapterFactory.java
new file mode 100644
index 00000000..91bbdc9f
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/util/Viatra2LogicAnnotationsAdapterFactory.java
@@ -0,0 +1,214 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.util;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation;
6import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation;
7import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation;
8
9import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.*;
10
11import org.eclipse.emf.common.notify.Adapter;
12import org.eclipse.emf.common.notify.Notifier;
13
14import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl;
15
16import org.eclipse.emf.ecore.EObject;
17
18/**
19 * <!-- begin-user-doc -->
20 * The <b>Adapter Factory</b> for the model.
21 * It provides an adapter <code>createXXX</code> method for each class of the model.
22 * <!-- end-user-doc -->
23 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage
24 * @generated
25 */
26public class Viatra2LogicAnnotationsAdapterFactory extends AdapterFactoryImpl {
27 /**
28 * The cached model package.
29 * <!-- begin-user-doc -->
30 * <!-- end-user-doc -->
31 * @generated
32 */
33 protected static Viatra2LogicAnnotationsPackage modelPackage;
34
35 /**
36 * Creates an instance of the adapter factory.
37 * <!-- begin-user-doc -->
38 * <!-- end-user-doc -->
39 * @generated
40 */
41 public Viatra2LogicAnnotationsAdapterFactory() {
42 if (modelPackage == null) {
43 modelPackage = Viatra2LogicAnnotationsPackage.eINSTANCE;
44 }
45 }
46
47 /**
48 * Returns whether this factory is applicable for the type of the object.
49 * <!-- begin-user-doc -->
50 * This implementation returns <code>true</code> if the object is either the model's package or is an instance object of the model.
51 * <!-- end-user-doc -->
52 * @return whether this factory is applicable for the type of the object.
53 * @generated
54 */
55 @Override
56 public boolean isFactoryForType(Object object) {
57 if (object == modelPackage) {
58 return true;
59 }
60 if (object instanceof EObject) {
61 return ((EObject)object).eClass().getEPackage() == modelPackage;
62 }
63 return false;
64 }
65
66 /**
67 * The switch that delegates to the <code>createXXX</code> methods.
68 * <!-- begin-user-doc -->
69 * <!-- end-user-doc -->
70 * @generated
71 */
72 protected Viatra2LogicAnnotationsSwitch<Adapter> modelSwitch =
73 new Viatra2LogicAnnotationsSwitch<Adapter>() {
74 @Override
75 public Adapter caseTransfomedViatraQuery(TransfomedViatraQuery object) {
76 return createTransfomedViatraQueryAdapter();
77 }
78 @Override
79 public Adapter caseTransformedViatraWellformednessConstraint(TransformedViatraWellformednessConstraint object) {
80 return createTransformedViatraWellformednessConstraintAdapter();
81 }
82 @Override
83 public Adapter caseDefinedByDerivedFeature(DefinedByDerivedFeature object) {
84 return createDefinedByDerivedFeatureAdapter();
85 }
86 @Override
87 public Adapter caseAnnotation(Annotation object) {
88 return createAnnotationAdapter();
89 }
90 @Override
91 public Adapter caseRelationAnnotation(RelationAnnotation object) {
92 return createRelationAnnotationAdapter();
93 }
94 @Override
95 public Adapter caseAssertionAnnotation(AssertionAnnotation object) {
96 return createAssertionAnnotationAdapter();
97 }
98 @Override
99 public Adapter defaultCase(EObject object) {
100 return createEObjectAdapter();
101 }
102 };
103
104 /**
105 * Creates an adapter for the <code>target</code>.
106 * <!-- begin-user-doc -->
107 * <!-- end-user-doc -->
108 * @param target the object to adapt.
109 * @return the adapter for the <code>target</code>.
110 * @generated
111 */
112 @Override
113 public Adapter createAdapter(Notifier target) {
114 return modelSwitch.doSwitch((EObject)target);
115 }
116
117
118 /**
119 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery <em>Transfomed Viatra Query</em>}'.
120 * <!-- begin-user-doc -->
121 * This default implementation returns null so that we can easily ignore cases;
122 * it's useful to ignore a case when inheritance will catch all the cases anyway.
123 * <!-- end-user-doc -->
124 * @return the new adapter.
125 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery
126 * @generated
127 */
128 public Adapter createTransfomedViatraQueryAdapter() {
129 return null;
130 }
131
132 /**
133 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransformedViatraWellformednessConstraint <em>Transformed Viatra Wellformedness Constraint</em>}'.
134 * <!-- begin-user-doc -->
135 * This default implementation returns null so that we can easily ignore cases;
136 * it's useful to ignore a case when inheritance will catch all the cases anyway.
137 * <!-- end-user-doc -->
138 * @return the new adapter.
139 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransformedViatraWellformednessConstraint
140 * @generated
141 */
142 public Adapter createTransformedViatraWellformednessConstraintAdapter() {
143 return null;
144 }
145
146 /**
147 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.DefinedByDerivedFeature <em>Defined By Derived Feature</em>}'.
148 * <!-- begin-user-doc -->
149 * This default implementation returns null so that we can easily ignore cases;
150 * it's useful to ignore a case when inheritance will catch all the cases anyway.
151 * <!-- end-user-doc -->
152 * @return the new adapter.
153 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.DefinedByDerivedFeature
154 * @generated
155 */
156 public Adapter createDefinedByDerivedFeatureAdapter() {
157 return null;
158 }
159
160 /**
161 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation <em>Annotation</em>}'.
162 * <!-- begin-user-doc -->
163 * This default implementation returns null so that we can easily ignore cases;
164 * it's useful to ignore a case when inheritance will catch all the cases anyway.
165 * <!-- end-user-doc -->
166 * @return the new adapter.
167 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation
168 * @generated
169 */
170 public Adapter createAnnotationAdapter() {
171 return null;
172 }
173
174 /**
175 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation <em>Relation Annotation</em>}'.
176 * <!-- begin-user-doc -->
177 * This default implementation returns null so that we can easily ignore cases;
178 * it's useful to ignore a case when inheritance will catch all the cases anyway.
179 * <!-- end-user-doc -->
180 * @return the new adapter.
181 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation
182 * @generated
183 */
184 public Adapter createRelationAnnotationAdapter() {
185 return null;
186 }
187
188 /**
189 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation <em>Assertion Annotation</em>}'.
190 * <!-- begin-user-doc -->
191 * This default implementation returns null so that we can easily ignore cases;
192 * it's useful to ignore a case when inheritance will catch all the cases anyway.
193 * <!-- end-user-doc -->
194 * @return the new adapter.
195 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation
196 * @generated
197 */
198 public Adapter createAssertionAnnotationAdapter() {
199 return null;
200 }
201
202 /**
203 * Creates a new adapter for the default case.
204 * <!-- begin-user-doc -->
205 * This default implementation returns null.
206 * <!-- end-user-doc -->
207 * @return the new adapter.
208 * @generated
209 */
210 public Adapter createEObjectAdapter() {
211 return null;
212 }
213
214} //Viatra2LogicAnnotationsAdapterFactory
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/util/Viatra2LogicAnnotationsSwitch.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/util/Viatra2LogicAnnotationsSwitch.java
new file mode 100644
index 00000000..09288a62
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/util/Viatra2LogicAnnotationsSwitch.java
@@ -0,0 +1,207 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.util;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation;
6import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation;
7import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation;
8
9import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.*;
10
11import org.eclipse.emf.ecore.EObject;
12import org.eclipse.emf.ecore.EPackage;
13
14import org.eclipse.emf.ecore.util.Switch;
15
16/**
17 * <!-- begin-user-doc -->
18 * The <b>Switch</b> for the model's inheritance hierarchy.
19 * It supports the call {@link #doSwitch(EObject) doSwitch(object)}
20 * to invoke the <code>caseXXX</code> method for each class of the model,
21 * starting with the actual class of the object
22 * and proceeding up the inheritance hierarchy
23 * until a non-null result is returned,
24 * which is the result of the switch.
25 * <!-- end-user-doc -->
26 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage
27 * @generated
28 */
29public class Viatra2LogicAnnotationsSwitch<T> extends Switch<T> {
30 /**
31 * The cached model package
32 * <!-- begin-user-doc -->
33 * <!-- end-user-doc -->
34 * @generated
35 */
36 protected static Viatra2LogicAnnotationsPackage modelPackage;
37
38 /**
39 * Creates an instance of the switch.
40 * <!-- begin-user-doc -->
41 * <!-- end-user-doc -->
42 * @generated
43 */
44 public Viatra2LogicAnnotationsSwitch() {
45 if (modelPackage == null) {
46 modelPackage = Viatra2LogicAnnotationsPackage.eINSTANCE;
47 }
48 }
49
50 /**
51 * Checks whether this is a switch for the given package.
52 * <!-- begin-user-doc -->
53 * <!-- end-user-doc -->
54 * @param ePackage the package in question.
55 * @return whether this is a switch for the given package.
56 * @generated
57 */
58 @Override
59 protected boolean isSwitchFor(EPackage ePackage) {
60 return ePackage == modelPackage;
61 }
62
63 /**
64 * Calls <code>caseXXX</code> for each class of the model until one returns a non null result; it yields that result.
65 * <!-- begin-user-doc -->
66 * <!-- end-user-doc -->
67 * @return the first non-null result returned by a <code>caseXXX</code> call.
68 * @generated
69 */
70 @Override
71 protected T doSwitch(int classifierID, EObject theEObject) {
72 switch (classifierID) {
73 case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY: {
74 TransfomedViatraQuery transfomedViatraQuery = (TransfomedViatraQuery)theEObject;
75 T result = caseTransfomedViatraQuery(transfomedViatraQuery);
76 if (result == null) result = caseRelationAnnotation(transfomedViatraQuery);
77 if (result == null) result = caseAnnotation(transfomedViatraQuery);
78 if (result == null) result = defaultCase(theEObject);
79 return result;
80 }
81 case Viatra2LogicAnnotationsPackage.TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT: {
82 TransformedViatraWellformednessConstraint transformedViatraWellformednessConstraint = (TransformedViatraWellformednessConstraint)theEObject;
83 T result = caseTransformedViatraWellformednessConstraint(transformedViatraWellformednessConstraint);
84 if (result == null) result = caseAssertionAnnotation(transformedViatraWellformednessConstraint);
85 if (result == null) result = caseAnnotation(transformedViatraWellformednessConstraint);
86 if (result == null) result = defaultCase(theEObject);
87 return result;
88 }
89 case Viatra2LogicAnnotationsPackage.DEFINED_BY_DERIVED_FEATURE: {
90 DefinedByDerivedFeature definedByDerivedFeature = (DefinedByDerivedFeature)theEObject;
91 T result = caseDefinedByDerivedFeature(definedByDerivedFeature);
92 if (result == null) result = caseRelationAnnotation(definedByDerivedFeature);
93 if (result == null) result = caseAnnotation(definedByDerivedFeature);
94 if (result == null) result = defaultCase(theEObject);
95 return result;
96 }
97 default: return defaultCase(theEObject);
98 }
99 }
100
101 /**
102 * Returns the result of interpreting the object as an instance of '<em>Transfomed Viatra Query</em>'.
103 * <!-- begin-user-doc -->
104 * This implementation returns null;
105 * returning a non-null result will terminate the switch.
106 * <!-- end-user-doc -->
107 * @param object the target of the switch.
108 * @return the result of interpreting the object as an instance of '<em>Transfomed Viatra Query</em>'.
109 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
110 * @generated
111 */
112 public T caseTransfomedViatraQuery(TransfomedViatraQuery object) {
113 return null;
114 }
115
116 /**
117 * Returns the result of interpreting the object as an instance of '<em>Transformed Viatra Wellformedness Constraint</em>'.
118 * <!-- begin-user-doc -->
119 * This implementation returns null;
120 * returning a non-null result will terminate the switch.
121 * <!-- end-user-doc -->
122 * @param object the target of the switch.
123 * @return the result of interpreting the object as an instance of '<em>Transformed Viatra Wellformedness Constraint</em>'.
124 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
125 * @generated
126 */
127 public T caseTransformedViatraWellformednessConstraint(TransformedViatraWellformednessConstraint object) {
128 return null;
129 }
130
131 /**
132 * Returns the result of interpreting the object as an instance of '<em>Defined By Derived Feature</em>'.
133 * <!-- begin-user-doc -->
134 * This implementation returns null;
135 * returning a non-null result will terminate the switch.
136 * <!-- end-user-doc -->
137 * @param object the target of the switch.
138 * @return the result of interpreting the object as an instance of '<em>Defined By Derived Feature</em>'.
139 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
140 * @generated
141 */
142 public T caseDefinedByDerivedFeature(DefinedByDerivedFeature object) {
143 return null;
144 }
145
146 /**
147 * Returns the result of interpreting the object as an instance of '<em>Annotation</em>'.
148 * <!-- begin-user-doc -->
149 * This implementation returns null;
150 * returning a non-null result will terminate the switch.
151 * <!-- end-user-doc -->
152 * @param object the target of the switch.
153 * @return the result of interpreting the object as an instance of '<em>Annotation</em>'.
154 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
155 * @generated
156 */
157 public T caseAnnotation(Annotation object) {
158 return null;
159 }
160
161 /**
162 * Returns the result of interpreting the object as an instance of '<em>Relation Annotation</em>'.
163 * <!-- begin-user-doc -->
164 * This implementation returns null;
165 * returning a non-null result will terminate the switch.
166 * <!-- end-user-doc -->
167 * @param object the target of the switch.
168 * @return the result of interpreting the object as an instance of '<em>Relation Annotation</em>'.
169 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
170 * @generated
171 */
172 public T caseRelationAnnotation(RelationAnnotation object) {
173 return null;
174 }
175
176 /**
177 * Returns the result of interpreting the object as an instance of '<em>Assertion Annotation</em>'.
178 * <!-- begin-user-doc -->
179 * This implementation returns null;
180 * returning a non-null result will terminate the switch.
181 * <!-- end-user-doc -->
182 * @param object the target of the switch.
183 * @return the result of interpreting the object as an instance of '<em>Assertion Annotation</em>'.
184 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
185 * @generated
186 */
187 public T caseAssertionAnnotation(AssertionAnnotation object) {
188 return null;
189 }
190
191 /**
192 * Returns the result of interpreting the object as an instance of '<em>EObject</em>'.
193 * <!-- begin-user-doc -->
194 * This implementation returns null;
195 * returning a non-null result will terminate the switch, but this is the last case anyway.
196 * <!-- end-user-doc -->
197 * @param object the target of the switch.
198 * @return the result of interpreting the object as an instance of '<em>EObject</em>'.
199 * @see #doSwitch(org.eclipse.emf.ecore.EObject)
200 * @generated
201 */
202 @Override
203 public T defaultCase(EObject object) {
204 return null;
205 }
206
207} //Viatra2LogicAnnotationsSwitch
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-03 09:36:07 +0000