| 123456789101112131415161718 |
- include "primitives.alh"
- Boolean function main(model : Element):
- Element keys
- String key
- Element split
- Element tm
- tm = model["type_mapping"]
- keys = dict_keys(tm)
- while (read_nr_out(keys) > 0):
- key = set_pop(keys)
- split = string_split(tm[key], "/")
- dict_overwrite(tm, key, string_join("Encapsulated_PetriNet/", split[1]))
- return True!
|
