public class ArrayOfTypesFunction extends MonotonicFunction
Red (cxh) |
Red (eal) |
Constructor and Description |
---|
ArrayOfTypesFunction(Typeable typeable)
Construct a ArrayElementTypeFunction whose argument is the
type of the specified object.
|
ArrayOfTypesFunction(Typeable typeable,
int arrayLength)
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 ArrayOfTypesFunction(Typeable typeable)
typeable
- A Typeable object.public ArrayOfTypesFunction(Typeable typeable, int arrayLength)
typeable
- A Typeable object.arrayLength
- The length of the array.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