ptolemy.actor

Class TypeConflictException

java.lang.Object

java.lang.Throwable

java.lang.Exception

ptolemy.kernel.util.KernelException

ptolemy.actor.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

Author:

Yuhong Xiong

See Also:

Serialized Form

Pt.AcceptedRating:

Green (liuxj)

Pt.ProposedRating:

Green (yuhong)

Constructor Summary

Constructors

Constructor and Description
TypeConflictException(java.util.List inequalities) Construct an Exception with a list of Inequality instances where type conflicts occurred.
TypeConflictException(java.util.List inequalities, java.lang.String detail) Construct an Exception with a list of Inequality instances where type conflicts occurred.

Method Summary

Modifier and Type	Method and Description
java.util.List	inequalityList() Return a list of Inequality or InequalityTerm instances where type conflicts occurred.

Methods inherited from class ptolemy.kernel.util.KernelException

_setCause, _setMessage, generateMessage, generateMessage, generateMessage, getCause, getFullName, getMessage, getName, getNameable1, getNameable2, printStackTrace, printStackTrace, printStackTrace, stackTraceToString

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getLocalizedMessage, getStackTrace, getSuppressed, initCause, setStackTrace, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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.