private void setAxiomWriting() { wrapSave = isUseWrapping(); tabSave = isUseTabbing(); setUseWrapping(false); setUseTabbing(false); }
private void setAxiomWriting() { wrapSave = isUseWrapping(); tabSave = isUseTabbing(); setUseWrapping(false); setUseTabbing(false); }
private void setAxiomWriting() { wrapSave = isUseWrapping(); tabSave = isUseTabbing(); setUseWrapping(false); setUseTabbing(false); }
private void setAxiomWriting() { wrapSave = isUseWrapping(); tabSave = isUseTabbing(); setUseWrapping(false); setUseTabbing(false); }
protected void write(Stream<? extends OWLObject> objects, ManchesterOWLSyntax delimeter, boolean newline) { int tab = getIndent(); pushTab(tab); Iterator<? extends OWLObject> it = objects.iterator(); while (it.hasNext()) { it.next().accept(this); if (it.hasNext()) { if (newline && isUseWrapping()) { writeNewLine(); } write(delimeter); } } popTab(); }
protected void write(Stream<? extends OWLObject> objects, ManchesterOWLSyntax delimeter, boolean newline) { int tab = getIndent(); pushTab(tab); Iterator<? extends OWLObject> it = objects.iterator(); while (it.hasNext()) { it.next().accept(this); if (it.hasNext()) { if (newline && isUseWrapping()) { writeNewLine(); } write(delimeter); } } popTab(); }
protected void write(Stream<? extends OWLObject> objects, ManchesterOWLSyntax delimeter, boolean newline) { int tab = getIndent(); pushTab(tab); Iterator<? extends OWLObject> it = objects.iterator(); while (it.hasNext()) { it.next().accept(this); if (it.hasNext()) { if (newline && isUseWrapping()) { writeNewLine(); } write(delimeter); } } popTab(); }
protected void write(Stream<? extends OWLObject> objects, ManchesterOWLSyntax delimeter, boolean newline) { int tab = getIndent(); pushTab(tab); Iterator<? extends OWLObject> it = objects.iterator(); while (it.hasNext()) { it.next().accept(this); if (it.hasNext()) { if (newline && isUseWrapping()) { writeNewLine(); } write(delimeter); } } popTab(); }
@Override public void visit(OWLObjectIntersectionOf ce) { boolean first = true; Iterator<? extends OWLObject> it = ce.operands().iterator(); while (it.hasNext()) { OWLObject desc = it.next(); if (!first) { if (isUseWrapping()) { writeNewLine(); } write(" ", AND, " "); } first = false; if (desc instanceof OWLAnonymousClassExpression) { write("("); } desc.accept(this); if (desc instanceof OWLAnonymousClassExpression) { write(")"); } } }
@Override public void visit(OWLObjectIntersectionOf ce) { boolean first = true; Iterator<? extends OWLObject> it = ce.operands().iterator(); while (it.hasNext()) { OWLObject desc = it.next(); if (!first) { if (isUseWrapping()) { writeNewLine(); } write(" ", AND, " "); } first = false; if (desc instanceof OWLAnonymousClassExpression) { write("("); } desc.accept(this); if (desc instanceof OWLAnonymousClassExpression) { write(")"); } } }
@Override public void visit(OWLObjectIntersectionOf ce) { boolean first = true; Iterator<? extends OWLObject> it = ce.operands().iterator(); while (it.hasNext()) { OWLObject desc = it.next(); if (!first) { if (isUseWrapping()) { writeNewLine(); } write(" ", AND, " "); } first = false; if (desc instanceof OWLAnonymousClassExpression) { write("("); } desc.accept(this); if (desc instanceof OWLAnonymousClassExpression) { write(")"); } } }
@Override public void visit(OWLObjectIntersectionOf ce) { boolean first = true; Iterator<? extends OWLObject> it = ce.operands().iterator(); while (it.hasNext()) { OWLObject desc = it.next(); if (!first) { if (isUseWrapping()) { writeNewLine(); } write(" ", AND, " "); } first = false; if (desc instanceof OWLAnonymousClassExpression) { write("("); } desc.accept(this); if (desc instanceof OWLAnonymousClassExpression) { write(")"); } } }