*operation* int cppRenVertex(char* Labelname, char* NewLabelname)
*init* (@ 0 @)
*traverse*
*from* Graph
*through* -> *,vertices,*
*to* Vertex
*wrapper* Graph
*suffix*
(@
this -> cppDrawVertices();
this -> cppDrawEdges();
@)
*wrapper* Vertex
(@
DemIdent* oldName = this -> get_vertexname() -> get_name();
if (!strcmp(oldName -> get_val(), Labelname)) {
oldName -> set_val(NewLabelname);
return_val = 1;
}
@)