| Interface | Description |
|---|---|
| StringConverter<T> |
A
StringConverter translates a textual representation
to an instance of T. |
| Class | Description |
|---|---|
| ArgumentsLifter | |
| DescriptionFacade |
This facade is used to load documentation for
ProofScriptCommand and
ProofScriptArgument. |
| ProofScriptArgument<T> | |
| ValueInjector |
| Enum | Description |
|---|---|
| Type |
| Exception | Description |
|---|---|
| ArgumentRequiredException |
Signals if an argument is required but was not set during an injection.
|
| ConversionException | |
| InjectionException | |
| InjectionReflectionException | |
| NoSpecifiedConverterException |
Indicates a missing converter.
|
| Annotation Type | Description |
|---|---|
| Flag |
Currently not implemented in
ArgumentsLifter
Used to mark flag for proof script commands. |
| Option |
This annotation is used for annotation of proof scripts arguments.
|
| Varargs |