diff options
Diffstat (limited to 'java/com/google/devtools/common/options/OptionsParser.java')
| -rw-r--r-- | java/com/google/devtools/common/options/OptionsParser.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/java/com/google/devtools/common/options/OptionsParser.java b/java/com/google/devtools/common/options/OptionsParser.java index b7da004..e75f0e1 100644 --- a/java/com/google/devtools/common/options/OptionsParser.java +++ b/java/com/google/devtools/common/options/OptionsParser.java @@ -629,7 +629,7 @@ public class OptionsParser implements OptionsProvider { * @param args the arguments to parse as the expansion. Order matters, as the value of a flag may * be in the following argument. */ - public void parseArgsFixedAsExpansionOfOption( + public void parseArgsAsExpansionOfOption( ParsedOptionDescription optionToExpand, String source, List<String> args) throws OptionsParsingException { Preconditions.checkNotNull( @@ -638,7 +638,7 @@ public class OptionsParser implements OptionsProvider { optionToExpand.getPriority().getPriorityCategory() != OptionPriority.PriorityCategory.DEFAULT, "Priority cannot be default, which was specified for arglist " + args); - residue.addAll(impl.parseArgsFixedAsExpansionOfOption(optionToExpand, o -> source, args)); + residue.addAll(impl.parseArgsAsExpansionOfOption(optionToExpand, o -> source, args)); if (!allowResidue && !residue.isEmpty()) { String errorMsg = "Unrecognized arguments: " + Joiner.on(' ').join(residue); throw new OptionsParsingException(errorMsg); |