Currently the title field of the @Option annotation only takes a single String which makes it less useful when you have options with arity > 1
It would be good if this was changed to take a String[] and relevant consumers i.e. help and restrictions were appropriately updated to take advantage of this extra information
Note that from a user perspective this change will not be breaking because Java allows array fields in an annotation to be specified as either a single value or as an array initialiser
rvesse
commented
4 years ago
Currently the
titlefield of the@Optionannotation only takes a singleStringwhich makes it less useful when you have options witharity > 1It would be good if this was changed to take a
String[]and relevant consumers i.e. help and restrictions were appropriately updated to take advantage of this extra informationNote that from a user perspective this change will not be breaking because Java allows array fields in an annotation to be specified as either a single value or as an array initialiser