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

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

.. java:import:: java.io IOException

.. java:import:: java.io OutputStream

TextPrinter
===========

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

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

   Prints text output file.

Constructors
------------
TextPrinter
^^^^^^^^^^^

.. java:constructor:: public TextPrinter(String toFileName) throws IOException
   :outertype: TextPrinter

TextPrinter
^^^^^^^^^^^

.. java:constructor:: public TextPrinter(OutputStream s)
   :outertype: TextPrinter

Methods
-------
messageRef
^^^^^^^^^^

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

newLine
^^^^^^^

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

printText
^^^^^^^^^

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

space
^^^^^

.. java:method:: @Override public void space(int nbSpaces) throws IOException
   :outertype: TextPrinter