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

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

PublicInfo
==========

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

.. java:type:: public final class PublicInfo

   Public memory zone information.

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

.. java:field:: public boolean coversFurther
   :outertype: PublicInfo

   Indicates that this formal argument is at a "leaf" of the formal structure of the corresponding formal parameter. Therefore, if the *actual* argument has a deeper structure at that location, it may be necessary to blur info on the sub-structure of the actual argument into a single info for this formal argument. Example: Suppose formal \ ``F(p)``\  has 2 formal args \ ``p``\  and \ ``*p``\ , formal arg \ ``*p``\  actually "covers further", so that if we have a call F(&obj) and obj is e.g. a \ ``*subtype``\  or a \ ``struct(float,float[],*subtype,...)``\ , then info on elements of obj is merged into the info on \ ``*p``\ . On the other hand, formal arg p does not "cover further", because there is \ ``*p``\  that takes care of that.

zone
^^^^

.. java:field:: public ZoneInfo zone
   :outertype: PublicInfo

   ZoneInfo of this PublicInfo.

Methods
-------
createDeclaredInfo
^^^^^^^^^^^^^^^^^^

.. java:method:: public static PublicInfo createDeclaredInfo(TapIntList ranks, TapIntList realRanks, TapIntList intRanks, TapIntList ptrRanks)
   :outertype: PublicInfo

createIdentityInfo
^^^^^^^^^^^^^^^^^^

.. java:method:: public static PublicInfo createIdentityInfo(ZoneInfo zone)
   :outertype: PublicInfo

createParameterInfo
^^^^^^^^^^^^^^^^^^^

.. java:method:: public static PublicInfo createParameterInfo(int rank, ZoneInfo zoneInfo, Unit destination, Unit origin)
   :outertype: PublicInfo

createResultInfo
^^^^^^^^^^^^^^^^

.. java:method:: public static PublicInfo createResultInfo(int rank, ZoneInfo zone)
   :outertype: PublicInfo

dump
^^^^

.. java:method:: public void dump() throws java.io.IOException
   :outertype: PublicInfo

getParamRank
^^^^^^^^^^^^

.. java:method:: public int getParamRank()
   :outertype: PublicInfo

getPublicZoneFromDeclaredZone
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

.. java:method:: public static int getPublicZoneFromDeclaredZone(PublicInfo[] translator, int declaredZone)
   :outertype: PublicInfo

   Given a zone number in the private internal numerotation of a procedure, returns the corresponding zone number in the public visible numerotation (PublicZone's). This makes sense only if the zone is visible from the outside (formal arg or global)

   :return: -1 if not found.

kind
^^^^

.. java:method:: public int kind()
   :outertype: PublicInfo

ranks
^^^^^

.. java:method:: public TapIntList ranks(int whichKind)
   :outertype: PublicInfo

   :return: the private zones (of kind "whichKind") for this PublicInfo.

toString
^^^^^^^^

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