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
IndexExporterexportReadableToStream in interface IndexExporterout - 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
IndexExporterexportFormalToWriter in interface IndexExporterout - The print writer that the index will be sent to.IOException - if an IOException occurs in the underlying PrintWriter.