public XMLElement saveSelf () throws XMLCannotSaveException
{ XMLElement result=super.saveSelf();
result.setName(shortXMLName);
result.addAttribute(new XMLAttribute ("random-chance",random_chance));
result.addAttribute(new XMLAttribute ("gamma",gamma));
return result;
}
public XMLElement saveSelf() throws XMLCannotSaveException {
XMLElement result = super.saveSelf();
result.setName("node-edge");
return result;
}
public XMLElement saveSelf() throws XMLCannotSaveException {
XMLElement result = super.saveSelf();
result.setName("node-junction");
result.addAttribute(new XMLAttribute("width", width));
return result;
}