Package ptolemy.actor

Class TypeConflictException

  • All Implemented Interfaces:
    java.io.Serializable

    public class TypeConflictException
    extends KernelException
    Thrown on detecting type conflicts. This class contains all the instances of Inequality where type conflicts occurred. These inequalities are either not satisfied after type resolution, or contain terms with unacceptable value, such as BaseType.UNKNOWN.
    Since:
    Ptolemy II 0.2
    Version:
    $Id$
    Author:
    Yuhong Xiong
    See Also:
    Serialized Form
    Pt.AcceptedRating:
    Green (liuxj)
    Pt.ProposedRating:
    Green (yuhong)
    • Constructor Detail

      • TypeConflictException

        public TypeConflictException​(java.util.List inequalities)
        Construct an Exception with a list of Inequality instances where type conflicts occurred. The detailed message of this Exception will be the string "Type conflicts occurred at the following inequalities:", followed by the list of inequalities. The string describing the inequalities are generated by the toString() method of the class Inequality.
        Parameters:
        inequalities - a list of Inequality instances.
        See Also:
        Inequality.toString()
      • TypeConflictException

        public TypeConflictException​(java.util.List inequalities,
                                     java.lang.String detail)
        Construct an Exception with a list of Inequality instances where type conflicts occurred. The detailed message of this Exception will be the specified message, followed by a list of inequalities. The string describing the inequalities are generated by the toString() method of the class Inequality.
        Parameters:
        inequalities - A list of Inequality instances.
        detail - A message.
        See Also:
        Inequality.toString()
    • Method Detail

      • inequalityList

        public java.util.List inequalityList()
        Return a list of Inequality or InequalityTerm instances where type conflicts occurred.
        Returns:
        A List of instances where type conflicts occurred.