001/** Interface for objects with types.
002
003 Copyright (c) 2003-2008 The Regents of the University of California.
004 All rights reserved.
005 Permission is hereby granted, without written agreement and without
006 license or royalty fees, to use, copy, modify, and distribute this
007 software and its documentation for any purpose, provided that the above
008 copyright notice and the following two paragraphs appear in all copies
009 of this software.
010
011 IN NO EVENT SHALL THE UNIVERSITY OF CALIFORNIA BE LIABLE TO ANY PARTY
012 FOR DIRECT, INDIRECT, SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES
013 ARISING OUT OF THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF
014 THE UNIVERSITY OF CALIFORNIA HAS BEEN ADVISED OF THE POSSIBILITY OF
015 SUCH DAMAGE.
016
017 THE UNIVERSITY OF CALIFORNIA SPECIFICALLY DISCLAIMS ANY WARRANTIES,
018 INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
019 MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. THE SOFTWARE
020 PROVIDED HEREUNDER IS ON AN "AS IS" BASIS, AND THE UNIVERSITY OF
021 CALIFORNIA HAS NO OBLIGATION TO PROVIDE MAINTENANCE, SUPPORT, UPDATES,
022 ENHANCEMENTS, OR MODIFICATIONS.
023
024 PT_COPYRIGHT_VERSION_2
025 COPYRIGHTENDKEY
026
027
028 */
029package ptolemy.data.type;
030
031import java.util.Set;
032
033import ptolemy.graph.Inequality;
034
035//////////////////////////////////////////////////////////////////////////
036//// HasTypeConstraints
037
038/**
039 Interface for objects that have type constraints.  Type constraints
040 are represented as inequalities between Typeable objects.
041
042 @author Yuhong Xiong, Xiaojun Liu, Edward A. Lee, Steve Neuendorffer
043 @version $Id$
044 @since Ptolemy II 4.0
045 @Pt.ProposedRating Red (yuhong)
046 @Pt.AcceptedRating Red (cxh)
047 @see ptolemy.graph.InequalityTerm
048 */
049public interface HasTypeConstraints {
050    /** Return the type constraints of this object.
051     *  The constraints are a list of inequalities.
052     *  @return a list of instances of Inequality.
053     *  @see ptolemy.graph.Inequality
054     */
055    public Set<Inequality> typeConstraints();
056}