public class ArgumentRequiredException extends InjectionException
Constructor and Description |
---|
ArgumentRequiredException(java.lang.String message,
ProofScriptArgument<?> meta)
An argument required exception with no cause (to display).
|
getArgument
public ArgumentRequiredException(java.lang.String message, ProofScriptArgument<?> meta)
message
- the respective String message to be passed.meta
- the proof script argument.Copyright © 2003-2019 The KeY-Project.