de.uka.ilkd.key.macros.scripts.meta

Interfaces

• StringConverter

Classes

• ArgumentsLifter
• DescriptionFacade
• ProofScriptArgument
• ValueInjector

Enums

• Type

Exceptions

• ArgumentRequiredException
• ConversionException
• InjectionException
• InjectionReflectionException
• NoSpecifiedConverterException

Annotation Types

• Flag
• Option
• Varargs