.. java:import:: fr.inria.tapenade.representation TapEnv

.. java:import:: fr.inria.tapenade.representation TapList

.. java:import:: java.io IOException

.. java:import:: java.util Objects

HtmlPrinter
===========

.. java:package:: fr.inria.tapenade.prettyprint
   :noindex:

.. java:type:: public final class HtmlPrinter extends Printer

   Prints HTML output file.

Constructors
------------
HtmlPrinter
^^^^^^^^^^^

.. java:constructor:: public HtmlPrinter(String fileName, String targetName, String targetZone, String cssDir) throws IOException
   :outertype: HtmlPrinter

Methods
-------
closeFile
^^^^^^^^^

.. java:method:: @Override public void closeFile()
   :outertype: HtmlPrinter

defineAnchor
^^^^^^^^^^^^

.. java:method:: @Override public void defineAnchor(String ref)
   :outertype: HtmlPrinter

endAnchorRef
^^^^^^^^^^^^

.. java:method:: @Override public void endAnchorRef()
   :outertype: HtmlPrinter

hasAnchors
^^^^^^^^^^

.. java:method:: @Override public boolean hasAnchors()
   :outertype: HtmlPrinter

   Html output does manage anchors.

initFile
^^^^^^^^

.. java:method:: @Override public void initFile(int language)
   :outertype: HtmlPrinter

messageRef
^^^^^^^^^^

.. java:method:: @Override public void messageRef(TapList<String> msgTty, boolean showMsg, int language) throws IOException
   :outertype: HtmlPrinter

newLine
^^^^^^^

.. java:method:: @Override public void newLine() throws IOException
   :outertype: HtmlPrinter

printText
^^^^^^^^^

.. java:method:: @Override public void printText(String text, String kind)
   :outertype: HtmlPrinter

resetTargetNameAndZone
^^^^^^^^^^^^^^^^^^^^^^

.. java:method:: @Override public void resetTargetNameAndZone()
   :outertype: HtmlPrinter

setTargetNameAndZone
^^^^^^^^^^^^^^^^^^^^

.. java:method:: @Override public void setTargetNameAndZone(String name, String zone)
   :outertype: HtmlPrinter

space
^^^^^

.. java:method:: @Override public void space(int nbSpaces)
   :outertype: HtmlPrinter

startAnchorRef
^^^^^^^^^^^^^^

.. java:method:: @Override public void startAnchorRef(String ref)
   :outertype: HtmlPrinter