Commit before merge

author: ArenBabikian <aren.babikian@mail.mcgill.ca> 2019-02-17 15:11:07 -0500
committer: ArenBabikian <aren.babikian@mail.mcgill.ca> 2019-02-17 15:11:07 -0500
commit: fcb7e3a8e29d6def26b06decc504767c5864e5ca (patch)
tree: b41e4487cf3ac577dae20d1ea2b1402d47252d7a /Tests/ca.mcgill.ecse.dslreasoner.standalone.test/configs
parent: Integrate queries partially #19 (diff)
download: VIATRA-Generator-fcb7e3a8e29d6def26b06decc504767c5864e5ca.tar.gz
VIATRA-Generator-fcb7e3a8e29d6def26b06decc504767c5864e5ca.tar.zst
VIATRA-Generator-fcb7e3a8e29d6def26b06decc504767c5864e5ca.zip
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 @@
+import epackage "http://www.eclipse.org/emf/2002/Ecore"
+import viatra "ca.mcgill.ecse.dslreasoner.standalone.test.ecore.queries.EcorePatterns"
+metamodel allSupported { package ecore excluding {
+                EClassifier.instanceClass,EClassifier.defaultValue,EEnumLiteral.instance,EStructuralFeature.defaultValue,
+                EJavaClass,     EJavaObject, EJavaObject,
+                EPackage.eFactoryInstance, EFactory, EFactory.ePackage
+        }
+}
+generate {
+        metamodel = allSupported
+        constraints = { package ca.mcgill.ecse.dslreasoner.standalone.test.ecore.queries}
+        partial-model = { "platform:/resource/Ecore-Plugin/InitialPackage.ecore" }
+        solver = ViatraSolver
+        scope = {
+                #node += 5,
+                #string += { "A", "B" },
+                #int += {0,1,-1}
+        }
+        
+        config = {
+                runtime = 10000,
+                log-level = normal
+        }
+        
+        number = 3
+        runs = 1
+        
+        debug =                 "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/ecore/debug"
+        log =                   "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/ecore/log.txt"
+        output =                "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/ecore/models"
+        statistics =    "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/ecore/statistics.csv"
+}
+\ 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 @@
+import epackage "FamMetamodel"
+import viatra "ca.mcgill.ecse.dslreasoner.standalone.test.fam.queries.FamPatterns"
+generate {
+        metamodel = { package fam }
+//      constraints = { package ca.mcgill.ecse.dslreasoner.standalone.test.fam.queries}
+//      partial-model = { "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/instanceModels/famInstance.xmi"}
+        solver = ViatraSolver
+        scope = {
+                #node = 10
+        }
+        
+        config = {
+                runtime = 10000,
+                log-level = normal
+        }
+        
+        number = 5
+        runs = 1
+        
+        debug =                 "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/debug"
+        log =                   "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/log.txt"
+        output =                "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/models"
+        statistics =    "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/statistics.csv"
+}
+\ 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 @@
+import epackage "FileSystemMetamodel"
+import viatra "ca.mcgill.ecse.dslreasoner.standalone.test.filesystem.queries.FileSystemPatterns"
+generate {
+        metamodel = { package filesystem }
+        constraints = { package ca.mcgill.ecse.dslreasoner.standalone.test.filesystem.queries}
+        partial-model = { "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/instanceModels/filesystemInstance.xmi"}
+        solver = ViatraSolver
+        scope = {
+                # node = 10
+        }
+        
+        config = {
+                runtime = 10000,
+                log-level = normal
+        }
+        
+        number = 5
+        runs = 1
+        
+        debug =                 "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fileSystem/debug"
+        log =                   "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fileSystem/log.txt"
+        output =                "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fileSystem/models"
+        statistics =    "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fileSystem/statistics.csv"
+}
+\ 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 @@
+import epackage "YakinduMetamodel"
+import viatra "ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.queries.YakinduPatterns"
+generate {
+        metamodel = { package yakindu }
+        constraints = { package ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.queries }
+        partial-model = { "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/instanceModels/yakinduInstance.xmi"}
+        solver = ViatraSolver
+        scope = {
+                #node = 10
+        }
+        
+        config = {
+                runtime = 10000,
+                log-level = normal
+        }
+        
+        number = 5
+        runs = 1
+        
+        debug =                 "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/debug"
+        log =                   "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/log.txt"
+        output =                "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models"
+        statistics =    "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/statistics.csv"
+}
+\ No newline at end of file
author	ArenBabikian <aren.babikian@mail.mcgill.ca>	2019-02-17 15:11:07 -0500
committer	ArenBabikian <aren.babikian@mail.mcgill.ca>	2019-02-17 15:11:07 -0500
commit	fcb7e3a8e29d6def26b06decc504767c5864e5ca (patch)
tree	b41e4487cf3ac577dae20d1ea2b1402d47252d7a /Tests/ca.mcgill.ecse.dslreasoner.standalone.test/configs
parent	Integrate queries partially #19 (diff)
download	VIATRA-Generator-fcb7e3a8e29d6def26b06decc504767c5864e5ca.tar.gz VIATRA-Generator-fcb7e3a8e29d6def26b06decc504767c5864e5ca.tar.zst VIATRA-Generator-fcb7e3a8e29d6def26b06decc504767c5864e5ca.zip

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