diff options
author | ccalvarin <ccalvarin@google.com> | 2017-09-21 02:33:41 +0200 |
---|---|---|
committer | Ivan Gavrilovic <gavra@google.com> | 2017-09-22 23:29:17 +0100 |
commit | e8f68b52a82cfa851157237899b267fe0db253a1 (patch) | |
tree | ddef8e09e0d29ec27ee2a610b50cdcc35806892d /java/com/google/devtools/common/options/Option.java | |
parent | 55cf690e724bfc6ef5bd22ae8dccf4737f5c05c2 (diff) | |
download | desugar-e8f68b52a82cfa851157237899b267fe0db253a1.tar.gz |
Deprecate wrapperOptions.
In order to discourage new uses (there shouldn't be any, but just in case), make it illegal to set wrapperOption=true for non deprecated options.
RELNOTES: None.
PiperOrigin-RevId: 169477990
GitOrigin-RevId: 125e88d693f04df7f9039906dc7bb03245fb61f7
Change-Id: Iab3e66245c1cfb53aada05654cc304a4334ddd9a
Diffstat (limited to 'java/com/google/devtools/common/options/Option.java')
-rw-r--r-- | java/com/google/devtools/common/options/Option.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/java/com/google/devtools/common/options/Option.java b/java/com/google/devtools/common/options/Option.java index 4a65f69..92436fd 100644 --- a/java/com/google/devtools/common/options/Option.java +++ b/java/com/google/devtools/common/options/Option.java @@ -197,5 +197,6 @@ public @interface Option { * expansion flags to other flags, or as implicit requirements to other flags. Use the inner flags * instead. */ + @Deprecated boolean wrapperOption() default false; } |