teaching/muMLE
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Added existence check

Browse source
This commit is contained in:
Andrei Bondarenko 2021-07-18 10:58:28 +02:00
parent f875f700cd
commit add00d6f3f
1 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
core/context/generic.py
View file

@ -68,12 +68,15 @@ class GenericContext(Context):
def retype_element(self, name: String, type_name: String): def retype_element(self, name: String, type_name: String):
model_root = self.state.read_dict(self.model.id, "Model") model_root = self.state.read_dict(self.model.id, "Model")
element_edge = self.state.read_dict_edge(model_root, name.value) element_edge = self.state.read_dict_edge(model_root, name.value)
if element_edge is None:
print(f"Error: Element with name {name.value} not found.")
return
label_node_edge, = self.state.read_outgoing(element_edge) label_node_edge, = self.state.read_outgoing(element_edge)
_, label_node = self.state.read_edge(label_node_edge) _, label_node = self.state.read_edge(label_node_edge)
# create type name node # create type name node
type_name_node = self.state.create_nodevalue(type_name.value) type_name_node = self.state.create_nodevalue(type_name.value)
if type_name_node is None: if type_name_node is None:
print("Warning: Invalid type name, element not retyped.") print("Error: Invalid type name, element not retyped.")
# remove any existing type node # remove any existing type node
existing = self.state.read_dict(label_node, "Type") existing = self.state.read_dict(label_node, "Type")
if existing is not None: if existing is not None: