public class ArrayOfTypesFunction extends MonotonicFunction
| 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, toStringpublic 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 InequalityTermgetValue in class MonotonicFunctionIllegalActionException - If the type of the argument
cannot be determined.MonotonicFunction.setValue(Object)public InequalityTerm[] getVariables()
getVariables in interface InequalityTermgetVariables in class MonotonicFunction