aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src
diff options
context:
space:
mode:
authorLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2019-02-17 15:11:07 -0500
committerLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2019-02-17 15:11:07 -0500
commitfcb7e3a8e29d6def26b06decc504767c5864e5ca (patch)
treeb41e4487cf3ac577dae20d1ea2b1402d47252d7a /Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src
parentIntegrate queries partially #19 (diff)
downloadVIATRA-Generator-fcb7e3a8e29d6def26b06decc504767c5864e5ca.tar.gz
VIATRA-Generator-fcb7e3a8e29d6def26b06decc504767c5864e5ca.tar.zst
VIATRA-Generator-fcb7e3a8e29d6def26b06decc504767c5864e5ca.zip
Commit before merge
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src')
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/TestExecutionICSE.xtend22
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/filesystem/FileSystem.java1
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/filesystem/impl/FileSystemImpl.java19
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/filesystem/impl/filesystemPackageImpl.java18
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 @@
1package ca.mcgill.ecse.dslreasoner.standalone.test
2
3import hu.bme.mit.inf.dslreasoner.application.execution.StandaloneScriptExecutor
4
5class 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;
13import org.eclipse.emf.common.util.EList; 13import org.eclipse.emf.common.util.EList;
14 14
15import org.eclipse.emf.ecore.EClass; 15import org.eclipse.emf.ecore.EClass;
16import org.eclipse.emf.ecore.EStructuralFeature;
17import org.eclipse.emf.ecore.InternalEObject; 16import org.eclipse.emf.ecore.InternalEObject;
18 17
19import org.eclipse.emf.ecore.impl.ENotificationImpl; 18import 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