|
@@ -33,8 +33,11 @@ Void function retype(model : Element, element : String, type : String):
|
|
|
dict_add_fast(model["type_mapping"], element, type)
|
|
|
return!
|
|
|
|
|
|
-Element function new_type_mapping():
|
|
|
- return dict_create()!
|
|
|
+Void function new_type_mapping(model : Element):
|
|
|
+ if (dict_in(model, "type_mapping")):
|
|
|
+ dict_delete(model, "type_mapping")
|
|
|
+ dict_add_fast(model, "type_mapping", dict_create())
|
|
|
+ return !
|
|
|
|
|
|
Void function remove_type(model : Element, name : String):
|
|
|
dict_delete(model["type_mapping"], name)
|