diff options
author | Oszkar Semerath <semerath@mit.bme.hu> | 2020-04-17 00:17:19 +0200 |
---|---|---|
committer | Oszkar Semerath <semerath@mit.bme.hu> | 2020-04-17 00:17:19 +0200 |
commit | 67bd5449706f722a0c98c510b3c47e2af41ba487 (patch) | |
tree | 5601b65d9cdcc7a754fe285f7b8dc8de59d94725 /Framework/hu.bme.mit.inf.dslreasoner.viatra2logic | |
parent | Variable trace added to Viatra2Logic mapping (diff) | |
download | VIATRA-Generator-67bd5449706f722a0c98c510b3c47e2af41ba487.tar.gz VIATRA-Generator-67bd5449706f722a0c98c510b3c47e2af41ba487.tar.zst VIATRA-Generator-67bd5449706f722a0c98c510b3c47e2af41ba487.zip |
variable mapping trace is created after mapping
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic')
6 files changed, 380 insertions, 1 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/TransfomedViatraQuery.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/TransfomedViatraQuery.java index 717b0436..4ae4d79b 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/TransfomedViatraQuery.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/TransfomedViatraQuery.java | |||
@@ -3,6 +3,7 @@ | |||
3 | package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations; | 3 | package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations; |
4 | 4 | ||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation; | 5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation; |
6 | import org.eclipse.emf.common.util.EList; | ||
6 | 7 | ||
7 | /** | 8 | /** |
8 | * <!-- begin-user-doc --> | 9 | * <!-- begin-user-doc --> |
@@ -15,6 +16,7 @@ import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation; | |||
15 | * <ul> | 16 | * <ul> |
16 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getPatternFullyQualifiedName <em>Pattern Fully Qualified Name</em>}</li> | 17 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getPatternFullyQualifiedName <em>Pattern Fully Qualified Name</em>}</li> |
17 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getPatternPQuery <em>Pattern PQuery</em>}</li> | 18 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getPatternPQuery <em>Pattern PQuery</em>}</li> |
19 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getVariableTrace <em>Variable Trace</em>}</li> | ||
18 | * </ul> | 20 | * </ul> |
19 | * | 21 | * |
20 | * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage#getTransfomedViatraQuery() | 22 | * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage#getTransfomedViatraQuery() |
@@ -74,4 +76,16 @@ public interface TransfomedViatraQuery extends RelationAnnotation { | |||
74 | * @generated | 76 | * @generated |
75 | */ | 77 | */ |
76 | void setPatternPQuery(Object value); | 78 | void setPatternPQuery(Object value); |
79 | |||
80 | /** | ||
81 | * Returns the value of the '<em><b>Variable Trace</b></em>' containment reference list. | ||
82 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping}. | ||
83 | * <!-- begin-user-doc --> | ||
84 | * <!-- end-user-doc --> | ||
85 | * @return the value of the '<em>Variable Trace</em>' containment reference list. | ||
86 | * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage#getTransfomedViatraQuery_VariableTrace() | ||
87 | * @model containment="true" | ||
88 | * @generated | ||
89 | */ | ||
90 | EList<VariableMapping> getVariableTrace(); | ||
77 | } // TransfomedViatraQuery | 91 | } // TransfomedViatraQuery |
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/VariableMapping.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/VariableMapping.java new file mode 100644 index 00000000..f2b88394 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/VariableMapping.java | |||
@@ -0,0 +1,71 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Variable; | ||
6 | |||
7 | import org.eclipse.emf.ecore.EObject; | ||
8 | |||
9 | /** | ||
10 | * <!-- begin-user-doc --> | ||
11 | * A representation of the model object '<em><b>Variable Mapping</b></em>'. | ||
12 | * <!-- end-user-doc --> | ||
13 | * | ||
14 | * <p> | ||
15 | * The following features are supported: | ||
16 | * </p> | ||
17 | * <ul> | ||
18 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping#getSourcePVariable <em>Source PVariable</em>}</li> | ||
19 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping#getTargetLogicVariable <em>Target Logic Variable</em>}</li> | ||
20 | * </ul> | ||
21 | * | ||
22 | * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage#getVariableMapping() | ||
23 | * @model | ||
24 | * @generated | ||
25 | */ | ||
26 | public interface VariableMapping extends EObject { | ||
27 | /** | ||
28 | * Returns the value of the '<em><b>Source PVariable</b></em>' attribute. | ||
29 | * <!-- begin-user-doc --> | ||
30 | * <!-- end-user-doc --> | ||
31 | * @return the value of the '<em>Source PVariable</em>' attribute. | ||
32 | * @see #setSourcePVariable(Object) | ||
33 | * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage#getVariableMapping_SourcePVariable() | ||
34 | * @model required="true" transient="true" | ||
35 | * @generated | ||
36 | */ | ||
37 | Object getSourcePVariable(); | ||
38 | |||
39 | /** | ||
40 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping#getSourcePVariable <em>Source PVariable</em>}' attribute. | ||
41 | * <!-- begin-user-doc --> | ||
42 | * <!-- end-user-doc --> | ||
43 | * @param value the new value of the '<em>Source PVariable</em>' attribute. | ||
44 | * @see #getSourcePVariable() | ||
45 | * @generated | ||
46 | */ | ||
47 | void setSourcePVariable(Object value); | ||
48 | |||
49 | /** | ||
50 | * Returns the value of the '<em><b>Target Logic Variable</b></em>' reference. | ||
51 | * <!-- begin-user-doc --> | ||
52 | * <!-- end-user-doc --> | ||
53 | * @return the value of the '<em>Target Logic Variable</em>' reference. | ||
54 | * @see #setTargetLogicVariable(Variable) | ||
55 | * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage#getVariableMapping_TargetLogicVariable() | ||
56 | * @model required="true" | ||
57 | * @generated | ||
58 | */ | ||
59 | Variable getTargetLogicVariable(); | ||
60 | |||
61 | /** | ||
62 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping#getTargetLogicVariable <em>Target Logic Variable</em>}' reference. | ||
63 | * <!-- begin-user-doc --> | ||
64 | * <!-- end-user-doc --> | ||
65 | * @param value the new value of the '<em>Target Logic Variable</em>' reference. | ||
66 | * @see #getTargetLogicVariable() | ||
67 | * @generated | ||
68 | */ | ||
69 | void setTargetLogicVariable(Variable value); | ||
70 | |||
71 | } // VariableMapping | ||
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 index c2098ed0..a489c673 100644 --- 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 | |||
@@ -63,6 +63,7 @@ public class DefinedByDerivedFeatureImpl extends RelationAnnotationImpl implemen | |||
63 | * <!-- end-user-doc --> | 63 | * <!-- end-user-doc --> |
64 | * @generated | 64 | * @generated |
65 | */ | 65 | */ |
66 | @Override | ||
66 | public TransfomedViatraQuery getQuery() { | 67 | public TransfomedViatraQuery getQuery() { |
67 | if (query != null && query.eIsProxy()) { | 68 | if (query != null && query.eIsProxy()) { |
68 | InternalEObject oldQuery = (InternalEObject)query; | 69 | InternalEObject oldQuery = (InternalEObject)query; |
@@ -89,6 +90,7 @@ public class DefinedByDerivedFeatureImpl extends RelationAnnotationImpl implemen | |||
89 | * <!-- end-user-doc --> | 90 | * <!-- end-user-doc --> |
90 | * @generated | 91 | * @generated |
91 | */ | 92 | */ |
93 | @Override | ||
92 | public void setQuery(TransfomedViatraQuery newQuery) { | 94 | public void setQuery(TransfomedViatraQuery newQuery) { |
93 | TransfomedViatraQuery oldQuery = query; | 95 | TransfomedViatraQuery oldQuery = query; |
94 | query = newQuery; | 96 | query = newQuery; |
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransfomedViatraQueryImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransfomedViatraQueryImpl.java index d7f9ff68..469ba336 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransfomedViatraQueryImpl.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransfomedViatraQueryImpl.java | |||
@@ -5,11 +5,18 @@ package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl; | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.RelationAnnotationImpl; | 5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.RelationAnnotationImpl; |
6 | 6 | ||
7 | import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery; | 7 | import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery; |
8 | import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping; | ||
8 | import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage; | 9 | import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage; |
9 | 10 | ||
11 | import java.util.Collection; | ||
10 | import org.eclipse.emf.common.notify.Notification; | 12 | import org.eclipse.emf.common.notify.Notification; |
13 | import org.eclipse.emf.common.notify.NotificationChain; | ||
14 | import org.eclipse.emf.common.util.EList; | ||
11 | import org.eclipse.emf.ecore.EClass; | 15 | import org.eclipse.emf.ecore.EClass; |
16 | import org.eclipse.emf.ecore.InternalEObject; | ||
12 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | 17 | import org.eclipse.emf.ecore.impl.ENotificationImpl; |
18 | import org.eclipse.emf.ecore.util.EObjectContainmentEList; | ||
19 | import org.eclipse.emf.ecore.util.InternalEList; | ||
13 | 20 | ||
14 | /** | 21 | /** |
15 | * <!-- begin-user-doc --> | 22 | * <!-- begin-user-doc --> |
@@ -21,6 +28,7 @@ import org.eclipse.emf.ecore.impl.ENotificationImpl; | |||
21 | * <ul> | 28 | * <ul> |
22 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransfomedViatraQueryImpl#getPatternFullyQualifiedName <em>Pattern Fully Qualified Name</em>}</li> | 29 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransfomedViatraQueryImpl#getPatternFullyQualifiedName <em>Pattern Fully Qualified Name</em>}</li> |
23 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransfomedViatraQueryImpl#getPatternPQuery <em>Pattern PQuery</em>}</li> | 30 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransfomedViatraQueryImpl#getPatternPQuery <em>Pattern PQuery</em>}</li> |
31 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransfomedViatraQueryImpl#getVariableTrace <em>Variable Trace</em>}</li> | ||
24 | * </ul> | 32 | * </ul> |
25 | * | 33 | * |
26 | * @generated | 34 | * @generated |
@@ -64,6 +72,15 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements | |||
64 | */ | 72 | */ |
65 | protected Object patternPQuery = PATTERN_PQUERY_EDEFAULT; | 73 | protected Object patternPQuery = PATTERN_PQUERY_EDEFAULT; |
66 | /** | 74 | /** |
75 | * The cached value of the '{@link #getVariableTrace() <em>Variable Trace</em>}' containment reference list. | ||
76 | * <!-- begin-user-doc --> | ||
77 | * <!-- end-user-doc --> | ||
78 | * @see #getVariableTrace() | ||
79 | * @generated | ||
80 | * @ordered | ||
81 | */ | ||
82 | protected EList<VariableMapping> variableTrace; | ||
83 | /** | ||
67 | * <!-- begin-user-doc --> | 84 | * <!-- begin-user-doc --> |
68 | * <!-- end-user-doc --> | 85 | * <!-- end-user-doc --> |
69 | * @generated | 86 | * @generated |
@@ -87,6 +104,7 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements | |||
87 | * <!-- end-user-doc --> | 104 | * <!-- end-user-doc --> |
88 | * @generated | 105 | * @generated |
89 | */ | 106 | */ |
107 | @Override | ||
90 | public String getPatternFullyQualifiedName() { | 108 | public String getPatternFullyQualifiedName() { |
91 | return patternFullyQualifiedName; | 109 | return patternFullyQualifiedName; |
92 | } | 110 | } |
@@ -96,6 +114,7 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements | |||
96 | * <!-- end-user-doc --> | 114 | * <!-- end-user-doc --> |
97 | * @generated | 115 | * @generated |
98 | */ | 116 | */ |
117 | @Override | ||
99 | public void setPatternFullyQualifiedName(String newPatternFullyQualifiedName) { | 118 | public void setPatternFullyQualifiedName(String newPatternFullyQualifiedName) { |
100 | String oldPatternFullyQualifiedName = patternFullyQualifiedName; | 119 | String oldPatternFullyQualifiedName = patternFullyQualifiedName; |
101 | patternFullyQualifiedName = newPatternFullyQualifiedName; | 120 | patternFullyQualifiedName = newPatternFullyQualifiedName; |
@@ -108,6 +127,7 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements | |||
108 | * <!-- end-user-doc --> | 127 | * <!-- end-user-doc --> |
109 | * @generated | 128 | * @generated |
110 | */ | 129 | */ |
130 | @Override | ||
111 | public Object getPatternPQuery() { | 131 | public Object getPatternPQuery() { |
112 | return patternPQuery; | 132 | return patternPQuery; |
113 | } | 133 | } |
@@ -117,6 +137,7 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements | |||
117 | * <!-- end-user-doc --> | 137 | * <!-- end-user-doc --> |
118 | * @generated | 138 | * @generated |
119 | */ | 139 | */ |
140 | @Override | ||
120 | public void setPatternPQuery(Object newPatternPQuery) { | 141 | public void setPatternPQuery(Object newPatternPQuery) { |
121 | Object oldPatternPQuery = patternPQuery; | 142 | Object oldPatternPQuery = patternPQuery; |
122 | patternPQuery = newPatternPQuery; | 143 | patternPQuery = newPatternPQuery; |
@@ -130,12 +151,41 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements | |||
130 | * @generated | 151 | * @generated |
131 | */ | 152 | */ |
132 | @Override | 153 | @Override |
154 | public EList<VariableMapping> getVariableTrace() { | ||
155 | if (variableTrace == null) { | ||
156 | variableTrace = new EObjectContainmentEList<VariableMapping>(VariableMapping.class, this, Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE); | ||
157 | } | ||
158 | return variableTrace; | ||
159 | } | ||
160 | |||
161 | /** | ||
162 | * <!-- begin-user-doc --> | ||
163 | * <!-- end-user-doc --> | ||
164 | * @generated | ||
165 | */ | ||
166 | @Override | ||
167 | public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { | ||
168 | switch (featureID) { | ||
169 | case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE: | ||
170 | return ((InternalEList<?>)getVariableTrace()).basicRemove(otherEnd, msgs); | ||
171 | } | ||
172 | return super.eInverseRemove(otherEnd, featureID, msgs); | ||
173 | } | ||
174 | |||
175 | /** | ||
176 | * <!-- begin-user-doc --> | ||
177 | * <!-- end-user-doc --> | ||
178 | * @generated | ||
179 | */ | ||
180 | @Override | ||
133 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | 181 | public Object eGet(int featureID, boolean resolve, boolean coreType) { |
134 | switch (featureID) { | 182 | switch (featureID) { |
135 | case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_FULLY_QUALIFIED_NAME: | 183 | case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_FULLY_QUALIFIED_NAME: |
136 | return getPatternFullyQualifiedName(); | 184 | return getPatternFullyQualifiedName(); |
137 | case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY: | 185 | case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY: |
138 | return getPatternPQuery(); | 186 | return getPatternPQuery(); |
187 | case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE: | ||
188 | return getVariableTrace(); | ||
139 | } | 189 | } |
140 | return super.eGet(featureID, resolve, coreType); | 190 | return super.eGet(featureID, resolve, coreType); |
141 | } | 191 | } |
@@ -145,6 +195,7 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements | |||
145 | * <!-- end-user-doc --> | 195 | * <!-- end-user-doc --> |
146 | * @generated | 196 | * @generated |
147 | */ | 197 | */ |
198 | @SuppressWarnings("unchecked") | ||
148 | @Override | 199 | @Override |
149 | public void eSet(int featureID, Object newValue) { | 200 | public void eSet(int featureID, Object newValue) { |
150 | switch (featureID) { | 201 | switch (featureID) { |
@@ -154,6 +205,10 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements | |||
154 | case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY: | 205 | case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY: |
155 | setPatternPQuery(newValue); | 206 | setPatternPQuery(newValue); |
156 | return; | 207 | return; |
208 | case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE: | ||
209 | getVariableTrace().clear(); | ||
210 | getVariableTrace().addAll((Collection<? extends VariableMapping>)newValue); | ||
211 | return; | ||
157 | } | 212 | } |
158 | super.eSet(featureID, newValue); | 213 | super.eSet(featureID, newValue); |
159 | } | 214 | } |
@@ -172,6 +227,9 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements | |||
172 | case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY: | 227 | case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY: |
173 | setPatternPQuery(PATTERN_PQUERY_EDEFAULT); | 228 | setPatternPQuery(PATTERN_PQUERY_EDEFAULT); |
174 | return; | 229 | return; |
230 | case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE: | ||
231 | getVariableTrace().clear(); | ||
232 | return; | ||
175 | } | 233 | } |
176 | super.eUnset(featureID); | 234 | super.eUnset(featureID); |
177 | } | 235 | } |
@@ -188,6 +246,8 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements | |||
188 | return PATTERN_FULLY_QUALIFIED_NAME_EDEFAULT == null ? patternFullyQualifiedName != null : !PATTERN_FULLY_QUALIFIED_NAME_EDEFAULT.equals(patternFullyQualifiedName); | 246 | return PATTERN_FULLY_QUALIFIED_NAME_EDEFAULT == null ? patternFullyQualifiedName != null : !PATTERN_FULLY_QUALIFIED_NAME_EDEFAULT.equals(patternFullyQualifiedName); |
189 | case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY: | 247 | case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY: |
190 | return PATTERN_PQUERY_EDEFAULT == null ? patternPQuery != null : !PATTERN_PQUERY_EDEFAULT.equals(patternPQuery); | 248 | return PATTERN_PQUERY_EDEFAULT == null ? patternPQuery != null : !PATTERN_PQUERY_EDEFAULT.equals(patternPQuery); |
249 | case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE: | ||
250 | return variableTrace != null && !variableTrace.isEmpty(); | ||
191 | } | 251 | } |
192 | return super.eIsSet(featureID); | 252 | return super.eIsSet(featureID); |
193 | } | 253 | } |
@@ -201,7 +261,7 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements | |||
201 | public String toString() { | 261 | public String toString() { |
202 | if (eIsProxy()) return super.toString(); | 262 | if (eIsProxy()) return super.toString(); |
203 | 263 | ||
204 | StringBuffer result = new StringBuffer(super.toString()); | 264 | StringBuilder result = new StringBuilder(super.toString()); |
205 | result.append(" (patternFullyQualifiedName: "); | 265 | result.append(" (patternFullyQualifiedName: "); |
206 | result.append(patternFullyQualifiedName); | 266 | result.append(patternFullyQualifiedName); |
207 | result.append(", patternPQuery: "); | 267 | result.append(", patternPQuery: "); |
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 index be0c3078..3e41c3fd 100644 --- 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 | |||
@@ -63,6 +63,7 @@ public class TransformedViatraWellformednessConstraintImpl extends AssertionAnno | |||
63 | * <!-- end-user-doc --> | 63 | * <!-- end-user-doc --> |
64 | * @generated | 64 | * @generated |
65 | */ | 65 | */ |
66 | @Override | ||
66 | public TransfomedViatraQuery getQuery() { | 67 | public TransfomedViatraQuery getQuery() { |
67 | if (query != null && query.eIsProxy()) { | 68 | if (query != null && query.eIsProxy()) { |
68 | InternalEObject oldQuery = (InternalEObject)query; | 69 | InternalEObject oldQuery = (InternalEObject)query; |
@@ -89,6 +90,7 @@ public class TransformedViatraWellformednessConstraintImpl extends AssertionAnno | |||
89 | * <!-- end-user-doc --> | 90 | * <!-- end-user-doc --> |
90 | * @generated | 91 | * @generated |
91 | */ | 92 | */ |
93 | @Override | ||
92 | public void setQuery(TransfomedViatraQuery newQuery) { | 94 | public void setQuery(TransfomedViatraQuery newQuery) { |
93 | TransfomedViatraQuery oldQuery = query; | 95 | TransfomedViatraQuery oldQuery = query; |
94 | query = newQuery; | 96 | query = newQuery; |
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/VariableMappingImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/VariableMappingImpl.java new file mode 100644 index 00000000..020c71c7 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/VariableMappingImpl.java | |||
@@ -0,0 +1,230 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Variable; | ||
6 | |||
7 | import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping; | ||
8 | import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage; | ||
9 | |||
10 | import org.eclipse.emf.common.notify.Notification; | ||
11 | |||
12 | import org.eclipse.emf.ecore.EClass; | ||
13 | import org.eclipse.emf.ecore.InternalEObject; | ||
14 | |||
15 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
16 | import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; | ||
17 | |||
18 | /** | ||
19 | * <!-- begin-user-doc --> | ||
20 | * An implementation of the model object '<em><b>Variable Mapping</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.VariableMappingImpl#getSourcePVariable <em>Source PVariable</em>}</li> | ||
27 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.VariableMappingImpl#getTargetLogicVariable <em>Target Logic Variable</em>}</li> | ||
28 | * </ul> | ||
29 | * | ||
30 | * @generated | ||
31 | */ | ||
32 | public class VariableMappingImpl extends MinimalEObjectImpl.Container implements VariableMapping { | ||
33 | /** | ||
34 | * The default value of the '{@link #getSourcePVariable() <em>Source PVariable</em>}' attribute. | ||
35 | * <!-- begin-user-doc --> | ||
36 | * <!-- end-user-doc --> | ||
37 | * @see #getSourcePVariable() | ||
38 | * @generated | ||
39 | * @ordered | ||
40 | */ | ||
41 | protected static final Object SOURCE_PVARIABLE_EDEFAULT = null; | ||
42 | |||
43 | /** | ||
44 | * The cached value of the '{@link #getSourcePVariable() <em>Source PVariable</em>}' attribute. | ||
45 | * <!-- begin-user-doc --> | ||
46 | * <!-- end-user-doc --> | ||
47 | * @see #getSourcePVariable() | ||
48 | * @generated | ||
49 | * @ordered | ||
50 | */ | ||
51 | protected Object sourcePVariable = SOURCE_PVARIABLE_EDEFAULT; | ||
52 | |||
53 | /** | ||
54 | * The cached value of the '{@link #getTargetLogicVariable() <em>Target Logic Variable</em>}' reference. | ||
55 | * <!-- begin-user-doc --> | ||
56 | * <!-- end-user-doc --> | ||
57 | * @see #getTargetLogicVariable() | ||
58 | * @generated | ||
59 | * @ordered | ||
60 | */ | ||
61 | protected Variable targetLogicVariable; | ||
62 | |||
63 | /** | ||
64 | * <!-- begin-user-doc --> | ||
65 | * <!-- end-user-doc --> | ||
66 | * @generated | ||
67 | */ | ||
68 | protected VariableMappingImpl() { | ||
69 | super(); | ||
70 | } | ||
71 | |||
72 | /** | ||
73 | * <!-- begin-user-doc --> | ||
74 | * <!-- end-user-doc --> | ||
75 | * @generated | ||
76 | */ | ||
77 | @Override | ||
78 | protected EClass eStaticClass() { | ||
79 | return Viatra2LogicAnnotationsPackage.Literals.VARIABLE_MAPPING; | ||
80 | } | ||
81 | |||
82 | /** | ||
83 | * <!-- begin-user-doc --> | ||
84 | * <!-- end-user-doc --> | ||
85 | * @generated | ||
86 | */ | ||
87 | @Override | ||
88 | public Object getSourcePVariable() { | ||
89 | return sourcePVariable; | ||
90 | } | ||
91 | |||
92 | /** | ||
93 | * <!-- begin-user-doc --> | ||
94 | * <!-- end-user-doc --> | ||
95 | * @generated | ||
96 | */ | ||
97 | @Override | ||
98 | public void setSourcePVariable(Object newSourcePVariable) { | ||
99 | Object oldSourcePVariable = sourcePVariable; | ||
100 | sourcePVariable = newSourcePVariable; | ||
101 | if (eNotificationRequired()) | ||
102 | eNotify(new ENotificationImpl(this, Notification.SET, Viatra2LogicAnnotationsPackage.VARIABLE_MAPPING__SOURCE_PVARIABLE, oldSourcePVariable, sourcePVariable)); | ||
103 | } | ||
104 | |||
105 | /** | ||
106 | * <!-- begin-user-doc --> | ||
107 | * <!-- end-user-doc --> | ||
108 | * @generated | ||
109 | */ | ||
110 | @Override | ||
111 | public Variable getTargetLogicVariable() { | ||
112 | if (targetLogicVariable != null && targetLogicVariable.eIsProxy()) { | ||
113 | InternalEObject oldTargetLogicVariable = (InternalEObject)targetLogicVariable; | ||
114 | targetLogicVariable = (Variable)eResolveProxy(oldTargetLogicVariable); | ||
115 | if (targetLogicVariable != oldTargetLogicVariable) { | ||
116 | if (eNotificationRequired()) | ||
117 | eNotify(new ENotificationImpl(this, Notification.RESOLVE, Viatra2LogicAnnotationsPackage.VARIABLE_MAPPING__TARGET_LOGIC_VARIABLE, oldTargetLogicVariable, targetLogicVariable)); | ||
118 | } | ||
119 | } | ||
120 | return targetLogicVariable; | ||
121 | } | ||
122 | |||
123 | /** | ||
124 | * <!-- begin-user-doc --> | ||
125 | * <!-- end-user-doc --> | ||
126 | * @generated | ||
127 | */ | ||
128 | public Variable basicGetTargetLogicVariable() { | ||
129 | return targetLogicVariable; | ||
130 | } | ||
131 | |||
132 | /** | ||
133 | * <!-- begin-user-doc --> | ||
134 | * <!-- end-user-doc --> | ||
135 | * @generated | ||
136 | */ | ||
137 | @Override | ||
138 | public void setTargetLogicVariable(Variable newTargetLogicVariable) { | ||
139 | Variable oldTargetLogicVariable = targetLogicVariable; | ||
140 | targetLogicVariable = newTargetLogicVariable; | ||
141 | if (eNotificationRequired()) | ||
142 | eNotify(new ENotificationImpl(this, Notification.SET, Viatra2LogicAnnotationsPackage.VARIABLE_MAPPING__TARGET_LOGIC_VARIABLE, oldTargetLogicVariable, targetLogicVariable)); | ||
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 Viatra2LogicAnnotationsPackage.VARIABLE_MAPPING__SOURCE_PVARIABLE: | ||
154 | return getSourcePVariable(); | ||
155 | case Viatra2LogicAnnotationsPackage.VARIABLE_MAPPING__TARGET_LOGIC_VARIABLE: | ||
156 | if (resolve) return getTargetLogicVariable(); | ||
157 | return basicGetTargetLogicVariable(); | ||
158 | } | ||
159 | return super.eGet(featureID, resolve, coreType); | ||
160 | } | ||
161 | |||
162 | /** | ||
163 | * <!-- begin-user-doc --> | ||
164 | * <!-- end-user-doc --> | ||
165 | * @generated | ||
166 | */ | ||
167 | @Override | ||
168 | public void eSet(int featureID, Object newValue) { | ||
169 | switch (featureID) { | ||
170 | case Viatra2LogicAnnotationsPackage.VARIABLE_MAPPING__SOURCE_PVARIABLE: | ||
171 | setSourcePVariable(newValue); | ||
172 | return; | ||
173 | case Viatra2LogicAnnotationsPackage.VARIABLE_MAPPING__TARGET_LOGIC_VARIABLE: | ||
174 | setTargetLogicVariable((Variable)newValue); | ||
175 | return; | ||
176 | } | ||
177 | super.eSet(featureID, newValue); | ||
178 | } | ||
179 | |||
180 | /** | ||
181 | * <!-- begin-user-doc --> | ||
182 | * <!-- end-user-doc --> | ||
183 | * @generated | ||
184 | */ | ||
185 | @Override | ||
186 | public void eUnset(int featureID) { | ||
187 | switch (featureID) { | ||
188 | case Viatra2LogicAnnotationsPackage.VARIABLE_MAPPING__SOURCE_PVARIABLE: | ||
189 | setSourcePVariable(SOURCE_PVARIABLE_EDEFAULT); | ||
190 | return; | ||
191 | case Viatra2LogicAnnotationsPackage.VARIABLE_MAPPING__TARGET_LOGIC_VARIABLE: | ||
192 | setTargetLogicVariable((Variable)null); | ||
193 | return; | ||
194 | } | ||
195 | super.eUnset(featureID); | ||
196 | } | ||
197 | |||
198 | /** | ||
199 | * <!-- begin-user-doc --> | ||
200 | * <!-- end-user-doc --> | ||
201 | * @generated | ||
202 | */ | ||
203 | @Override | ||
204 | public boolean eIsSet(int featureID) { | ||
205 | switch (featureID) { | ||
206 | case Viatra2LogicAnnotationsPackage.VARIABLE_MAPPING__SOURCE_PVARIABLE: | ||
207 | return SOURCE_PVARIABLE_EDEFAULT == null ? sourcePVariable != null : !SOURCE_PVARIABLE_EDEFAULT.equals(sourcePVariable); | ||
208 | case Viatra2LogicAnnotationsPackage.VARIABLE_MAPPING__TARGET_LOGIC_VARIABLE: | ||
209 | return targetLogicVariable != null; | ||
210 | } | ||
211 | return super.eIsSet(featureID); | ||
212 | } | ||
213 | |||
214 | /** | ||
215 | * <!-- begin-user-doc --> | ||
216 | * <!-- end-user-doc --> | ||
217 | * @generated | ||
218 | */ | ||
219 | @Override | ||
220 | public String toString() { | ||
221 | if (eIsProxy()) return super.toString(); | ||
222 | |||
223 | StringBuilder result = new StringBuilder(super.toString()); | ||
224 | result.append(" (sourcePVariable: "); | ||
225 | result.append(sourcePVariable); | ||
226 | result.append(')'); | ||
227 | return result.toString(); | ||
228 | } | ||
229 | |||
230 | } //VariableMappingImpl | ||