Interface HTMLExportable

    • Method Detail

      • writeHTML

        void writeHTML​(ExportParameters parameters,
                       java.io.Writer writer)
                throws java.awt.print.PrinterException,
                       java.io.IOException,
                       IllegalActionException
        Export to HTML as given by the parameters. Implementers should write an "index.html" file plus any required supporting files in the directory given in the parameters. The caller is responsible for checking with the user whether any contents of the specified directory can be overwritten.
        Parameters:
        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.
        Throws:
        java.io.IOException - If unable to write any files.
        java.awt.print.PrinterException - If unable to write associated files.
        IllegalActionException - If something goes wrong.