diff options
| author |  ccalvarin <ccalvarin@google.com> | 2017-09-12 19:57:36 +0200 |
|---|---|---|
| committer |  Philipp Wollermann <philwo@google.com> | 2017-09-13 19:05:52 +0200 |
| commit | 7da54b5e2942bdb444abbf68ac3c7f34a453b4d9 (patch) | |
| tree | 3ecc7406b36b9de0e964eb39ee08d395f65012c6 /src/main/java/com/google/devtools/build/lib/rules/genquery/GenQuery.java | |
| parent | bdc0aef8cd3f064f5b16a5547f9d543c81d57c8f (diff) | |
Move option value tracking classes to their own file.
These classes are mostly used during the options parsing process itself, and are barely a part of the options parser interface, so they really don't belong in OptionsParser.java. They are also about to change significantly, so taking this opportunity to split them out.
RELNOTES: None.
PiperOrigin-RevId: 168400162
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/rules/genquery/GenQuery.java')
0 files changed, 0 insertions, 0 deletions