public class ConversionException extends InjectionException
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
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.Copyright © 2003-2019 The KeY-Project.