示例#1
0
	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;
	}
示例#2
0
 public XMLElement saveSelf() throws XMLCannotSaveException {
   XMLElement result = super.saveSelf();
   result.setName("node-edge");
   return result;
 }
示例#3
0
 public XMLElement saveSelf() throws XMLCannotSaveException {
   XMLElement result = super.saveSelf();
   result.setName("node-junction");
   result.addAttribute(new XMLAttribute("width", width));
   return result;
 }