| java.lang.Object
 mlsub.typing.TypeConstructor
| TypeConstructor | | public TypeConstructor(String name, AtomicKind v, boolean concrete, boolean rigid)(Code) | | Creates a TypeConstructor.
A concrete TC is a TC that can tag runtime objects.
|
| TypeConstructor | | public TypeConstructor(String name)(Code) | | Creates a non rigid type constructor.
|
| TypeConstructor | | public TypeConstructor(AtomicKind v)(Code) | | Creates an anonymous non-concrete TypeConstructor with a known variance.
|
| discard | | public void discard()(Code) | | |
| isConcrete | | public boolean isConcrete()(Code) | | |
| isExistential | | public boolean isExistential()(Code) | | |
| isMinimal | | public boolean isMinimal()(Code) | | |
| isRigid | | final public boolean isRigid()(Code) | | |
| setId | | public void setId(int value)(Code) | | |
| setMinimal | | public void setMinimal()(Code) | | |
| setVariance | | public void setVariance(AtomicKind v)(Code) | | Tell which variance this TypeConstructor has.
Can be called from ImplementsCst.
|
| toString | | public String toString(Monotype[] parameters)(Code) | | Create a string representing the monotype build by application
of this type constructor to the given parameters.
This default implementation returns "tc".
It should be overriden by type constructors that print differently.
For instance, the array tape constructor could return "p1[]".
Parameters:
parameters - the type parameters the representation of the monotype |
| toString | | public String toString(Monotype[] parameters, boolean isNull, String suffix)(Code) | | Print the monotype when it can be null.
|
|
|