public static final class KeyToken.KeyType extends java.lang.Object implements java.lang.Cloneable, Type, java.io.Serializable
HASH_INVALID
Modifier and Type | Method and Description |
---|---|
Type |
add(Type rightArgumentType)
Return a new type which represents the type that results from
adding a token of this type and a token of the given argument
type.
|
java.lang.Object |
clone()
Return this, that is, return the reference to this object.
|
Token |
convert(Token token)
Convert the specified token to a token having the type
represented by this object.
|
Type |
divide(Type rightArgumentType)
Return a new type which represents the type that results from
dividing a token of this type and a token of the given
argument type.
|
java.lang.Class |
getTokenClass()
Return the class for tokens that this basetype represents.
|
int |
getTypeHash()
Return this type's node index in the (constant) type lattice.
|
boolean |
isAbstract()
Return true if this type does not correspond to a single token
class.
|
boolean |
isCompatible(Type type)
Test if the argument type is compatible with this type.
|
boolean |
isConstant()
Test if this Type is UNKNOWN.
|
boolean |
isInstantiable()
Determine if this type corresponds to an instantiable token
classes.
|
boolean |
isSubstitutionInstance(Type type)
Return true if the argument is a
substitution instance of this type.
|
Type |
modulo(Type rightArgumentType)
Return a new type which represents the type that results from
moduloing a token of this type and a token of the given
argument type.
|
Type |
multiply(Type rightArgumentType)
Return a new type which represents the type that results from
multiplying a token of this type and a token of the given
argument type.
|
Type |
one()
Return the type of the multiplicative identity for elements of
this type.
|
Type |
subtract(Type rightArgumentType)
Return a new type which represents the type that results from
subtracting a token of this type and a token of the given
argument type.
|
java.lang.String |
toString()
Return the string representation of this type.
|
Type |
zero()
Return the type of the additive identity for elements of
this type.
|
public Type add(Type rightArgumentType)
public java.lang.Object clone()
public Token convert(Token token) throws IllegalActionException
convert
in interface Type
token
- A token.IllegalActionException
- If lossless conversion cannot
be done.public Type divide(Type rightArgumentType)
public java.lang.Class getTokenClass()
getTokenClass
in interface Type
public boolean isAbstract()
isAbstract
in interface Type
public boolean isCompatible(Type type)
isCompatible
in interface Type
type
- An instance of Type.public boolean isConstant()
isConstant
in interface Type
public int getTypeHash()
getTypeHash
in interface Type
public boolean isInstantiable()
isInstantiable
in interface Type
public boolean isSubstitutionInstance(Type type)
isSubstitutionInstance
in interface Type
type
- A Type.public Type modulo(Type rightArgumentType)
public Type multiply(Type rightArgumentType)
public Type one()
public Type subtract(Type rightArgumentType)
public java.lang.String toString()