/**
* Writes the supplied learner evaluation configuration.
*
* @param cnf configuration to write
* @return the recorded XML element
*/
public Element writeLearnerEvaluationConfiguration(LearnerEvaluationConfiguration cnf) {
Element evaluationData = doc.createElement(StatechumXML.ELEM_EVALUATIONDATA.name());
evaluationData.appendChild(cnf.graph.storage.createGraphMLNode(doc));
Element sequenceListElement =
labelio.writeSequenceList(StatechumXML.ATTR_TESTSET.name(), cnf.testSet);
evaluationData.appendChild(AbstractPersistence.endl(doc));
evaluationData.appendChild(sequenceListElement);
evaluationData.appendChild(AbstractPersistence.endl(doc));
evaluationData.appendChild(cnf.config.writeXML(doc));
evaluationData.appendChild(AbstractPersistence.endl(doc));
if (cnf.ifthenSequences != null) {
Element ltl = doc.createElement(StatechumXML.ELEM_CONSTRAINTS.name());
StringBuffer ltlsequences = new StringBuffer();
stringio.writeInputSequence(ltlsequences, cnf.ifthenSequences);
ltl.setTextContent(ltlsequences.toString());
evaluationData.appendChild(ltl);
evaluationData.appendChild(AbstractPersistence.endl(doc));
}
if (cnf.labelDetails != null) {
evaluationData.appendChild(cnf.labelDetails.storeToXML(doc, stringio));
evaluationData.appendChild(AbstractPersistence.endl(doc));
}
if (cnf.graphNumber >= 0) {
Element progressIndicatorElement =
doc.createElement(StatechumXML.ELEM_PROGRESSINDICATOR.name());
progressIndicatorElement.setAttribute(
StatechumXML.ATTR_GRAPHNUMBER.name(), Integer.toString(cnf.graphNumber));
evaluationData.appendChild(progressIndicatorElement);
}
return evaluationData;
}
/**
* Writes a request to AugmentPTA into an XML node and returns the constructed node.
*
* @param data what to write
* @return constructed XML node.
*/
protected Element writeAugmentPTA(AugmentPTAData data) {
Element result = doc.createElement(StatechumXML.ELEM_AUGMENTPTA.name());
result.setAttribute(StatechumXML.ATTR_KIND.name(), data.kind.name());
if (data.colour != null)
result.setAttribute(StatechumXML.ATTR_COLOUR.name(), data.colour.name());
result.setAttribute(StatechumXML.ATTR_ACCEPT.name(), Boolean.toString(data.accept));
StringBuffer writer = new StringBuffer();
labelio.writeInputSequence(writer, data.sequence);
result.setTextContent(writer.toString());
return result;
}