diff options
| author |  ccalvarin <ccalvarin@google.com> | 2017-10-16 22:18:32 +0200 |
|---|---|---|
| committer |  Jakob Buchgraber <buchgr@google.com> | 2017-10-18 10:27:58 +0200 |
| commit | 7cd9e883dd31f54cd505844aa1f1e0ed7bd9f380 (patch) | |
| tree | e72e67a2f22108d490aaf4b5a59e5727e855547d /src/main/java/com/google/devtools/common/options/OptionsParsingException.java | |
| parent | b6bf11217c30123827d36a35a3614ba8e200f349 (diff) | |
Track Option placement within a priority category.
An option has precedence over previous options at the same enum-valued priority. Track its placement in this ordering explicitly.
This will allow after-the-fact expansion of expansion options such that they correctly take precedence or not compared to other mentions of the same flag. This is needed to fix --config's expansion.
RELNOTES: None.
PiperOrigin-RevId: 172367996
Diffstat (limited to 'src/main/java/com/google/devtools/common/options/OptionsParsingException.java')
| -rw-r--r-- | src/main/java/com/google/devtools/common/options/OptionsParsingException.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/java/com/google/devtools/common/options/OptionsParsingException.java b/src/main/java/com/google/devtools/common/options/OptionsParsingException.java index 73b48a02da..6b82366d65 100644 --- a/src/main/java/com/google/devtools/common/options/OptionsParsingException.java +++ b/src/main/java/com/google/devtools/common/options/OptionsParsingException.java @@ -17,7 +17,7 @@ package com.google.devtools.common.options; /** * An exception that's thrown when the {@link OptionsParser} fails. * - * @see OptionsParser#parse(OptionPriority,String,java.util.List) + * @see OptionsParser#parse(OptionPriority.PriorityCategory,String,java.util.List) */ public class OptionsParsingException extends Exception { private final String invalidArgument; |