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=new XMLElement("pktlval");
result.addAttribute(new XMLAttribute("tl-id",tl.getId()));
result.addAttribute(new XMLAttribute("pos",pos));
result.addAttribute(new XMLAttribute("destination",destination.getId()));
result.addAttribute(new XMLAttribute("light",light));
result.addAttribute(new XMLAttribute("newtl-id",tl_new.getId()));
result.addAttribute(new XMLAttribute("new-pos",pos_new));
result.addAttribute(new XMLAttribute("value",value));
result.addAttribute(new XMLAttribute("ktl",Ktl));
return result;
}
public XMLElement saveSelf () throws XMLCannotSaveException
{ XMLElement result=new XMLElement("count");
result.addAttribute(new XMLAttribute("tl-id",tl.getId()));
result.addAttribute(new XMLAttribute("pos",pos));
result.addAttribute(new XMLAttribute("destination",destination.getId()));
result.addAttribute(new XMLAttribute("light",light));
result.addAttribute(new XMLAttribute("newtl-id",tl_new.getId()));
result.addAttribute(new XMLAttribute("new-pos",pos_new));
result.addAttribute(new XMLAttribute("ktl",Ktl));
result.addAttribute(new XMLAttribute("value",value));
if ( ! infrastructure.laneDictionary.containsKey
(new Integer (tl.getId())))
{
System.out.println
("WARNING : Unknown Trafficlight ID "+tl.getId()+
" in TC3$CountEntry. Loading will go wrong");
}
return result;
}
public XMLElement saveSelf () throws XMLCannotSaveException
{ XMLElement result=new XMLElement("target");
result.addAttribute(new XMLAttribute("tl-id",tl.getId()));
result.addAttribute(new XMLAttribute("pos",pos));
return result;
}
public XMLElement saveSelf() throws XMLCannotSaveException {
XMLElement result = new XMLElement("destfreq");
result.addAttribute(new XMLAttribute("ru-type", ruType));
result.addAttribute(new XMLAttribute("freq", freq));
return result;
}
public XMLElement saveSelf() throws XMLCannotSaveException {
XMLElement result = super.saveSelf();
result.setName("node-junction");
result.addAttribute(new XMLAttribute("width", width));
return result;
}