Java OWLDataOneOf.getValues Examples

Example #1

File: OWL2ELProfile.java Project: j3w7/replica-framework

 public Object visit(OWLDataOneOf node) {
   if (node.getValues().size() != 1) {
     profileViolations.add(
         new UseOfDataOneOfWithMultipleLiterals(getCurrentOntology(), getCurrentAxiom(), node));
   }
   return null;
 }

Example #2

File: LatexObjectVisitor.java Project: JPuritscher/owlapi

 @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();
     }
   }
 }

Example #3

File: OWLObjectDuplicator.java Project: rita-zgheib/owl-api

 @Override
 public void visit(OWLDataOneOf node) {
   Set<OWLLiteral> vals = duplicateSet(node.getValues());
   obj = dataFactory.getOWLDataOneOf(vals);
 }

Example #4

File: OWLObjectComponentCollector.java Project: JPuritscher/owlapi

 @Override
 public void visit(OWLDataOneOf node) {
   handleObject(node);
   process(node.getValues());
 }

Example #5

File: OWLAnonymousIndividualsWithMultipleOccurrences.java Project: Orphanet/java_ORDO

 public void visit(OWLDataOneOf node) {
   for (OWLLiteral val : node.getValues()) {
     val.accept(this);
   }
 }