Class ArrayElementTypeFunction

  • All Implemented Interfaces:
    InequalityTerm

    public class ArrayElementTypeFunction
    extends MonotonicFunction
    This class implements a monotonic function that returns the element type of its argument, if the argument is an array type. If the argument is general, then it returns general. Otherwise, it return unknown.
    Since:
    Ptolemy II 10.0
    Version:
    $Id: ArrayElementTypeFunction.java$
    Author:
    Edward A. Lee
    Pt.AcceptedRating:
    Red (cxh)
    Pt.ProposedRating:
    Red (eal)