|
@@ -94,7 +94,7 @@ Element function petrinet_fire(model : Element):
|
|
|
output("Unknown transition; aborting")
|
|
|
return model
|
|
|
|
|
|
-Element function petrinet_loaded(model : Element):
|
|
|
+Element function model_loaded(model : Element):
|
|
|
String cmd
|
|
|
|
|
|
Element attr_list_pn
|
|
@@ -387,7 +387,7 @@ Element function initial_prompt():
|
|
|
else:
|
|
|
my_model = instantiate_model(root[mm_name])
|
|
|
dict_add(root, name, my_model)
|
|
|
- petrinet_loaded(my_model)
|
|
|
+ model_loaded(my_model)
|
|
|
else:
|
|
|
output("Unknown metamodel; aborting")
|
|
|
elif (command == "load"):
|
|
@@ -395,7 +395,7 @@ Element function initial_prompt():
|
|
|
name = input()
|
|
|
if (dict_in(root, name)):
|
|
|
my_model = root[name]
|
|
|
- petrinet_loaded(my_model)
|
|
|
+ model_loaded(my_model)
|
|
|
else:
|
|
|
output("Model not found; aborting")
|
|
|
elif (command == "list"):
|