diff options
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.xtend | 15 |
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 | |||
15 | import java.util.HashMap | 15 | import java.util.HashMap |
16 | import org.eclipse.emf.ecore.resource.Resource | 16 | import org.eclipse.emf.ecore.resource.Resource |
17 | import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl | 17 | import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl |
18 | import ca.mcgill.ecse.dslreasoner.standalone.test.filesystem.* | ||
18 | 19 | ||
19 | class FileSystemTest { | 20 | class 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 |