public class ArgumentRequiredException extends InjectionException
Modifier and Type | Field and Description |
---|---|
private static long |
serialVersionUID |
Constructor and Description |
---|
ArgumentRequiredException(java.lang.String message,
ProofScriptArgument<?> meta)
An argument required exception with no cause (to display).
|
getArgument
private static final long serialVersionUID
public ArgumentRequiredException(java.lang.String message, ProofScriptArgument<?> meta)
message
- the respective String message to be passed.meta
- the proof script argument.