public abstract class AssociativeType extends StructuredType
Red |
Red (marten) |
MAXDEPTHBOUND
HASH_INVALID
Constructor and Description |
---|
AssociativeType() |
Modifier and Type | Method and Description |
---|---|
abstract Type |
get(java.lang.String label)
Return the type of the specified label.
|
_compare, _getRepresentative, _greatestLowerBound, _leastUpperBound, add, clone, depth, divide, getTypeHash, initialize, isAbstract, modulo, multiply, one, subtract, updateType, zero
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
convert, equals, getTokenClass, isCompatible, isConstant, isInstantiable, isSubstitutionInstance, toString
public abstract Type get(java.lang.String label)
label
- The specified label.