|
@@ -288,7 +288,24 @@ class TestPetrinetInterface(unittest.TestCase):
|
|
|
def pn_interface_types(self, mode):
|
|
|
self.assertTrue(run_file(all_files,
|
|
|
["new", "PetriNets", "abc", "types"],
|
|
|
- init + new + loaded + list_types([("Place", "Class"), ("Transition", "Class"), ("P2T", "Association"), ("T2P", "Association"), ("Natural", "Class")]),
|
|
|
+ init + new + loaded + list_types([("Place", "Class"),
|
|
|
+ ("Transition", "Class"),
|
|
|
+ ("P2T", "Association"),
|
|
|
+ ("T2P", "Association"),
|
|
|
+ ("Natural", "Class"),
|
|
|
+ ("Place_tokens", "Association"),
|
|
|
+ ("Place_tokens.name", "String"),
|
|
|
+ ("Place_tokens.target_lower_cardinality", "Natural"),
|
|
|
+ ("Place_tokens.target_upper_cardinality", "Natural"),
|
|
|
+ ("P2T_weight", "Association"),
|
|
|
+ ("P2T_weight.name", "String"),
|
|
|
+ ("P2T_weight.target_lower_cardinality", "Natural"),
|
|
|
+ ("P2T_weight.target_upper_cardinality", "Natural"),
|
|
|
+ ("T2P_weight", "Association"),
|
|
|
+ ("T2P_weight.name", "String"),
|
|
|
+ ("T2P_weight.target_lower_cardinality", "Natural"),
|
|
|
+ ("T2P_weight.target_upper_cardinality", "Natural"),
|
|
|
+ ]) + prompt,
|
|
|
mode))
|
|
|
|
|
|
def test_po_pn_interface_modify_place(self):
|