public class ConversionException extends InjectionException
Modifier and Type | Field and Description |
---|---|
private static long |
serialVersionUID |
Constructor and Description |
---|
ConversionException(java.lang.String message,
ProofScriptArgument<?> argument)
A conversion exception with no cause (to display).
|
ConversionException(java.lang.String message,
java.lang.Throwable cause,
ProofScriptArgument<?> argument)
A conversion exception with a cause to be displayed.
|
getArgument
private static final long serialVersionUID
public ConversionException(java.lang.String message, ProofScriptArgument<?> argument)
message
- the respective String message to be passed.argument
- the proof script argument.public ConversionException(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.