aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.xtend
diff options
context:
space:
mode:
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.xtend')
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.xtend15
1 files changed, 9 insertions, 6 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.xtend b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.xtend
index 61a20a34..ba7ff028 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.xtend
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.xtend
@@ -15,6 +15,7 @@ import hu.bme.mit.inf.dslreasoner.workspace.FileSystemWorkspace
15import java.util.HashMap 15import java.util.HashMap
16import org.eclipse.emf.ecore.resource.Resource 16import org.eclipse.emf.ecore.resource.Resource
17import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl 17import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl
18import ca.mcgill.ecse.dslreasoner.standalone.test.filesystem.*
18 19
19class FileSystemTest { 20class FileSystemTest {
20 def static void main(String[] args) { 21 def static void main(String[] args) {
@@ -59,16 +60,18 @@ class FileSystemTest {
59 // ///////////////////////////////////////////////////// 60 // /////////////////////////////////////////////////////
60 // Minimum Scope 61 // Minimum Scope
61 val classMapMin = new HashMap<Class, Integer> 62 val classMapMin = new HashMap<Class, Integer>
62// classMapMin.put(Function, 1) 63// Currently does not work
63// classMapMin.put(FunctionalInterface, 2) 64// classMapMin.put(FSObject, 20)
64// classMapMin.put(FunctionalOutput, 3) 65 classMapMin.put(Dir, 10)
66 classMapMin.put(File, 5)
65 val typeMapMin = GeneralTest.getTypeMap(classMapMin, metamodel, ecore2Logic, modelGenerationProblem.trace) 67 val typeMapMin = GeneralTest.getTypeMap(classMapMin, metamodel, ecore2Logic, modelGenerationProblem.trace)
66 68
67 // Maximum Scope 69 // Maximum Scope
68 val classMapMax = new HashMap<Class, Integer> 70 val classMapMax = new HashMap<Class, Integer>
69// classMapMax.put(Function, 5) 71 classMapMax.put(File, 15)
70// classMapMax.put(FunctionalInterface, 2) 72 classMapMax.put(Dir, 15)
71// classMapMax.put(FunctionalOutput, 4) 73// Currently does not work
74// classMapMax.put(FSObject, 20)
72 val typeMapMax = GeneralTest.getTypeMap(classMapMax, metamodel, ecore2Logic, modelGenerationProblem.trace) 75 val typeMapMax = GeneralTest.getTypeMap(classMapMax, metamodel, ecore2Logic, modelGenerationProblem.trace)
73 76
74 // Define Config File 77 // Define Config File