@Override public void visit(OWLHasKeyAxiom axiom) { hashCode = 821; hashCode = hashCode * MULT + axiom.getClassExpression().hashCode(); hashCode = hashCode * MULT + axiom.getPropertyExpressions().hashCode(); }
@Override public void visit(OWLHasKeyAxiom axiom) { hashCode = primes[72]; hashCode = hashCode * MULT + axiom.getClassExpression().hashCode(); hashCode = hashCode * MULT + axiom.getPropertyExpressions().hashCode(); }
public void visit(OWLHasKeyAxiom axiom) { hashCode = 821; hashCode = hashCode * MULT + axiom.getClassExpression().hashCode(); hashCode = hashCode * MULT + axiom.getPropertyExpressions().hashCode(); }
public boolean equals(Object obj) { if(obj == this) { return true; } if(!(obj instanceof OWLHasKeyAxiom)) { return false; } OWLHasKeyAxiom other = (OWLHasKeyAxiom) obj; return expression.equals(other.getClassExpression()) && propertyExpressions.equals(other.getPropertyExpressions()) && other.getAnnotations().equals(getAnnotations()); } }
@Override public void visit(OWLHasKeyAxiom axiom) { OWLClassExpression classExpression = axiom.getClassExpression(); classExpression = expressionRenamer.rename(classExpression); Set<OWLPropertyExpression> propertyExpressions = axiom.getPropertyExpressions(); Set<OWLPropertyExpression> renamedPropertyExpressions = new HashSet<>(); for (OWLPropertyExpression owlPropertyExpression : propertyExpressions) { renamedPropertyExpressions.add(expressionRenamer.rename(owlPropertyExpression)); } renamedAxiom = df.getOWLHasKeyAxiom(classExpression, renamedPropertyExpressions); }
protected int compareObjectOfSameType(OWLObject object) { OWLHasKeyAxiom other = (OWLHasKeyAxiom) object; int diff = expression.compareTo(other.getClassExpression()); if (diff != 0) { return diff; } return compareSets(propertyExpressions, other.getPropertyExpressions()); }
@Override protected int compareObjectOfSameType(OWLObject object) { OWLHasKeyAxiom other = (OWLHasKeyAxiom) object; int diff = expression.compareTo(other.getClassExpression()); if (diff != 0) { return diff; } return compareSets(propertyExpressions, other.getPropertyExpressions()); }
@Override protected int compareObjectOfSameType(OWLObject object) { OWLHasKeyAxiom other = (OWLHasKeyAxiom) object; int diff = expression.compareTo(other.getClassExpression()); if (diff != 0) { return diff; } return compareSets(propertyExpressions, other.getPropertyExpressions()); }
@Override public void visit(@Nonnull OWLHasKeyAxiom axiom) { axiom.getClassExpression().accept(this); for (OWLPropertyExpression prop : axiom.getPropertyExpressions()) { prop.accept(this); } processAxiomAnnotations(axiom); }
protected OWLPropertySetEditor getObjectEditor() { final OWLPropertySetEditor editor = new OWLPropertySetEditor(getOWLEditorKit()); /* * Degenericized to be compatible with changing OWLAPI interfaces */ editor.setEditedObject((Set) getAxiom().getPropertyExpressions()); return editor; }
@Override public void visit(OWLHasKeyAxiom axiom) { axiom.getClassExpression().accept(this); for (OWLPropertyExpression<?, ?> prop : axiom.getPropertyExpressions()) { prop.accept(this); } processAxiomAnnotations(axiom); }
public void visit(OWLHasKeyAxiom axiom) { axiom.getClassExpression().accept(this); for (OWLPropertyExpression prop : axiom.getPropertyExpressions()) { prop.accept(this); } processAxiomAnnotations(axiom); }
protected OWLPropertySetEditor getObjectEditor() { final OWLPropertySetEditor editor = new OWLPropertySetEditor(getOWLEditorKit()); /* * Degenericized to be compatible with changing OWLAPI interfaces */ editor.setEditedObject((Set) getAxiom().getPropertyExpressions()); return editor; }
protected OWLPropertySetEditor getObjectEditor() { final OWLPropertySetEditor editor = new OWLPropertySetEditor(getOWLEditorKit()); /* * Degenericized to be compatible with changing OWLAPI interfaces */ editor.setEditedObject((Set) getAxiom().getPropertyExpressions()); return editor; }
protected OWLPropertySetEditor getObjectEditor() { final OWLPropertySetEditor editor = new OWLPropertySetEditor(getOWLEditorKit()); /* * Degenericized to be compatible with changing OWLAPI interfaces */ editor.setEditedObject((Set) getAxiom().getPropertyExpressions()); return editor; }
@Override public void visit(OWLHasKeyAxiom axiom) { axiom.getClassExpression().accept(this); for (OWLPropertyExpression<?, ?> prop : axiom.getPropertyExpressions()) { prop.accept(this); } processAxiomAnnotations(axiom); }
public void visit(OWLHasKeyAxiom axiom) { axiom.getClassExpression().accept(this); OWLClassExpression ce = (OWLClassExpression) obj; Set<OWLPropertyExpression> props = duplicateSet(axiom.getPropertyExpressions()); obj = dataFactory.getOWLHasKeyAxiom(ce, props, duplicateAxiomAnnotations(axiom)); }
@Override public void visit(OWLHasKeyAxiom axiom) { axiom.getClassExpression().accept(this); renderBinaryKeyword(HAS_KEY); renderCollection(axiom.getPropertyExpressions(), ", "); renderAxiomAnnotations(axiom); }
public void visit(OWLHasKeyAxiom axiom) { isEL = true; for (OWLPropertyExpression<?,?> prop : axiom.getPropertyExpressions()){ isEL = isEL && !(prop.isAnonymous()); } if (isEL){ ELClassExpressionVisitor classExpVisitor = new ELClassExpressionVisitor(); axiom.getClassExpression().accept(classExpVisitor); isEL = classExpVisitor.getIsEL(); } }
@Override public void visit(OWLHasKeyAxiom axiom) { write("HasKey"); axiom.getClassExpression().accept(this); for (OWLPropertyExpression<?, ?> p : axiom.getPropertyExpressions()) { writeSpace(); p.accept(this); } }