public class InjectionException
extends java.lang.Exception
Modifier and Type | Field and Description |
---|---|
private ProofScriptArgument<?> |
argument |
private static long |
serialVersionUID |
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.
|
Modifier and Type | Method and Description |
---|---|
ProofScriptArgument<?> |
getArgument()
Get the (proof script) argument of this injection exception.
|
private static final long serialVersionUID
private final ProofScriptArgument<?> argument
public InjectionException(java.lang.String message, ProofScriptArgument<?> argument)
message
- the respective String message to be passed.argument
- the proof script argument.public InjectionException(java.lang.String message, java.lang.Throwable cause, ProofScriptArgument<?> argument)
message
- the respective String message to be passed.cause
- the cause of the exception.argument
- the proof script argument.public ProofScriptArgument<?> getArgument()