protected void printCReal(CReal creal, Element out) { if (creal.getList() != null) { printList(creal.getList(), out); } if(creal.getInterval() != null) { Element range = new Element("range", defaultNamespace); out.getChildren().add(range); printInterval(creal.getInterval(), range); } if(creal.hasAssumedValue()) { printString("assumed_value", creal.assumedValue().toString(), out); } }
protected void printCReal(CReal creal, Writer out) throws IOException { if (creal.getList() != null) { printList(creal.getList(), out); } else { printInterval(creal.getInterval(), out); } if(creal.assumedValue() != null) { out.write("; "); out.write(creal.assumedValue().toString()); } }
protected void printCReal(CReal creal, Writer out) throws IOException { if (creal.getList() != null) { printList(creal.getList(), out); } else { printInterval(creal.getInterval(), out); } if(creal.assumedValue() != null) { out.write("; "); out.write(creal.assumedValue().toString()); } }