@Override default int initHashCode() { int hash = hashIndex(); hash = OWLObject.hashIteration(hash, getProperty().hashCode()); return OWLObject.hashIteration(hash, getFiller().hashCode()); }
@Override public boolean equals(Object obj) { if (super.equals(obj)) { if (!(obj instanceof OWLHasValueRestriction<?, ?, ?>)) { return false; } return ((OWLHasValueRestriction<?, ?, ?>) obj).getValue().equals(value); } return false; }
@Override default Stream<?> components() { return Stream.of(getProperty(), getFiller()); }
private void renderHasValueRestriction(OWLHasValueRestriction<?> restriction) { restriction.getProperty().accept(this); renderKeywordWithSpaces(ManchesterOWLSyntax.VALUE); restriction.getValue().accept(this); }
/** * @return the value * @deprecated use getFiller instead */ @Deprecated default V getValue() { return getFiller(); }
private void renderHasValueRestriction(OWLHasValueRestriction<?, ?, ?> restriction) { restriction.getProperty().accept(this); renderKeywordWithSpaces(ManchesterOWLSyntax.VALUE); restriction.getValue().accept(this); }
@Override default Stream<?> components() { return Stream.of(getProperty(), getFiller()); }
/** * @return the value * @deprecated use getFiller instead */ @Deprecated default V getValue() { return getFiller(); }
private void renderHasValueRestriction(OWLHasValueRestriction<?> restriction) { restriction.getProperty().accept(this); renderKeywordWithSpaces(ManchesterOWLSyntax.VALUE); restriction.getValue().accept(this); }
@Override default int initHashCode() { int hash = hashIndex(); hash = OWLObject.hashIteration(hash, getProperty().hashCode()); return OWLObject.hashIteration(hash, getFiller().hashCode()); }
@Override default Stream<?> components() { return Stream.of(getProperty(), getFiller()); }
/** * @return the value * @deprecated use getFiller instead */ @Deprecated default V getValue() { return getFiller(); }
public boolean equals(Object obj) { if (super.equals(obj)) { if (!(obj instanceof OWLHasValueRestriction)) { return false; } return ((OWLHasValueRestriction) obj).getValue().equals(value); } return false; }
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); }
@Override default int initHashCode() { int hash = hashIndex(); hash = OWLObject.hashIteration(hash, getProperty().hashCode()); return OWLObject.hashIteration(hash, getFiller().hashCode()); }
@Override public boolean equals(Object obj) { if (this == obj) { return true; } if (!super.equals(obj)) { return false; } if (!(obj instanceof OWLHasValueRestriction<?>)) { return false; } return ((OWLHasValueRestriction<?>) obj).getFiller().equals(value); } }
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 <V extends OWLObject> void writeRestriction( @Nonnull OWLHasValueRestriction<V> restriction, @Nonnull OWLPropertyExpression p) { p.accept(this); write(VALUE); restriction.getFiller().accept(this); }
private void writeRestriction(OWLHasValueRestriction restriction) { restriction.getProperty().accept(this); write(VALUE); restriction.getValue().accept(this); }