protected void printCardinality(Cardinality cardinality, Writer out) throws IOException { out.write("cardinality matches {"); Interval<Integer> interval = cardinality.getInterval(); if (interval != null) { if (interval.isLowerUnbounded()) { out.write("*"); } else { out.write(interval.getLower().toString()); } out.write(".."); if (interval.isUpperUnbounded()) { out.write("*"); } else { out.write(interval.getUpper().toString()); } } else { out.write("*"); } out.write("; "); if (cardinality.isOrdered()) { out.write("ordered"); } else { out.write("unordered"); } if (cardinality.isUnique()) { out.write("; unique"); } out.write("}"); }
protected void printCardinality(Cardinality cardinality, Writer out) throws IOException { out.write("cardinality matches {"); Interval<Integer> interval = cardinality.getInterval(); if (interval != null) { if (interval.isLowerUnbounded()) { out.write("*"); } else { out.write(interval.getLower().toString()); } out.write(".."); if (interval.isUpperUnbounded()) { out.write("*"); } else { out.write(interval.getUpper().toString()); } } else { out.write("*"); } out.write("; "); if (cardinality.isOrdered()) { out.write("ordered"); } else { out.write("unordered"); } if (cardinality.isUnique()) { out.write("; unique"); } out.write("}"); }
protected void printCardinality(Cardinality cardinality, Element out) { if (cardinality.isOrdered()) { printString("is_ordered", "true", out); } else { printString("is_ordered", "false", out); } if (cardinality.isUnique()) { printString("is_unique", "true", out); } else { printString("is_unique", "false", out); } Element interval = new Element("interval", defaultNamespace); out.getChildren().add(interval); printInterval(cardinality.getInterval(), interval); }