de.uka.ilkd.key.macros.scripts.meta

Class InjectionException

java.lang.Object

java.lang.Throwable

java.lang.Exception

de.uka.ilkd.key.macros.scripts.meta.InjectionException

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

ArgumentRequiredException, ConversionException, InjectionReflectionException, NoSpecifiedConverterException

public class InjectionException
extends java.lang.Exception

Version:

1 (02.05.17)

Author:

Alexander Weigl

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private ProofScriptArgument<?>	argument
private static long	serialVersionUID

Constructor Summary

Constructors

Constructor and Description
InjectionException(java.lang.String message, ProofScriptArgument<?> argument) An injection reflection exception with no cause (to display).
InjectionException(java.lang.String message, java.lang.Throwable cause, ProofScriptArgument<?> argument) An injection exception with a cause to be displayed.

Method Summary

Modifier and Type	Method and Description
ProofScriptArgument<?>	getArgument() Get the (proof script) argument of this injection exception.

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

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

argument

private final ProofScriptArgument<?> argument

Constructor Detail

InjectionException

public InjectionException(java.lang.String message,
                          ProofScriptArgument<?> argument)

An injection reflection exception with no cause (to display).

Parameters:

message - the respective String message to be passed.

argument - the proof script argument.

InjectionException

public InjectionException(java.lang.String message,
                          java.lang.Throwable cause,
                          ProofScriptArgument<?> argument)

An injection exception with a cause to be displayed.

Parameters:

message - the respective String message to be passed.

cause - the cause of the exception.

argument - the proof script argument.

Method Detail

getArgument

public ProofScriptArgument<?> getArgument()

Get the (proof script) argument of this injection exception.

Returns:

the proof script argument.