diff options
author | 2019-04-25 02:50:40 -0400 | |
---|---|---|
committer | 2019-04-25 02:50:40 -0400 | |
commit | 9f743fd84ab112b4736eaa7923595e9c5fa1a788 (patch) | |
tree | 06e80deccac2ac8ac1235ade6cff4f93954cf0ae /Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.java | |
parent | VAMPIRE : initial model handling almost done. only typeScope remains #40 (diff) | |
download | VIATRA-Generator-9f743fd84ab112b4736eaa7923595e9c5fa1a788.tar.gz VIATRA-Generator-9f743fd84ab112b4736eaa7923595e9c5fa1a788.tar.zst VIATRA-Generator-9f743fd84ab112b4736eaa7923595e9c5fa1a788.zip |
VAMPIRE: fixed MANY bugs in containment and scope. #40 is good for now
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.java')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.java | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.java index 21d2a307..4a971fd6 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.java +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.java | |||
@@ -1,5 +1,7 @@ | |||
1 | package ca.mcgill.ecse.dslreasoner.vampire.icse; | 1 | package ca.mcgill.ecse.dslreasoner.vampire.icse; |
2 | 2 | ||
3 | import ca.mcgill.ecse.dslreasoner.standalone.test.filesystem.Dir; | ||
4 | import ca.mcgill.ecse.dslreasoner.standalone.test.filesystem.File; | ||
3 | import ca.mcgill.ecse.dslreasoner.standalone.test.filesystem.filesystemPackage; | 5 | import ca.mcgill.ecse.dslreasoner.standalone.test.filesystem.filesystemPackage; |
4 | import ca.mcgill.ecse.dslreasoner.vampire.icse.GeneralTest; | 6 | import ca.mcgill.ecse.dslreasoner.vampire.icse.GeneralTest; |
5 | import ca.mcgill.ecse.dslreasoner.vampire.queries.FileSystemPatterns; | 7 | import ca.mcgill.ecse.dslreasoner.vampire.queries.FileSystemPatterns; |
@@ -65,8 +67,12 @@ public class FileSystemTest { | |||
65 | VampireSolver _vampireSolver = new VampireSolver(); | 67 | VampireSolver _vampireSolver = new VampireSolver(); |
66 | reasoner = _vampireSolver; | 68 | reasoner = _vampireSolver; |
67 | final HashMap<Class, Integer> classMapMin = new HashMap<Class, Integer>(); | 69 | final HashMap<Class, Integer> classMapMin = new HashMap<Class, Integer>(); |
70 | classMapMin.put(Dir.class, Integer.valueOf(10)); | ||
71 | classMapMin.put(File.class, Integer.valueOf(5)); | ||
68 | final Map<Type, Integer> typeMapMin = GeneralTest.getTypeMap(classMapMin, metamodel, ecore2Logic, modelGenerationProblem.getTrace()); | 72 | final Map<Type, Integer> typeMapMin = GeneralTest.getTypeMap(classMapMin, metamodel, ecore2Logic, modelGenerationProblem.getTrace()); |
69 | final HashMap<Class, Integer> classMapMax = new HashMap<Class, Integer>(); | 73 | final HashMap<Class, Integer> classMapMax = new HashMap<Class, Integer>(); |
74 | classMapMax.put(File.class, Integer.valueOf(15)); | ||
75 | classMapMax.put(Dir.class, Integer.valueOf(15)); | ||
70 | final Map<Type, Integer> typeMapMax = GeneralTest.getTypeMap(classMapMax, metamodel, ecore2Logic, modelGenerationProblem.getTrace()); | 76 | final Map<Type, Integer> typeMapMax = GeneralTest.getTypeMap(classMapMax, metamodel, ecore2Logic, modelGenerationProblem.getTrace()); |
71 | VampireSolverConfiguration _vampireSolverConfiguration = new VampireSolverConfiguration(); | 77 | VampireSolverConfiguration _vampireSolverConfiguration = new VampireSolverConfiguration(); |
72 | final Procedure1<VampireSolverConfiguration> _function = (VampireSolverConfiguration it) -> { | 78 | final Procedure1<VampireSolverConfiguration> _function = (VampireSolverConfiguration it) -> { |