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/common/options/OptionsProvider.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/common/options/OptionsProvider.java')
| -rw-r--r-- | src/main/java/com/google/devtools/common/options/OptionsProvider.java | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/main/java/com/google/devtools/common/options/OptionsProvider.java b/src/main/java/com/google/devtools/common/options/OptionsProvider.java index 040aa055a3..ab420601eb 100644 --- a/src/main/java/com/google/devtools/common/options/OptionsProvider.java +++ b/src/main/java/com/google/devtools/common/options/OptionsProvider.java @@ -14,9 +14,6 @@ package com.google.devtools.common.options; -import com.google.devtools.common.options.OptionsParser.OptionValueDescription; -import com.google.devtools.common.options.OptionsParser.UnparsedOptionValueDescription; - import java.util.List; /** |