de.uka.ilkd.key.logic

Class TermCreationException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

de.uka.ilkd.key.logic.TermCreationException

All Implemented Interfaces:

Serializable

public class TermCreationException
extends RuntimeException

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
TermCreationException(Operator op, Term failed)
TermCreationException(String errorMessage)

Method Summary

Modifier and Type	Method and Description
private static String	argsToString(SortedOperator f)
private static String	getErrorMessage(Operator op, Term failed)
private static String	subsToString(ImmutableArray<Term> subs)

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, 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

Constructor Detail

TermCreationException

public TermCreationException(String errorMessage)

TermCreationException

public TermCreationException(Operator op,
                             Term failed)

Method Detail

getErrorMessage

private static String getErrorMessage(Operator op,
                                      Term failed)

argsToString

private static String argsToString(SortedOperator f)

subsToString

private static String subsToString(ImmutableArray<Term> subs)