diff options
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.standalone.test/configs')
4 files changed, 109 insertions, 0 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/configs/ecore.vsconfig b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/configs/ecore.vsconfig new file mode 100644 index 00000000..7f9d9caf --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/configs/ecore.vsconfig | |||
@@ -0,0 +1,34 @@ | |||
1 | import epackage "http://www.eclipse.org/emf/2002/Ecore" | ||
2 | import viatra "ca.mcgill.ecse.dslreasoner.standalone.test.ecore.queries.EcorePatterns" | ||
3 | |||
4 | metamodel allSupported { package ecore excluding { | ||
5 | EClassifier.instanceClass,EClassifier.defaultValue,EEnumLiteral.instance,EStructuralFeature.defaultValue, | ||
6 | EJavaClass, EJavaObject, EJavaObject, | ||
7 | EPackage.eFactoryInstance, EFactory, EFactory.ePackage | ||
8 | } | ||
9 | } | ||
10 | |||
11 | generate { | ||
12 | metamodel = allSupported | ||
13 | constraints = { package ca.mcgill.ecse.dslreasoner.standalone.test.ecore.queries} | ||
14 | partial-model = { "platform:/resource/Ecore-Plugin/InitialPackage.ecore" } | ||
15 | solver = ViatraSolver | ||
16 | scope = { | ||
17 | #node += 5, | ||
18 | #string += { "A", "B" }, | ||
19 | #int += {0,1,-1} | ||
20 | } | ||
21 | |||
22 | config = { | ||
23 | runtime = 10000, | ||
24 | log-level = normal | ||
25 | } | ||
26 | |||
27 | number = 3 | ||
28 | runs = 1 | ||
29 | |||
30 | debug = "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/ecore/debug" | ||
31 | log = "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/ecore/log.txt" | ||
32 | output = "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/ecore/models" | ||
33 | statistics = "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/ecore/statistics.csv" | ||
34 | } \ No newline at end of file | ||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/configs/fam.vsconfig b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/configs/fam.vsconfig new file mode 100644 index 00000000..8137ddf7 --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/configs/fam.vsconfig | |||
@@ -0,0 +1,25 @@ | |||
1 | import epackage "FamMetamodel" | ||
2 | import viatra "ca.mcgill.ecse.dslreasoner.standalone.test.fam.queries.FamPatterns" | ||
3 | |||
4 | generate { | ||
5 | metamodel = { package fam } | ||
6 | // constraints = { package ca.mcgill.ecse.dslreasoner.standalone.test.fam.queries} | ||
7 | // partial-model = { "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/instanceModels/famInstance.xmi"} | ||
8 | solver = ViatraSolver | ||
9 | scope = { | ||
10 | #node = 10 | ||
11 | } | ||
12 | |||
13 | config = { | ||
14 | runtime = 10000, | ||
15 | log-level = normal | ||
16 | } | ||
17 | |||
18 | number = 5 | ||
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/configs/fileSystem.vsconfig b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/configs/fileSystem.vsconfig new file mode 100644 index 00000000..ea95336b --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/configs/fileSystem.vsconfig | |||
@@ -0,0 +1,25 @@ | |||
1 | import epackage "FileSystemMetamodel" | ||
2 | import viatra "ca.mcgill.ecse.dslreasoner.standalone.test.filesystem.queries.FileSystemPatterns" | ||
3 | |||
4 | generate { | ||
5 | metamodel = { package filesystem } | ||
6 | constraints = { package ca.mcgill.ecse.dslreasoner.standalone.test.filesystem.queries} | ||
7 | partial-model = { "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/instanceModels/filesystemInstance.xmi"} | ||
8 | solver = ViatraSolver | ||
9 | scope = { | ||
10 | # node = 10 | ||
11 | } | ||
12 | |||
13 | config = { | ||
14 | runtime = 10000, | ||
15 | log-level = normal | ||
16 | } | ||
17 | |||
18 | number = 5 | ||
19 | runs = 1 | ||
20 | |||
21 | debug = "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fileSystem/debug" | ||
22 | log = "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fileSystem/log.txt" | ||
23 | output = "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fileSystem/models" | ||
24 | statistics = "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fileSystem/statistics.csv" | ||
25 | } \ No newline at end of file | ||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/configs/yakindu.vsconfig b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/configs/yakindu.vsconfig new file mode 100644 index 00000000..ff2038e0 --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/configs/yakindu.vsconfig | |||
@@ -0,0 +1,25 @@ | |||
1 | import epackage "YakinduMetamodel" | ||
2 | import viatra "ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.queries.YakinduPatterns" | ||
3 | |||
4 | generate { | ||
5 | metamodel = { package yakindu } | ||
6 | constraints = { package ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.queries } | ||
7 | partial-model = { "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/instanceModels/yakinduInstance.xmi"} | ||
8 | solver = ViatraSolver | ||
9 | scope = { | ||
10 | #node = 10 | ||
11 | } | ||
12 | |||
13 | config = { | ||
14 | runtime = 10000, | ||
15 | log-level = normal | ||
16 | } | ||
17 | |||
18 | number = 5 | ||
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 | ||