public class ArrayElementTypeFunction extends MonotonicFunction
Red (cxh) |
Red (eal) |
Constructor and Description |
---|
ArrayElementTypeFunction(Typeable typeable)
Construct a ArrayElementTypeFunction whose argument is the
type of the specified object.
|
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
getValue()
Return the current value of this monotonic function.
|
InequalityTerm[] |
getVariables()
Return the type variables for this function, which is
the type term of the specified typeable, unless it has a constant type,
in which case return an empty array.
|
getAssociatedObject, getVerboseString, initialize, isSettable, isValueAcceptable, setValue, toString
public ArrayElementTypeFunction(Typeable typeable)
typeable
- A Typeable object.public java.lang.Object getValue() throws IllegalActionException
getValue
in interface InequalityTerm
getValue
in class MonotonicFunction
IllegalActionException
- If the type of the argument
cannot be determined.MonotonicFunction.setValue(Object)
public InequalityTerm[] getVariables()
getVariables
in interface InequalityTerm
getVariables
in class MonotonicFunction