Class ArrayOfTypesFunction

  • All Implemented Interfaces:
    InequalityTerm

    public class ArrayOfTypesFunction
    extends MonotonicFunction
    This class implements a monotonic function that returns an array type with the element type equal to its argument.
    Since:
    Ptolemy II 10.0
    Version:
    $Id: ArrayOfTypesFunction.java$
    Author:
    Edward A. Lee, Marten Lohstroh
    Pt.AcceptedRating:
    Red (cxh)
    Pt.ProposedRating:
    Red (eal)
    • Constructor Detail

      • ArrayOfTypesFunction

        public ArrayOfTypesFunction​(Typeable typeable)
        Construct a ArrayElementTypeFunction whose argument is the type of the specified object.
        Parameters:
        typeable - A Typeable object.
      • ArrayOfTypesFunction

        public ArrayOfTypesFunction​(Typeable typeable,
                                    int arrayLength)
        Construct a ArrayElementTypeFunction whose argument is the type of the specified object.
        Parameters:
        typeable - A Typeable object.
        arrayLength - The length of the array.