protected void renderSingleExplanation(final Set<OWLAxiom> explanation) { _writer.printSpace(); _writer.printSpace(); _writer.printSpace(); _writer.startBlock(); for (final OWLAxiom a : explanation) { a.accept(_renderer); _writer.println(); } _writer.endBlock(); _writer.println(); }
/** * {@inheritDoc} */ @Override public void endRendering() { _writer.flush(); }
@Override public void printSpace() { super.print(" "); }
protected void writeNaryKeyword(final Keyword theKeyword, Stream<? extends OWLObject> theObjects) { final Iterator<? extends OWLObject> aIter = theObjects.sorted().iterator(); // write( "(" ); if (_smartIndent) _writer.startBlock(); write(aIter.next()); while (aIter.hasNext()) { if (_wrapLines) writeNewLine(); else writeSpace(); if (theKeyword != null) { write(theKeyword); writeSpace(); } write(aIter.next()); } if (_smartIndent) _writer.endBlock(); // write( ")" ); }
/** * {@inheritDoc} */ @Override public void render(final OWLAxiom axiom, final Set<Set<OWLAxiom>> explanations) throws OWLException, IOException { setCurrentAxiom(axiom); if (_index == 1) { if (axiom != null) { _writer.print("Axiom: "); axiom.accept(_renderer); _writer.println(); _writer.println(); } if (explanations.isEmpty()) { _writer.println("Explanation: AXIOM IS NOT ENTAILED!"); return; } _writer.println("Explanation(s): "); } final String header = _index++ + ")"; _writer.print(header); renderSingleExplanation(explanations.iterator().next()); _writer.println(); }
/** * {@inheritDoc} */ @Override public void write(final int c) { super.write(c); _column += 1; }
/** * {@inheritDoc} */ @Override public void write(final char[] buf, final int off, final int len) { // do the preprocessing startNewLine(); // do the write super.write(buf, off, len); }
@Override public void println() { super.println(); _column = 0; }
protected void writeNaryKeyword(final Keyword theKeyword, Stream<? extends OWLObject> theObjects) { final Iterator<? extends OWLObject> aIter = theObjects.sorted().iterator(); // write( "(" ); if (_smartIndent) _writer.startBlock(); write(aIter.next()); while (aIter.hasNext()) { if (_wrapLines) writeNewLine(); else writeSpace(); if (theKeyword != null) { write(theKeyword); writeSpace(); } write(aIter.next()); } if (_smartIndent) _writer.endBlock(); // write( ")" ); }
/** * {@inheritDoc} */ @Override public void render(final OWLAxiom axiom, final Set<Set<OWLAxiom>> explanations) throws OWLException, IOException { setCurrentAxiom(axiom); if (_index == 1) { if (axiom != null) { _writer.print("Axiom: "); axiom.accept(_renderer); _writer.println(); _writer.println(); } if (explanations.isEmpty()) { _writer.println("Explanation: AXIOM IS NOT ENTAILED!"); return; } _writer.println("Explanation(s): "); } final String header = _index++ + ")"; _writer.print(header); renderSingleExplanation(explanations.iterator().next()); _writer.println(); }
/** * {@inheritDoc} */ @Override public void write(final String s, final int off, final int len) { super.write(s, off, len); _column += len; } }
/** * {@inheritDoc} */ @Override public void write(final String s, final int off, final int len) { // do the preprocessing startNewLine(); // do the write super.write(s, off, len); }
@Override public void println() { super.println(); _column = 0; }
protected void renderSingleExplanation(final Set<OWLAxiom> explanation) { _writer.printSpace(); _writer.printSpace(); _writer.printSpace(); _writer.startBlock(); for (final OWLAxiom a : explanation) { a.accept(_renderer); _writer.println(); } _writer.endBlock(); _writer.println(); }
protected void writeNaryKeyword(final Keyword theKeyword, Stream<? extends OWLObject> theObjects) { final Iterator<? extends OWLObject> aIter = theObjects.sorted().iterator(); // write( "(" ); if (_smartIndent) _writer.startBlock(); write(aIter.next()); while (aIter.hasNext()) { if (_wrapLines) writeNewLine(); else writeSpace(); if (theKeyword != null) { write(theKeyword); writeSpace(); } write(aIter.next()); } if (_smartIndent) _writer.endBlock(); // write( ")" ); }
/** * {@inheritDoc} */ @Override public void render(final OWLAxiom axiom, final Set<Set<OWLAxiom>> explanations) throws OWLException, IOException { setCurrentAxiom(axiom); if (_index == 1) { if (axiom != null) { _writer.print("Axiom: "); axiom.accept(_renderer); _writer.println(); _writer.println(); } if (explanations.isEmpty()) { _writer.println("Explanation: AXIOM IS NOT ENTAILED!"); return; } _writer.println("Explanation(s): "); } final String header = _index++ + ")"; _writer.print(header); renderSingleExplanation(explanations.iterator().next()); _writer.println(); }
/** * {@inheritDoc} */ @Override public void write(final int c) { super.write(c); _column += 1; }
/** * {@inheritDoc} */ @Override public void write(final int c) { // do the preprocessing startNewLine(); // do the write super.write(c); }
@Override public void println() { super.println(); _column = 0; }
@Override public void printSpace() { super.print(" "); }