.. java:import:: fr.inria.tapenade.utils ILLang

.. java:import:: fr.inria.tapenade.utils TapPair

.. java:import:: fr.inria.tapenade.utils Tree

LabelTypeSpec
=============

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

.. java:type:: final class LabelTypeSpec extends TypeSpec

   A type for special procedure arguments that are indeed labels e.g. addresses after return from the procedure.

Constructors
------------
LabelTypeSpec
^^^^^^^^^^^^^

.. java:constructor:: public LabelTypeSpec()
   :outertype: LabelTypeSpec

   Create a new label type.

Methods
-------
baseTypeName
^^^^^^^^^^^^

.. java:method:: @Override protected String baseTypeName()
   :outertype: LabelTypeSpec

copyStopOnComposite
^^^^^^^^^^^^^^^^^^^

.. java:method:: @Override public TypeSpec copyStopOnComposite(Unit publishedUnit)
   :outertype: LabelTypeSpec

dump
^^^^

.. java:method:: @Override public void dump() throws java.io.IOException
   :outertype: LabelTypeSpec

generateTree
^^^^^^^^^^^^

.. java:method:: @Override public Tree generateTree(SymbolTable symbolTable, TapList<SymbolDecl> dependsOn, TapList<SymbolDecl> shortNames, boolean useShortNames, TapList<TypeSpec> dejaVu)
   :outertype: LabelTypeSpec

showType
^^^^^^^^

.. java:method:: @Override public String showType()
   :outertype: LabelTypeSpec

testComparesWith
^^^^^^^^^^^^^^^^

.. java:method:: @Override protected boolean testComparesWith(TypeSpec other, int comparison, TypeSpec toThis, TypeSpec toOther, TapList<TapPair<TypeSpec, TypeSpec>> dejaVu)
   :outertype: LabelTypeSpec

toString
^^^^^^^^

.. java:method:: @Override public String toString()
   :outertype: LabelTypeSpec