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

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

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

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

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

PointerTypeSpec
===============

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

.. java:type:: public final class PointerTypeSpec extends TypeSpec

   A "pointer" type, to some destination type.

Fields
------
destinationType
^^^^^^^^^^^^^^^

.. java:field:: public WrapperTypeSpec destinationType
   :outertype: PointerTypeSpec

   The pointer destination type.

offsetLength
^^^^^^^^^^^^

.. java:field:: public ArrayDim offsetLength
   :outertype: PointerTypeSpec

   When this pointer type actually means a C array type, the dimension of this array.

subAccess
^^^^^^^^^

.. java:field:: protected TapList<String> subAccess
   :outertype: PointerTypeSpec

   Access info on this destination e.g. "const" etc.

Constructors
------------
PointerTypeSpec
^^^^^^^^^^^^^^^

.. java:constructor:: public PointerTypeSpec(WrapperTypeSpec destinationType, ArrayDim offsetLength)
   :outertype: PointerTypeSpec

   Create a new pointer type to destination type, possibly with a C array dimension.

Methods
-------
acceptsMultiDirDimension
^^^^^^^^^^^^^^^^^^^^^^^^

.. java:method:: @Override public boolean acceptsMultiDirDimension()
   :outertype: PointerTypeSpec

addDiffTypeSpec
^^^^^^^^^^^^^^^

.. java:method:: @Override protected void addDiffTypeSpec(SymbolTable symbolTable, SymbolTable srcSymbolTable)
   :outertype: PointerTypeSpec

baseTypeName
^^^^^^^^^^^^

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

baseTypeSpec
^^^^^^^^^^^^

.. java:method:: @Override public WrapperTypeSpec baseTypeSpec(boolean stopOnPointer)
   :outertype: PointerTypeSpec

buildConstantZero
^^^^^^^^^^^^^^^^^

.. java:method:: @Override public Tree buildConstantZero()
   :outertype: PointerTypeSpec

checkTypeSpecValidity
^^^^^^^^^^^^^^^^^^^^^

.. java:method:: @Override protected boolean checkTypeSpecValidity(TapList<TypeSpec> dejaVu)
   :outertype: PointerTypeSpec

computeSize
^^^^^^^^^^^

.. java:method:: @Override protected int computeSize()
   :outertype: PointerTypeSpec

containsAPointer
^^^^^^^^^^^^^^^^

.. java:method:: @Override public boolean containsAPointer()
   :outertype: PointerTypeSpec

containsMetaType
^^^^^^^^^^^^^^^^

.. java:method:: @Override protected boolean containsMetaType(TapList<TypeSpec> dejaVu)
   :outertype: PointerTypeSpec

containsUnknownDimension
^^^^^^^^^^^^^^^^^^^^^^^^

.. java:method:: @Override public boolean containsUnknownDimension()
   :outertype: PointerTypeSpec

copy
^^^^

.. java:method:: @Override public PointerTypeSpec copy()
   :outertype: PointerTypeSpec

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

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

cumulActiveParts
^^^^^^^^^^^^^^^^

.. java:method:: @Override protected void cumulActiveParts(TapList diffInfos, SymbolTable symbolTable)
   :outertype: PointerTypeSpec

differentiateTypeSpec
^^^^^^^^^^^^^^^^^^^^^

.. java:method:: @Override public WrapperTypeSpec differentiateTypeSpec(SymbolTable symbolTable, SymbolTable srcSymbolTable, int diffUnitSort, String fSuffix, boolean localDecl, boolean multiDirMode, ArrayDim multiDirDimensionMax, String hintArrayNameInText, String hintArrayNameInIdent, Tree hintArrayNameTree, Tree nameTree)
   :outertype: PointerTypeSpec

dump
^^^^

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

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

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

intToReal
^^^^^^^^^

.. java:method:: @Override public TypeSpec intToReal(TapList<TapPair<TypeSpec, TypeSpec>> dejaVu, SymbolTable symbolTable)
   :outertype: PointerTypeSpec

isAnIOTypeSpec
^^^^^^^^^^^^^^

.. java:method:: @Override protected boolean isAnIOTypeSpec(SymbolTable symbolTable)
   :outertype: PointerTypeSpec

isDifferentiated
^^^^^^^^^^^^^^^^

.. java:method:: @Override public boolean isDifferentiated(TapList<TypeSpec> dejaVu)
   :outertype: PointerTypeSpec

isInFactArray
^^^^^^^^^^^^^

.. java:method:: public boolean isInFactArray()
   :outertype: PointerTypeSpec

   :return: true if this PointerTypeSpec is a C array type.

isPointer
^^^^^^^^^

.. java:method:: @Override public boolean isPointer()
   :outertype: PointerTypeSpec

localize
^^^^^^^^

.. java:method:: @Override protected TypeSpec localize(TapList<TapTriplet<TypeSpec, TypeSpec, Boolean>> toAlreadyCopied, ToBool containsMeta)
   :outertype: PointerTypeSpec

modifiedBaseTypeSpec
^^^^^^^^^^^^^^^^^^^^

.. java:method:: @Override public WrapperTypeSpec modifiedBaseTypeSpec()
   :outertype: PointerTypeSpec

needsADiffType
^^^^^^^^^^^^^^

.. java:method:: @Override public boolean needsADiffType(TapList<TypeSpec> dejaVu)
   :outertype: PointerTypeSpec

nestedLevelType
^^^^^^^^^^^^^^^

.. java:method:: @Override public TypeSpec nestedLevelType()
   :outertype: PointerTypeSpec

peelPointer
^^^^^^^^^^^

.. java:method:: @Override protected TypeSpec peelPointer()
   :outertype: PointerTypeSpec

pointerToArrayTypeSpec
^^^^^^^^^^^^^^^^^^^^^^

.. java:method:: protected ArrayTypeSpec pointerToArrayTypeSpec()
   :outertype: PointerTypeSpec

   :return: the ArrayTypeSpec if this PointerTypeSpec is a C array type.

preciseDimensions
^^^^^^^^^^^^^^^^^

.. java:method:: @Override public TypeSpec preciseDimensions(TypeSpec complementType, TapList<TapPair<TypeSpec, TypeSpec>> dejaVu, SymbolTable symbolTable)
   :outertype: PointerTypeSpec

realToComplex
^^^^^^^^^^^^^

.. java:method:: @Override protected TypeSpec realToComplex(TapList<TapPair<TypeSpec, TypeSpec>> dejaVu, WrapperTypeSpec complexTypeSpec)
   :outertype: PointerTypeSpec

setWrappedType
^^^^^^^^^^^^^^

.. java:method:: @Override public void setWrappedType(TypeSpec type)
   :outertype: PointerTypeSpec

showType
^^^^^^^^

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

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

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

toString
^^^^^^^^

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

updateAfterImports
^^^^^^^^^^^^^^^^^^

.. java:method:: @Override public void updateAfterImports(SymbolTable symbolTable, TapList<TypeSpec> dejaVu)
   :outertype: PointerTypeSpec

weakenForInference
^^^^^^^^^^^^^^^^^^

.. java:method:: @Override protected TypeSpec weakenForInference(int comparison)
   :outertype: PointerTypeSpec

wrappedType
^^^^^^^^^^^

.. java:method:: @Override public TypeSpec wrappedType()
   :outertype: PointerTypeSpec