|
@@ -0,0 +1,17 @@
|
|
|
+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!
|