public static class RdfIndexExporter.RdfExporterMixin extends Object implements IndexExporter
Constructor and Description |
---|
RdfExporterMixin() |
Modifier and Type | Method and Description |
---|---|
void |
exportFormalToWriter(PrintWriter out)
Write the index to the provided print writer in an implementation specific, machine-readable format, preferably
either XML or JSON.
|
void |
exportReadableToStream(PrintStream out)
Write the index to the provided output stream in an implementation specific, human-readable format.
|
public void exportReadableToStream(PrintStream out) throws IOException
IndexExporter
exportReadableToStream
in interface IndexExporter
out
- The output stream that the index will be sent to.IOException
- if an IOException occurs in the underlying PrintStream.public void exportFormalToWriter(PrintWriter out) throws IOException
IndexExporter
exportFormalToWriter
in interface IndexExporter
out
- The print writer that the index will be sent to.IOException
- if an IOException occurs in the underlying PrintWriter.