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

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

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

EnumTypeSpec
============

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

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

   An "enumeration" type.

Constructors
------------
EnumTypeSpec
^^^^^^^^^^^^

.. java:constructor:: public EnumTypeSpec(String name, Tree tree)
   :outertype: EnumTypeSpec

   Create a new enumeration type.

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

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

copy
^^^^

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

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

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

dump
^^^^

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

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

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

showType
^^^^^^^^

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

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

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

toString
^^^^^^^^

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