public abstract class StaticType extends Type
| Constructor and Description |
|---|
StaticType() |
actualType, array, array, baseType, baseTypeRef, BOOLEAN, BOXED_BOOLEAN, BOXED_CHAR, BOXED_INT, BOXED_REAL, boxSort, CHAR, checkOccurrence, copy, copy, curry, eqCode, equals, findValue, flatten, getParameters, getParameters, getValue, instantiate, INT, is, isBag, isBoolean, isBoxedType, isChar, isCollection, isEqualTo, isEqualTo, isGlobalUnsafe, isInt, isList, isPolymorphic, isPrimitive, isReal, isSet, isString, isVoid, kind, kindString, numberOfTypeComponents, rank, REAL, resetNames, setBoxed, setTypeRefComponent, shadowType, sort, standardize, toFullString, toQuantifiedString, toQuantifiedString, typeComponent, typeRefComponent, unify, unify, unwrapper, value, wrapper