diff options
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test')
4 files changed, 28 insertions, 32 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/TestExecutionICSE.xtend b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/TestExecutionICSE.xtend new file mode 100644 index 00000000..41bb763d --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/TestExecutionICSE.xtend | |||
@@ -0,0 +1,22 @@ | |||
1 | package ca.mcgill.ecse.dslreasoner.standalone.test | ||
2 | |||
3 | import hu.bme.mit.inf.dslreasoner.application.execution.StandaloneScriptExecutor | ||
4 | |||
5 | class TestExecutionICSE { | ||
6 | def static void main(String[] args) { | ||
7 | val fileSystemPath = "configs/fileSystem.vsconfig"; | ||
8 | val ecorePath = "configs/ecore.vsconfig"; | ||
9 | val yakinduPath = "configs/yakindu.vsconfig"; | ||
10 | val famPath = "configs/fam.vsconfig"; | ||
11 | // val yakinduWithWFPath = "configs/yakinduWF.vsconfig"; | ||
12 | // val famWithWFPath = "configs/famWF.vsconfig"; | ||
13 | val exp1 = StandaloneScriptExecutor.executeScript(fileSystemPath); | ||
14 | println(exp1) | ||
15 | // val exp2 = StandaloneScriptExecutor.executeScript(ecorePath); | ||
16 | // println(exp2) | ||
17 | val exp3 = StandaloneScriptExecutor.executeScript(yakinduPath); | ||
18 | println(exp3) | ||
19 | val exp4 = StandaloneScriptExecutor.executeScript(famPath); | ||
20 | println(exp4) | ||
21 | } | ||
22 | } \ No newline at end of file | ||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/filesystem/FileSystem.java b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/filesystem/FileSystem.java index c1c75043..d8ca61ea 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/filesystem/FileSystem.java +++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/filesystem/FileSystem.java | |||
@@ -62,7 +62,6 @@ public interface FileSystem extends EObject { | |||
62 | * @return the value of the '<em>Live</em>' reference list. | 62 | * @return the value of the '<em>Live</em>' reference list. |
63 | * @see ca.mcgill.ecse.dslreasoner.standalone.test.filesystem.filesystemPackage#getFileSystem_Live() | 63 | * @see ca.mcgill.ecse.dslreasoner.standalone.test.filesystem.filesystemPackage#getFileSystem_Live() |
64 | * @model transient="true" changeable="false" volatile="true" derived="true" | 64 | * @model transient="true" changeable="false" volatile="true" derived="true" |
65 | * annotation="org.eclipse.viatra.query.querybasedfeature patternFQN='hu.bme.mit.inf.dslreasoner.domains.alloyexamples.live'" | ||
66 | * @generated | 65 | * @generated |
67 | */ | 66 | */ |
68 | EList<FSObject> getLive(); | 67 | EList<FSObject> getLive(); |
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/filesystem/impl/FileSystemImpl.java b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/filesystem/impl/FileSystemImpl.java index 8bbc6a74..b5ef2b66 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/filesystem/impl/FileSystemImpl.java +++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/filesystem/impl/FileSystemImpl.java | |||
@@ -13,7 +13,6 @@ import org.eclipse.emf.common.notify.NotificationChain; | |||
13 | import org.eclipse.emf.common.util.EList; | 13 | import org.eclipse.emf.common.util.EList; |
14 | 14 | ||
15 | import org.eclipse.emf.ecore.EClass; | 15 | import org.eclipse.emf.ecore.EClass; |
16 | import org.eclipse.emf.ecore.EStructuralFeature; | ||
17 | import org.eclipse.emf.ecore.InternalEObject; | 16 | import org.eclipse.emf.ecore.InternalEObject; |
18 | 17 | ||
19 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | 18 | import org.eclipse.emf.ecore.impl.ENotificationImpl; |
@@ -45,16 +44,6 @@ public class FileSystemImpl extends MinimalEObjectImpl.Container implements File | |||
45 | protected Dir root; | 44 | protected Dir root; |
46 | 45 | ||
47 | /** | 46 | /** |
48 | * The cached setting delegate for the '{@link #getLive() <em>Live</em>}' reference list. | ||
49 | * <!-- begin-user-doc --> | ||
50 | * <!-- end-user-doc --> | ||
51 | * @see #getLive() | ||
52 | * @generated | ||
53 | * @ordered | ||
54 | */ | ||
55 | protected EStructuralFeature.Internal.SettingDelegate LIVE__ESETTING_DELEGATE = ((EStructuralFeature.Internal)filesystemPackage.Literals.FILE_SYSTEM__LIVE).getSettingDelegate(); | ||
56 | |||
57 | /** | ||
58 | * <!-- begin-user-doc --> | 47 | * <!-- begin-user-doc --> |
59 | * <!-- end-user-doc --> | 48 | * <!-- end-user-doc --> |
60 | * @generated | 49 | * @generated |
@@ -123,7 +112,11 @@ public class FileSystemImpl extends MinimalEObjectImpl.Container implements File | |||
123 | */ | 112 | */ |
124 | @SuppressWarnings("unchecked") | 113 | @SuppressWarnings("unchecked") |
125 | public EList<FSObject> getLive() { | 114 | public EList<FSObject> getLive() { |
126 | return (EList<FSObject>)LIVE__ESETTING_DELEGATE.dynamicGet(this, null, 0, true, false); | 115 | // TODO: implement this method to return the 'Live' reference list |
116 | // Ensure that you remove @generated or mark it @generated NOT | ||
117 | // The list is expected to implement org.eclipse.emf.ecore.util.InternalEList and org.eclipse.emf.ecore.EStructuralFeature.Setting | ||
118 | // so it's likely that an appropriate subclass of org.eclipse.emf.ecore.util.EcoreEList should be used. | ||
119 | throw new UnsupportedOperationException(); | ||
127 | } | 120 | } |
128 | 121 | ||
129 | /** | 122 | /** |
@@ -197,7 +190,7 @@ public class FileSystemImpl extends MinimalEObjectImpl.Container implements File | |||
197 | case filesystemPackage.FILE_SYSTEM__ROOT: | 190 | case filesystemPackage.FILE_SYSTEM__ROOT: |
198 | return root != null; | 191 | return root != null; |
199 | case filesystemPackage.FILE_SYSTEM__LIVE: | 192 | case filesystemPackage.FILE_SYSTEM__LIVE: |
200 | return LIVE__ESETTING_DELEGATE.dynamicIsSet(this, null, 0); | 193 | return !getLive().isEmpty(); |
201 | } | 194 | } |
202 | return super.eIsSet(featureID); | 195 | return super.eIsSet(featureID); |
203 | } | 196 | } |
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/filesystem/impl/filesystemPackageImpl.java b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/filesystem/impl/filesystemPackageImpl.java index 5c6dd21e..5bd41020 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/filesystem/impl/filesystemPackageImpl.java +++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/filesystem/impl/filesystemPackageImpl.java | |||
@@ -317,8 +317,6 @@ public class filesystemPackageImpl extends EPackageImpl implements filesystemPac | |||
317 | // Create annotations | 317 | // Create annotations |
318 | // http://www.eclipse.org/emf/2002/Ecore | 318 | // http://www.eclipse.org/emf/2002/Ecore |
319 | createEcoreAnnotations(); | 319 | createEcoreAnnotations(); |
320 | // org.eclipse.viatra.query.querybasedfeature | ||
321 | createOrgAnnotations(); | ||
322 | } | 320 | } |
323 | 321 | ||
324 | /** | 322 | /** |
@@ -337,20 +335,4 @@ public class filesystemPackageImpl extends EPackageImpl implements filesystemPac | |||
337 | }); | 335 | }); |
338 | } | 336 | } |
339 | 337 | ||
340 | /** | ||
341 | * Initializes the annotations for <b>org.eclipse.viatra.query.querybasedfeature</b>. | ||
342 | * <!-- begin-user-doc --> | ||
343 | * <!-- end-user-doc --> | ||
344 | * @generated | ||
345 | */ | ||
346 | protected void createOrgAnnotations() { | ||
347 | String source = "org.eclipse.viatra.query.querybasedfeature"; | ||
348 | addAnnotation | ||
349 | (getFileSystem_Live(), | ||
350 | source, | ||
351 | new String[] { | ||
352 | "patternFQN", "hu.bme.mit.inf.dslreasoner.domains.alloyexamples.live" | ||
353 | }); | ||
354 | } | ||
355 | |||
356 | } //filesystemPackageImpl | 338 | } //filesystemPackageImpl |