public Object visit(OWLDataOneOf node) {
if (node.getValues().size() != 1) {
profileViolations.add(
new UseOfDataOneOfWithMultipleLiterals(getCurrentOntology(), getCurrentAxiom(), node));
}
return null;
}
@Override
public void visit(OWLDataOneOf node) {
for (Iterator<OWLLiteral> it = node.getValues().iterator(); it.hasNext(); ) {
writeOpenBrace();
it.next().accept(this);
writeCloseBrace();
if (it.hasNext()) {
writeSpace();
write(OR);
writeSpace();
}
}
}
public void visit(OWLDataOneOf node) {
try {
lastDataTypeExpressionPointer = owlDataRange2DataTypeExpressionPointerMap.get(node);
if (lastDataTypeExpressionPointer == null) {
List<DataValuePointer> pointers = new ArrayList<DataValuePointer>();
for (OWLConstant con : node.getValues()) {
con.accept(this);
pointers.add(getLastDataValuePointer());
}
faCTPlusPlus.initArgList();
for (DataValuePointer pointer : pointers) {
faCTPlusPlus.addArg(pointer);
}
faCTPlusPlus.closeArgList();
lastDataTypeExpressionPointer = faCTPlusPlus.getDataEnumeration();
owlDataRange2DataTypeExpressionPointerMap.put(node, lastDataTypeExpressionPointer);
dataTypeExpressionPointerMap.put(lastDataTypeExpressionPointer, node);
}
} catch (Exception e) {
throw new FaCTPlusPlusRuntimeException(e);
}
}
@Override
public void visit(OWLDataOneOf node) {
Set<OWLLiteral> vals = duplicateSet(node.getValues());
obj = dataFactory.getOWLDataOneOf(vals);
}
public void visit(OWLDataOneOf node) {
for (OWLLiteral val : node.getValues()) {
val.accept(this);
}
}
