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

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

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

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

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

CallArrow
=========

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

.. java:type:: public final class CallArrow

   One arrow in the CallGraph.

Fields
------
coversFurther
^^^^^^^^^^^^^

.. java:field:: public BoolVector coversFurther
   :outertype: CallArrow

   Elementary formal arguments that are at a leaf of their complete formal arg structure. Related to the question of mismatchnig types of formal and actual arg.

destination
^^^^^^^^^^^

.. java:field:: public Unit destination
   :outertype: CallArrow

   destination Unit of this CallArrow.

origin
^^^^^^

.. java:field:: public Unit origin
   :outertype: CallArrow

   Origin Unit of this CallArrow.

translator
^^^^^^^^^^

.. java:field:: public PublicInfo[] translator
   :outertype: CallArrow

   The zone translator, which is the necessary information to convert the zones numbering of the callee into that of the caller.

Constructors
------------
CallArrow
^^^^^^^^^

.. java:constructor:: protected CallArrow(Unit origin, Unit destination)
   :outertype: CallArrow

   Creates a new CallArrow from origin Unit to destination Unit.

Methods
-------
addKind
^^^^^^^

.. java:method:: protected void addKind(int newKind)
   :outertype: CallArrow

computeCallTranslatorElem
^^^^^^^^^^^^^^^^^^^^^^^^^

.. java:method:: protected static PublicInfo computeCallTranslatorElem(ZoneInfo zoneInfo, Unit destination, Unit origin)
   :outertype: CallArrow

computeTranslator
^^^^^^^^^^^^^^^^^

.. java:method:: protected void computeTranslator()
   :outertype: CallArrow

   Once the CallArrow between a origin and destination Units is created, AND the zone numbering is sorted out, this method computes the translator, i.e. the mapping of the zones numbers between the callee (destination) and the caller (origin).

delKind
^^^^^^^

.. java:method:: protected void delKind(int k)
   :outertype: CallArrow

delete
^^^^^^

.. java:method:: protected void delete()
   :outertype: CallArrow

   Deletes this CallArrow.

destination
^^^^^^^^^^^

.. java:method:: public Unit destination()
   :outertype: CallArrow

   :return: the destination Unit of this CallArrow.

followsDirections
^^^^^^^^^^^^^^^^^

.. java:method:: protected boolean followsDirections(int callsDir, int importsDir, int containsDir, TapList<Unit> forwardDeclarationUnits)
   :outertype: CallArrow

isCall
^^^^^^

.. java:method:: public boolean isCall()
   :outertype: CallArrow

   :return: True if this arrow is a CALL.

isContain
^^^^^^^^^

.. java:method:: public boolean isContain()
   :outertype: CallArrow

   :return: True if this arrow is a CONTAINS.

isImport
^^^^^^^^

.. java:method:: public boolean isImport()
   :outertype: CallArrow

   :return: True if this arrow is an IMPORT.

origin
^^^^^^

.. java:method:: public Unit origin()
   :outertype: CallArrow

   :return: the origin Unit of this CallArrow.

redirectDestination
^^^^^^^^^^^^^^^^^^^

.. java:method:: protected void redirectDestination(Unit unit)
   :outertype: CallArrow

   Redirects the destination of this CallArrow to "unit". If unit==null, this disconnects this CallArrow from its destination.

redirectOrigin
^^^^^^^^^^^^^^

.. java:method:: protected void redirectOrigin(Unit unit)
   :outertype: CallArrow

   Redirects the origin of this CallArrow to "unit". If unit==null, this disconnects this CallArrow from its origin.

setContain
^^^^^^^^^^

.. java:method:: public void setContain(boolean contain)
   :outertype: CallArrow

setImport
^^^^^^^^^

.. java:method:: public void setImport(boolean anImport)
   :outertype: CallArrow

setSrcCallName
^^^^^^^^^^^^^^

.. java:method:: protected void setSrcCallName(String calledName)
   :outertype: CallArrow

   Sets the original name used in the statement that calls this CallArrow.

setTimes
^^^^^^^^

.. java:method:: protected void setTimes(int times)
   :outertype: CallArrow

srcCallName
^^^^^^^^^^^

.. java:method:: public String srcCallName()
   :outertype: CallArrow

takesArgumentByValue
^^^^^^^^^^^^^^^^^^^^

.. java:method:: public boolean takesArgumentByValue(int parameterRank)
   :outertype: CallArrow

   :param parameterRank: from 1 to nbArgs.
   :return: true if this CallArrow passes arguments by value.

times
^^^^^

.. java:method:: protected int times()
   :outertype: CallArrow

   :return: Number of times the caller calls the callee (textual occurrences of call).

toString
^^^^^^^^

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

translator
^^^^^^^^^^

.. java:method:: public PublicInfo[] translator()
   :outertype: CallArrow

   :return: the zone translator, which is the necessary information to convert the zones numbering of the callee into that of the caller.