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

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

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

VoidTypeSpec
============

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

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

   A "void" type, i.e. the type of "no expression".

Constructors
------------
VoidTypeSpec
^^^^^^^^^^^^

.. java:constructor:: public VoidTypeSpec()
   :outertype: VoidTypeSpec

   Create a new void type.

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

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

copy
^^^^

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

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

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

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: VoidTypeSpec

dump
^^^^

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

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

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

showType
^^^^^^^^

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

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

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

toString
^^^^^^^^

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