tree 04c931c81fe36aec99dd9bb8b6a30bab616830b6
parent e8e13da9ea734ad328c3358753890bd6b5b3b866
author Dave Borowitz <dborowitz@google.com> 1552572654 -0700
committer Dave Borowitz <dborowitz@google.com> 1552682145 -0700

CmdLineParser: Require plugin option names to start with '-'

This is normally a requirement for args4j options, but in the case of
plugin options, the option name is produced by prefixing with
"--myplugin", so an incorrect name in the @Option annotation in a plugin
will not produce an error. Add a manual check for this case, forcing
options to always be named "--myplugin-o" or "--myplugin--opt".

Change-Id: I9e6810ec5470f001b8e772f046e4d3e8be5f7247