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

LabelHeap
=========

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

.. java:type:: public final class LabelHeap

   Holds the heap of all known labels ("goto" labels).

Methods
-------
checkFormatLabel
^^^^^^^^^^^^^^^^

.. java:method:: public void checkFormatLabel(String label, Tree position)
   :outertype: LabelHeap

fuseLabelled
^^^^^^^^^^^^

.. java:method:: public void fuseLabelled(String label, Block fuseBlock, Tree position)
   :outertype: LabelHeap

   Look for Block labelled "label". If it exists, either complain for double definition or fuse it into "fuseBlock". Otherwise, let it be "fuseBlock".

getLabelled
^^^^^^^^^^^

.. java:method:: public Block getLabelled(String label)
   :outertype: LabelHeap

getSetLabelled
^^^^^^^^^^^^^^

.. java:method:: public Block getSetLabelled(String label, TapList<Block> allBlocks, boolean defines, Tree position)
   :outertype: LabelHeap

   :return: the unique Block designated by the "label". Creates this Block if necessary. "defines" is a flag indicating that this label is here defined (instead of used) In case of a redefinition of a label, the second definition is ignored, and this function returns null.

undefinedLabels
^^^^^^^^^^^^^^^

.. java:method:: public void undefinedLabels(Block exitBlock, SymbolTable symbolTable)
   :outertype: LabelHeap