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 |
Option |
This annotation is used for annotation of proof scripts arguments.
|
Varargs |
Copyright © 2003-2019 The KeY-Project.