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); }
if (! cardParentAttr.getInterval().isUpperUnbounded() && ( cardAttr.getInterval().isUpperUnbounded() || cardParentAttr.getInterval().getUpper().compareTo( cardAttr.getInterval().getUpper()) <0)) { errors.add(new ValidationError(ErrorType.VSANCC, null, getIntervalFormalString(cardAttr.getInterval()), cattr.path(), getIntervalFormalString(cardParentAttr.getInterval()), attrInParentArchetype.path())); } else if (cardParentAttr.getInterval().getLower().compareTo( cardAttr.getInterval().getLower()) >0) { log.debug("Cardinality error"); errors.add(new ValidationError(ErrorType.VSANCC, null, getIntervalFormalString(cardAttr.getInterval()), cattr.path(), getIntervalFormalString(cardParentAttr.getInterval()), attrInParentArchetype.path()));
{if (true) return new Cardinality(ordered, unique, interval);} throw new Error("Missing return statement in function");
if (!cc1MA.getCardinality().equals(cc2MA.getCardinality())) { return false;
cma.getCardinality().getInterval().setLower(newOccurrences.getLower());
{if (true) return new Cardinality(ordered, unique, interval);} throw new Error("Missing return statement in function");
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("}"); }
cma.getCardinality().getInterval().setLower(newOccurrences.getLower());
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("}"); }
private void checkCardinalityConformsToRMCardinality(CMultipleAttribute cattr, CObject cobj, List<ValidationError> errors) { Interval<Integer> rmCardinality = rmInspector.defaultCardinalityInterval(cattr, cobj); Interval<Integer> actualCardinality = cattr.getCardinality().getInterval(); if (rmCardinality.getLower().compareTo(actualCardinality.getLower()) > 0) { //VCACA actual lower cardinality lower than allowed ValidationError error = new ValidationError(ErrorType.VCACA, null, cattr.path(), getIntervalFormalString(actualCardinality), getIntervalFormalString(rmCardinality)); errors.add(error); //attribute items in object node at /items cardinality 0..* does not conform to cardinality >=1 in reference model } else if (rmCardinality.getLower().compareTo(actualCardinality.getLower()) == 0) { //WCACA the same...can we do this ... is this not simply ok??? as default is set } if (!rmCardinality.isUpperUnbounded()) { if (actualCardinality.isUpperUnbounded() || (rmCardinality.getUpper().compareTo(actualCardinality.getUpper()) < 0)) { //VCACA upper too high ... this may e.g. occur for cardinality of credentials in demographics archetypes ValidationError error = new ValidationError(ErrorType.VCACA, null, cattr.path(), getIntervalFormalString(actualCardinality), getIntervalFormalString(rmCardinality)); errors.add(error); } else if (rmCardinality.getUpper().compareTo(actualCardinality.getUpper()) == 0) { //WCACA } } }
cma.getCardinality().getInterval().setLower(newOccurrences.getLower());
((CMultipleAttribute) cattr).getCardinality().getInterval(); if (!cardinalityInterval.isUpperUnbounded() && (cobj.getOccurrences().isUpperUnbounded()
(cmattr).getCardinality().getInterval();