|
@@ -158,7 +158,8 @@ class TestPowerWindow(unittest.TestCase):
|
|
|
model_add("Query", "SimpleClassDiagrams", open("models/query.mvc", 'r').read())
|
|
|
model_add("Architecture", "SimpleClassDiagrams", open("models/architecture.mvc", 'r').read())
|
|
|
|
|
|
- model_add("pm_powerwindow", "ProcessModel", open("models/pm_req_analyse_debug.mvc", 'r').read())
|
|
|
+ #model_add("pm_powerwindow", "ProcessModel", open("models/pm_req_analyse_debug.mvc", 'r').read())
|
|
|
+ model_add("pm_powerwindow", "ProcessModel", open("models/pm_req_analyse.mvc", 'r').read())
|
|
|
|
|
|
assert model_list() == set([\
|
|
|
("ReachabilityGraph", "SimpleClassDiagrams"),
|
|
@@ -236,8 +237,8 @@ class TestPowerWindow(unittest.TestCase):
|
|
|
transformation_add_AL({"ReachabilityGraph": "ReachabilityGraph"}, {}, "bfs", open("models/bfs.alc", 'r').read())
|
|
|
transformation_add_AL({"EPN_Plant": "Encapsulated_PetriNet", "EPN_Control": "Encapsulated_PetriNet", "EPN_Environment": "Encapsulated_PetriNet"}, {"Encapsulated_PetriNet": "Encapsulated_PetriNet"}, "merge_EPN", open("models/merge_EPN.alc", 'r').read())
|
|
|
|
|
|
- transformation_add_AL({"Encapsulated_PetriNet": "Encapsulated_PetriNet"}, {}, "epn_print", open("models/epn_print.alc").read())
|
|
|
- transformation_add_AL({"PetriNet": "PetriNet"}, {}, "pn_print", open("models/pn_print.alc").read())
|
|
|
+ #transformation_add_AL({"Encapsulated_PetriNet": "Encapsulated_PetriNet"}, {}, "epn_print", open("models/epn_print.alc").read())
|
|
|
+ #transformation_add_AL({"PetriNet": "PetriNet"}, {}, "pn_print", open("models/pn_print.alc").read())
|
|
|
|
|
|
global called
|
|
|
called = 0
|