public class CollectionTypeConstant extends TypeConstant implements Collection
| Constructor and Description |
|---|
CollectionTypeConstant(java.lang.String name,
Type type) |
| Modifier and Type | Method and Description |
|---|---|
Type |
baseType()
Returns the base type's value; that is, the current type binding of the
collection's elements.
|
Type |
baseTypeRef()
Returns the undereferenced base type.
|
byte |
kind()
This returns the value identifying what kind of type this is.
|
int |
numberOfTypeComponents()
Returns the number of type components making up this type.
|
void |
setTypeRefComponent(int n,
Type type)
Sets the n-th undereferenced type component of this type to the specified type;
throws a NoSuchTypeComponentException otherwise.
|
Type |
typeRefComponent(int n)
Returns the n-th undereferenced type component in this type, if any; throws a
NoSuchTypeComponentException otherwise.
|
boolean |
unify(Type type)
This unifies this type with the specified type with no possibility of undoing any
effects.
|
void |
unify(Type type,
TypeChecker typeChecker)
This unifies this type with the specified type in the context
of the specified TypeChecker.
|
isBoxedType, isEqualTo, isEqualTo, setShadowType, shadowType, sort, toStringactualType, array, array, BOOLEAN, BOXED_BOOLEAN, BOXED_CHAR, BOXED_INT, BOXED_REAL, boxSort, CHAR, checkOccurrence, copy, copy, curry, equals, findValue, flatten, getParameters, getParameters, getValue, instantiate, INT, is, isBag, isBoolean, isChar, isCollection, isGlobalUnsafe, isInt, isList, isPolymorphic, isPrimitive, isReal, isSet, isString, isVoid, kindString, rank, REAL, resetNames, setBoxed, standardize, toFullString, toQuantifiedString, toQuantifiedString, typeComponent, unwrapper, value, wrapperpublic CollectionTypeConstant(java.lang.String name,
Type type)
public final int numberOfTypeComponents()
TypenumberOfTypeComponents in class TypeConstantpublic final Type typeRefComponent(int n) throws NoSuchTypeComponentException
TypetypeRefComponent in class TypeConstantNoSuchTypeComponentExceptionpublic final void setTypeRefComponent(int n,
Type type)
throws NoSuchTypeComponentException
TypesetTypeRefComponent in class TypeConstantNoSuchTypeComponentExceptionpublic final byte kind()
Typekind in class TypeConstantpublic Type baseTypeRef()
baseTypeRef in interface CollectionbaseTypeRef in class Typepublic Type baseType()
baseType in interface CollectionbaseType in class Typepublic final void unify(Type type, TypeChecker typeChecker) throws FailedUnificationException
Typeunify in class TypeConstantFailedUnificationExceptionpublic final boolean unify(Type type)
Typeunify in class TypeConstant