public boolean equals(Object obj) { if (super.equals(obj)) { if (!(obj instanceof OWLHasValueRestriction)) { return false; } return ((OWLHasValueRestriction) obj).getValue().equals(value); } return false; }
@Override public boolean equals(Object obj) { if (super.equals(obj)) { if (!(obj instanceof OWLHasValueRestriction<?, ?, ?>)) { return false; } return ((OWLHasValueRestriction<?, ?, ?>) obj).getValue().equals(value); } return false; }
private void renderHasValueRestriction(OWLHasValueRestriction<?> restriction) { restriction.getProperty().accept(this); renderKeywordWithSpaces(ManchesterOWLSyntax.VALUE); restriction.getValue().accept(this); }
@Override final protected int compareObjectOfSameType(OWLObject object) { OWLHasValueRestriction<?, ?, ?> other = (OWLHasValueRestriction<?, ?, ?>) object; int diff = getProperty().compareTo(other.getProperty()); if (diff != 0) { return diff; } return value.compareTo(other.getValue()); } }
final protected int compareObjectOfSameType(OWLObject object) { OWLHasValueRestriction other = (OWLHasValueRestriction) object; int diff = getProperty().compareTo(other.getProperty()); if(diff != 0) { return diff; } return value.compareTo(other.getValue()); } }
private void writeRestriction(OWLHasValueRestriction restriction) { restriction.getProperty().accept(this); write(VALUE); restriction.getValue().accept(this); }
private void renderHasValueRestriction(OWLHasValueRestriction<?, ?, ?> restriction) { restriction.getProperty().accept(this); renderKeywordWithSpaces(ManchesterOWLSyntax.VALUE); restriction.getValue().accept(this); }
private void renderHasValueRestriction(OWLHasValueRestriction<?> restriction) { restriction.getProperty().accept(this); renderKeywordWithSpaces(ManchesterOWLSyntax.VALUE); restriction.getValue().accept(this); }
private <R extends OWLPropertyRange, P extends OWLPropertyExpression<R, P>, V extends OWLObject> void writeRestriction(OWLHasValueRestriction<R, P, V> restriction) { restriction.getProperty().accept(this); write(VALUE); restriction.getValue().accept(this); }
private void renderRestriction(OWLHasValueRestriction<?> ce, ManchesterOWLSyntax keyword) { ce.getProperty().accept(this); renderBinaryKeyword(keyword); increaseDepth(); renderBracketed(ce.getValue()); decreaseDepth(); }
private void writeValueRestriction(OWLHasValueRestriction restriction) { write(EXISTS); writeSpace(); restriction.getProperty().accept(this); writeRestrictionSeparator(); write("{"); restriction.getValue().accept(this); write("}"); }
private <R extends OWLPropertyRange, P extends OWLPropertyExpression<R, P>, V extends OWLObject> void writeValueRestriction(OWLHasValueRestriction<R, P, V> restriction) { write(EXISTS); writeSpace(); restriction.getProperty().accept(this); writeRestrictionSeparator(); write("{"); restriction.getValue().accept(this); write("}"); }