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 |