public class TypeConflictException extends KernelException
Green (liuxj) |
Green (yuhong) |
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.
|
Modifier and Type | Method and Description |
---|---|
java.util.List |
inequalityList()
Return a list of Inequality or InequalityTerm
instances where type conflicts occurred.
|
_setCause, _setMessage, generateMessage, generateMessage, generateMessage, getCause, getFullName, getMessage, getName, getNameable1, getNameable2, printStackTrace, printStackTrace, printStackTrace, stackTraceToString
public TypeConflictException(java.util.List inequalities)
inequalities
- a list of Inequality instances.Inequality.toString()
public TypeConflictException(java.util.List inequalities, java.lang.String detail)
inequalities
- A list of Inequality instances.detail
- A message.Inequality.toString()