de.uka.ilkd.key.rule.inst

Class GenericSortException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

de.uka.ilkd.key.rule.inst.IllegalInstantiationException

de.uka.ilkd.key.rule.inst.SortException

de.uka.ilkd.key.rule.inst.GenericSortException

All Implemented Interfaces:

java.io.Serializable

public class GenericSortException
extends SortException

This exception thrown if there is no appropriate instantiation of the generic sorts occurring within an "SVInstantiations"-object

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private ImmutableList<GenericSortCondition>	conditions
private static long	serialVersionUID

Constructor Summary

Constructors

Constructor and Description
GenericSortException(java.lang.String description)
GenericSortException(java.lang.String description, ImmutableList<GenericSortCondition> pConditions)

Method Summary

Modifier and Type	Method and Description
java.lang.String	getMessage()
void	setConditions(ImmutableList<GenericSortCondition> pConditions)

Methods inherited from class java.lang.Throwable

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

Methods inherited from class java.lang.Object

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

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

conditions

private ImmutableList<GenericSortCondition> conditions

Constructor Detail

GenericSortException

public GenericSortException(java.lang.String description,
                            ImmutableList<GenericSortCondition> pConditions)

GenericSortException

public GenericSortException(java.lang.String description)

Method Detail

setConditions

public void setConditions(ImmutableList<GenericSortCondition> pConditions)

getMessage

public java.lang.String getMessage()

Overrides:

getMessage in class java.lang.Throwable