public class ActorType extends java.lang.Object implements Type, java.lang.Cloneable
Red |
Red (yuhong) |
HASH_INVALID
Constructor and Description |
---|
ActorType() |
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.
|
boolean |
equals(Type t)
Determine if the argument represents the same BaseType as this
object.
|
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)
Model if the argument type is compatible with this type.
|
boolean |
isConstant()
Model 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 boolean equals(Type t)
t
- A Type.public java.lang.Class getTokenClass()
getTokenClass
in interface Type
public int getTypeHash()
getTypeHash
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 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()