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