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

Class InjectionReflectionException

java.lang.Object

java.lang.Throwable

java.lang.Exception

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

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

All Implemented Interfaces:

java.io.Serializable

public class InjectionReflectionException
extends InjectionException

Version:

1 (02.05.17)

Author:

Alexander Weigl

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private static long	serialVersionUID

Constructor Summary

Constructors

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

Method Summary

Methods inherited from class de.uka.ilkd.key.macros.scripts.meta.InjectionException

getArgument

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

Constructor Detail

InjectionReflectionException

public InjectionReflectionException(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.

InjectionReflectionException

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

An injection reflection 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.