Package | Description |
---|---|
de.uka.ilkd.key.macros.scripts |
Proof script commands are a simple proof automation facility.
|
de.uka.ilkd.key.macros.scripts.meta |
Modifier and Type | Method and Description |
---|---|
java.util.List<ProofScriptArgument> |
ProofScriptCommand.getArguments() |
java.util.List<ProofScriptArgument> |
AbstractCommand.getArguments() |
java.util.List<ProofScriptArgument> |
NoArgumentCommand.getArguments() |
Modifier and Type | Method and Description |
---|---|
ProofScriptArgument<?> |
InjectionException.getArgument()
Get the (proof script) argument of this injection exception.
|
ProofScriptArgument<T> |
ProofScriptArgument.setCommand(ProofScriptCommand<T> command) |
ProofScriptArgument<T> |
ProofScriptArgument.setDocumentation(java.lang.String documentation)
Documentation for this argument.
|
ProofScriptArgument<T> |
ProofScriptArgument.setFlag(boolean flag) |
ProofScriptArgument<T> |
ProofScriptArgument.setName(java.lang.String name) |
ProofScriptArgument<T> |
ProofScriptArgument.setRequired(boolean required) |
ProofScriptArgument<T> |
ProofScriptArgument.setType(java.lang.Class<?> type) |
ProofScriptArgument<T> |
ProofScriptArgument.setVariableArguments(boolean hasVariableArguments) |
Modifier and Type | Method and Description |
---|---|
static java.util.List<ProofScriptArgument> |
ArgumentsLifter.inferScriptArguments(java.lang.Class<?> clazz,
ProofScriptCommand<?> command) |
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
DescriptionFacade.getDocumentation(ProofScriptArgument<?> arg)
Looks up the documentation for the given proof script argument.
|
Constructor and Description |
---|
ArgumentRequiredException(java.lang.String message,
ProofScriptArgument<?> meta)
An argument required exception with no cause (to display).
|
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.
|
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.
|
InjectionReflectionException(java.lang.String message,
ProofScriptArgument<?> argument)
An injection reflection exception with no cause (to display).
|
InjectionReflectionException(java.lang.String message,
java.lang.Throwable cause,
ProofScriptArgument<?> argument)
An injection reflection exception with a cause to be displayed.
|
NoSpecifiedConverterException(java.lang.String message,
ProofScriptArgument<?> argument)
Creates an exception with the given
message and argument . |
NoSpecifiedConverterException(java.lang.String message,
java.lang.Throwable cause,
ProofScriptArgument<?> argument)
Creates an exception with the given arguments.
|
Copyright © 2003-2019 The KeY-Project.