hlt.language.design.types

Class StaticType

java.lang.Object

hlt.language.design.types.Type

hlt.language.design.types.StaticType

All Implemented Interfaces:

Valuable

Direct Known Subclasses:

ConstructedType, NamedType, TypeParameter

public abstract class StaticType
extends Type

The mother class of static type objects. A static type is a type checked prior to runtime.

Field Summary

Fields inherited from class hlt.language.design.types.Type

ARRAY, BAG, BOOLEAN, BOXABLE, CHAR, CLASS, COLLECTION, CONSTANT, DEFINED, FUNCTION, INT, INT_RANGE, INT_SORT, LIST, NAMED_TUPLE, OBJECT_SORT, PARAMETER, REAL, REAL_RANGE, REAL_SORT, SET, STRING, TUPLE, VOID, VOID_SORT

Constructor Summary

Constructors

Constructor and Description
StaticType()

Method Summary

Methods inherited from class hlt.language.design.types.Type

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

Methods inherited from class java.lang.Object

getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

StaticType

public StaticType()