+ IOUtil.mangleXMLString(j.next().toString())
+ "\" />" + ln);
}
} else if (node.getDomType() == DomainType.intervals) {
w.write(" type=\"intervals\" >" + ln);
IntervalDomain idom = (IntervalDomain) node.getDomain();
// valueCache.put(nodeName, values);
w.write(tab + " ");
if (idom.hasEverPartition()) {
w.write(
"<states min=\"" + idom.getMin() + "\"" + "max=\""
+ idom.getMax() + "\"" + "order=\"" + idom.getOrder()
+ "\" />" + ln);
} else {
w.write(
"<states>" + IOUtil.statesString(idom.getStateBorders())
+ "</states>" + ln);
}
} else if (node.getDomType() == DomainType.continuous) {
w.write(" type=\"expressions\" >" + ln);