de.uka.ilkd.key.rule.tacletbuilder

Class TacletBuilder.TacletBuilderException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

java.lang.IllegalArgumentException

de.uka.ilkd.key.rule.tacletbuilder.TacletBuilder.TacletBuilderException

All Implemented Interfaces:

Serializable

Enclosing class:

TacletBuilder<T extends Taclet>

public static class TacletBuilder.TacletBuilderException
extends IllegalArgumentException

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private String	errorMessage
private static long	serialVersionUID
private Name	tacletname

Constructor Summary

Constructors

Constructor and Description
TacletBuilderException(Name tacletname, String errorMessage)
TacletBuilderException(TacletBuilder tb, String errorMessage)

Method Summary

Modifier and Type	Method and Description
String	getMessage()

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

tacletname

private Name tacletname

errorMessage

private String errorMessage

Constructor Detail

TacletBuilderException

TacletBuilderException(Name tacletname,
                       String errorMessage)

TacletBuilderException

public TacletBuilderException(TacletBuilder tb,
                              String errorMessage)

Method Detail

getMessage

public String getMessage()

Overrides:

getMessage in class Throwable