protected void printCInteger(CInteger cinteger, Element out) { if(cinteger.getList() != null) { printList(cinteger.getList(), out); } if(cinteger.getInterval() != null) { Element range = new Element("range", defaultNamespace); out.getChildren().add(range); printInterval(cinteger.getInterval(), range); } // TODO: Write 'list_open' element... <list_open> xs:boolean </list_open> [0..1] if(cinteger.hasAssumedValue()) { printString("assumed_value", cinteger.assumedValue().toString(), out); } }
protected void printCInteger(CInteger cinteger, Writer out) throws IOException { if (cinteger.getList() != null) { printList(cinteger.getList(), out); } else { printInterval(cinteger.getInterval(), out); } if(cinteger.assumedValue() != null) { out.write("; "); out.write(cinteger.assumedValue().toString()); } }
protected void printCInteger(CInteger cinteger, Writer out) throws IOException { if (cinteger.getList() != null) { printList(cinteger.getList(), out); } else { printInterval(cinteger.getInterval(), out); } if(cinteger.assumedValue() != null) { out.write("; "); out.write(cinteger.assumedValue().toString()); } }