|
@@ -285,11 +285,11 @@ Element function petrinet_loaded(model : Element):
|
|
|
if (cast_v2s(read_elem) != "None"):
|
|
|
output("Value: " + cast_v2s(read_elem))
|
|
|
output("Defines attributes:")
|
|
|
- //attr_list_pn = getInstantiatableAttributes(model, read_elem)
|
|
|
- //attr_keys_pn = dict_keys(attr_list_pn)
|
|
|
- //while (0 < read_nr_out(attr_keys_pn)):
|
|
|
- // attr_key_pn = set_pop(attr_keys_pn)
|
|
|
- // output((((" " + attr_key_pn) + " : ") + cast_e2s(attr_list_pn[attr_key_pn])))
|
|
|
+ attr_list_pn = getInstantiatableAttributes(model, read_elem)
|
|
|
+ attr_keys_pn = dict_keys(attr_list_pn)
|
|
|
+ while (0 < read_nr_out(attr_keys_pn)):
|
|
|
+ attr_key_pn = set_pop(attr_keys_pn)
|
|
|
+ output((((" " + attr_key_pn) + " : ") + cast_v2s(attr_list_pn[attr_key_pn])))
|
|
|
output("Attributes:")
|
|
|
attr_list_pn = getAttributeList(model, cmd)
|
|
|
attr_keys_pn = dict_keys(attr_list_pn)
|