|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Interface Summary | |
---|---|
HasTypeConstraints | Interface for objects that have type constraints. |
Type | An interface representing the type of a Token. |
Typeable | Interface for objects with types. |
Class Summary | |
---|---|
ActorType | The base type of matrix token classes. |
ArrayType | A class representing the type of an ArrayToken. |
ArrayType.ArrayBottomTypeTerm | An InequalityTerm representing an arbitrary array type. |
ArrayType.TypeableArrayTypeTerm | An InequalityTerm representing an array types whose elements have the type of the specified typeable. |
ArrayType.TypeableElementTypeTerm | An InequalityTerm representing the element types of an instance of Typeable. |
ArrayType.TypeableSizedArrayTypeTerm | An InequalityTerm representing an array types whose elements have the type of the specified typeable. |
BaseType | The type of base token classes. |
BaseType.ArrayBottomType | The bottom element of the array type lattice. |
BaseType.BooleanType | The boolean data type. |
BaseType.ComplexType | The complex data type. |
BaseType.DoubleType | The double data type. |
BaseType.EventType | The event data type. |
BaseType.FloatType | The float data type. |
BaseType.GeneralType | The general data type: The top of the lattice. |
BaseType.IntType | The integer data type. |
BaseType.LongType | The long integer data type. |
BaseType.NilType | The nil data type. |
BaseType.PetiteType | The petite data type. |
BaseType.ScalarType | The scalar data type: The least upper bound of all the scalar types. |
BaseType.ShortType | The short integer data type. |
BaseType.StringType | The string data type. |
BaseType.UnknownType | The bottom element of the data type lattice. |
BaseType.UnsignedByteType | The unsigned byte data type. |
BaseType.UnsizedFixType | The fix data type. |
BaseType.XmlTokenType | The XmlToken data type. |
FixType | This class represents the type of fix point token objects. |
FunctionType | A class representing the type of a FunctionToken. |
MatrixType | The base type of matrix token classes. |
MatrixType.BooleanMatrixType | The boolean matrix data type. |
MatrixType.ComplexMatrixType | The complex matrix data type. |
MatrixType.DoubleMatrixType | The double matrix data type. |
MatrixType.FixMatrixType | The fix matrix data type. |
MatrixType.IntMatrixType | The integer matrix data type. |
MatrixType.LongMatrixType | The long matrix data type. |
MonotonicFunction | Actors often need to implement monotonic functions as part of the declaration of type constraints. |
ObjectType | A type of tokens that contain arbitrary Java objects. |
ObjectType.BottomClass | An artificial Java class that serves as the bottom element. |
RecordType | A class representing the type of a RecordToken. |
StructuredType | Base class for structured type. |
TypeConstant | An InequalityTerm that encapsulates a constant type. |
TypeLattice | Type hierarchy for token classes. |
TypeLattice.TheTypeLattice | |
UnionType | A class representing the type of a UnionToken. |
The type system.
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |