commit 2db54114e0b3ed90c2ad99fc02348ee9898edbbb
author Googler <noreply@google.com> Fri Jun 02 17:48:48 2017 -0400
committer John Cater <jcater@google.com> Mon Jun 05 10:19:07 2017 -0400
tree 14724875e9b9d728190a80ee6eef76250499ceb9
parent f19fcfebb81759a5ab4fe6bede35195287f89872

Internal change

PiperOrigin-RevId: 157878648

src/main/java/com/google/devtools/common/options/Converters.java

diff --git a/src/main/java/com/google/devtools/common/options/Converters.java b/src/main/java/com/google/devtools/common/options/Converters.java
index 0d19029..4584f80 100644
--- a/src/main/java/com/google/devtools/common/options/Converters.java
+++ b/src/main/java/com/google/devtools/common/options/Converters.java
@@ -459,4 +459,13 @@
     }
   }
 
+  /**
+   * A converter to check whether an integer denoting a percentage is in a valid range: [0, 100].
+   */
+  public static class PercentageConverter extends RangeConverter {
+    public PercentageConverter() {
+      super(0, 100);
+    }
+  }
+
 }