import unittest import sys try: from unit.utils import * import unit.log_output as log_output except ImportError: #for Python2 from utils import * import log_output as log_output sys.path.append("wrappers") from modelverse import * import threading model_hierarchy = \ {"formalisms/": {"SimpleClassDiagrams": {}, "TypeMapping": {}, "Tracability": {}, "ProcessModel": {}, "ActionLanguage": {}, "ManualOperation": {}, "Bottom": {}, }, "models/": {}, "administration/": {"core": {}, "CoreFormalism": {}, }, "users/": {"admin/": {}, "LoLA/": {}, "HUTN/": {}, "files/": {}, "DEVS/": {}, "DEVS_batch/": {}, "JSON/": {}, }, "type mappings/": {"1": {}, "2": {}, "3": {}, "4": {}, "5": {}, "6": {}, "7": {}, "8": {}, "9": {}, }, "merged/": {}, "tmp/": {}, "RAMified/": {}, } def verify_clean(): compare_locations("", set()) compare_locations("models", set()) compare_locations("formalisms", set()) def get_model_list(location): try: location_parts = location.split("/") current = model_hierarchy while location_parts: l = location_parts.pop(0) if l != "": current = current[l + "/"] return set(current.keys()) except: return set([]) def compare_locations(location, extra_to_default): assert model_list(location) == get_model_list(location) | set(extra_to_default) def compare_unordered_lists(got, expected): assert len(got) == len(expected) for i in got: assert i in expected for i in expected: assert i in got class TestModelverse(unittest.TestCase): proc = None def runTest(self): pass @classmethod def setUpClass(self): TestModelverse.proc, address = start_mvc() init(address) login("user", "user") @classmethod def tearDownClass(self): try: kill(TestModelverse.proc) except: print("Got exception during teardown.") def setUp(self): verify_clean() folder_create("users/user/test") def tearDown(self): model_delete("users/user/test") verify_clean() pass def test_op_model_list(self): assert model_list("") == set(["formalisms/", "models/", "administration/", "type mappings/", "users/", "merged/", "RAMified/", "tmp/", ]) assert model_list("formalisms") == set(["SimpleClassDiagrams", "ActionLanguage", "TypeMapping", "Tracability", "ProcessModel", "ManualOperation", "Bottom", ]) assert model_list("formalisms/") == set(["SimpleClassDiagrams", "ActionLanguage", "TypeMapping", "Tracability", "ProcessModel", "ManualOperation", "Bottom", ]) def test_op_model_list_full(self): assert model_list_full("") == set([("formalisms/", "admin", "admin", "221"), ("models/", "admin", "admin", "221"), ("administration/", "admin", "admin", "110"), ("type mappings/", "admin", "admin", "221"), ("users/", "admin", "admin", "221"), ("merged/", "admin", "nobody", "222"), ("RAMified/", "admin", "nobody", "222"), ("tmp/", "admin", "nobody", "222"), ]) assert model_list_full("formalisms") == set([("SimpleClassDiagrams", "admin", "admin", "221"), ("ActionLanguage", "admin", "admin", "221"), ("TypeMapping", "admin", "admin", "221"), ("Tracability", "admin", "admin", "221"), ("ProcessModel", "admin", "admin", "221"), ("ManualOperation", "admin", "admin", "221"), ("Bottom", "admin", "admin", "221"), ]) def test_op_verify(self): assert verify("formalisms/SimpleClassDiagrams", "formalisms/SimpleClassDiagrams") == "OK" assert verify("formalisms/SimpleClassDiagrams", "formalisms/Bottom") == "OK" for tm in model_types("formalisms/SimpleClassDiagrams"): assert verify(tm[1], "formalisms/TypeMapping") == "OK" try: verify("formalisms/SimpleClassDiagrams", "formalisms/ProcessModel") self.fail() except: pass assert verify("formalisms/ProcessModel", "formalisms/SimpleClassDiagrams") == "OK" assert verify("formalisms/ProcessModel", "formalisms/Bottom") == "OK" for tm in model_types("formalisms/ProcessModel"): assert verify(tm[1], "formalisms/TypeMapping") == "OK" try: verify("formalisms/ProcessModel", "formalisms/ProcessModel") self.fail() except: pass model_add("users/user/test/a", "formalisms/ProcessModel") assert verify("users/user/test/a", "formalisms/ProcessModel").startswith("Lower cardinality violated for class: ") instantiate("users/user/test/a", "Start") assert verify("users/user/test/a", "formalisms/ProcessModel") == "Lower cardinality violated for class: Finish" instantiate("users/user/test/a", "Finish") assert verify("users/user/test/a", "formalisms/ProcessModel") == "OK" def test_op_permission_modify(self): model_add("users/user/test/a", "formalisms/SimpleClassDiagrams") assert model_list_full("users/user/test") == set([("a", "user", "nobody", "200")]) # Check that we can read element_list_nice("users/user/test/a") # Check that we can write instantiate("users/user/test/a", "Class") assert permission_modify("users/user/test/a", "100") == None assert model_list_full("users/user/test") == set([("a", "user", "nobody", "100")]) # Check that we can read element_list_nice("users/user/test/a") # Check that we can't write try: instantiate("users/user/test/a", "Class") self.fail() except WritePermissionDenied: pass assert permission_modify("users/user/test/a", "000") == None assert model_list_full("users/user/test") == set([("a", "user", "nobody", "000")]) # Check that we can't read try: element_list_nice("users/user/test/a") self.fail() except ReadPermissionDenied: pass # Check that we can't write try: instantiate("users/user/test/a", "Class") self.fail() except WritePermissionDenied: pass except ReadPermissionDenied: pass assert permission_modify("users/user/test/a", "200") == None assert model_list_full("users/user/test") == set([("a", "user", "nobody", "200")]) # Check that we can read element_list_nice("users/user/test/a") # Check that we can write instantiate("users/user/test/a", "Class") def test_op_model_add(self): assert model_list_full("users/user/test") == set([]) model_add("users/user/test/a", "formalisms/SimpleClassDiagrams") assert model_list_full("users/user/test") == set([("a", "user", "nobody", "200")]) model_add("users/user/test/b", "formalisms/SimpleClassDiagrams", \ """ Class A { name = "A" } Class B { name = "B" abstract = True } """) assert model_list_full("users/user/test") == set([("a", "user", "nobody", "200"), ("b", "user", "nobody", "200")]) lst = element_list_nice("users/user/test/b") assert len(lst) == 2 assert {'__id': "A", "__type": "Class", "abstract": None, "constraint": {"AL": ""}, "lower_cardinality": None, "upper_cardinality": None, "name": "A"} in lst assert {'__id': "B", "__type": "Class", "abstract": True, "constraint": {"AL": ""}, "lower_cardinality": None, "upper_cardinality": None, "name": "B"} in lst try: model_add("users/user/test/a", "formalisms/SimpleClassDiagrams") self.fail() except ModelExists: assert model_list_full("users/user/test") == set([("a", "user", "nobody", "200"), ("b", "user", "nobody", "200")]) try: model_add("z", "formalisms/SimpleClassDiagrams") self.fail() except WritePermissionDenied: assert model_list_full("users/user/test") == set([("a", "user", "nobody", "200"), ("b", "user", "nobody", "200")]) """ def test_op_model_move(self): def test_op_model_delete(self): def test_op_model_overwrite(self): def test_op_user_delete(self): def test_op_model_render(self): def test_op_transformation_between(self): def test_op_transformation_add_MT(self): def test_op_transformation_add_AL(self): def test_op_transformation_add_MANUAL(self): def test_op_transformation_execute_MT(self): def test_op_transformation_execute_AL(self): def test_op_transformation_execute_MANUAL(self): def test_op_transformation_signature(self): def test_op_process_signature(self): def test_op_permission_modify(self): def test_op_permission_group(self): def test_op_permission_owner(self): def test_op_group_create(self): def test_op_group_delete(self): def test_op_group_owner_add(self): def test_op_group_owner_delete(self): def test_op_group_join(self): def test_op_group_kick(self): def test_op_group_list(self): def test_op_admin_promote(self): def test_op_admin_demote(self): def test_op_conformance_delete(self): def test_op_conformance_add(self): def test_op_folder_create(self): def test_op_model_types(self): def test_op_alter_context(self): def test_op_element_list(self): def test_op_element_list_nice(self): def test_op_types(self): def test_op_types_full(self): def test_op_read_info(self): def test_op_read_attrs(self): def test_op_instantiate(self): def test_op_delete_element(self): def test_op_attr_assign(self): def test_op_attr_assign_code(self): def test_op_attr_delete(self): def test_op_AL_text(self): def test_op_read_outgoing(self): def test_op_read_incoming(self): def test_op_read_association_source(self): def test_op_read_association_destination(self): def test_op_conections_between(self): def test_op_define_attribute(self): def test_op_all_instances(self): """ def test_modelling(self): # Add a model model_add("users/user/test/Empty", "formalisms/SimpleClassDiagrams") # Check that it exists compare_locations("users/user/test", set(["Empty"])) # Check that it conforms assert verify("users/user/test/Empty", "formalisms/SimpleClassDiagrams") == "OK" # Check for permissions assert model_list_full("users/user/test") == set([(name, "user", "nobody", "221") for name in get_model_list("users/user/test")]) | \ set([("Empty", "user", "nobody", "200")]) # Instantiate it further model_add("users/user/test/my_empty", "users/user/test/Empty") assert verify("users/user/test/my_empty", "users/user/test/Empty") == "OK" # Check that it exists compare_locations("users/user/test", set(["my_empty", "Empty"])) # Check that an instantiate of "A" fails try: res = instantiate("users/user/test/my_empty", "A") assert False except UnknownIdentifier: assert verify("users/user/test/Empty", "formalisms/SimpleClassDiagrams") == "OK" # Create something in the formalism instantiate("users/user/test/Empty", "Class", ID="A") attr_assign("users/user/test/Empty", "A", "name", "A") assert verify("users/user/test/Empty", "formalisms/SimpleClassDiagrams") == "OK" # Now instantiate that in the model as well, which now works instantiate("users/user/test/my_empty", "A") assert verify("users/user/test/my_empty", "users/user/test/Empty") == "OK" def test_overwrite(self): model_add("users/user/test/Empty", "formalisms/SimpleClassDiagrams") assert element_list("users/user/test/Empty") == set([]) instantiate("users/user/test/Empty", "Class", ID="A") assert element_list("users/user/test/Empty") == set([("A", "Class")]) model_overwrite("users/user/test/Empty", "") assert element_list("users/user/test/Empty") == set([]) compare_locations("users/user/test", set(["Empty"])) assert element_list("users/user/test/Empty") == set([]) instantiate("users/user/test/Empty", "Class", ID="B") compare_locations("users/user/test", set(["Empty"])) def test_operations(self): log = [] def manual_callback(model): p1 = instantiate(model, "PetriNet_Runtime/Place") p2 = instantiate(model, "PetriNet_Runtime/Place") p3 = instantiate(model, "PetriNet_Runtime/Place") t1 = instantiate(model, "PetriNet_Runtime/Transition") p2t1 = instantiate(model, "PetriNet_Runtime/P2T", (p1, t1)) p2t2 = instantiate(model, "PetriNet_Runtime/P2T", (p2, t1)) t2p1 = instantiate(model, "PetriNet_Runtime/T2P", (t1, p3)) attr_assign(model, p1, "tokens", 1) attr_assign(model, p1, "name", "p1") attr_assign(model, p2, "tokens", 2) attr_assign(model, p2, "name", "p2") attr_assign(model, p3, "tokens", 3) attr_assign(model, p3, "name", "p3") attr_assign(model, t1, "name", "t1") attr_assign(model, t1, "executing", False) attr_assign(model, p2t1, "weight", 1) attr_assign(model, p2t2, "weight", 1) attr_assign(model, t2p1, "weight", 2) model_add("users/user/test/PetriNet", "formalisms/SimpleClassDiagrams", open("integration/code/pn_design.mvc", "r").read()) model_add("users/user/test/PetriNet_Runtime", "formalisms/SimpleClassDiagrams", open("integration/code/pn_runtime.mvc", "r").read()) model_add("users/user/test/my_pn", "users/user/test/PetriNet", open("integration/code/pn_design_model.mvc", "r").read()) def add_tracability_D2R(model): instantiate(model, "Association", ("PetriNet/Place", "PetriNet_Runtime/Place"), ID="D2R_PlaceLink") instantiate(model, "Association", ("PetriNet/Transition", "PetriNet_Runtime/Transition"), ID="D2R_TransitionLink") def add_tracability_R2D(model): instantiate(model, "Association", ("PetriNet_Runtime/Place", "PetriNet/Place"), ID="R2D_PlaceLink") instantiate(model, "Association", ("PetriNet_Runtime/Transition", "PetriNet/Transition"), ID="R2D_TransitionLink") transformation_add_MT({"PetriNet": "users/user/test/PetriNet"}, {}, "users/user/test/print_pn", open("integration/code/pn_print.mvc").read()) transformation_add_MANUAL({"PetriNet": "users/user/test/PetriNet"}, {"PetriNet_Runtime": "users/user/test/PetriNet_Runtime"}, "users/user/test/pn_design_to_runtime", add_tracability_D2R) transformation_add_AL({"PetriNet_Runtime": "users/user/test/PetriNet_Runtime"}, {"PetriNet_Runtime": "users/user/test/PetriNet_Runtime"}, "users/user/test/pn_simulate", open("integration/code/pn_simulate.alc").read()) transformation_add_MT({"PetriNet_Runtime": "users/user/test/PetriNet_Runtime"}, {"PetriNet": "users/user/test/PetriNet"}, "users/user/test/pn_runtime_to_design", open("integration/code/pn_runtime_to_design.mvc").read(), add_tracability_R2D) log = [] ctrl = log_output.Controller(log, keep_running=False) thrd = threading.Thread(target=ctrl.start) thrd.daemon = True thrd.start() assert transformation_execute_MT("users/user/test/print_pn", {"PetriNet": "users/user/test/my_pn"}, {}, (ctrl, "inp", "outp")) == True thrd.join() assert set(log) == set(['"p1" --> 1', '"p2" --> 2', '"p3" --> 3']) assert transformation_execute_MANUAL("users/user/test/pn_design_to_runtime", {"PetriNet": "users/user/test/my_pn"}, {"PetriNet_Runtime": "users/user/test/my_pn_RT"}, manual_callback) == True assert transformation_execute_AL("users/user/test/pn_simulate", {"PetriNet_Runtime": "users/user/test/my_pn_RT"}, {"PetriNet_Runtime": "users/user/test/my_pn_RT"}) == True assert transformation_execute_MT("users/user/test/pn_runtime_to_design", {"PetriNet_Runtime": "users/user/test/my_pn_RT"}, {"PetriNet": "users/user/test/my_pn"}) == True log = [] ctrl = log_output.Controller(log, keep_running=False) thrd = threading.Thread(target=ctrl.start) thrd.daemon = True thrd.start() assert transformation_execute_MT("users/user/test/print_pn", {"PetriNet": "users/user/test/my_pn"}, {}, (ctrl, "inp", "outp")) == True thrd.join() assert set(log) == set(['"p1" --> 0', '"p2" --> 1', '"p3" --> 5']) def test_process_model_trivial_pn_subfunction(self): model_add("users/user/test/PetriNet", "formalisms/SimpleClassDiagrams", open("integration/code/pn_design.mvc", "r").read()) model_add("users/user/test/ReachabilityGraph", "formalisms/SimpleClassDiagrams", open("integration/code/reachability_graph.mvc", "r").read()) model_add("users/user/test/pn_reachability", "formalisms/ProcessModel", open("integration/code/pm_pn_reachability.mvc", "r").read()) transformation_add_MT({}, {"PetriNet": "users/user/test/PetriNet"}, "users/user/test/initialize_PN", open("integration/code/initialize_PN.mvc", "r").read()) transformation_add_MANUAL({"PetriNet": "users/user/test/PetriNet"}, {"PetriNet": "users/user/test/PetriNet"}, "users/user/test/refine_PN") transformation_add_AL({"PetriNet": "users/user/test/PetriNet"}, {"ReachabilityGraph": "users/user/test/ReachabilityGraph"}, "users/user/test/reachability", open("integration/code/reachability_subfunction.alc", "r").read()) transformation_add_MT({"ReachabilityGraph": "users/user/test/ReachabilityGraph"}, {}, "users/user/test/reachability_print", open("integration/code/reachabilitygraph_print.mvc", 'r').read()) def callback_refine_PN(model): p1 = instantiate(model, "PetriNet/Place") attr_assign(model, p1, "name", "p1") attr_assign(model, p1, "tokens", 1) t1 = instantiate(model, "PetriNet/Transition") attr_assign(model, t1, "name", "t1") p2t = instantiate(model, "PetriNet/P2T", (p1, t1)) attr_assign(model, p2t, "weight", 1) log = [] ctrl = log_output.Controller(log, keep_running=False) thrd = threading.Thread(target=ctrl.start) thrd.daemon = True thrd.start() process_execute("users/user/test/pn_reachability", {}, {"users/user/test/refine_PN": callback_refine_PN, "users/user/test/reachability_print": (ctrl, "inp", "outp")}) thrd.join() assert set(log) == set(['"0": {"p1": 1}', '"1": {"p1": 0}', '"0" --["t1"]--> "1"']) def test_render(self): model_add("users/user/test/CausalBlockDiagrams", "formalisms/SimpleClassDiagrams", open("integration/code/cbd_design.mvc", 'r').read()) model_add("users/user/test/MM_rendered_graphical", "formalisms/SimpleClassDiagrams", open("integration/code/MM_rendered_graphical.mvc", 'r').read()) model_add("users/user/test/my_CBD", "users/user/test/CausalBlockDiagrams", open("integration/code/my_cbd.mvc", 'r').read()) def add_tracability(model): instantiate(model, "Association", ("abstract/Block", "rendered/Group"), ID="TracabilityLink") transformation_add_MT({"abstract": "users/user/test/CausalBlockDiagrams", "rendered": "users/user/test/MM_rendered_graphical"}, {"abstract": "users/user/test/CausalBlockDiagrams", "rendered": "users/user/test/MM_rendered_graphical"}, "users/user/test/render_graphical_CBD", open("integration/code/CBD_mapper.mvc", 'r').read(), add_tracability) result = model_render("users/user/test/my_CBD", "users/user/test/render_graphical_CBD", "users/user/test/my_perceptualized_CBD") assert len(result) == 23 def test_SCCD_basic(self): model_add("users/user/test/SCCD", "formalisms/SimpleClassDiagrams", open("integration/code/SCCD.mvc", 'r').read()) model_add("users/user/test/SCCD_Trace", "formalisms/SimpleClassDiagrams", open("integration/code/SCCD_Trace.mvc", 'r').read()) model_add("users/user/test/my_SCCD", "users/user/test/SCCD", open("integration/code/SCCD_all.mvc", 'r').read()) transformation_add_AL({"SCCD": "users/user/test/SCCD"}, {"trace": "users/user/test/SCCD_Trace"}, "users/user/test/SCCD_execute_afap", open("integration/code/SCCD_execute.alc", 'r').read().replace("afap = False", "afap = True")) transformation_execute_AL("users/user/test/SCCD_execute_afap", {"SCCD": "users/user/test/my_SCCD"}, {"trace": "users/user/test/my_SCCD_trace"}) alter_context("users/user/test/my_SCCD_trace", "users/user/test/SCCD_Trace") lst = element_list_nice("users/user/test/my_SCCD_trace") lst.sort(key=lambda i: (i["timestamp"], i["name"])) result = [(i["timestamp"], str(i["name"])) for i in lst if i["name"] not in ["updateTimerValue", "updateTimerColour", "resetTimer"]] assert result == [(5.0, "displayRed"), (20.0, "displayYellow"), (20.5, "displayNone"), (21.0, "displayYellow"), (21.5, "displayNone"), (22.0, "displayYellow"), (22.5, "displayNone"), (23.0, "displayYellow"), (23.5, "displayNone"), (24.0, "displayYellow"), (24.5, "displayNone"), (25.0, "displayYellow"), (25.5, "displayNone"), (26.0, "displayYellow"), (26.5, "displayNone"), (27.0, "displayYellow"), (27.5, "displayNone"), (28.0, "displayYellow"), (28.5, "displayNone"), (29.0, "displayYellow"), (29.4, "displayNone"), (29.4, "displayRed"), (89.4, "displayGreen"), (129.4, "displayNone"), (129.4, "displayRed"), (139.4, "displayYellow"), (139.9, "displayNone"), (140.4, "displayYellow"), (140.9, "displayNone"), (141.4, "displayYellow"), (141.9, "displayNone"), (142.4, "displayYellow"), (142.9, "displayNone"), (143.4, "displayYellow"), (143.9, "displayNone"), (144.4, "displayYellow"), (144.9, "displayNone"), (145.4, "displayYellow"), (145.9, "displayNone"), (146.4, "displayYellow"), (146.9, "displayNone"), (147.4, "displayYellow"), (147.9, "displayNone"), (148.4, "displayYellow"), ] def test_switch_MM(self): model_add("users/user/test/PetriNet", "formalisms/SimpleClassDiagrams", open("integration/code/pn_design.mvc", "r").read()) model_add("users/user/test/my_pn", "users/user/test/PetriNet", open("integration/code/pn_design_model.mvc", "r").read()) got = element_list_nice("users/user/test/PetriNet") expected = \ [{'__id': 'Natural', '__type': 'SimpleAttribute', 'constraint': {'AL': ''}, 'name': 'Natural'}, {'__id': 'String', '__type': 'SimpleAttribute', 'constraint': {'AL': ''}, 'name': 'String'}, {'__id': 'Place', '__type': 'Class', 'lower_cardinality': None, 'upper_cardinality': None, 'constraint': {'AL': ''}, 'name': 'Place', 'abstract': None}, {'__id': 'Place_tokens', '__type': 'AttributeLink', '__source': 'Place', '__target': 'Natural', 'name': 'tokens', 'optional': False, 'constraint': {'AL': ''}}, {'__id': 'Place_name', '__type': 'AttributeLink', '__source': 'Place', '__target': 'String', 'name': 'name', 'optional': False, 'constraint': {'AL': ''}}, {'__id': 'Transition', '__type': 'Class', 'lower_cardinality': None, 'upper_cardinality': None, 'constraint': {'AL': ''}, 'name': 'Transition', 'abstract': None}, {'__id': 'Transition_name', '__type': 'AttributeLink', '__source': 'Transition', '__target': 'String', 'name': 'name', 'optional': False, 'constraint': {'AL': ''}}, {'__id': 'P2T', '__type': 'Association', '__source': 'Place', '__target': 'Transition', 'source_lower_cardinality': None, 'target_lower_cardinality': None, 'source_upper_cardinality': None, 'target_upper_cardinality': None, 'constraint': {'AL': ''}, 'name': 'P2T'}, {'__id': 'P2T_weight', '__type': 'AttributeLink', '__source': 'P2T', '__target': 'Natural', 'name': 'weight', 'optional': False, 'constraint': {'AL': ''}}, {'__id': 'T2P', '__type': 'Association', '__source': 'Transition', '__target': 'Place', 'source_lower_cardinality': None, 'target_lower_cardinality': None, 'source_upper_cardinality': None, 'target_upper_cardinality': None, 'constraint': {'AL': ''}, 'name': 'T2P'}, {'__id': 'T2P_weight', '__type': 'AttributeLink', '__source': 'T2P', '__target': 'Natural', 'name': 'weight', 'optional': False, 'constraint': {'AL': ''}}, ] compare_unordered_lists(got, expected) got = element_list_nice("users/user/test/my_pn") expected = \ [{'__id': 'p1', '__type': 'Place', 'tokens': 1, 'name': 'p1'}, {'__id': 'p2', '__type': 'Place', 'tokens': 2, 'name': 'p2'}, {'__id': 'p3', '__type': 'Place', 'tokens': 3, 'name': 'p3'}, {'__id': 't1', '__type': 'Transition', 'name': 't1'}, {'__id': '__0', '__type': 'P2T', '__source': 'p1', '__target': 't1', 'weight': 1}, {'__id': '__1', '__type': 'P2T', '__source': 'p2', '__target': 't1', 'weight': 1}, {'__id': '__2', '__type': 'T2P', '__source': 't1', '__target': 'p3', 'weight': 2} ] compare_unordered_lists(got, expected) alter_context("users/user/test/PetriNet", "formalisms/Bottom") alter_context("users/user/test/my_pn", "formalisms/Bottom") count_nodes = 0 count_edges = 0 for entry in element_list_nice("users/user/test/PetriNet"): print(entry) assert entry["__type"] in ["Node", "Edge"] if entry["__type"] == "Node": assert len(entry) == 2 count_nodes += 1 else: assert len(entry) == 4 count_edges += 1 assert count_nodes == 20 assert count_edges == 23 count_nodes = 0 count_edges = 0 for entry in element_list_nice("users/user/test/my_pn"): assert entry["__type"] in ["Node", "Edge"] if entry["__type"] == "Node": assert len(entry) == 2 count_nodes += 1 else: assert len(entry) == 4 count_edges += 1 assert count_nodes == 14 assert count_edges == 13 alter_context("users/user/test/PetriNet", "users/user/test/PetriNet") alter_context("users/user/test/my_pn", "formalisms/SimpleClassDiagrams") try: element_list_nice("users/user/test/PetriNet") self.fail() except: pass try: element_list_nice("users/user/test/my_pn") self.fail() except: pass