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

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

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

ClassTypeSpec
=============

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

.. java:type:: public class ClassTypeSpec extends TypeSpec

   A type for classes.

Fields
------
unit
^^^^

.. java:field:: public Unit unit
   :outertype: ClassTypeSpec

   Unit of this class.

Constructors
------------
ClassTypeSpec
^^^^^^^^^^^^^

.. java:constructor:: public ClassTypeSpec(Unit unit)
   :outertype: ClassTypeSpec

Methods
-------
baseTypeName
^^^^^^^^^^^^

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

copy
^^^^

.. java:method:: @Override public TypeSpec copy()
   :outertype: ClassTypeSpec

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

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

dump
^^^^

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

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

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

showType
^^^^^^^^

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

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

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

toString
^^^^^^^^

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