@Target(value=FIELD)
@Retention(value=RUNTIME)
public @interface Option
Flag
Modifier and Type | Required Element and Description |
---|---|
java.lang.String |
value
Name of the command line argument.
|
public abstract java.lang.String value
Copyright © 2003-2019 The KeY-Project.