@Override
public void visit(OWLDataComplementOf node) {
node.getDataRange().accept(this);
OWLDataRange dr = (OWLDataRange) obj;
obj = dataFactory.getOWLDataComplementOf(dr);
}
@Override
public void visit(OWLDataComplementOf node) {
handleObject(node);
node.getDataRange().accept(this);
}
// ///////////////////////////////////////////////////////////////////////////////////////////////////////////
//
// Data visitor
//
// ///////////////////////////////////////////////////////////////////////////////////////////////////////////
public void visit(OWLDataComplementOf node) {
node.getDataRange().accept(this);
}
@Override
protected int compareObjectOfSameType(OWLObject object) {
OWLDataComplementOf other = (OWLDataComplementOf) object;
return getDataRange().compareTo(other.getDataRange());
}
// ////////////////////////////////////////////////////////////////////////////////////////////////
@Override
public void visit(OWLDataComplementOf node) {
write(NOT);
writeNested(node.getDataRange());
}
