From 8af821e133a51179c1692cd48fb03cad80124e54 Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Wed, 24 Apr 2019 19:54:57 -0400
Subject: VAMPIRE : initial model handling almost done. only typeScope remains
 #40

---
 .../xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java     | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java')

diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java
index 1fcaf9bd..855909aa 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java
@@ -4,6 +4,7 @@ import ca.mcgill.ecse.dslreasoner.vampire.icse.GeneralTest;
 import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolver;
 import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolverConfiguration;
 import functionalarchitecture.Function;
+import functionalarchitecture.FunctionalArchitectureModel;
 import functionalarchitecture.FunctionalOutput;
 import functionalarchitecture.FunctionalarchitecturePackage;
 import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic;
@@ -65,11 +66,13 @@ public class FAMTest {
       VampireSolver _vampireSolver = new VampireSolver();
       reasoner = _vampireSolver;
       final HashMap<Class, Integer> classMapMin = new HashMap<Class, Integer>();
+      classMapMin.put(FunctionalArchitectureModel.class, Integer.valueOf(1));
       classMapMin.put(Function.class, Integer.valueOf(1));
       classMapMin.put(functionalarchitecture.FunctionalInterface.class, Integer.valueOf(2));
       classMapMin.put(FunctionalOutput.class, Integer.valueOf(3));
       final Map<Type, Integer> typeMapMin = GeneralTest.getTypeMap(classMapMin, metamodel, ecore2Logic, modelGenerationProblem.getTrace());
       final HashMap<Class, Integer> classMapMax = new HashMap<Class, Integer>();
+      classMapMax.put(FunctionalArchitectureModel.class, Integer.valueOf(3));
       classMapMax.put(Function.class, Integer.valueOf(5));
       classMapMax.put(functionalarchitecture.FunctionalInterface.class, Integer.valueOf(2));
       classMapMax.put(FunctionalOutput.class, Integer.valueOf(4));
-- 
cgit v1.2.3-54-g00ecf