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 void load(XMLElement myElement, XMLLoader loader)
throws XMLTreeException, IOException, XMLInvalidInputException {
super.load(myElement, loader);
gamma = myElement.getAttribute("gamma").getFloatValue();
random_chance = myElement.getAttribute("random-chance").getFloatValue();
q_table = (float[][][][]) XMLArray.loadArray(this, loader);
// v_table=(float[][][])XMLArray.loadArray(this,loader);
count = (Vector) XMLArray.loadArray(this, loader, this);
// p_table=(Vector)XMLArray.loadArray(this,loader,this);
}
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 void load (XMLElement myElement,XMLLoader loader) throws XMLTreeException,IOException,XMLInvalidInputException
{ pos=myElement.getAttribute("pos").getIntValue();
loadData.oldTlId=myElement.getAttribute("tl-id").getIntValue();
loadData.destNodeId=myElement.getAttribute("destination").getIntValue();
light=myElement.getAttribute("light").getBoolValue();
loadData.newTlId=myElement.getAttribute("newtl-id").getIntValue();
pos_new=myElement.getAttribute("new-pos").getIntValue();
Ktl=myElement.getAttribute("ktl").getIntValue();
value=myElement.getAttribute("value").getFloatValue();
}
public void load(XMLElement myElement, XMLLoader loader)
throws XMLTreeException, IOException, XMLInvalidInputException {
super.load(myElement, loader);
width = myElement.getAttribute("width").getIntValue();
alphaRoads = (Road[]) XMLArray.loadArray(this, loader);
loadData.roads = (int[]) XMLArray.loadArray(this, loader);
loadData.signconfigs = (int[][]) XMLArray.loadArray(this, loader);
loadData.signs = (int[]) XMLArray.loadArray(this, loader);
}
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 void load (XMLElement myElement,XMLLoader loader) throws XMLTreeException,IOException,XMLInvalidInputException
{ pos=myElement.getAttribute("pos").getIntValue();
loadData.tlId=myElement.getAttribute("tl-id").getIntValue();
}
public XMLElement saveSelf() throws XMLCannotSaveException {
XMLElement result = super.saveSelf();
result.setName("node-edge");
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 void load(XMLElement myElement, XMLLoader loader)
throws XMLTreeException, IOException, XMLInvalidInputException {
ruType = myElement.getAttribute("ru-type").getIntValue();
freq = myElement.getAttribute("freq").getFloatValue();
}
public XMLElement saveSelf() throws XMLCannotSaveException {
XMLElement result = super.saveSelf();
result.setName("node-junction");
result.addAttribute(new XMLAttribute("width", width));
return result;
}