@Override public void visit(final OWLDataExactCardinality theDescription) { writeCardinalityRestriction(theDescription, Keyword.EXACTLY); }
@Override public void visit(final OWLSubPropertyChainOfAxiom theAxiom) { writeCollection(theAxiom.getPropertyChain(), " o", false); writeSpace(); write(Keyword.SUB_PROPERTY_OF); writeSpace(); write(theAxiom.getSuperProperty()); }
protected void writeEnumeration(final Stream<? extends OWLObject> objects) { write(Keyword.OPEN_BRACE); writeCollection(objects, ",", true); write(Keyword.CLOSE_BRACE); }
protected void writeKeywordPrefix(final Keyword keyword, final OWLObject arg) { write(keyword); writeSpace(); // write( "(" ); write(arg); // write( ")" ); }
/** * {@inheritDoc} */ @Override public void startRendering(final Writer w) { _writer = new TextBlockWriter(w); _renderer = new ManchesterSyntaxObjectRenderer(this._writer); _renderer.setWrapLines(isWrapLines()); _renderer.setSmartIndent(isSmartIndent()); _index = 1; } }
protected void assertRendering(final String expected, final OWLObject obj) { final StringWriter sw = new StringWriter(); final ManchesterSyntaxObjectRenderer renderer = new ManchesterSyntaxObjectRenderer(new TextBlockWriter(sw)); obj.accept(renderer); final String actual = sw.toString(); assertEquals(expected, actual); }
/** * {@inheritDoc} */ @Override public void visit(final OWLSubAnnotationPropertyOfAxiom theAxiom) { writeKeywordInfix(Keyword.SUB_PROPERTY_OF, theAxiom.getSubProperty(), theAxiom.getSuperProperty()); }
@Override public void visit(final OWLDisjointUnionAxiom theAxiom) { write(theAxiom.getOWLClass()); writeSpace(); write(Keyword.DISJOINT_UNION); writeSpace(); writeNaryKeyword(Keyword.OR, theAxiom.classExpressions()); }
@Override public void visit(final OWLDeclarationAxiom theAxiom) { writeKeywordPrefix(Keyword.DECLARATION, theAxiom.getEntity()); }
/** * {@inheritDoc} */ @Override public void visit(final IRI iri) { write(iri); } }
protected void writeEnumeration(final Set<? extends OWLObject> objects) { writeEnumeration(objects.stream()); }
protected void writeCollection(Collection<? extends OWLObject> objects, final String separator, final boolean sort) { writeCollection(objects.stream(), separator, sort); }
/** * {@inheritDoc} */ @Override public void startRendering(final Writer w) { _writer = new TextBlockWriter(w); _renderer = new ManchesterSyntaxObjectRenderer(this._writer); _renderer.setWrapLines(isWrapLines()); _renderer.setSmartIndent(isSmartIndent()); _index = 1; } }
final ManchesterSyntaxObjectRenderer renderer = new ManchesterSyntaxObjectRenderer(writer); writer.println(); for (final OWLAxiom axiom : nonEntailments)
@Override public void visit(final OWLDataPropertyDomainAxiom theAxiom) { writeKeywordInfix(Keyword.DOMAIN, theAxiom.getProperty(), theAxiom.getDomain()); }
protected void writeKeywordPrefix(final Keyword keyword, final OWLObject arg1, final OWLObject arg2) { write(keyword); writeSpace(); write("("); write(arg1); writeSpace(); write(arg2); write(")"); }
@Override public void visit(final OWLDeclarationAxiom theAxiom) { writeKeywordPrefix(Keyword.DECLARATION, theAxiom.getEntity()); }
protected void writeSpace() { write(" "); }
protected void writeEnumeration(final Stream<? extends OWLObject> objects) { write(Keyword.OPEN_BRACE); writeCollection(objects, ",", true); write(Keyword.CLOSE_BRACE); }