|
@@ -36,20 +36,20 @@ class TestPowerWindow(unittest.TestCase):
|
|
|
transformation_add_MANUAL({"Requirements": "formalisms/Requirements", "Query": "formalisms/Query"}, {"Query": "formalisms/Query"}, "models/revise_query")
|
|
|
transformation_add_MANUAL({"Requirements": "formalisms/Requirements", "Architecture": "formalisms/Architecture"}, {"Architecture": "formalisms/Architecture"}, "models/revise_architecture")
|
|
|
|
|
|
- def tracability_CTRL2EPN(context):
|
|
|
- instantiate(None, "Association", ("PW_Control/State", "Encapsulated_PetriNet/Place"), ID="CTRL2EPN_link", context=context)
|
|
|
- instantiate(None, "Association", ("PW_Control/Transition", "Encapsulated_PetriNet/Transition"), ID="CTRL2EPN_tlink", context=context)
|
|
|
+ def tracability_CTRL2EPN(model):
|
|
|
+ instantiate(model, "Association", ("PW_Control/State", "Encapsulated_PetriNet/Place"), ID="CTRL2EPN_link")
|
|
|
+ instantiate(model, "Association", ("PW_Control/Transition", "Encapsulated_PetriNet/Transition"), ID="CTRL2EPN_tlink")
|
|
|
|
|
|
- def tracability_PLANT2EPN(context):
|
|
|
- instantiate(None, "Association", ("PW_Plant/State", "Encapsulated_PetriNet/Place"), ID="PLANT2EPN_link", context=context)
|
|
|
- instantiate(None, "Association", ("PW_Plant/Transition", "Encapsulated_PetriNet/Transition"), ID="PLANT2EPN_tlink", context=context)
|
|
|
+ def tracability_PLANT2EPN(model):
|
|
|
+ instantiate(model, "Association", ("PW_Plant/State", "Encapsulated_PetriNet/Place"), ID="PLANT2EPN_link")
|
|
|
+ instantiate(model, "Association", ("PW_Plant/Transition", "Encapsulated_PetriNet/Transition"), ID="PLANT2EPN_tlink")
|
|
|
|
|
|
- def tracability_ENV2EPN(context):
|
|
|
- instantiate(None, "Association", ("PW_Environment/Event", "Encapsulated_PetriNet/Place"), ID="ENV2EPN_link", context=context)
|
|
|
+ def tracability_ENV2EPN(model):
|
|
|
+ instantiate(model, "Association", ("PW_Environment/Event", "Encapsulated_PetriNet/Place"), ID="ENV2EPN_link")
|
|
|
|
|
|
- def tracability_EPN2PN(context):
|
|
|
- instantiate(None, "Association", ("Encapsulated_PetriNet/Place", "PetriNet/Place"), ID="EPN2PN_transition_link", context=context)
|
|
|
- instantiate(None, "Association", ("Encapsulated_PetriNet/Transition", "PetriNet/Transition"), ID="EPN2PN_place_link", context=context)
|
|
|
+ def tracability_EPN2PN(model):
|
|
|
+ instantiate(model, "Association", ("Encapsulated_PetriNet/Place", "PetriNet/Place"), ID="EPN2PN_transition_link")
|
|
|
+ instantiate(model, "Association", ("Encapsulated_PetriNet/Transition", "PetriNet/Transition"), ID="EPN2PN_place_link")
|
|
|
|
|
|
transformation_add_MT({}, {"PW_Plant": "formalisms/PW_Plant", "PW_Environment": "formalisms/PW_Environment", "PW_Control": "formalisms/PW_Control", "Query": "formalisms/Query", "Architecture": "formalisms/Architecture", "Requirements": "formalisms/Requirements"}, "models/make_initial_models", open("models/initialize.mvc", 'r').read())
|
|
|
transformation_add_MT({"PW_Plant": "formalisms/PW_Plant"}, {"Encapsulated_PetriNet": "formalisms/Encapsulated_PetriNet"}, "models/plant_to_EPN", open("models/plant_to_EPN.mvc", 'r').read(), tracability_PLANT2EPN)
|
|
@@ -67,13 +67,13 @@ class TestPowerWindow(unittest.TestCase):
|
|
|
nr_of_operations = 6
|
|
|
|
|
|
def get_function(filename):
|
|
|
- def func(context):
|
|
|
+ def func(model):
|
|
|
global called
|
|
|
if called > nr_of_operations:
|
|
|
raise Exception("Seemingly called some operation twice!")
|
|
|
else:
|
|
|
called += 1
|
|
|
- model_overwrite(None, open(filename, "r").read(), context=context)
|
|
|
+ model_overwrite(model, open(filename, "r").read())
|
|
|
return func
|
|
|
|
|
|
cb_req = get_function("models/requirements_model.mvc")
|
|
@@ -124,20 +124,20 @@ class TestPowerWindow(unittest.TestCase):
|
|
|
transformation_add_MANUAL({"Requirements": "formalisms/Requirements", "Query": "formalisms/Query"}, {"Query": "formalisms/Query"}, "models/revise_query")
|
|
|
transformation_add_MANUAL({"Requirements": "formalisms/Requirements", "Architecture": "formalisms/Architecture"}, {"Architecture": "formalisms/Architecture"}, "models/revise_architecture")
|
|
|
|
|
|
- def tracability_CTRL2EPN(context):
|
|
|
- instantiate(None, "Association", ("PW_Control/State", "Encapsulated_PetriNet/Place"), ID="CTRL2EPN_link", context=context)
|
|
|
- instantiate(None, "Association", ("PW_Control/Transition", "Encapsulated_PetriNet/Transition"), ID="CTRL2EPN_tlink", context=context)
|
|
|
+ def tracability_CTRL2EPN(model):
|
|
|
+ instantiate(model, "Association", ("PW_Control/State", "Encapsulated_PetriNet/Place"), ID="CTRL2EPN_link")
|
|
|
+ instantiate(model, "Association", ("PW_Control/Transition", "Encapsulated_PetriNet/Transition"), ID="CTRL2EPN_tlink")
|
|
|
|
|
|
- def tracability_PLANT2EPN(context):
|
|
|
- instantiate(None, "Association", ("PW_Plant/State", "Encapsulated_PetriNet/Place"), ID="PLANT2EPN_link", context=context)
|
|
|
- instantiate(None, "Association", ("PW_Plant/Transition", "Encapsulated_PetriNet/Transition"), ID="PLANT2EPN_tlink", context=context)
|
|
|
+ def tracability_PLANT2EPN(model):
|
|
|
+ instantiate(model, "Association", ("PW_Plant/State", "Encapsulated_PetriNet/Place"), ID="PLANT2EPN_link")
|
|
|
+ instantiate(model, "Association", ("PW_Plant/Transition", "Encapsulated_PetriNet/Transition"), ID="PLANT2EPN_tlink")
|
|
|
|
|
|
- def tracability_ENV2EPN(context):
|
|
|
- instantiate(None, "Association", ("PW_Environment/Event", "Encapsulated_PetriNet/Place"), ID="ENV2EPN_link", context=context)
|
|
|
+ def tracability_ENV2EPN(model):
|
|
|
+ instantiate(model, "Association", ("PW_Environment/Event", "Encapsulated_PetriNet/Place"), ID="ENV2EPN_link")
|
|
|
|
|
|
- def tracability_EPN2PN(context):
|
|
|
- instantiate(None, "Association", ("Encapsulated_PetriNet/Place", "PetriNet/Place"), ID="EPN2PN_transition_link", context=context)
|
|
|
- instantiate(None, "Association", ("Encapsulated_PetriNet/Transition", "PetriNet/Transition"), ID="EPN2PN_place_link", context=context)
|
|
|
+ def tracability_EPN2PN(model):
|
|
|
+ instantiate(model, "Association", ("Encapsulated_PetriNet/Place", "PetriNet/Place"), ID="EPN2PN_transition_link")
|
|
|
+ instantiate(model, "Association", ("Encapsulated_PetriNet/Transition", "PetriNet/Transition"), ID="EPN2PN_place_link")
|
|
|
|
|
|
transformation_add_MT({}, {"PW_Plant": "formalisms/PW_Plant", "PW_Environment": "formalisms/PW_Environment", "PW_Control": "formalisms/PW_Control", "Query": "formalisms/Query", "Architecture": "formalisms/Architecture", "Requirements": "formalisms/Requirements"}, "models/make_initial_models", open("models/initialize.mvc", 'r').read())
|
|
|
transformation_add_MT({"PW_Plant": "formalisms/PW_Plant"}, {"Encapsulated_PetriNet": "formalisms/Encapsulated_PetriNet"}, "models/plant_to_EPN", open("models/plant_to_EPN.mvc", 'r').read(), tracability_PLANT2EPN)
|
|
@@ -158,16 +158,16 @@ class TestPowerWindow(unittest.TestCase):
|
|
|
executed = set([])
|
|
|
|
|
|
def get_function(filename, fixed=None):
|
|
|
- def func(context):
|
|
|
+ def func(model):
|
|
|
global called
|
|
|
if called > len(callbacks) * 2:
|
|
|
raise Exception("Seemingly called some operation twice!")
|
|
|
called += 1
|
|
|
if filename not in executed or fixed is None:
|
|
|
executed.add(filename)
|
|
|
- model_overwrite(None, open(filename, "r").read(), context=context)
|
|
|
+ model_overwrite(model, open(filename, "r").read())
|
|
|
else:
|
|
|
- model_overwrite(None, open(fixed, "r").read(), context=context)
|
|
|
+ model_overwrite(model, open(fixed, "r").read())
|
|
|
return func
|
|
|
|
|
|
cb_req = get_function("models/requirements_model.mvc")
|