public interface HTMLExportable
Modifier and Type | Method and Description |
---|---|
void |
writeHTML(ExportParameters parameters,
java.io.Writer writer)
Export to HTML as given by the parameters.
|
void writeHTML(ExportParameters parameters, java.io.Writer writer) throws java.awt.print.PrinterException, java.io.IOException, IllegalActionException
parameters
- The parameters for the export.writer
- The writer to use the write the HTML. If this is null,
then the implementer should create an index.html file in the
directory given by the directoryToExportTo field of the parameters.java.io.IOException
- If unable to write any files.java.awt.print.PrinterException
- If unable to write associated files.IllegalActionException
- If something goes wrong.