public abstract class AbstractGraalWriter extends AbstractWriter implements GraalWriter
Modifier | Constructor and Description |
---|---|
protected |
AbstractGraalWriter(Writer out,
AtomFactory atomFactory) |
Modifier and Type | Method and Description |
---|---|
AbstractGraalWriter |
write(Object... objects) |
AbstractGraalWriter |
write(Object o) |
protected void |
writeAtom(Atom atom) |
protected abstract void |
writeBottom() |
protected void |
writeCloseableIterable(CloseableIterable<?> it) |
protected void |
writeCloseableIterator(CloseableIterator<?> it) |
abstract AbstractGraalWriter |
writeComment(String comment) |
protected abstract void |
writeEquality(Term term,
Term term2) |
protected void |
writeIterable(Iterable<?> it) |
protected void |
writeIterator(Iterator<?> it) |
protected abstract void |
writeStandardAtom(Atom atom) |
close, flush, write, write, write, writeln, writeln, writeln
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
close, flush, write
close, flush, write
close, flush, write
close, flush, write
close, flush, write
protected AbstractGraalWriter(Writer out, AtomFactory atomFactory)
public abstract AbstractGraalWriter writeComment(String comment) throws IOException
writeComment
in interface Writer
IOException
public AbstractGraalWriter write(Object o) throws IOException
write
in interface GraalWriter
IOException
public AbstractGraalWriter write(Object... objects) throws IOException
write
in interface GraalWriter
IOException
protected void writeIterable(Iterable<?> it) throws IOException
IOException
protected void writeIterator(Iterator<?> it) throws IOException
IOException
protected void writeCloseableIterable(CloseableIterable<?> it) throws IOException
IOException
protected void writeCloseableIterator(CloseableIterator<?> it) throws IOException
IOException
protected final void writeAtom(Atom atom) throws IOException
IOException
protected abstract void writeStandardAtom(Atom atom) throws IOException
atom
- IOException
protected abstract void writeEquality(Term term, Term term2) throws IOException
term
- term2
- IOException
protected abstract void writeBottom() throws IOException
IOException
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.