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

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

EntryBlock
==========

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

.. java:type:: public final class EntryBlock extends Block

   Special Block at the entry of a Unit.

Constructors
------------
EntryBlock
^^^^^^^^^^

.. java:constructor:: public EntryBlock(SymbolTable symbolTable)
   :outertype: EntryBlock

   Creation, with the given "symbolTable" attached.

Methods
-------
cite
^^^^

.. java:method:: @Override public void cite() throws java.io.IOException
   :outertype: EntryBlock

   Prints a short reference to this EntryBlock onto TapEnv.curOutputStream().

headTree
^^^^^^^^

.. java:method:: public Tree headTree()
   :outertype: EntryBlock

   :return: the head Tree, which is the Unit's header tree.

initializedLocalZones
^^^^^^^^^^^^^^^^^^^^^

.. java:method:: public TapIntList initializedLocalZones()
   :outertype: EntryBlock

   :return: The list of zones that are considered initialized upon the Unit's entry.

maxEntryRank
^^^^^^^^^^^^

.. java:method:: public int maxEntryRank()
   :outertype: EntryBlock

   :return: the maximum rank of the entries for this EntryBlock. This is probably the same as the number of present entry arrows. This is useful for Units with many entries e.g. namespaces defined by parts.

setInitializedLocalZones
^^^^^^^^^^^^^^^^^^^^^^^^

.. java:method:: public void setInitializedLocalZones(TapIntList initializedLocalZones)
   :outertype: EntryBlock

   The list of zones that are considered initialized upon the Unit's entry.

toString
^^^^^^^^

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