diff options
| author |  Jonathan Bluett-Duncan <jbluettduncan@gmail.com> | 2017-08-09 11:13:54 +0200 |
|---|---|---|
| committer |  Marcel Hlopko <hlopko@google.com> | 2017-08-09 11:36:05 +0200 |
| commit | 0df3ddbdc289af97ffd2fb98197548f21b2c69a9 (patch) | |
| tree | 58d3c44e42955f4fdc4f86a500cb45076d9ec2f7 /src/main/java/com/google/devtools/common/options/ArgsPreProcessor.java | |
| parent | 9e18b0a4f45c775bb58ee578a2f4ac0118e36275 (diff) | |
Polishing
- Use Java 8 idioms more consistently.
- Use newer Guava idioms more consistently.
- Apply some IntelliJ IDEA refactoring suggestions.
- Other changes made for readability and/or brevity.
Closes #3462.
PiperOrigin-RevId: 164700946
Diffstat (limited to 'src/main/java/com/google/devtools/common/options/ArgsPreProcessor.java')
| -rw-r--r-- | src/main/java/com/google/devtools/common/options/ArgsPreProcessor.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/main/java/com/google/devtools/common/options/ArgsPreProcessor.java b/src/main/java/com/google/devtools/common/options/ArgsPreProcessor.java index 516ff1f49b..00e8033deb 100644 --- a/src/main/java/com/google/devtools/common/options/ArgsPreProcessor.java +++ b/src/main/java/com/google/devtools/common/options/ArgsPreProcessor.java @@ -16,6 +16,7 @@ package com.google.devtools.common.options; import java.util.List; /** Defines a preprocessing service for the "args" string list that is executed before parsing. */ +@FunctionalInterface interface ArgsPreProcessor { List<String> preProcess(List<String> args) throws OptionsParsingException; } |