public interface Typeable extends HasTypeConstraints
InequalityTerm
Red (cxh) |
Red (yuhong) |
Modifier and Type | Method and Description |
---|---|
Type |
getType()
Return the type of this object.
|
InequalityTerm |
getTypeTerm()
Return an InequalityTerm representing this object.
|
boolean |
isTypeAcceptable()
Check whether the type of this object is acceptable.
|
void |
setTypeAtLeast(InequalityTerm typeTerm)
Constrain the type of this object to be equal to or greater
than the type represented by the specified InequalityTerm.
|
void |
setTypeAtLeast(Typeable lesser)
Constrain the type of this object to be equal to or greater
than the type of the argument.
|
void |
setTypeAtMost(Type type)
Constrain the type of this object to be equal to or less
than the argument.
|
void |
setTypeEquals(Type type)
Set a type constraint that the type of this object equal
the specified value.
|
void |
setTypeSameAs(Typeable equal)
Constrain the type of this object to be the same as the
type of the argument.
|
typeConstraints
Type getType() throws IllegalActionException
IllegalActionException
- If the type cannot be determined.InequalityTerm getTypeTerm()
boolean isTypeAcceptable()
void setTypeAtLeast(Typeable lesser)
lesser
- A Typeable object.void setTypeAtLeast(InequalityTerm typeTerm)
typeTerm
- An InequalityTerm object.void setTypeAtMost(Type type) throws IllegalActionException
type
- An instance of Type.IllegalActionException
- If the type of this object
already violates this constraint.void setTypeEquals(Type type) throws IllegalActionException
type
- An instance of Type.IllegalActionException
- If the type of this object
already violates this constraint.void setTypeSameAs(Typeable equal)
equal
- The type that this object should be the same as.