diff options
author | 2019-02-15 12:42:15 -0500 | |
---|---|---|
committer | 2019-02-15 12:42:15 -0500 | |
commit | f1d9a50a3be2bfabc6091d51e120ca63ac1ab2d4 (patch) | |
tree | 90b96d89d5e6f7f4e6c15b06d34851753350e35d /Tests/ca.mcgill.ecse.dslreasoner.standalone.test/configurations | |
parent | Fix FAM Test. Begin Grammar Fix. (diff) | |
download | VIATRA-Generator-f1d9a50a3be2bfabc6091d51e120ca63ac1ab2d4.tar.gz VIATRA-Generator-f1d9a50a3be2bfabc6091d51e120ca63ac1ab2d4.tar.zst VIATRA-Generator-f1d9a50a3be2bfabc6091d51e120ca63ac1ab2d4.zip |
Set up #19
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.standalone.test/configurations')
4 files changed, 108 insertions, 0 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/configurations/ecore.vsconfig b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/configurations/ecore.vsconfig new file mode 100644 index 00000000..e5873211 --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/configurations/ecore.vsconfig | |||
@@ -0,0 +1,33 @@ | |||
1 | import epackage "http://www.eclipse.org/emf/2002/Ecore" | ||
2 | |||
3 | metamodel allSupported { package ecore excluding { | ||
4 | EClassifier.instanceClass,EClassifier.defaultValue,EEnumLiteral.instance,EStructuralFeature.defaultValue, | ||
5 | EJavaClass, EJavaObject, EJavaObject, | ||
6 | EPackage.eFactoryInstance, EFactory, EFactory.ePackage | ||
7 | } | ||
8 | } | ||
9 | |||
10 | generate { | ||
11 | metamodel = allSupported | ||
12 | //constraints = { ... } | ||
13 | partial-model = { "platform:/resource/Ecore-Plugin/InitialPackage.ecore" } | ||
14 | solver = ViatraSolver | ||
15 | scope = { | ||
16 | #node += 5, | ||
17 | #string += { "A", "B" }, | ||
18 | #int += {0,1,-1} | ||
19 | } | ||
20 | |||
21 | config = { | ||
22 | runtime = 10000, | ||
23 | log-level = normal | ||
24 | } | ||
25 | |||
26 | number = 5 | ||
27 | runs = 1 | ||
28 | |||
29 | debug = "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/debug" | ||
30 | log = "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/log.txt" | ||
31 | output = "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/models" | ||
32 | statistics = "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/statistics.csv" | ||
33 | } \ No newline at end of file | ||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/configurations/fam.vsconfig b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/configurations/fam.vsconfig new file mode 100644 index 00000000..f4f29089 --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/configurations/fam.vsconfig | |||
@@ -0,0 +1,25 @@ | |||
1 | import epackage "FamMetamodel" | ||
2 | //import viatra "ca.mcgill.ecse.dslreasoner.standalone.test.queries.fam.FamPatterns" | ||
3 | |||
4 | generate { | ||
5 | metamodel = { package fam } | ||
6 | // constraints = { package ca.mcgill.ecse.dslreasoner.standalone.test.xyz } | ||
7 | partial-model = { "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/instanceModels/famInstance.xmi"} | ||
8 | solver = ViatraSolver | ||
9 | scope = { | ||
10 | #node = 5 | ||
11 | } | ||
12 | |||
13 | config = { | ||
14 | runtime = 10000, | ||
15 | log-level = normal | ||
16 | } | ||
17 | |||
18 | number = 2 | ||
19 | runs = 1 | ||
20 | |||
21 | debug = "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/debug" | ||
22 | log = "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/log.txt" | ||
23 | output = "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/models" | ||
24 | statistics = "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/statistics.csv" | ||
25 | } \ No newline at end of file | ||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/configurations/fileSystem.vsconfig b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/configurations/fileSystem.vsconfig new file mode 100644 index 00000000..64775e8d --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/configurations/fileSystem.vsconfig | |||
@@ -0,0 +1,25 @@ | |||
1 | import epackage "FileSystemMetamodel" | ||
2 | //import viatra "" | ||
3 | |||
4 | generate { | ||
5 | metamodel = { package filesystem } | ||
6 | // constraints = { package ca.mcgill.ecse.dslreasoner.standalone.test.xyz } | ||
7 | partial-model = { "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/instanceModels/filesystemInstance.xmi"} | ||
8 | solver = ViatraSolver | ||
9 | scope = { | ||
10 | #node = 5 | ||
11 | } | ||
12 | |||
13 | config = { | ||
14 | runtime = 10000, | ||
15 | log-level = normal | ||
16 | } | ||
17 | |||
18 | number = 2 | ||
19 | runs = 1 | ||
20 | |||
21 | debug = "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/debug" | ||
22 | log = "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/log.txt" | ||
23 | output = "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models" | ||
24 | statistics = "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/statistics.csv" | ||
25 | } \ No newline at end of file | ||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/configurations/yakindu.vsconfig b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/configurations/yakindu.vsconfig new file mode 100644 index 00000000..246337de --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/configurations/yakindu.vsconfig | |||
@@ -0,0 +1,25 @@ | |||
1 | import epackage "YakinduMetamodel" | ||
2 | //import viatra "" | ||
3 | |||
4 | generate { | ||
5 | metamodel = { package yakindu } | ||
6 | // constraints = { package ca.mcgill.ecse.dslreasoner.standalone.test.xyz } | ||
7 | partial-model = { "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/instanceModels/yakinduInstance.xmi"} | ||
8 | solver = ViatraSolver | ||
9 | scope = { | ||
10 | #node = 5 | ||
11 | } | ||
12 | |||
13 | config = { | ||
14 | runtime = 10000, | ||
15 | log-level = normal | ||
16 | } | ||
17 | |||
18 | number = 2 | ||
19 | runs = 1 | ||
20 | |||
21 | debug = "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/debug" | ||
22 | log = "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/log.txt" | ||
23 | output = "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models" | ||
24 | statistics = "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/statistics.csv" | ||
25 | } \ No newline at end of file | ||