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

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

.. java:import:: java.io File

.. java:import:: java.io FileWriter

.. java:import:: java.io IOException

.. java:import:: java.io OutputStream

.. java:import:: java.io OutputStreamWriter

Printer
=======

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

.. java:type:: public abstract class Printer

   Abstract class for Text or HTML printer.

Constructors
------------
Printer
^^^^^^^

.. java:constructor:: protected Printer(String toFileName) throws IOException
   :outertype: Printer

Printer
^^^^^^^

.. java:constructor:: protected Printer(OutputStream p)
   :outertype: Printer

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

.. java:method:: public void closeFile()
   :outertype: Printer

   Flush and close current OutputStreamWriter.

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

.. java:method:: public void defineAnchor(String ref)
   :outertype: Printer

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

.. java:method:: public void endAnchorRef()
   :outertype: Printer

hasAnchors
^^^^^^^^^^

.. java:method:: public boolean hasAnchors()
   :outertype: Printer

   :return: true if the target language contains html-like anchors.

initFile
^^^^^^^^

.. java:method:: public void initFile(int language)
   :outertype: Printer

messageRef
^^^^^^^^^^

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

   Print a Tapenade message in the generated file.

   :param msgTty: Tapenade error or warning message.
   :param showMsg: true with tapenade option -msginfile.
   :param language: used add comment delimiter before the message.
   :throws IOException: if an output error is detected.

newLine
^^^^^^^

.. java:method:: public abstract void newLine() throws IOException
   :outertype: Printer

printText
^^^^^^^^^

.. java:method:: public abstract void printText(String text, String kind) throws IOException
   :outertype: Printer

   :param kind: determines the graphical syntax highlighting (e.g. for HTML). Possible values are {"plain", "string", "constant", "comment", "keyword", "funcname", "typename", "label", "modifier", "vardecl"}

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

.. java:method:: public void resetTargetNameAndZone()
   :outertype: Printer

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

.. java:method:: public void setTargetNameAndZone(String name, String zone)
   :outertype: Printer

space
^^^^^

.. java:method:: public abstract void space(int nbSpaces) throws IOException
   :outertype: Printer

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

.. java:method:: public void startAnchorRef(String ref)
   :outertype: Printer

toFile
^^^^^^

.. java:method:: protected OutputStreamWriter toFile()
   :outertype: Printer