|
@@ -174,36 +174,21 @@ String function getName(m : Element, e : Element):
|
|
|
s = dict_read(m, "model")
|
|
|
element_keys = dict_keys(s)
|
|
|
|
|
|
- log("getName")
|
|
|
Element key
|
|
|
while (0 < read_nr_out(element_keys)):
|
|
|
key = set_pop(element_keys)
|
|
|
if (element_eq(dict_read_node(s, key), e)):
|
|
|
- log("Gone")
|
|
|
return key
|
|
|
|
|
|
- log("Finish")
|
|
|
return string_join(string_join("(unknown: ", cast_e2s(e)), " )")
|
|
|
|
|
|
String function reverseNameLookup(s : Element, e : Element):
|
|
|
- log("Lookup name")
|
|
|
- log("Node: " + cast_e2s(s))
|
|
|
- log("Node2: " + cast_e2s(e))
|
|
|
Element element_keys
|
|
|
element_keys = dict_keys(s)
|
|
|
|
|
|
Element key
|
|
|
while (0 < read_nr_out(element_keys)):
|
|
|
- log("POP")
|
|
|
key = set_pop(element_keys)
|
|
|
- log("Check")
|
|
|
- log("Key " + cast_e2s(key))
|
|
|
if (element_eq(dict_read_node(s, key), e)):
|
|
|
- log("EQ")
|
|
|
return key
|
|
|
- else:
|
|
|
- log("NEQ")
|
|
|
- log("Read nr out")
|
|
|
-
|
|
|
- log("Finished")
|
|
|
return string_join(string_join("(unknown: ", cast_e2s(e)), " )")
|