aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl
diff options
context:
space:
mode:
authorLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2019-05-12 22:27:13 -0400
committerLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2020-06-07 19:41:28 -0400
commitfcad3b0db48b45a7769c2934911f79307c103990 (patch)
tree5b8ef3721b291e8af82f24e7936457a9e8586a30 /Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl
parentPre-realisticBranchCreation Commit (diff)
downloadVIATRA-Generator-fcad3b0db48b45a7769c2934911f79307c103990.tar.gz
VIATRA-Generator-fcad3b0db48b45a7769c2934911f79307c103990.tar.zst
VIATRA-Generator-fcad3b0db48b45a7769c2934911f79307c103990.zip
Pre-realisticBranchCreation Commit
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl')
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/ChoiceImpl.java40
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/CompositeElementImpl.java155
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/ExitImpl.java40
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/FinalStateImpl.java40
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/PseudostateImpl.java40
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/RegionImpl.java155
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/RegularStateImpl.java40
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/StateImpl.java186
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/StatechartImpl.java40
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/TransitionImpl.java287
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/VertexImpl.java209
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakinduFactoryImpl.java409
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakinduPackageImpl.java1008
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakindummFactoryImpl.java186
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakindummPackageImpl.java497
15 files changed, 3332 insertions, 0 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/ChoiceImpl.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/ChoiceImpl.java
index 379d4a29..d568627b 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/ChoiceImpl.java
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/ChoiceImpl.java
@@ -1,3 +1,4 @@
1<<<<<<< HEAD:Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/ChoiceImpl.java
1/** 2/**
2 */ 3 */
3package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl; 4package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl;
@@ -35,3 +36,42 @@ public class ChoiceImpl extends PseudostateImpl implements Choice {
35 } 36 }
36 37
37} //ChoiceImpl 38} //ChoiceImpl
39=======
40/**
41 */
42package ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl;
43
44import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Choice;
45import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.YakinduPackage;
46
47import org.eclipse.emf.ecore.EClass;
48
49/**
50 * <!-- begin-user-doc -->
51 * An implementation of the model object '<em><b>Choice</b></em>'.
52 * <!-- end-user-doc -->
53 *
54 * @generated
55 */
56public class ChoiceImpl extends PseudostateImpl implements Choice {
57 /**
58 * <!-- begin-user-doc -->
59 * <!-- end-user-doc -->
60 * @generated
61 */
62 protected ChoiceImpl() {
63 super();
64 }
65
66 /**
67 * <!-- begin-user-doc -->
68 * <!-- end-user-doc -->
69 * @generated
70 */
71 @Override
72 protected EClass eStaticClass() {
73 return YakinduPackage.Literals.CHOICE;
74 }
75
76} //ChoiceImpl
77>>>>>>> f1f2a1fa... Pre-realisticBranchCreation Commit:Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/impl/ChoiceImpl.java
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/CompositeElementImpl.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/CompositeElementImpl.java
index 067a5ee3..cca7e386 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/CompositeElementImpl.java
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/CompositeElementImpl.java
@@ -1,3 +1,4 @@
1<<<<<<< HEAD:Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/CompositeElementImpl.java
1/** 2/**
2 */ 3 */
3package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl; 4package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl;
@@ -150,3 +151,157 @@ public abstract class CompositeElementImpl extends MinimalEObjectImpl.Container
150 } 151 }
151 152
152} //CompositeElementImpl 153} //CompositeElementImpl
154=======
155/**
156 */
157package ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl;
158
159import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.CompositeElement;
160import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Region;
161import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.YakinduPackage;
162
163import java.util.Collection;
164
165import org.eclipse.emf.common.notify.NotificationChain;
166
167import org.eclipse.emf.common.util.EList;
168
169import org.eclipse.emf.ecore.EClass;
170import org.eclipse.emf.ecore.InternalEObject;
171
172import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
173
174import org.eclipse.emf.ecore.util.EObjectContainmentEList;
175import org.eclipse.emf.ecore.util.InternalEList;
176
177/**
178 * <!-- begin-user-doc -->
179 * An implementation of the model object '<em><b>Composite Element</b></em>'.
180 * <!-- end-user-doc -->
181 * <p>
182 * The following features are implemented:
183 * </p>
184 * <ul>
185 * <li>{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.CompositeElementImpl#getRegions <em>Regions</em>}</li>
186 * </ul>
187 *
188 * @generated
189 */
190public abstract class CompositeElementImpl extends MinimalEObjectImpl.Container implements CompositeElement {
191 /**
192 * The cached value of the '{@link #getRegions() <em>Regions</em>}' containment reference list.
193 * <!-- begin-user-doc -->
194 * <!-- end-user-doc -->
195 * @see #getRegions()
196 * @generated
197 * @ordered
198 */
199 protected EList<Region> regions;
200
201 /**
202 * <!-- begin-user-doc -->
203 * <!-- end-user-doc -->
204 * @generated
205 */
206 protected CompositeElementImpl() {
207 super();
208 }
209
210 /**
211 * <!-- begin-user-doc -->
212 * <!-- end-user-doc -->
213 * @generated
214 */
215 @Override
216 protected EClass eStaticClass() {
217 return YakinduPackage.Literals.COMPOSITE_ELEMENT;
218 }
219
220 /**
221 * <!-- begin-user-doc -->
222 * <!-- end-user-doc -->
223 * @generated
224 */
225 public EList<Region> getRegions() {
226 if (regions == null) {
227 regions = new EObjectContainmentEList<Region>(Region.class, this, YakinduPackage.COMPOSITE_ELEMENT__REGIONS);
228 }
229 return regions;
230 }
231
232 /**
233 * <!-- begin-user-doc -->
234 * <!-- end-user-doc -->
235 * @generated
236 */
237 @Override
238 public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
239 switch (featureID) {
240 case YakinduPackage.COMPOSITE_ELEMENT__REGIONS:
241 return ((InternalEList<?>)getRegions()).basicRemove(otherEnd, msgs);
242 }
243 return super.eInverseRemove(otherEnd, featureID, msgs);
244 }
245
246 /**
247 * <!-- begin-user-doc -->
248 * <!-- end-user-doc -->
249 * @generated
250 */
251 @Override
252 public Object eGet(int featureID, boolean resolve, boolean coreType) {
253 switch (featureID) {
254 case YakinduPackage.COMPOSITE_ELEMENT__REGIONS:
255 return getRegions();
256 }
257 return super.eGet(featureID, resolve, coreType);
258 }
259
260 /**
261 * <!-- begin-user-doc -->
262 * <!-- end-user-doc -->
263 * @generated
264 */
265 @SuppressWarnings("unchecked")
266 @Override
267 public void eSet(int featureID, Object newValue) {
268 switch (featureID) {
269 case YakinduPackage.COMPOSITE_ELEMENT__REGIONS:
270 getRegions().clear();
271 getRegions().addAll((Collection<? extends Region>)newValue);
272 return;
273 }
274 super.eSet(featureID, newValue);
275 }
276
277 /**
278 * <!-- begin-user-doc -->
279 * <!-- end-user-doc -->
280 * @generated
281 */
282 @Override
283 public void eUnset(int featureID) {
284 switch (featureID) {
285 case YakinduPackage.COMPOSITE_ELEMENT__REGIONS:
286 getRegions().clear();
287 return;
288 }
289 super.eUnset(featureID);
290 }
291
292 /**
293 * <!-- begin-user-doc -->
294 * <!-- end-user-doc -->
295 * @generated
296 */
297 @Override
298 public boolean eIsSet(int featureID) {
299 switch (featureID) {
300 case YakinduPackage.COMPOSITE_ELEMENT__REGIONS:
301 return regions != null && !regions.isEmpty();
302 }
303 return super.eIsSet(featureID);
304 }
305
306} //CompositeElementImpl
307>>>>>>> f1f2a1fa... Pre-realisticBranchCreation Commit:Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/impl/CompositeElementImpl.java
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/ExitImpl.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/ExitImpl.java
index ae360e68..136bb7aa 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/ExitImpl.java
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/ExitImpl.java
@@ -1,3 +1,4 @@
1<<<<<<< HEAD:Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/ExitImpl.java
1/** 2/**
2 */ 3 */
3package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl; 4package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl;
@@ -35,3 +36,42 @@ public class ExitImpl extends PseudostateImpl implements Exit {
35 } 36 }
36 37
37} //ExitImpl 38} //ExitImpl
39=======
40/**
41 */
42package ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl;
43
44import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Exit;
45import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.YakinduPackage;
46
47import org.eclipse.emf.ecore.EClass;
48
49/**
50 * <!-- begin-user-doc -->
51 * An implementation of the model object '<em><b>Exit</b></em>'.
52 * <!-- end-user-doc -->
53 *
54 * @generated
55 */
56public class ExitImpl extends PseudostateImpl implements Exit {
57 /**
58 * <!-- begin-user-doc -->
59 * <!-- end-user-doc -->
60 * @generated
61 */
62 protected ExitImpl() {
63 super();
64 }
65
66 /**
67 * <!-- begin-user-doc -->
68 * <!-- end-user-doc -->
69 * @generated
70 */
71 @Override
72 protected EClass eStaticClass() {
73 return YakinduPackage.Literals.EXIT;
74 }
75
76} //ExitImpl
77>>>>>>> f1f2a1fa... Pre-realisticBranchCreation Commit:Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/impl/ExitImpl.java
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/FinalStateImpl.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/FinalStateImpl.java
index ccb19763..4607e363 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/FinalStateImpl.java
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/FinalStateImpl.java
@@ -1,3 +1,4 @@
1<<<<<<< HEAD:Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/FinalStateImpl.java
1/** 2/**
2 */ 3 */
3package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl; 4package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl;
@@ -35,3 +36,42 @@ public class FinalStateImpl extends RegularStateImpl implements FinalState {
35 } 36 }
36 37
37} //FinalStateImpl 38} //FinalStateImpl
39=======
40/**
41 */
42package ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl;
43
44import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.FinalState;
45import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.YakinduPackage;
46
47import org.eclipse.emf.ecore.EClass;
48
49/**
50 * <!-- begin-user-doc -->
51 * An implementation of the model object '<em><b>Final State</b></em>'.
52 * <!-- end-user-doc -->
53 *
54 * @generated
55 */
56public class FinalStateImpl extends RegularStateImpl implements FinalState {
57 /**
58 * <!-- begin-user-doc -->
59 * <!-- end-user-doc -->
60 * @generated
61 */
62 protected FinalStateImpl() {
63 super();
64 }
65
66 /**
67 * <!-- begin-user-doc -->
68 * <!-- end-user-doc -->
69 * @generated
70 */
71 @Override
72 protected EClass eStaticClass() {
73 return YakinduPackage.Literals.FINAL_STATE;
74 }
75
76} //FinalStateImpl
77>>>>>>> f1f2a1fa... Pre-realisticBranchCreation Commit:Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/impl/FinalStateImpl.java
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/PseudostateImpl.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/PseudostateImpl.java
index b8c76c27..66be23f2 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/PseudostateImpl.java
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/PseudostateImpl.java
@@ -1,3 +1,4 @@
1<<<<<<< HEAD:Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/PseudostateImpl.java
1/** 2/**
2 */ 3 */
3package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl; 4package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl;
@@ -35,3 +36,42 @@ public abstract class PseudostateImpl extends VertexImpl implements Pseudostate
35 } 36 }
36 37
37} //PseudostateImpl 38} //PseudostateImpl
39=======
40/**
41 */
42package ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl;
43
44import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Pseudostate;
45import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.YakinduPackage;
46
47import org.eclipse.emf.ecore.EClass;
48
49/**
50 * <!-- begin-user-doc -->
51 * An implementation of the model object '<em><b>Pseudostate</b></em>'.
52 * <!-- end-user-doc -->
53 *
54 * @generated
55 */
56public abstract class PseudostateImpl extends VertexImpl implements Pseudostate {
57 /**
58 * <!-- begin-user-doc -->
59 * <!-- end-user-doc -->
60 * @generated
61 */
62 protected PseudostateImpl() {
63 super();
64 }
65
66 /**
67 * <!-- begin-user-doc -->
68 * <!-- end-user-doc -->
69 * @generated
70 */
71 @Override
72 protected EClass eStaticClass() {
73 return YakinduPackage.Literals.PSEUDOSTATE;
74 }
75
76} //PseudostateImpl
77>>>>>>> f1f2a1fa... Pre-realisticBranchCreation Commit:Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/impl/PseudostateImpl.java
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/RegionImpl.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/RegionImpl.java
index 440c389c..c384ce06 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/RegionImpl.java
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/RegionImpl.java
@@ -1,3 +1,4 @@
1<<<<<<< HEAD:Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/RegionImpl.java
1/** 2/**
2 */ 3 */
3package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl; 4package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl;
@@ -150,3 +151,157 @@ public class RegionImpl extends MinimalEObjectImpl.Container implements Region {
150 } 151 }
151 152
152} //RegionImpl 153} //RegionImpl
154=======
155/**
156 */
157package ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl;
158
159import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Region;
160import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Vertex;
161import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.YakinduPackage;
162
163import java.util.Collection;
164
165import org.eclipse.emf.common.notify.NotificationChain;
166
167import org.eclipse.emf.common.util.EList;
168
169import org.eclipse.emf.ecore.EClass;
170import org.eclipse.emf.ecore.InternalEObject;
171
172import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
173
174import org.eclipse.emf.ecore.util.EObjectContainmentEList;
175import org.eclipse.emf.ecore.util.InternalEList;
176
177/**
178 * <!-- begin-user-doc -->
179 * An implementation of the model object '<em><b>Region</b></em>'.
180 * <!-- end-user-doc -->
181 * <p>
182 * The following features are implemented:
183 * </p>
184 * <ul>
185 * <li>{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.RegionImpl#getVertices <em>Vertices</em>}</li>
186 * </ul>
187 *
188 * @generated
189 */
190public class RegionImpl extends MinimalEObjectImpl.Container implements Region {
191 /**
192 * The cached value of the '{@link #getVertices() <em>Vertices</em>}' containment reference list.
193 * <!-- begin-user-doc -->
194 * <!-- end-user-doc -->
195 * @see #getVertices()
196 * @generated
197 * @ordered
198 */
199 protected EList<Vertex> vertices;
200
201 /**
202 * <!-- begin-user-doc -->
203 * <!-- end-user-doc -->
204 * @generated
205 */
206 protected RegionImpl() {
207 super();
208 }
209
210 /**
211 * <!-- begin-user-doc -->
212 * <!-- end-user-doc -->
213 * @generated
214 */
215 @Override
216 protected EClass eStaticClass() {
217 return YakinduPackage.Literals.REGION;
218 }
219
220 /**
221 * <!-- begin-user-doc -->
222 * <!-- end-user-doc -->
223 * @generated
224 */
225 public EList<Vertex> getVertices() {
226 if (vertices == null) {
227 vertices = new EObjectContainmentEList<Vertex>(Vertex.class, this, YakinduPackage.REGION__VERTICES);
228 }
229 return vertices;
230 }
231
232 /**
233 * <!-- begin-user-doc -->
234 * <!-- end-user-doc -->
235 * @generated
236 */
237 @Override
238 public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
239 switch (featureID) {
240 case YakinduPackage.REGION__VERTICES:
241 return ((InternalEList<?>)getVertices()).basicRemove(otherEnd, msgs);
242 }
243 return super.eInverseRemove(otherEnd, featureID, msgs);
244 }
245
246 /**
247 * <!-- begin-user-doc -->
248 * <!-- end-user-doc -->
249 * @generated
250 */
251 @Override
252 public Object eGet(int featureID, boolean resolve, boolean coreType) {
253 switch (featureID) {
254 case YakinduPackage.REGION__VERTICES:
255 return getVertices();
256 }
257 return super.eGet(featureID, resolve, coreType);
258 }
259
260 /**
261 * <!-- begin-user-doc -->
262 * <!-- end-user-doc -->
263 * @generated
264 */
265 @SuppressWarnings("unchecked")
266 @Override
267 public void eSet(int featureID, Object newValue) {
268 switch (featureID) {
269 case YakinduPackage.REGION__VERTICES:
270 getVertices().clear();
271 getVertices().addAll((Collection<? extends Vertex>)newValue);
272 return;
273 }
274 super.eSet(featureID, newValue);
275 }
276
277 /**
278 * <!-- begin-user-doc -->
279 * <!-- end-user-doc -->
280 * @generated
281 */
282 @Override
283 public void eUnset(int featureID) {
284 switch (featureID) {
285 case YakinduPackage.REGION__VERTICES:
286 getVertices().clear();
287 return;
288 }
289 super.eUnset(featureID);
290 }
291
292 /**
293 * <!-- begin-user-doc -->
294 * <!-- end-user-doc -->
295 * @generated
296 */
297 @Override
298 public boolean eIsSet(int featureID) {
299 switch (featureID) {
300 case YakinduPackage.REGION__VERTICES:
301 return vertices != null && !vertices.isEmpty();
302 }
303 return super.eIsSet(featureID);
304 }
305
306} //RegionImpl
307>>>>>>> f1f2a1fa... Pre-realisticBranchCreation Commit:Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/impl/RegionImpl.java
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/RegularStateImpl.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/RegularStateImpl.java
index 2ada6da9..64a97e60 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/RegularStateImpl.java
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/RegularStateImpl.java
@@ -1,3 +1,4 @@
1<<<<<<< HEAD:Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/RegularStateImpl.java
1/** 2/**
2 */ 3 */
3package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl; 4package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl;
@@ -35,3 +36,42 @@ public abstract class RegularStateImpl extends VertexImpl implements RegularStat
35 } 36 }
36 37
37} //RegularStateImpl 38} //RegularStateImpl
39=======
40/**
41 */
42package ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl;
43
44import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.RegularState;
45import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.YakinduPackage;
46
47import org.eclipse.emf.ecore.EClass;
48
49/**
50 * <!-- begin-user-doc -->
51 * An implementation of the model object '<em><b>Regular State</b></em>'.
52 * <!-- end-user-doc -->
53 *
54 * @generated
55 */
56public abstract class RegularStateImpl extends VertexImpl implements RegularState {
57 /**
58 * <!-- begin-user-doc -->
59 * <!-- end-user-doc -->
60 * @generated
61 */
62 protected RegularStateImpl() {
63 super();
64 }
65
66 /**
67 * <!-- begin-user-doc -->
68 * <!-- end-user-doc -->
69 * @generated
70 */
71 @Override
72 protected EClass eStaticClass() {
73 return YakinduPackage.Literals.REGULAR_STATE;
74 }
75
76} //RegularStateImpl
77>>>>>>> f1f2a1fa... Pre-realisticBranchCreation Commit:Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/impl/RegularStateImpl.java
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/StateImpl.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/StateImpl.java
index 080bed16..10e619ab 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/StateImpl.java
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/StateImpl.java
@@ -1,3 +1,4 @@
1<<<<<<< HEAD:Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/StateImpl.java
1/** 2/**
2 */ 3 */
3package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl; 4package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl;
@@ -181,3 +182,188 @@ public class StateImpl extends RegularStateImpl implements State {
181 } 182 }
182 183
183} //StateImpl 184} //StateImpl
185=======
186/**
187 */
188package ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl;
189
190import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.CompositeElement;
191import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Region;
192import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.State;
193import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.YakinduPackage;
194
195import java.util.Collection;
196
197import org.eclipse.emf.common.notify.NotificationChain;
198
199import org.eclipse.emf.common.util.EList;
200
201import org.eclipse.emf.ecore.EClass;
202import org.eclipse.emf.ecore.InternalEObject;
203
204import org.eclipse.emf.ecore.util.EObjectContainmentEList;
205import org.eclipse.emf.ecore.util.InternalEList;
206
207/**
208 * <!-- begin-user-doc -->
209 * An implementation of the model object '<em><b>State</b></em>'.
210 * <!-- end-user-doc -->
211 * <p>
212 * The following features are implemented:
213 * </p>
214 * <ul>
215 * <li>{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.StateImpl#getRegions <em>Regions</em>}</li>
216 * </ul>
217 *
218 * @generated
219 */
220public class StateImpl extends RegularStateImpl implements State {
221 /**
222 * The cached value of the '{@link #getRegions() <em>Regions</em>}' containment reference list.
223 * <!-- begin-user-doc -->
224 * <!-- end-user-doc -->
225 * @see #getRegions()
226 * @generated
227 * @ordered
228 */
229 protected EList<Region> regions;
230
231 /**
232 * <!-- begin-user-doc -->
233 * <!-- end-user-doc -->
234 * @generated
235 */
236 protected StateImpl() {
237 super();
238 }
239
240 /**
241 * <!-- begin-user-doc -->
242 * <!-- end-user-doc -->
243 * @generated
244 */
245 @Override
246 protected EClass eStaticClass() {
247 return YakinduPackage.Literals.STATE;
248 }
249
250 /**
251 * <!-- begin-user-doc -->
252 * <!-- end-user-doc -->
253 * @generated
254 */
255 public EList<Region> getRegions() {
256 if (regions == null) {
257 regions = new EObjectContainmentEList<Region>(Region.class, this, YakinduPackage.STATE__REGIONS);
258 }
259 return regions;
260 }
261
262 /**
263 * <!-- begin-user-doc -->
264 * <!-- end-user-doc -->
265 * @generated
266 */
267 @Override
268 public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
269 switch (featureID) {
270 case YakinduPackage.STATE__REGIONS:
271 return ((InternalEList<?>)getRegions()).basicRemove(otherEnd, msgs);
272 }
273 return super.eInverseRemove(otherEnd, featureID, msgs);
274 }
275
276 /**
277 * <!-- begin-user-doc -->
278 * <!-- end-user-doc -->
279 * @generated
280 */
281 @Override
282 public Object eGet(int featureID, boolean resolve, boolean coreType) {
283 switch (featureID) {
284 case YakinduPackage.STATE__REGIONS:
285 return getRegions();
286 }
287 return super.eGet(featureID, resolve, coreType);
288 }
289
290 /**
291 * <!-- begin-user-doc -->
292 * <!-- end-user-doc -->
293 * @generated
294 */
295 @SuppressWarnings("unchecked")
296 @Override
297 public void eSet(int featureID, Object newValue) {
298 switch (featureID) {
299 case YakinduPackage.STATE__REGIONS:
300 getRegions().clear();
301 getRegions().addAll((Collection<? extends Region>)newValue);
302 return;
303 }
304 super.eSet(featureID, newValue);
305 }
306
307 /**
308 * <!-- begin-user-doc -->
309 * <!-- end-user-doc -->
310 * @generated
311 */
312 @Override
313 public void eUnset(int featureID) {
314 switch (featureID) {
315 case YakinduPackage.STATE__REGIONS:
316 getRegions().clear();
317 return;
318 }
319 super.eUnset(featureID);
320 }
321
322 /**
323 * <!-- begin-user-doc -->
324 * <!-- end-user-doc -->
325 * @generated
326 */
327 @Override
328 public boolean eIsSet(int featureID) {
329 switch (featureID) {
330 case YakinduPackage.STATE__REGIONS:
331 return regions != null && !regions.isEmpty();
332 }
333 return super.eIsSet(featureID);
334 }
335
336 /**
337 * <!-- begin-user-doc -->
338 * <!-- end-user-doc -->
339 * @generated
340 */
341 @Override
342 public int eBaseStructuralFeatureID(int derivedFeatureID, Class<?> baseClass) {
343 if (baseClass == CompositeElement.class) {
344 switch (derivedFeatureID) {
345 case YakinduPackage.STATE__REGIONS: return YakinduPackage.COMPOSITE_ELEMENT__REGIONS;
346 default: return -1;
347 }
348 }
349 return super.eBaseStructuralFeatureID(derivedFeatureID, baseClass);
350 }
351
352 /**
353 * <!-- begin-user-doc -->
354 * <!-- end-user-doc -->
355 * @generated
356 */
357 @Override
358 public int eDerivedStructuralFeatureID(int baseFeatureID, Class<?> baseClass) {
359 if (baseClass == CompositeElement.class) {
360 switch (baseFeatureID) {
361 case YakinduPackage.COMPOSITE_ELEMENT__REGIONS: return YakinduPackage.STATE__REGIONS;
362 default: return -1;
363 }
364 }
365 return super.eDerivedStructuralFeatureID(baseFeatureID, baseClass);
366 }
367
368} //StateImpl
369>>>>>>> f1f2a1fa... Pre-realisticBranchCreation Commit:Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/impl/StateImpl.java
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/StatechartImpl.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/StatechartImpl.java
index 0b48e8d8..3386a99b 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/StatechartImpl.java
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/StatechartImpl.java
@@ -1,3 +1,4 @@
1<<<<<<< HEAD:Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/StatechartImpl.java
1/** 2/**
2 */ 3 */
3package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl; 4package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl;
@@ -35,3 +36,42 @@ public class StatechartImpl extends CompositeElementImpl implements Statechart {
35 } 36 }
36 37
37} //StatechartImpl 38} //StatechartImpl
39=======
40/**
41 */
42package ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl;
43
44import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Statechart;
45import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.YakinduPackage;
46
47import org.eclipse.emf.ecore.EClass;
48
49/**
50 * <!-- begin-user-doc -->
51 * An implementation of the model object '<em><b>Statechart</b></em>'.
52 * <!-- end-user-doc -->
53 *
54 * @generated
55 */
56public class StatechartImpl extends CompositeElementImpl implements Statechart {
57 /**
58 * <!-- begin-user-doc -->
59 * <!-- end-user-doc -->
60 * @generated
61 */
62 protected StatechartImpl() {
63 super();
64 }
65
66 /**
67 * <!-- begin-user-doc -->
68 * <!-- end-user-doc -->
69 * @generated
70 */
71 @Override
72 protected EClass eStaticClass() {
73 return YakinduPackage.Literals.STATECHART;
74 }
75
76} //StatechartImpl
77>>>>>>> f1f2a1fa... Pre-realisticBranchCreation Commit:Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/impl/StatechartImpl.java
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/TransitionImpl.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/TransitionImpl.java
index 875964a2..83bb7263 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/TransitionImpl.java
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/TransitionImpl.java
@@ -1,3 +1,4 @@
1<<<<<<< HEAD:Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/TransitionImpl.java
1/** 2/**
2 */ 3 */
3package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl; 4package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl;
@@ -282,3 +283,289 @@ public class TransitionImpl extends MinimalEObjectImpl.Container implements Tran
282 } 283 }
283 284
284} //TransitionImpl 285} //TransitionImpl
286=======
287/**
288 */
289package ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl;
290
291import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Transition;
292import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Vertex;
293import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.YakinduPackage;
294
295import org.eclipse.emf.common.notify.Notification;
296import org.eclipse.emf.common.notify.NotificationChain;
297
298import org.eclipse.emf.ecore.EClass;
299import org.eclipse.emf.ecore.InternalEObject;
300
301import org.eclipse.emf.ecore.impl.ENotificationImpl;
302import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
303
304import org.eclipse.emf.ecore.util.EcoreUtil;
305
306/**
307 * <!-- begin-user-doc -->
308 * An implementation of the model object '<em><b>Transition</b></em>'.
309 * <!-- end-user-doc -->
310 * <p>
311 * The following features are implemented:
312 * </p>
313 * <ul>
314 * <li>{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.TransitionImpl#getTarget <em>Target</em>}</li>
315 * <li>{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.TransitionImpl#getSource <em>Source</em>}</li>
316 * </ul>
317 *
318 * @generated
319 */
320public class TransitionImpl extends MinimalEObjectImpl.Container implements Transition {
321 /**
322 * The cached value of the '{@link #getTarget() <em>Target</em>}' reference.
323 * <!-- begin-user-doc -->
324 * <!-- end-user-doc -->
325 * @see #getTarget()
326 * @generated
327 * @ordered
328 */
329 protected Vertex target;
330
331 /**
332 * <!-- begin-user-doc -->
333 * <!-- end-user-doc -->
334 * @generated
335 */
336 protected TransitionImpl() {
337 super();
338 }
339
340 /**
341 * <!-- begin-user-doc -->
342 * <!-- end-user-doc -->
343 * @generated
344 */
345 @Override
346 protected EClass eStaticClass() {
347 return YakinduPackage.Literals.TRANSITION;
348 }
349
350 /**
351 * <!-- begin-user-doc -->
352 * <!-- end-user-doc -->
353 * @generated
354 */
355 public Vertex getTarget() {
356 if (target != null && target.eIsProxy()) {
357 InternalEObject oldTarget = (InternalEObject)target;
358 target = (Vertex)eResolveProxy(oldTarget);
359 if (target != oldTarget) {
360 if (eNotificationRequired())
361 eNotify(new ENotificationImpl(this, Notification.RESOLVE, YakinduPackage.TRANSITION__TARGET, oldTarget, target));
362 }
363 }
364 return target;
365 }
366
367 /**
368 * <!-- begin-user-doc -->
369 * <!-- end-user-doc -->
370 * @generated
371 */
372 public Vertex basicGetTarget() {
373 return target;
374 }
375
376 /**
377 * <!-- begin-user-doc -->
378 * <!-- end-user-doc -->
379 * @generated
380 */
381 public NotificationChain basicSetTarget(Vertex newTarget, NotificationChain msgs) {
382 Vertex oldTarget = target;
383 target = newTarget;
384 if (eNotificationRequired()) {
385 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, YakinduPackage.TRANSITION__TARGET, oldTarget, newTarget);
386 if (msgs == null) msgs = notification; else msgs.add(notification);
387 }
388 return msgs;
389 }
390
391 /**
392 * <!-- begin-user-doc -->
393 * <!-- end-user-doc -->
394 * @generated
395 */
396 public void setTarget(Vertex newTarget) {
397 if (newTarget != target) {
398 NotificationChain msgs = null;
399 if (target != null)
400 msgs = ((InternalEObject)target).eInverseRemove(this, YakinduPackage.VERTEX__INCOMING_TRANSITIONS, Vertex.class, msgs);
401 if (newTarget != null)
402 msgs = ((InternalEObject)newTarget).eInverseAdd(this, YakinduPackage.VERTEX__INCOMING_TRANSITIONS, Vertex.class, msgs);
403 msgs = basicSetTarget(newTarget, msgs);
404 if (msgs != null) msgs.dispatch();
405 }
406 else if (eNotificationRequired())
407 eNotify(new ENotificationImpl(this, Notification.SET, YakinduPackage.TRANSITION__TARGET, newTarget, newTarget));
408 }
409
410 /**
411 * <!-- begin-user-doc -->
412 * <!-- end-user-doc -->
413 * @generated
414 */
415 public Vertex getSource() {
416 if (eContainerFeatureID() != YakinduPackage.TRANSITION__SOURCE) return null;
417 return (Vertex)eInternalContainer();
418 }
419
420 /**
421 * <!-- begin-user-doc -->
422 * <!-- end-user-doc -->
423 * @generated
424 */
425 public NotificationChain basicSetSource(Vertex newSource, NotificationChain msgs) {
426 msgs = eBasicSetContainer((InternalEObject)newSource, YakinduPackage.TRANSITION__SOURCE, msgs);
427 return msgs;
428 }
429
430 /**
431 * <!-- begin-user-doc -->
432 * <!-- end-user-doc -->
433 * @generated
434 */
435 public void setSource(Vertex newSource) {
436 if (newSource != eInternalContainer() || (eContainerFeatureID() != YakinduPackage.TRANSITION__SOURCE && newSource != null)) {
437 if (EcoreUtil.isAncestor(this, newSource))
438 throw new IllegalArgumentException("Recursive containment not allowed for " + toString());
439 NotificationChain msgs = null;
440 if (eInternalContainer() != null)
441 msgs = eBasicRemoveFromContainer(msgs);
442 if (newSource != null)
443 msgs = ((InternalEObject)newSource).eInverseAdd(this, YakinduPackage.VERTEX__OUTGOING_TRANSITIONS, Vertex.class, msgs);
444 msgs = basicSetSource(newSource, msgs);
445 if (msgs != null) msgs.dispatch();
446 }
447 else if (eNotificationRequired())
448 eNotify(new ENotificationImpl(this, Notification.SET, YakinduPackage.TRANSITION__SOURCE, newSource, newSource));
449 }
450
451 /**
452 * <!-- begin-user-doc -->
453 * <!-- end-user-doc -->
454 * @generated
455 */
456 @Override
457 public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
458 switch (featureID) {
459 case YakinduPackage.TRANSITION__TARGET:
460 if (target != null)
461 msgs = ((InternalEObject)target).eInverseRemove(this, YakinduPackage.VERTEX__INCOMING_TRANSITIONS, Vertex.class, msgs);
462 return basicSetTarget((Vertex)otherEnd, msgs);
463 case YakinduPackage.TRANSITION__SOURCE:
464 if (eInternalContainer() != null)
465 msgs = eBasicRemoveFromContainer(msgs);
466 return basicSetSource((Vertex)otherEnd, msgs);
467 }
468 return super.eInverseAdd(otherEnd, featureID, msgs);
469 }
470
471 /**
472 * <!-- begin-user-doc -->
473 * <!-- end-user-doc -->
474 * @generated
475 */
476 @Override
477 public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
478 switch (featureID) {
479 case YakinduPackage.TRANSITION__TARGET:
480 return basicSetTarget(null, msgs);
481 case YakinduPackage.TRANSITION__SOURCE:
482 return basicSetSource(null, msgs);
483 }
484 return super.eInverseRemove(otherEnd, featureID, msgs);
485 }
486
487 /**
488 * <!-- begin-user-doc -->
489 * <!-- end-user-doc -->
490 * @generated
491 */
492 @Override
493 public NotificationChain eBasicRemoveFromContainerFeature(NotificationChain msgs) {
494 switch (eContainerFeatureID()) {
495 case YakinduPackage.TRANSITION__SOURCE:
496 return eInternalContainer().eInverseRemove(this, YakinduPackage.VERTEX__OUTGOING_TRANSITIONS, Vertex.class, msgs);
497 }
498 return super.eBasicRemoveFromContainerFeature(msgs);
499 }
500
501 /**
502 * <!-- begin-user-doc -->
503 * <!-- end-user-doc -->
504 * @generated
505 */
506 @Override
507 public Object eGet(int featureID, boolean resolve, boolean coreType) {
508 switch (featureID) {
509 case YakinduPackage.TRANSITION__TARGET:
510 if (resolve) return getTarget();
511 return basicGetTarget();
512 case YakinduPackage.TRANSITION__SOURCE:
513 return getSource();
514 }
515 return super.eGet(featureID, resolve, coreType);
516 }
517
518 /**
519 * <!-- begin-user-doc -->
520 * <!-- end-user-doc -->
521 * @generated
522 */
523 @Override
524 public void eSet(int featureID, Object newValue) {
525 switch (featureID) {
526 case YakinduPackage.TRANSITION__TARGET:
527 setTarget((Vertex)newValue);
528 return;
529 case YakinduPackage.TRANSITION__SOURCE:
530 setSource((Vertex)newValue);
531 return;
532 }
533 super.eSet(featureID, newValue);
534 }
535
536 /**
537 * <!-- begin-user-doc -->
538 * <!-- end-user-doc -->
539 * @generated
540 */
541 @Override
542 public void eUnset(int featureID) {
543 switch (featureID) {
544 case YakinduPackage.TRANSITION__TARGET:
545 setTarget((Vertex)null);
546 return;
547 case YakinduPackage.TRANSITION__SOURCE:
548 setSource((Vertex)null);
549 return;
550 }
551 super.eUnset(featureID);
552 }
553
554 /**
555 * <!-- begin-user-doc -->
556 * <!-- end-user-doc -->
557 * @generated
558 */
559 @Override
560 public boolean eIsSet(int featureID) {
561 switch (featureID) {
562 case YakinduPackage.TRANSITION__TARGET:
563 return target != null;
564 case YakinduPackage.TRANSITION__SOURCE:
565 return getSource() != null;
566 }
567 return super.eIsSet(featureID);
568 }
569
570} //TransitionImpl
571>>>>>>> f1f2a1fa... Pre-realisticBranchCreation Commit:Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/impl/TransitionImpl.java
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/VertexImpl.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/VertexImpl.java
index 66871f3f..5e78c566 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/VertexImpl.java
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/VertexImpl.java
@@ -1,3 +1,4 @@
1<<<<<<< HEAD:Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/VertexImpl.java
1/** 2/**
2 */ 3 */
3package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl; 4package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl;
@@ -204,3 +205,211 @@ public abstract class VertexImpl extends MinimalEObjectImpl.Container implements
204 } 205 }
205 206
206} //VertexImpl 207} //VertexImpl
208=======
209/**
210 */
211package ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl;
212
213import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Transition;
214import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Vertex;
215import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.YakinduPackage;
216
217import java.util.Collection;
218
219import org.eclipse.emf.common.notify.NotificationChain;
220
221import org.eclipse.emf.common.util.EList;
222
223import org.eclipse.emf.ecore.EClass;
224import org.eclipse.emf.ecore.InternalEObject;
225
226import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
227
228import org.eclipse.emf.ecore.util.EObjectContainmentWithInverseEList;
229import org.eclipse.emf.ecore.util.EObjectWithInverseResolvingEList;
230import org.eclipse.emf.ecore.util.InternalEList;
231
232/**
233 * <!-- begin-user-doc -->
234 * An implementation of the model object '<em><b>Vertex</b></em>'.
235 * <!-- end-user-doc -->
236 * <p>
237 * The following features are implemented:
238 * </p>
239 * <ul>
240 * <li>{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.VertexImpl#getIncomingTransitions <em>Incoming Transitions</em>}</li>
241 * <li>{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.VertexImpl#getOutgoingTransitions <em>Outgoing Transitions</em>}</li>
242 * </ul>
243 *
244 * @generated
245 */
246public abstract class VertexImpl extends MinimalEObjectImpl.Container implements Vertex {
247 /**
248 * The cached value of the '{@link #getIncomingTransitions() <em>Incoming Transitions</em>}' reference list.
249 * <!-- begin-user-doc -->
250 * <!-- end-user-doc -->
251 * @see #getIncomingTransitions()
252 * @generated
253 * @ordered
254 */
255 protected EList<Transition> incomingTransitions;
256
257 /**
258 * The cached value of the '{@link #getOutgoingTransitions() <em>Outgoing Transitions</em>}' containment reference list.
259 * <!-- begin-user-doc -->
260 * <!-- end-user-doc -->
261 * @see #getOutgoingTransitions()
262 * @generated
263 * @ordered
264 */
265 protected EList<Transition> outgoingTransitions;
266
267 /**
268 * <!-- begin-user-doc -->
269 * <!-- end-user-doc -->
270 * @generated
271 */
272 protected VertexImpl() {
273 super();
274 }
275
276 /**
277 * <!-- begin-user-doc -->
278 * <!-- end-user-doc -->
279 * @generated
280 */
281 @Override
282 protected EClass eStaticClass() {
283 return YakinduPackage.Literals.VERTEX;
284 }
285
286 /**
287 * <!-- begin-user-doc -->
288 * <!-- end-user-doc -->
289 * @generated
290 */
291 public EList<Transition> getIncomingTransitions() {
292 if (incomingTransitions == null) {
293 incomingTransitions = new EObjectWithInverseResolvingEList<Transition>(Transition.class, this, YakinduPackage.VERTEX__INCOMING_TRANSITIONS, YakinduPackage.TRANSITION__TARGET);
294 }
295 return incomingTransitions;
296 }
297
298 /**
299 * <!-- begin-user-doc -->
300 * <!-- end-user-doc -->
301 * @generated
302 */
303 public EList<Transition> getOutgoingTransitions() {
304 if (outgoingTransitions == null) {
305 outgoingTransitions = new EObjectContainmentWithInverseEList<Transition>(Transition.class, this, YakinduPackage.VERTEX__OUTGOING_TRANSITIONS, YakinduPackage.TRANSITION__SOURCE);
306 }
307 return outgoingTransitions;
308 }
309
310 /**
311 * <!-- begin-user-doc -->
312 * <!-- end-user-doc -->
313 * @generated
314 */
315 @SuppressWarnings("unchecked")
316 @Override
317 public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
318 switch (featureID) {
319 case YakinduPackage.VERTEX__INCOMING_TRANSITIONS:
320 return ((InternalEList<InternalEObject>)(InternalEList<?>)getIncomingTransitions()).basicAdd(otherEnd, msgs);
321 case YakinduPackage.VERTEX__OUTGOING_TRANSITIONS:
322 return ((InternalEList<InternalEObject>)(InternalEList<?>)getOutgoingTransitions()).basicAdd(otherEnd, msgs);
323 }
324 return super.eInverseAdd(otherEnd, featureID, msgs);
325 }
326
327 /**
328 * <!-- begin-user-doc -->
329 * <!-- end-user-doc -->
330 * @generated
331 */
332 @Override
333 public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
334 switch (featureID) {
335 case YakinduPackage.VERTEX__INCOMING_TRANSITIONS:
336 return ((InternalEList<?>)getIncomingTransitions()).basicRemove(otherEnd, msgs);
337 case YakinduPackage.VERTEX__OUTGOING_TRANSITIONS:
338 return ((InternalEList<?>)getOutgoingTransitions()).basicRemove(otherEnd, msgs);
339 }
340 return super.eInverseRemove(otherEnd, featureID, msgs);
341 }
342
343 /**
344 * <!-- begin-user-doc -->
345 * <!-- end-user-doc -->
346 * @generated
347 */
348 @Override
349 public Object eGet(int featureID, boolean resolve, boolean coreType) {
350 switch (featureID) {
351 case YakinduPackage.VERTEX__INCOMING_TRANSITIONS:
352 return getIncomingTransitions();
353 case YakinduPackage.VERTEX__OUTGOING_TRANSITIONS:
354 return getOutgoingTransitions();
355 }
356 return super.eGet(featureID, resolve, coreType);
357 }
358
359 /**
360 * <!-- begin-user-doc -->
361 * <!-- end-user-doc -->
362 * @generated
363 */
364 @SuppressWarnings("unchecked")
365 @Override
366 public void eSet(int featureID, Object newValue) {
367 switch (featureID) {
368 case YakinduPackage.VERTEX__INCOMING_TRANSITIONS:
369 getIncomingTransitions().clear();
370 getIncomingTransitions().addAll((Collection<? extends Transition>)newValue);
371 return;
372 case YakinduPackage.VERTEX__OUTGOING_TRANSITIONS:
373 getOutgoingTransitions().clear();
374 getOutgoingTransitions().addAll((Collection<? extends Transition>)newValue);
375 return;
376 }
377 super.eSet(featureID, newValue);
378 }
379
380 /**
381 * <!-- begin-user-doc -->
382 * <!-- end-user-doc -->
383 * @generated
384 */
385 @Override
386 public void eUnset(int featureID) {
387 switch (featureID) {
388 case YakinduPackage.VERTEX__INCOMING_TRANSITIONS:
389 getIncomingTransitions().clear();
390 return;
391 case YakinduPackage.VERTEX__OUTGOING_TRANSITIONS:
392 getOutgoingTransitions().clear();
393 return;
394 }
395 super.eUnset(featureID);
396 }
397
398 /**
399 * <!-- begin-user-doc -->
400 * <!-- end-user-doc -->
401 * @generated
402 */
403 @Override
404 public boolean eIsSet(int featureID) {
405 switch (featureID) {
406 case YakinduPackage.VERTEX__INCOMING_TRANSITIONS:
407 return incomingTransitions != null && !incomingTransitions.isEmpty();
408 case YakinduPackage.VERTEX__OUTGOING_TRANSITIONS:
409 return outgoingTransitions != null && !outgoingTransitions.isEmpty();
410 }
411 return super.eIsSet(featureID);
412 }
413
414} //VertexImpl
415>>>>>>> f1f2a1fa... Pre-realisticBranchCreation Commit:Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/impl/VertexImpl.java
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakinduFactoryImpl.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakinduFactoryImpl.java
new file mode 100644
index 00000000..1aa8b67a
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakinduFactoryImpl.java
@@ -0,0 +1,409 @@
1<<<<<<< HEAD:Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakindummFactoryImpl.java
2/**
3 */
4package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl;
5
6import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.*;
7
8import org.eclipse.emf.ecore.EClass;
9import org.eclipse.emf.ecore.EDataType;
10import org.eclipse.emf.ecore.EObject;
11import org.eclipse.emf.ecore.EPackage;
12
13import org.eclipse.emf.ecore.impl.EFactoryImpl;
14
15import org.eclipse.emf.ecore.plugin.EcorePlugin;
16
17/**
18 * <!-- begin-user-doc -->
19 * An implementation of the model <b>Factory</b>.
20 * <!-- end-user-doc -->
21 * @generated
22 */
23public class YakindummFactoryImpl extends EFactoryImpl implements YakindummFactory {
24 /**
25 * Creates the default factory implementation.
26 * <!-- begin-user-doc -->
27 * <!-- end-user-doc -->
28 * @generated
29 */
30 public static YakindummFactory init() {
31 try {
32 YakindummFactory theYakindummFactory = (YakindummFactory)EPackage.Registry.INSTANCE.getEFactory(YakindummPackage.eNS_URI);
33 if (theYakindummFactory != null) {
34 return theYakindummFactory;
35 }
36 }
37 catch (Exception exception) {
38 EcorePlugin.INSTANCE.log(exception);
39 }
40 return new YakindummFactoryImpl();
41 }
42
43 /**
44 * Creates an instance of the factory.
45 * <!-- begin-user-doc -->
46 * <!-- end-user-doc -->
47 * @generated
48 */
49 public YakindummFactoryImpl() {
50 super();
51 }
52
53 /**
54 * <!-- begin-user-doc -->
55 * <!-- end-user-doc -->
56 * @generated
57 */
58 @Override
59 public EObject create(EClass eClass) {
60 switch (eClass.getClassifierID()) {
61 case YakindummPackage.REGION: return createRegion();
62 case YakindummPackage.TRANSITION: return createTransition();
63 case YakindummPackage.STATECHART: return createStatechart();
64 case YakindummPackage.ENTRY: return createEntry();
65 case YakindummPackage.STATE: return createState();
66 case YakindummPackage.CHOICE: return createChoice();
67 case YakindummPackage.EXIT: return createExit();
68 case YakindummPackage.FINAL_STATE: return createFinalState();
69 default:
70 throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier");
71 }
72 }
73
74 /**
75 * <!-- begin-user-doc -->
76 * <!-- end-user-doc -->
77 * @generated
78 */
79 @Override
80 public Object createFromString(EDataType eDataType, String initialValue) {
81 switch (eDataType.getClassifierID()) {
82 case YakindummPackage.ENTRY_TYPE:
83 return createEntryTypeFromString(eDataType, initialValue);
84 default:
85 throw new IllegalArgumentException("The datatype '" + eDataType.getName() + "' is not a valid classifier");
86 }
87 }
88
89 /**
90 * <!-- begin-user-doc -->
91 * <!-- end-user-doc -->
92 * @generated
93 */
94 @Override
95 public String convertToString(EDataType eDataType, Object instanceValue) {
96 switch (eDataType.getClassifierID()) {
97 case YakindummPackage.ENTRY_TYPE:
98 return convertEntryTypeToString(eDataType, instanceValue);
99 default:
100 throw new IllegalArgumentException("The datatype '" + eDataType.getName() + "' is not a valid classifier");
101 }
102 }
103
104 /**
105 * <!-- begin-user-doc -->
106 * <!-- end-user-doc -->
107 * @generated
108 */
109 public Region createRegion() {
110 RegionImpl region = new RegionImpl();
111 return region;
112 }
113
114 /**
115 * <!-- begin-user-doc -->
116 * <!-- end-user-doc -->
117 * @generated
118 */
119 public Transition createTransition() {
120 TransitionImpl transition = new TransitionImpl();
121 return transition;
122 }
123
124 /**
125 * <!-- begin-user-doc -->
126 * <!-- end-user-doc -->
127 * @generated
128 */
129 public Statechart createStatechart() {
130 StatechartImpl statechart = new StatechartImpl();
131 return statechart;
132 }
133
134 /**
135 * <!-- begin-user-doc -->
136 * <!-- end-user-doc -->
137 * @generated
138 */
139 public Entry createEntry() {
140 EntryImpl entry = new EntryImpl();
141 return entry;
142 }
143
144 /**
145 * <!-- begin-user-doc -->
146 * <!-- end-user-doc -->
147 * @generated
148 */
149 public State createState() {
150 StateImpl state = new StateImpl();
151 return state;
152 }
153
154 /**
155 * <!-- begin-user-doc -->
156 * <!-- end-user-doc -->
157 * @generated
158 */
159 public Choice createChoice() {
160 ChoiceImpl choice = new ChoiceImpl();
161 return choice;
162 }
163
164 /**
165 * <!-- begin-user-doc -->
166 * <!-- end-user-doc -->
167 * @generated
168 */
169 public Exit createExit() {
170 ExitImpl exit = new ExitImpl();
171 return exit;
172 }
173
174 /**
175 * <!-- begin-user-doc -->
176 * <!-- end-user-doc -->
177 * @generated
178 */
179 public FinalState createFinalState() {
180 FinalStateImpl finalState = new FinalStateImpl();
181 return finalState;
182 }
183
184 /**
185 * <!-- begin-user-doc -->
186 * <!-- end-user-doc -->
187 * @generated
188 */
189 public EntryType createEntryTypeFromString(EDataType eDataType, String initialValue) {
190 EntryType result = EntryType.get(initialValue);
191 if (result == null) throw new IllegalArgumentException("The value '" + initialValue + "' is not a valid enumerator of '" + eDataType.getName() + "'");
192 return result;
193 }
194
195 /**
196 * <!-- begin-user-doc -->
197 * <!-- end-user-doc -->
198 * @generated
199 */
200 public String convertEntryTypeToString(EDataType eDataType, Object instanceValue) {
201 return instanceValue == null ? null : instanceValue.toString();
202 }
203
204 /**
205 * <!-- begin-user-doc -->
206 * <!-- end-user-doc -->
207 * @generated
208 */
209 public YakindummPackage getYakindummPackage() {
210 return (YakindummPackage)getEPackage();
211 }
212
213 /**
214 * <!-- begin-user-doc -->
215 * <!-- end-user-doc -->
216 * @deprecated
217 * @generated
218 */
219 @Deprecated
220 public static YakindummPackage getPackage() {
221 return YakindummPackage.eINSTANCE;
222 }
223
224} //YakindummFactoryImpl
225=======
226/**
227 */
228package ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl;
229
230import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.*;
231
232import org.eclipse.emf.ecore.EClass;
233import org.eclipse.emf.ecore.EObject;
234import org.eclipse.emf.ecore.EPackage;
235
236import org.eclipse.emf.ecore.impl.EFactoryImpl;
237
238import org.eclipse.emf.ecore.plugin.EcorePlugin;
239
240/**
241 * <!-- begin-user-doc -->
242 * An implementation of the model <b>Factory</b>.
243 * <!-- end-user-doc -->
244 * @generated
245 */
246public class YakinduFactoryImpl extends EFactoryImpl implements YakinduFactory {
247 /**
248 * Creates the default factory implementation.
249 * <!-- begin-user-doc -->
250 * <!-- end-user-doc -->
251 * @generated
252 */
253 public static YakinduFactory init() {
254 try {
255 YakinduFactory theYakinduFactory = (YakinduFactory)EPackage.Registry.INSTANCE.getEFactory(YakinduPackage.eNS_URI);
256 if (theYakinduFactory != null) {
257 return theYakinduFactory;
258 }
259 }
260 catch (Exception exception) {
261 EcorePlugin.INSTANCE.log(exception);
262 }
263 return new YakinduFactoryImpl();
264 }
265
266 /**
267 * Creates an instance of the factory.
268 * <!-- begin-user-doc -->
269 * <!-- end-user-doc -->
270 * @generated
271 */
272 public YakinduFactoryImpl() {
273 super();
274 }
275
276 /**
277 * <!-- begin-user-doc -->
278 * <!-- end-user-doc -->
279 * @generated
280 */
281 @Override
282 public EObject create(EClass eClass) {
283 switch (eClass.getClassifierID()) {
284 case YakinduPackage.REGION: return createRegion();
285 case YakinduPackage.TRANSITION: return createTransition();
286 case YakinduPackage.STATECHART: return createStatechart();
287 case YakinduPackage.ENTRY: return createEntry();
288 case YakinduPackage.SYNCHRONIZATION: return createSynchronization();
289 case YakinduPackage.STATE: return createState();
290 case YakinduPackage.CHOICE: return createChoice();
291 case YakinduPackage.EXIT: return createExit();
292 case YakinduPackage.FINAL_STATE: return createFinalState();
293 default:
294 throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier");
295 }
296 }
297
298 /**
299 * <!-- begin-user-doc -->
300 * <!-- end-user-doc -->
301 * @generated
302 */
303 public Region createRegion() {
304 RegionImpl region = new RegionImpl();
305 return region;
306 }
307
308 /**
309 * <!-- begin-user-doc -->
310 * <!-- end-user-doc -->
311 * @generated
312 */
313 public Transition createTransition() {
314 TransitionImpl transition = new TransitionImpl();
315 return transition;
316 }
317
318 /**
319 * <!-- begin-user-doc -->
320 * <!-- end-user-doc -->
321 * @generated
322 */
323 public Statechart createStatechart() {
324 StatechartImpl statechart = new StatechartImpl();
325 return statechart;
326 }
327
328 /**
329 * <!-- begin-user-doc -->
330 * <!-- end-user-doc -->
331 * @generated
332 */
333 public Entry createEntry() {
334 EntryImpl entry = new EntryImpl();
335 return entry;
336 }
337
338 /**
339 * <!-- begin-user-doc -->
340 * <!-- end-user-doc -->
341 * @generated
342 */
343 public Synchronization createSynchronization() {
344 SynchronizationImpl synchronization = new SynchronizationImpl();
345 return synchronization;
346 }
347
348 /**
349 * <!-- begin-user-doc -->
350 * <!-- end-user-doc -->
351 * @generated
352 */
353 public State createState() {
354 StateImpl state = new StateImpl();
355 return state;
356 }
357
358 /**
359 * <!-- begin-user-doc -->
360 * <!-- end-user-doc -->
361 * @generated
362 */
363 public Choice createChoice() {
364 ChoiceImpl choice = new ChoiceImpl();
365 return choice;
366 }
367
368 /**
369 * <!-- begin-user-doc -->
370 * <!-- end-user-doc -->
371 * @generated
372 */
373 public Exit createExit() {
374 ExitImpl exit = new ExitImpl();
375 return exit;
376 }
377
378 /**
379 * <!-- begin-user-doc -->
380 * <!-- end-user-doc -->
381 * @generated
382 */
383 public FinalState createFinalState() {
384 FinalStateImpl finalState = new FinalStateImpl();
385 return finalState;
386 }
387
388 /**
389 * <!-- begin-user-doc -->
390 * <!-- end-user-doc -->
391 * @generated
392 */
393 public YakinduPackage getYakinduPackage() {
394 return (YakinduPackage)getEPackage();
395 }
396
397 /**
398 * <!-- begin-user-doc -->
399 * <!-- end-user-doc -->
400 * @deprecated
401 * @generated
402 */
403 @Deprecated
404 public static YakinduPackage getPackage() {
405 return YakinduPackage.eINSTANCE;
406 }
407
408} //YakinduFactoryImpl
409>>>>>>> f1f2a1fa... Pre-realisticBranchCreation Commit:Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakinduFactoryImpl.java
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakinduPackageImpl.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakinduPackageImpl.java
new file mode 100644
index 00000000..87ae07f4
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakinduPackageImpl.java
@@ -0,0 +1,1008 @@
1<<<<<<< HEAD:Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakindummPackageImpl.java
2/**
3 */
4package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl;
5
6import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Choice;
7import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.CompositeElement;
8import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Entry;
9import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.EntryType;
10import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Exit;
11import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.FinalState;
12import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Pseudostate;
13import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Region;
14import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.RegularState;
15import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.State;
16import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Statechart;
17import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Transition;
18import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Vertex;
19import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummFactory;
20import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage;
21
22import org.eclipse.emf.ecore.EAttribute;
23import org.eclipse.emf.ecore.EClass;
24import org.eclipse.emf.ecore.EEnum;
25import org.eclipse.emf.ecore.EPackage;
26import org.eclipse.emf.ecore.EReference;
27
28import org.eclipse.emf.ecore.impl.EPackageImpl;
29
30/**
31 * <!-- begin-user-doc -->
32 * An implementation of the model <b>Package</b>.
33 * <!-- end-user-doc -->
34 * @generated
35 */
36public class YakindummPackageImpl extends EPackageImpl implements YakindummPackage {
37 /**
38 * <!-- begin-user-doc -->
39 * <!-- end-user-doc -->
40 * @generated
41 */
42 private EClass pseudostateEClass = null;
43
44 /**
45 * <!-- begin-user-doc -->
46 * <!-- end-user-doc -->
47 * @generated
48 */
49 private EClass vertexEClass = null;
50
51 /**
52 * <!-- begin-user-doc -->
53 * <!-- end-user-doc -->
54 * @generated
55 */
56 private EClass regionEClass = null;
57
58 /**
59 * <!-- begin-user-doc -->
60 * <!-- end-user-doc -->
61 * @generated
62 */
63 private EClass transitionEClass = null;
64
65 /**
66 * <!-- begin-user-doc -->
67 * <!-- end-user-doc -->
68 * @generated
69 */
70 private EClass statechartEClass = null;
71
72 /**
73 * <!-- begin-user-doc -->
74 * <!-- end-user-doc -->
75 * @generated
76 */
77 private EClass entryEClass = null;
78
79 /**
80 * <!-- begin-user-doc -->
81 * <!-- end-user-doc -->
82 * @generated
83 */
84 private EClass stateEClass = null;
85
86 /**
87 * <!-- begin-user-doc -->
88 * <!-- end-user-doc -->
89 * @generated
90 */
91 private EClass regularStateEClass = null;
92
93 /**
94 * <!-- begin-user-doc -->
95 * <!-- end-user-doc -->
96 * @generated
97 */
98 private EClass compositeElementEClass = null;
99
100 /**
101 * <!-- begin-user-doc -->
102 * <!-- end-user-doc -->
103 * @generated
104 */
105 private EClass choiceEClass = null;
106
107 /**
108 * <!-- begin-user-doc -->
109 * <!-- end-user-doc -->
110 * @generated
111 */
112 private EClass exitEClass = null;
113
114 /**
115 * <!-- begin-user-doc -->
116 * <!-- end-user-doc -->
117 * @generated
118 */
119 private EClass finalStateEClass = null;
120
121 /**
122 * <!-- begin-user-doc -->
123 * <!-- end-user-doc -->
124 * @generated
125 */
126 private EEnum entryTypeEEnum = null;
127
128 /**
129 * Creates an instance of the model <b>Package</b>, registered with
130 * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package
131 * package URI value.
132 * <p>Note: the correct way to create the package is via the static
133 * factory method {@link #init init()}, which also performs
134 * initialization of the package, or returns the registered package,
135 * if one already exists.
136 * <!-- begin-user-doc -->
137 * <!-- end-user-doc -->
138 * @see org.eclipse.emf.ecore.EPackage.Registry
139 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage#eNS_URI
140 * @see #init()
141 * @generated
142 */
143 private YakindummPackageImpl() {
144 super(eNS_URI, YakindummFactory.eINSTANCE);
145 }
146
147 /**
148 * <!-- begin-user-doc -->
149 * <!-- end-user-doc -->
150 * @generated
151 */
152 private static boolean isInited = false;
153
154 /**
155 * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends.
156 *
157 * <p>This method is used to initialize {@link YakindummPackage#eINSTANCE} when that field is accessed.
158 * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package.
159 * <!-- begin-user-doc -->
160 * <!-- end-user-doc -->
161 * @see #eNS_URI
162 * @see #createPackageContents()
163 * @see #initializePackageContents()
164 * @generated
165 */
166 public static YakindummPackage init() {
167 if (isInited) return (YakindummPackage)EPackage.Registry.INSTANCE.getEPackage(YakindummPackage.eNS_URI);
168
169 // Obtain or create and register package
170 Object registeredYakindummPackage = EPackage.Registry.INSTANCE.get(eNS_URI);
171 YakindummPackageImpl theYakindummPackage = registeredYakindummPackage instanceof YakindummPackageImpl ? (YakindummPackageImpl)registeredYakindummPackage : new YakindummPackageImpl();
172
173 isInited = true;
174
175 // Create package meta-data objects
176 theYakindummPackage.createPackageContents();
177
178 // Initialize created meta-data
179 theYakindummPackage.initializePackageContents();
180
181 // Mark meta-data to indicate it can't be changed
182 theYakindummPackage.freeze();
183
184 // Update the registry and return the package
185 EPackage.Registry.INSTANCE.put(YakindummPackage.eNS_URI, theYakindummPackage);
186 return theYakindummPackage;
187 }
188
189 /**
190 * <!-- begin-user-doc -->
191 * <!-- end-user-doc -->
192 * @generated
193 */
194 public EClass getPseudostate() {
195 return pseudostateEClass;
196 }
197
198 /**
199 * <!-- begin-user-doc -->
200 * <!-- end-user-doc -->
201 * @generated
202 */
203 public EClass getVertex() {
204 return vertexEClass;
205 }
206
207 /**
208 * <!-- begin-user-doc -->
209 * <!-- end-user-doc -->
210 * @generated
211 */
212 public EReference getVertex_IncomingTransitions() {
213 return (EReference)vertexEClass.getEStructuralFeatures().get(0);
214 }
215
216 /**
217 * <!-- begin-user-doc -->
218 * <!-- end-user-doc -->
219 * @generated
220 */
221 public EReference getVertex_OutgoingTransitions() {
222 return (EReference)vertexEClass.getEStructuralFeatures().get(1);
223 }
224
225 /**
226 * <!-- begin-user-doc -->
227 * <!-- end-user-doc -->
228 * @generated
229 */
230 public EClass getRegion() {
231 return regionEClass;
232 }
233
234 /**
235 * <!-- begin-user-doc -->
236 * <!-- end-user-doc -->
237 * @generated
238 */
239 public EReference getRegion_Vertices() {
240 return (EReference)regionEClass.getEStructuralFeatures().get(0);
241 }
242
243 /**
244 * <!-- begin-user-doc -->
245 * <!-- end-user-doc -->
246 * @generated
247 */
248 public EClass getTransition() {
249 return transitionEClass;
250 }
251
252 /**
253 * <!-- begin-user-doc -->
254 * <!-- end-user-doc -->
255 * @generated
256 */
257 public EReference getTransition_Target() {
258 return (EReference)transitionEClass.getEStructuralFeatures().get(0);
259 }
260
261 /**
262 * <!-- begin-user-doc -->
263 * <!-- end-user-doc -->
264 * @generated
265 */
266 public EReference getTransition_Source() {
267 return (EReference)transitionEClass.getEStructuralFeatures().get(1);
268 }
269
270 /**
271 * <!-- begin-user-doc -->
272 * <!-- end-user-doc -->
273 * @generated
274 */
275 public EClass getStatechart() {
276 return statechartEClass;
277 }
278
279 /**
280 * <!-- begin-user-doc -->
281 * <!-- end-user-doc -->
282 * @generated
283 */
284 public EClass getEntry() {
285 return entryEClass;
286 }
287
288 /**
289 * <!-- begin-user-doc -->
290 * <!-- end-user-doc -->
291 * @generated
292 */
293 public EAttribute getEntry_Type() {
294 return (EAttribute)entryEClass.getEStructuralFeatures().get(0);
295 }
296
297 /**
298 * <!-- begin-user-doc -->
299 * <!-- end-user-doc -->
300 * @generated
301 */
302 public EClass getState() {
303 return stateEClass;
304 }
305
306 /**
307 * <!-- begin-user-doc -->
308 * <!-- end-user-doc -->
309 * @generated
310 */
311 public EClass getRegularState() {
312 return regularStateEClass;
313 }
314
315 /**
316 * <!-- begin-user-doc -->
317 * <!-- end-user-doc -->
318 * @generated
319 */
320 public EClass getCompositeElement() {
321 return compositeElementEClass;
322 }
323
324 /**
325 * <!-- begin-user-doc -->
326 * <!-- end-user-doc -->
327 * @generated
328 */
329 public EReference getCompositeElement_Regions() {
330 return (EReference)compositeElementEClass.getEStructuralFeatures().get(0);
331 }
332
333 /**
334 * <!-- begin-user-doc -->
335 * <!-- end-user-doc -->
336 * @generated
337 */
338 public EClass getChoice() {
339 return choiceEClass;
340 }
341
342 /**
343 * <!-- begin-user-doc -->
344 * <!-- end-user-doc -->
345 * @generated
346 */
347 public EClass getExit() {
348 return exitEClass;
349 }
350
351 /**
352 * <!-- begin-user-doc -->
353 * <!-- end-user-doc -->
354 * @generated
355 */
356 public EClass getFinalState() {
357 return finalStateEClass;
358 }
359
360 /**
361 * <!-- begin-user-doc -->
362 * <!-- end-user-doc -->
363 * @generated
364 */
365 public EEnum getEntryType() {
366 return entryTypeEEnum;
367 }
368
369 /**
370 * <!-- begin-user-doc -->
371 * <!-- end-user-doc -->
372 * @generated
373 */
374 public YakindummFactory getYakindummFactory() {
375 return (YakindummFactory)getEFactoryInstance();
376 }
377
378 /**
379 * <!-- begin-user-doc -->
380 * <!-- end-user-doc -->
381 * @generated
382 */
383 private boolean isCreated = false;
384
385 /**
386 * Creates the meta-model objects for the package. This method is
387 * guarded to have no affect on any invocation but its first.
388 * <!-- begin-user-doc -->
389 * <!-- end-user-doc -->
390 * @generated
391 */
392 public void createPackageContents() {
393 if (isCreated) return;
394 isCreated = true;
395
396 // Create classes and their features
397 pseudostateEClass = createEClass(PSEUDOSTATE);
398
399 vertexEClass = createEClass(VERTEX);
400 createEReference(vertexEClass, VERTEX__INCOMING_TRANSITIONS);
401 createEReference(vertexEClass, VERTEX__OUTGOING_TRANSITIONS);
402
403 regionEClass = createEClass(REGION);
404 createEReference(regionEClass, REGION__VERTICES);
405
406 transitionEClass = createEClass(TRANSITION);
407 createEReference(transitionEClass, TRANSITION__TARGET);
408 createEReference(transitionEClass, TRANSITION__SOURCE);
409
410 statechartEClass = createEClass(STATECHART);
411
412 entryEClass = createEClass(ENTRY);
413 createEAttribute(entryEClass, ENTRY__TYPE);
414
415 stateEClass = createEClass(STATE);
416
417 regularStateEClass = createEClass(REGULAR_STATE);
418
419 compositeElementEClass = createEClass(COMPOSITE_ELEMENT);
420 createEReference(compositeElementEClass, COMPOSITE_ELEMENT__REGIONS);
421
422 choiceEClass = createEClass(CHOICE);
423
424 exitEClass = createEClass(EXIT);
425
426 finalStateEClass = createEClass(FINAL_STATE);
427
428 // Create enums
429 entryTypeEEnum = createEEnum(ENTRY_TYPE);
430 }
431
432 /**
433 * <!-- begin-user-doc -->
434 * <!-- end-user-doc -->
435 * @generated
436 */
437 private boolean isInitialized = false;
438
439 /**
440 * Complete the initialization of the package and its meta-model. This
441 * method is guarded to have no affect on any invocation but its first.
442 * <!-- begin-user-doc -->
443 * <!-- end-user-doc -->
444 * @generated
445 */
446 public void initializePackageContents() {
447 if (isInitialized) return;
448 isInitialized = true;
449
450 // Initialize package
451 setName(eNAME);
452 setNsPrefix(eNS_PREFIX);
453 setNsURI(eNS_URI);
454
455 // Create type parameters
456
457 // Set bounds for type parameters
458
459 // Add supertypes to classes
460 pseudostateEClass.getESuperTypes().add(this.getVertex());
461 statechartEClass.getESuperTypes().add(this.getCompositeElement());
462 entryEClass.getESuperTypes().add(this.getPseudostate());
463 stateEClass.getESuperTypes().add(this.getRegularState());
464 stateEClass.getESuperTypes().add(this.getCompositeElement());
465 regularStateEClass.getESuperTypes().add(this.getVertex());
466 choiceEClass.getESuperTypes().add(this.getPseudostate());
467 exitEClass.getESuperTypes().add(this.getPseudostate());
468 finalStateEClass.getESuperTypes().add(this.getRegularState());
469
470 // Initialize classes, features, and operations; add parameters
471 initEClass(pseudostateEClass, Pseudostate.class, "Pseudostate", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
472
473 initEClass(vertexEClass, Vertex.class, "Vertex", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
474 initEReference(getVertex_IncomingTransitions(), this.getTransition(), this.getTransition_Target(), "incomingTransitions", null, 0, -1, Vertex.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED);
475 initEReference(getVertex_OutgoingTransitions(), this.getTransition(), this.getTransition_Source(), "outgoingTransitions", null, 0, -1, Vertex.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED);
476
477 initEClass(regionEClass, Region.class, "Region", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
478 initEReference(getRegion_Vertices(), this.getVertex(), null, "vertices", null, 0, -1, Region.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED);
479
480 initEClass(transitionEClass, Transition.class, "Transition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
481 initEReference(getTransition_Target(), this.getVertex(), this.getVertex_IncomingTransitions(), "target", null, 1, 1, Transition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED);
482 initEReference(getTransition_Source(), this.getVertex(), this.getVertex_OutgoingTransitions(), "source", null, 0, 1, Transition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED);
483
484 initEClass(statechartEClass, Statechart.class, "Statechart", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
485
486 initEClass(entryEClass, Entry.class, "Entry", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
487 initEAttribute(getEntry_Type(), this.getEntryType(), "Type", null, 1, 1, Entry.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
488
489 initEClass(stateEClass, State.class, "State", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
490
491 initEClass(regularStateEClass, RegularState.class, "RegularState", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
492
493 initEClass(compositeElementEClass, CompositeElement.class, "CompositeElement", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
494 initEReference(getCompositeElement_Regions(), this.getRegion(), null, "regions", null, 0, -1, CompositeElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
495
496 initEClass(choiceEClass, Choice.class, "Choice", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
497
498 initEClass(exitEClass, Exit.class, "Exit", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
499
500 initEClass(finalStateEClass, FinalState.class, "FinalState", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
501
502 // Initialize enums and add enum literals
503 initEEnum(entryTypeEEnum, EntryType.class, "EntryType");
504 addEEnumLiteral(entryTypeEEnum, EntryType.NORMAL);
505 addEEnumLiteral(entryTypeEEnum, EntryType.HISTORY);
506 addEEnumLiteral(entryTypeEEnum, EntryType.DEEP_HISTORY);
507
508 // Create resource
509 createResource(eNS_URI);
510 }
511
512} //YakindummPackageImpl
513=======
514/**
515 */
516package ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl;
517
518import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Choice;
519import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.CompositeElement;
520import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Entry;
521import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Exit;
522import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.FinalState;
523import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Pseudostate;
524import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Region;
525import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.RegularState;
526import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.State;
527import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Statechart;
528import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Synchronization;
529import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Transition;
530import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Vertex;
531import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.YakinduFactory;
532import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.YakinduPackage;
533
534import org.eclipse.emf.ecore.EClass;
535import org.eclipse.emf.ecore.EPackage;
536import org.eclipse.emf.ecore.EReference;
537
538import org.eclipse.emf.ecore.impl.EPackageImpl;
539
540/**
541 * <!-- begin-user-doc -->
542 * An implementation of the model <b>Package</b>.
543 * <!-- end-user-doc -->
544 * @generated
545 */
546public class YakinduPackageImpl extends EPackageImpl implements YakinduPackage {
547 /**
548 * <!-- begin-user-doc -->
549 * <!-- end-user-doc -->
550 * @generated
551 */
552 private EClass pseudostateEClass = null;
553
554 /**
555 * <!-- begin-user-doc -->
556 * <!-- end-user-doc -->
557 * @generated
558 */
559 private EClass vertexEClass = null;
560
561 /**
562 * <!-- begin-user-doc -->
563 * <!-- end-user-doc -->
564 * @generated
565 */
566 private EClass regionEClass = null;
567
568 /**
569 * <!-- begin-user-doc -->
570 * <!-- end-user-doc -->
571 * @generated
572 */
573 private EClass transitionEClass = null;
574
575 /**
576 * <!-- begin-user-doc -->
577 * <!-- end-user-doc -->
578 * @generated
579 */
580 private EClass statechartEClass = null;
581
582 /**
583 * <!-- begin-user-doc -->
584 * <!-- end-user-doc -->
585 * @generated
586 */
587 private EClass entryEClass = null;
588
589 /**
590 * <!-- begin-user-doc -->
591 * <!-- end-user-doc -->
592 * @generated
593 */
594 private EClass synchronizationEClass = null;
595
596 /**
597 * <!-- begin-user-doc -->
598 * <!-- end-user-doc -->
599 * @generated
600 */
601 private EClass stateEClass = null;
602
603 /**
604 * <!-- begin-user-doc -->
605 * <!-- end-user-doc -->
606 * @generated
607 */
608 private EClass regularStateEClass = null;
609
610 /**
611 * <!-- begin-user-doc -->
612 * <!-- end-user-doc -->
613 * @generated
614 */
615 private EClass compositeElementEClass = null;
616
617 /**
618 * <!-- begin-user-doc -->
619 * <!-- end-user-doc -->
620 * @generated
621 */
622 private EClass choiceEClass = null;
623
624 /**
625 * <!-- begin-user-doc -->
626 * <!-- end-user-doc -->
627 * @generated
628 */
629 private EClass exitEClass = null;
630
631 /**
632 * <!-- begin-user-doc -->
633 * <!-- end-user-doc -->
634 * @generated
635 */
636 private EClass finalStateEClass = null;
637
638 /**
639 * Creates an instance of the model <b>Package</b>, registered with
640 * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package
641 * package URI value.
642 * <p>Note: the correct way to create the package is via the static
643 * factory method {@link #init init()}, which also performs
644 * initialization of the package, or returns the registered package,
645 * if one already exists.
646 * <!-- begin-user-doc -->
647 * <!-- end-user-doc -->
648 * @see org.eclipse.emf.ecore.EPackage.Registry
649 * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.YakinduPackage#eNS_URI
650 * @see #init()
651 * @generated
652 */
653 private YakinduPackageImpl() {
654 super(eNS_URI, YakinduFactory.eINSTANCE);
655 }
656
657 /**
658 * <!-- begin-user-doc -->
659 * <!-- end-user-doc -->
660 * @generated
661 */
662 private static boolean isInited = false;
663
664 /**
665 * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends.
666 *
667 * <p>This method is used to initialize {@link YakinduPackage#eINSTANCE} when that field is accessed.
668 * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package.
669 * <!-- begin-user-doc -->
670 * <!-- end-user-doc -->
671 * @see #eNS_URI
672 * @see #createPackageContents()
673 * @see #initializePackageContents()
674 * @generated
675 */
676 public static YakinduPackage init() {
677 if (isInited) return (YakinduPackage)EPackage.Registry.INSTANCE.getEPackage(YakinduPackage.eNS_URI);
678
679 // Obtain or create and register package
680 Object registeredYakinduPackage = EPackage.Registry.INSTANCE.get(eNS_URI);
681 YakinduPackageImpl theYakinduPackage = registeredYakinduPackage instanceof YakinduPackageImpl ? (YakinduPackageImpl)registeredYakinduPackage : new YakinduPackageImpl();
682
683 isInited = true;
684
685 // Create package meta-data objects
686 theYakinduPackage.createPackageContents();
687
688 // Initialize created meta-data
689 theYakinduPackage.initializePackageContents();
690
691 // Mark meta-data to indicate it can't be changed
692 theYakinduPackage.freeze();
693
694 // Update the registry and return the package
695 EPackage.Registry.INSTANCE.put(YakinduPackage.eNS_URI, theYakinduPackage);
696 return theYakinduPackage;
697 }
698
699 /**
700 * <!-- begin-user-doc -->
701 * <!-- end-user-doc -->
702 * @generated
703 */
704 public EClass getPseudostate() {
705 return pseudostateEClass;
706 }
707
708 /**
709 * <!-- begin-user-doc -->
710 * <!-- end-user-doc -->
711 * @generated
712 */
713 public EClass getVertex() {
714 return vertexEClass;
715 }
716
717 /**
718 * <!-- begin-user-doc -->
719 * <!-- end-user-doc -->
720 * @generated
721 */
722 public EReference getVertex_IncomingTransitions() {
723 return (EReference)vertexEClass.getEStructuralFeatures().get(0);
724 }
725
726 /**
727 * <!-- begin-user-doc -->
728 * <!-- end-user-doc -->
729 * @generated
730 */
731 public EReference getVertex_OutgoingTransitions() {
732 return (EReference)vertexEClass.getEStructuralFeatures().get(1);
733 }
734
735 /**
736 * <!-- begin-user-doc -->
737 * <!-- end-user-doc -->
738 * @generated
739 */
740 public EClass getRegion() {
741 return regionEClass;
742 }
743
744 /**
745 * <!-- begin-user-doc -->
746 * <!-- end-user-doc -->
747 * @generated
748 */
749 public EReference getRegion_Vertices() {
750 return (EReference)regionEClass.getEStructuralFeatures().get(0);
751 }
752
753 /**
754 * <!-- begin-user-doc -->
755 * <!-- end-user-doc -->
756 * @generated
757 */
758 public EClass getTransition() {
759 return transitionEClass;
760 }
761
762 /**
763 * <!-- begin-user-doc -->
764 * <!-- end-user-doc -->
765 * @generated
766 */
767 public EReference getTransition_Target() {
768 return (EReference)transitionEClass.getEStructuralFeatures().get(0);
769 }
770
771 /**
772 * <!-- begin-user-doc -->
773 * <!-- end-user-doc -->
774 * @generated
775 */
776 public EReference getTransition_Source() {
777 return (EReference)transitionEClass.getEStructuralFeatures().get(1);
778 }
779
780 /**
781 * <!-- begin-user-doc -->
782 * <!-- end-user-doc -->
783 * @generated
784 */
785 public EClass getStatechart() {
786 return statechartEClass;
787 }
788
789 /**
790 * <!-- begin-user-doc -->
791 * <!-- end-user-doc -->
792 * @generated
793 */
794 public EClass getEntry() {
795 return entryEClass;
796 }
797
798 /**
799 * <!-- begin-user-doc -->
800 * <!-- end-user-doc -->
801 * @generated
802 */
803 public EClass getSynchronization() {
804 return synchronizationEClass;
805 }
806
807 /**
808 * <!-- begin-user-doc -->
809 * <!-- end-user-doc -->
810 * @generated
811 */
812 public EClass getState() {
813 return stateEClass;
814 }
815
816 /**
817 * <!-- begin-user-doc -->
818 * <!-- end-user-doc -->
819 * @generated
820 */
821 public EClass getRegularState() {
822 return regularStateEClass;
823 }
824
825 /**
826 * <!-- begin-user-doc -->
827 * <!-- end-user-doc -->
828 * @generated
829 */
830 public EClass getCompositeElement() {
831 return compositeElementEClass;
832 }
833
834 /**
835 * <!-- begin-user-doc -->
836 * <!-- end-user-doc -->
837 * @generated
838 */
839 public EReference getCompositeElement_Regions() {
840 return (EReference)compositeElementEClass.getEStructuralFeatures().get(0);
841 }
842
843 /**
844 * <!-- begin-user-doc -->
845 * <!-- end-user-doc -->
846 * @generated
847 */
848 public EClass getChoice() {
849 return choiceEClass;
850 }
851
852 /**
853 * <!-- begin-user-doc -->
854 * <!-- end-user-doc -->
855 * @generated
856 */
857 public EClass getExit() {
858 return exitEClass;
859 }
860
861 /**
862 * <!-- begin-user-doc -->
863 * <!-- end-user-doc -->
864 * @generated
865 */
866 public EClass getFinalState() {
867 return finalStateEClass;
868 }
869
870 /**
871 * <!-- begin-user-doc -->
872 * <!-- end-user-doc -->
873 * @generated
874 */
875 public YakinduFactory getYakinduFactory() {
876 return (YakinduFactory)getEFactoryInstance();
877 }
878
879 /**
880 * <!-- begin-user-doc -->
881 * <!-- end-user-doc -->
882 * @generated
883 */
884 private boolean isCreated = false;
885
886 /**
887 * Creates the meta-model objects for the package. This method is
888 * guarded to have no affect on any invocation but its first.
889 * <!-- begin-user-doc -->
890 * <!-- end-user-doc -->
891 * @generated
892 */
893 public void createPackageContents() {
894 if (isCreated) return;
895 isCreated = true;
896
897 // Create classes and their features
898 pseudostateEClass = createEClass(PSEUDOSTATE);
899
900 vertexEClass = createEClass(VERTEX);
901 createEReference(vertexEClass, VERTEX__INCOMING_TRANSITIONS);
902 createEReference(vertexEClass, VERTEX__OUTGOING_TRANSITIONS);
903
904 regionEClass = createEClass(REGION);
905 createEReference(regionEClass, REGION__VERTICES);
906
907 transitionEClass = createEClass(TRANSITION);
908 createEReference(transitionEClass, TRANSITION__TARGET);
909 createEReference(transitionEClass, TRANSITION__SOURCE);
910
911 statechartEClass = createEClass(STATECHART);
912
913 entryEClass = createEClass(ENTRY);
914
915 synchronizationEClass = createEClass(SYNCHRONIZATION);
916
917 stateEClass = createEClass(STATE);
918
919 regularStateEClass = createEClass(REGULAR_STATE);
920
921 compositeElementEClass = createEClass(COMPOSITE_ELEMENT);
922 createEReference(compositeElementEClass, COMPOSITE_ELEMENT__REGIONS);
923
924 choiceEClass = createEClass(CHOICE);
925
926 exitEClass = createEClass(EXIT);
927
928 finalStateEClass = createEClass(FINAL_STATE);
929 }
930
931 /**
932 * <!-- begin-user-doc -->
933 * <!-- end-user-doc -->
934 * @generated
935 */
936 private boolean isInitialized = false;
937
938 /**
939 * Complete the initialization of the package and its meta-model. This
940 * method is guarded to have no affect on any invocation but its first.
941 * <!-- begin-user-doc -->
942 * <!-- end-user-doc -->
943 * @generated
944 */
945 public void initializePackageContents() {
946 if (isInitialized) return;
947 isInitialized = true;
948
949 // Initialize package
950 setName(eNAME);
951 setNsPrefix(eNS_PREFIX);
952 setNsURI(eNS_URI);
953
954 // Create type parameters
955
956 // Set bounds for type parameters
957
958 // Add supertypes to classes
959 pseudostateEClass.getESuperTypes().add(this.getVertex());
960 statechartEClass.getESuperTypes().add(this.getCompositeElement());
961 entryEClass.getESuperTypes().add(this.getPseudostate());
962 synchronizationEClass.getESuperTypes().add(this.getPseudostate());
963 stateEClass.getESuperTypes().add(this.getRegularState());
964 stateEClass.getESuperTypes().add(this.getCompositeElement());
965 regularStateEClass.getESuperTypes().add(this.getVertex());
966 choiceEClass.getESuperTypes().add(this.getPseudostate());
967 exitEClass.getESuperTypes().add(this.getPseudostate());
968 finalStateEClass.getESuperTypes().add(this.getRegularState());
969
970 // Initialize classes, features, and operations; add parameters
971 initEClass(pseudostateEClass, Pseudostate.class, "Pseudostate", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
972
973 initEClass(vertexEClass, Vertex.class, "Vertex", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
974 initEReference(getVertex_IncomingTransitions(), this.getTransition(), this.getTransition_Target(), "incomingTransitions", null, 0, -1, Vertex.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED);
975 initEReference(getVertex_OutgoingTransitions(), this.getTransition(), this.getTransition_Source(), "outgoingTransitions", null, 0, -1, Vertex.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED);
976
977 initEClass(regionEClass, Region.class, "Region", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
978 initEReference(getRegion_Vertices(), this.getVertex(), null, "vertices", null, 0, -1, Region.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED);
979
980 initEClass(transitionEClass, Transition.class, "Transition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
981 initEReference(getTransition_Target(), this.getVertex(), this.getVertex_IncomingTransitions(), "target", null, 1, 1, Transition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED);
982 initEReference(getTransition_Source(), this.getVertex(), this.getVertex_OutgoingTransitions(), "source", null, 0, 1, Transition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED);
983
984 initEClass(statechartEClass, Statechart.class, "Statechart", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
985
986 initEClass(entryEClass, Entry.class, "Entry", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
987
988 initEClass(synchronizationEClass, Synchronization.class, "Synchronization", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
989
990 initEClass(stateEClass, State.class, "State", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
991
992 initEClass(regularStateEClass, RegularState.class, "RegularState", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
993
994 initEClass(compositeElementEClass, CompositeElement.class, "CompositeElement", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
995 initEReference(getCompositeElement_Regions(), this.getRegion(), null, "regions", null, 0, -1, CompositeElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
996
997 initEClass(choiceEClass, Choice.class, "Choice", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
998
999 initEClass(exitEClass, Exit.class, "Exit", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1000
1001 initEClass(finalStateEClass, FinalState.class, "FinalState", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1002
1003 // Create resource
1004 createResource(eNS_URI);
1005 }
1006
1007} //YakinduPackageImpl
1008>>>>>>> f1f2a1fa... Pre-realisticBranchCreation Commit:Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakinduPackageImpl.java
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakindummFactoryImpl.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakindummFactoryImpl.java
index d4be344f..1aa8b67a 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakindummFactoryImpl.java
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakindummFactoryImpl.java
@@ -1,3 +1,4 @@
1<<<<<<< HEAD:Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakindummFactoryImpl.java
1/** 2/**
2 */ 3 */
3package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl; 4package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl;
@@ -221,3 +222,188 @@ public class YakindummFactoryImpl extends EFactoryImpl implements YakindummFacto
221 } 222 }
222 223
223} //YakindummFactoryImpl 224} //YakindummFactoryImpl
225=======
226/**
227 */
228package ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl;
229
230import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.*;
231
232import org.eclipse.emf.ecore.EClass;
233import org.eclipse.emf.ecore.EObject;
234import org.eclipse.emf.ecore.EPackage;
235
236import org.eclipse.emf.ecore.impl.EFactoryImpl;
237
238import org.eclipse.emf.ecore.plugin.EcorePlugin;
239
240/**
241 * <!-- begin-user-doc -->
242 * An implementation of the model <b>Factory</b>.
243 * <!-- end-user-doc -->
244 * @generated
245 */
246public class YakinduFactoryImpl extends EFactoryImpl implements YakinduFactory {
247 /**
248 * Creates the default factory implementation.
249 * <!-- begin-user-doc -->
250 * <!-- end-user-doc -->
251 * @generated
252 */
253 public static YakinduFactory init() {
254 try {
255 YakinduFactory theYakinduFactory = (YakinduFactory)EPackage.Registry.INSTANCE.getEFactory(YakinduPackage.eNS_URI);
256 if (theYakinduFactory != null) {
257 return theYakinduFactory;
258 }
259 }
260 catch (Exception exception) {
261 EcorePlugin.INSTANCE.log(exception);
262 }
263 return new YakinduFactoryImpl();
264 }
265
266 /**
267 * Creates an instance of the factory.
268 * <!-- begin-user-doc -->
269 * <!-- end-user-doc -->
270 * @generated
271 */
272 public YakinduFactoryImpl() {
273 super();
274 }
275
276 /**
277 * <!-- begin-user-doc -->
278 * <!-- end-user-doc -->
279 * @generated
280 */
281 @Override
282 public EObject create(EClass eClass) {
283 switch (eClass.getClassifierID()) {
284 case YakinduPackage.REGION: return createRegion();
285 case YakinduPackage.TRANSITION: return createTransition();
286 case YakinduPackage.STATECHART: return createStatechart();
287 case YakinduPackage.ENTRY: return createEntry();
288 case YakinduPackage.SYNCHRONIZATION: return createSynchronization();
289 case YakinduPackage.STATE: return createState();
290 case YakinduPackage.CHOICE: return createChoice();
291 case YakinduPackage.EXIT: return createExit();
292 case YakinduPackage.FINAL_STATE: return createFinalState();
293 default:
294 throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier");
295 }
296 }
297
298 /**
299 * <!-- begin-user-doc -->
300 * <!-- end-user-doc -->
301 * @generated
302 */
303 public Region createRegion() {
304 RegionImpl region = new RegionImpl();
305 return region;
306 }
307
308 /**
309 * <!-- begin-user-doc -->
310 * <!-- end-user-doc -->
311 * @generated
312 */
313 public Transition createTransition() {
314 TransitionImpl transition = new TransitionImpl();
315 return transition;
316 }
317
318 /**
319 * <!-- begin-user-doc -->
320 * <!-- end-user-doc -->
321 * @generated
322 */
323 public Statechart createStatechart() {
324 StatechartImpl statechart = new StatechartImpl();
325 return statechart;
326 }
327
328 /**
329 * <!-- begin-user-doc -->
330 * <!-- end-user-doc -->
331 * @generated
332 */
333 public Entry createEntry() {
334 EntryImpl entry = new EntryImpl();
335 return entry;
336 }
337
338 /**
339 * <!-- begin-user-doc -->
340 * <!-- end-user-doc -->
341 * @generated
342 */
343 public Synchronization createSynchronization() {
344 SynchronizationImpl synchronization = new SynchronizationImpl();
345 return synchronization;
346 }
347
348 /**
349 * <!-- begin-user-doc -->
350 * <!-- end-user-doc -->
351 * @generated
352 */
353 public State createState() {
354 StateImpl state = new StateImpl();
355 return state;
356 }
357
358 /**
359 * <!-- begin-user-doc -->
360 * <!-- end-user-doc -->
361 * @generated
362 */
363 public Choice createChoice() {
364 ChoiceImpl choice = new ChoiceImpl();
365 return choice;
366 }
367
368 /**
369 * <!-- begin-user-doc -->
370 * <!-- end-user-doc -->
371 * @generated
372 */
373 public Exit createExit() {
374 ExitImpl exit = new ExitImpl();
375 return exit;
376 }
377
378 /**
379 * <!-- begin-user-doc -->
380 * <!-- end-user-doc -->
381 * @generated
382 */
383 public FinalState createFinalState() {
384 FinalStateImpl finalState = new FinalStateImpl();
385 return finalState;
386 }
387
388 /**
389 * <!-- begin-user-doc -->
390 * <!-- end-user-doc -->
391 * @generated
392 */
393 public YakinduPackage getYakinduPackage() {
394 return (YakinduPackage)getEPackage();
395 }
396
397 /**
398 * <!-- begin-user-doc -->
399 * <!-- end-user-doc -->
400 * @deprecated
401 * @generated
402 */
403 @Deprecated
404 public static YakinduPackage getPackage() {
405 return YakinduPackage.eINSTANCE;
406 }
407
408} //YakinduFactoryImpl
409>>>>>>> f1f2a1fa... Pre-realisticBranchCreation Commit:Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakinduFactoryImpl.java
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakindummPackageImpl.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakindummPackageImpl.java
index b95dc3ea..87ae07f4 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakindummPackageImpl.java
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakindummPackageImpl.java
@@ -1,3 +1,4 @@
1<<<<<<< HEAD:Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakindummPackageImpl.java
1/** 2/**
2 */ 3 */
3package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl; 4package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl;
@@ -509,3 +510,499 @@ public class YakindummPackageImpl extends EPackageImpl implements YakindummPacka
509 } 510 }
510 511
511} //YakindummPackageImpl 512} //YakindummPackageImpl
513=======
514/**
515 */
516package ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl;
517
518import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Choice;
519import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.CompositeElement;
520import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Entry;
521import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Exit;
522import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.FinalState;
523import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Pseudostate;
524import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Region;
525import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.RegularState;
526import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.State;
527import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Statechart;
528import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Synchronization;
529import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Transition;
530import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Vertex;
531import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.YakinduFactory;
532import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.YakinduPackage;
533
534import org.eclipse.emf.ecore.EClass;
535import org.eclipse.emf.ecore.EPackage;
536import org.eclipse.emf.ecore.EReference;
537
538import org.eclipse.emf.ecore.impl.EPackageImpl;
539
540/**
541 * <!-- begin-user-doc -->
542 * An implementation of the model <b>Package</b>.
543 * <!-- end-user-doc -->
544 * @generated
545 */
546public class YakinduPackageImpl extends EPackageImpl implements YakinduPackage {
547 /**
548 * <!-- begin-user-doc -->
549 * <!-- end-user-doc -->
550 * @generated
551 */
552 private EClass pseudostateEClass = null;
553
554 /**
555 * <!-- begin-user-doc -->
556 * <!-- end-user-doc -->
557 * @generated
558 */
559 private EClass vertexEClass = null;
560
561 /**
562 * <!-- begin-user-doc -->
563 * <!-- end-user-doc -->
564 * @generated
565 */
566 private EClass regionEClass = null;
567
568 /**
569 * <!-- begin-user-doc -->
570 * <!-- end-user-doc -->
571 * @generated
572 */
573 private EClass transitionEClass = null;
574
575 /**
576 * <!-- begin-user-doc -->
577 * <!-- end-user-doc -->
578 * @generated
579 */
580 private EClass statechartEClass = null;
581
582 /**
583 * <!-- begin-user-doc -->
584 * <!-- end-user-doc -->
585 * @generated
586 */
587 private EClass entryEClass = null;
588
589 /**
590 * <!-- begin-user-doc -->
591 * <!-- end-user-doc -->
592 * @generated
593 */
594 private EClass synchronizationEClass = null;
595
596 /**
597 * <!-- begin-user-doc -->
598 * <!-- end-user-doc -->
599 * @generated
600 */
601 private EClass stateEClass = null;
602
603 /**
604 * <!-- begin-user-doc -->
605 * <!-- end-user-doc -->
606 * @generated
607 */
608 private EClass regularStateEClass = null;
609
610 /**
611 * <!-- begin-user-doc -->
612 * <!-- end-user-doc -->
613 * @generated
614 */
615 private EClass compositeElementEClass = null;
616
617 /**
618 * <!-- begin-user-doc -->
619 * <!-- end-user-doc -->
620 * @generated
621 */
622 private EClass choiceEClass = null;
623
624 /**
625 * <!-- begin-user-doc -->
626 * <!-- end-user-doc -->
627 * @generated
628 */
629 private EClass exitEClass = null;
630
631 /**
632 * <!-- begin-user-doc -->
633 * <!-- end-user-doc -->
634 * @generated
635 */
636 private EClass finalStateEClass = null;
637
638 /**
639 * Creates an instance of the model <b>Package</b>, registered with
640 * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package
641 * package URI value.
642 * <p>Note: the correct way to create the package is via the static
643 * factory method {@link #init init()}, which also performs
644 * initialization of the package, or returns the registered package,
645 * if one already exists.
646 * <!-- begin-user-doc -->
647 * <!-- end-user-doc -->
648 * @see org.eclipse.emf.ecore.EPackage.Registry
649 * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.YakinduPackage#eNS_URI
650 * @see #init()
651 * @generated
652 */
653 private YakinduPackageImpl() {
654 super(eNS_URI, YakinduFactory.eINSTANCE);
655 }
656
657 /**
658 * <!-- begin-user-doc -->
659 * <!-- end-user-doc -->
660 * @generated
661 */
662 private static boolean isInited = false;
663
664 /**
665 * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends.
666 *
667 * <p>This method is used to initialize {@link YakinduPackage#eINSTANCE} when that field is accessed.
668 * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package.
669 * <!-- begin-user-doc -->
670 * <!-- end-user-doc -->
671 * @see #eNS_URI
672 * @see #createPackageContents()
673 * @see #initializePackageContents()
674 * @generated
675 */
676 public static YakinduPackage init() {
677 if (isInited) return (YakinduPackage)EPackage.Registry.INSTANCE.getEPackage(YakinduPackage.eNS_URI);
678
679 // Obtain or create and register package
680 Object registeredYakinduPackage = EPackage.Registry.INSTANCE.get(eNS_URI);
681 YakinduPackageImpl theYakinduPackage = registeredYakinduPackage instanceof YakinduPackageImpl ? (YakinduPackageImpl)registeredYakinduPackage : new YakinduPackageImpl();
682
683 isInited = true;
684
685 // Create package meta-data objects
686 theYakinduPackage.createPackageContents();
687
688 // Initialize created meta-data
689 theYakinduPackage.initializePackageContents();
690
691 // Mark meta-data to indicate it can't be changed
692 theYakinduPackage.freeze();
693
694 // Update the registry and return the package
695 EPackage.Registry.INSTANCE.put(YakinduPackage.eNS_URI, theYakinduPackage);
696 return theYakinduPackage;
697 }
698
699 /**
700 * <!-- begin-user-doc -->
701 * <!-- end-user-doc -->
702 * @generated
703 */
704 public EClass getPseudostate() {
705 return pseudostateEClass;
706 }
707
708 /**
709 * <!-- begin-user-doc -->
710 * <!-- end-user-doc -->
711 * @generated
712 */
713 public EClass getVertex() {
714 return vertexEClass;
715 }
716
717 /**
718 * <!-- begin-user-doc -->
719 * <!-- end-user-doc -->
720 * @generated
721 */
722 public EReference getVertex_IncomingTransitions() {
723 return (EReference)vertexEClass.getEStructuralFeatures().get(0);
724 }
725
726 /**
727 * <!-- begin-user-doc -->
728 * <!-- end-user-doc -->
729 * @generated
730 */
731 public EReference getVertex_OutgoingTransitions() {
732 return (EReference)vertexEClass.getEStructuralFeatures().get(1);
733 }
734
735 /**
736 * <!-- begin-user-doc -->
737 * <!-- end-user-doc -->
738 * @generated
739 */
740 public EClass getRegion() {
741 return regionEClass;
742 }
743
744 /**
745 * <!-- begin-user-doc -->
746 * <!-- end-user-doc -->
747 * @generated
748 */
749 public EReference getRegion_Vertices() {
750 return (EReference)regionEClass.getEStructuralFeatures().get(0);
751 }
752
753 /**
754 * <!-- begin-user-doc -->
755 * <!-- end-user-doc -->
756 * @generated
757 */
758 public EClass getTransition() {
759 return transitionEClass;
760 }
761
762 /**
763 * <!-- begin-user-doc -->
764 * <!-- end-user-doc -->
765 * @generated
766 */
767 public EReference getTransition_Target() {
768 return (EReference)transitionEClass.getEStructuralFeatures().get(0);
769 }
770
771 /**
772 * <!-- begin-user-doc -->
773 * <!-- end-user-doc -->
774 * @generated
775 */
776 public EReference getTransition_Source() {
777 return (EReference)transitionEClass.getEStructuralFeatures().get(1);
778 }
779
780 /**
781 * <!-- begin-user-doc -->
782 * <!-- end-user-doc -->
783 * @generated
784 */
785 public EClass getStatechart() {
786 return statechartEClass;
787 }
788
789 /**
790 * <!-- begin-user-doc -->
791 * <!-- end-user-doc -->
792 * @generated
793 */
794 public EClass getEntry() {
795 return entryEClass;
796 }
797
798 /**
799 * <!-- begin-user-doc -->
800 * <!-- end-user-doc -->
801 * @generated
802 */
803 public EClass getSynchronization() {
804 return synchronizationEClass;
805 }
806
807 /**
808 * <!-- begin-user-doc -->
809 * <!-- end-user-doc -->
810 * @generated
811 */
812 public EClass getState() {
813 return stateEClass;
814 }
815
816 /**
817 * <!-- begin-user-doc -->
818 * <!-- end-user-doc -->
819 * @generated
820 */
821 public EClass getRegularState() {
822 return regularStateEClass;
823 }
824
825 /**
826 * <!-- begin-user-doc -->
827 * <!-- end-user-doc -->
828 * @generated
829 */
830 public EClass getCompositeElement() {
831 return compositeElementEClass;
832 }
833
834 /**
835 * <!-- begin-user-doc -->
836 * <!-- end-user-doc -->
837 * @generated
838 */
839 public EReference getCompositeElement_Regions() {
840 return (EReference)compositeElementEClass.getEStructuralFeatures().get(0);
841 }
842
843 /**
844 * <!-- begin-user-doc -->
845 * <!-- end-user-doc -->
846 * @generated
847 */
848 public EClass getChoice() {
849 return choiceEClass;
850 }
851
852 /**
853 * <!-- begin-user-doc -->
854 * <!-- end-user-doc -->
855 * @generated
856 */
857 public EClass getExit() {
858 return exitEClass;
859 }
860
861 /**
862 * <!-- begin-user-doc -->
863 * <!-- end-user-doc -->
864 * @generated
865 */
866 public EClass getFinalState() {
867 return finalStateEClass;
868 }
869
870 /**
871 * <!-- begin-user-doc -->
872 * <!-- end-user-doc -->
873 * @generated
874 */
875 public YakinduFactory getYakinduFactory() {
876 return (YakinduFactory)getEFactoryInstance();
877 }
878
879 /**
880 * <!-- begin-user-doc -->
881 * <!-- end-user-doc -->
882 * @generated
883 */
884 private boolean isCreated = false;
885
886 /**
887 * Creates the meta-model objects for the package. This method is
888 * guarded to have no affect on any invocation but its first.
889 * <!-- begin-user-doc -->
890 * <!-- end-user-doc -->
891 * @generated
892 */
893 public void createPackageContents() {
894 if (isCreated) return;
895 isCreated = true;
896
897 // Create classes and their features
898 pseudostateEClass = createEClass(PSEUDOSTATE);
899
900 vertexEClass = createEClass(VERTEX);
901 createEReference(vertexEClass, VERTEX__INCOMING_TRANSITIONS);
902 createEReference(vertexEClass, VERTEX__OUTGOING_TRANSITIONS);
903
904 regionEClass = createEClass(REGION);
905 createEReference(regionEClass, REGION__VERTICES);
906
907 transitionEClass = createEClass(TRANSITION);
908 createEReference(transitionEClass, TRANSITION__TARGET);
909 createEReference(transitionEClass, TRANSITION__SOURCE);
910
911 statechartEClass = createEClass(STATECHART);
912
913 entryEClass = createEClass(ENTRY);
914
915 synchronizationEClass = createEClass(SYNCHRONIZATION);
916
917 stateEClass = createEClass(STATE);
918
919 regularStateEClass = createEClass(REGULAR_STATE);
920
921 compositeElementEClass = createEClass(COMPOSITE_ELEMENT);
922 createEReference(compositeElementEClass, COMPOSITE_ELEMENT__REGIONS);
923
924 choiceEClass = createEClass(CHOICE);
925
926 exitEClass = createEClass(EXIT);
927
928 finalStateEClass = createEClass(FINAL_STATE);
929 }
930
931 /**
932 * <!-- begin-user-doc -->
933 * <!-- end-user-doc -->
934 * @generated
935 */
936 private boolean isInitialized = false;
937
938 /**
939 * Complete the initialization of the package and its meta-model. This
940 * method is guarded to have no affect on any invocation but its first.
941 * <!-- begin-user-doc -->
942 * <!-- end-user-doc -->
943 * @generated
944 */
945 public void initializePackageContents() {
946 if (isInitialized) return;
947 isInitialized = true;
948
949 // Initialize package
950 setName(eNAME);
951 setNsPrefix(eNS_PREFIX);
952 setNsURI(eNS_URI);
953
954 // Create type parameters
955
956 // Set bounds for type parameters
957
958 // Add supertypes to classes
959 pseudostateEClass.getESuperTypes().add(this.getVertex());
960 statechartEClass.getESuperTypes().add(this.getCompositeElement());
961 entryEClass.getESuperTypes().add(this.getPseudostate());
962 synchronizationEClass.getESuperTypes().add(this.getPseudostate());
963 stateEClass.getESuperTypes().add(this.getRegularState());
964 stateEClass.getESuperTypes().add(this.getCompositeElement());
965 regularStateEClass.getESuperTypes().add(this.getVertex());
966 choiceEClass.getESuperTypes().add(this.getPseudostate());
967 exitEClass.getESuperTypes().add(this.getPseudostate());
968 finalStateEClass.getESuperTypes().add(this.getRegularState());
969
970 // Initialize classes, features, and operations; add parameters
971 initEClass(pseudostateEClass, Pseudostate.class, "Pseudostate", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
972
973 initEClass(vertexEClass, Vertex.class, "Vertex", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
974 initEReference(getVertex_IncomingTransitions(), this.getTransition(), this.getTransition_Target(), "incomingTransitions", null, 0, -1, Vertex.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED);
975 initEReference(getVertex_OutgoingTransitions(), this.getTransition(), this.getTransition_Source(), "outgoingTransitions", null, 0, -1, Vertex.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED);
976
977 initEClass(regionEClass, Region.class, "Region", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
978 initEReference(getRegion_Vertices(), this.getVertex(), null, "vertices", null, 0, -1, Region.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED);
979
980 initEClass(transitionEClass, Transition.class, "Transition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
981 initEReference(getTransition_Target(), this.getVertex(), this.getVertex_IncomingTransitions(), "target", null, 1, 1, Transition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED);
982 initEReference(getTransition_Source(), this.getVertex(), this.getVertex_OutgoingTransitions(), "source", null, 0, 1, Transition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED);
983
984 initEClass(statechartEClass, Statechart.class, "Statechart", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
985
986 initEClass(entryEClass, Entry.class, "Entry", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
987
988 initEClass(synchronizationEClass, Synchronization.class, "Synchronization", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
989
990 initEClass(stateEClass, State.class, "State", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
991
992 initEClass(regularStateEClass, RegularState.class, "RegularState", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
993
994 initEClass(compositeElementEClass, CompositeElement.class, "CompositeElement", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
995 initEReference(getCompositeElement_Regions(), this.getRegion(), null, "regions", null, 0, -1, CompositeElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
996
997 initEClass(choiceEClass, Choice.class, "Choice", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
998
999 initEClass(exitEClass, Exit.class, "Exit", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1000
1001 initEClass(finalStateEClass, FinalState.class, "FinalState", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1002
1003 // Create resource
1004 createResource(eNS_URI);
1005 }
1006
1007} //YakinduPackageImpl
1008>>>>>>> f1f2a1fa... Pre-realisticBranchCreation Commit:Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakinduPackageImpl.java
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-01 10:05:22 +0000