src/share/classes/com/sun/tools/doclint/DocLint.java

changeset 1668
991f11e13598
parent 1506
4a3cfc970c6f
child 1796
242bcad5be74
     1.1 --- a/src/share/classes/com/sun/tools/doclint/DocLint.java	Thu Mar 28 11:39:04 2013 +0000
     1.2 +++ b/src/share/classes/com/sun/tools/doclint/DocLint.java	Thu Mar 28 10:49:39 2013 -0700
     1.3 @@ -30,6 +30,7 @@
     1.4  import java.io.PrintWriter;
     1.5  import java.util.ArrayList;
     1.6  import java.util.List;
     1.7 +import java.util.regex.Pattern;
     1.8  
     1.9  import javax.lang.model.element.Name;
    1.10  import javax.tools.StandardLocation;
    1.11 @@ -72,6 +73,7 @@
    1.12      public static final String XMSGS_OPTION = "-Xmsgs";
    1.13      public static final String XMSGS_CUSTOM_PREFIX = "-Xmsgs:";
    1.14      private static final String STATS = "-stats";
    1.15 +    public static final String XIMPLICIT_HEADERS = "-XimplicitHeaders:";
    1.16  
    1.17      // <editor-fold defaultstate="collapsed" desc="Command-line entry point">
    1.18      public static void main(String... args) {
    1.19 @@ -289,6 +291,9 @@
    1.20                  env.messages.setOptions(null);
    1.21              } else if (arg.startsWith(XMSGS_CUSTOM_PREFIX)) {
    1.22                  env.messages.setOptions(arg.substring(arg.indexOf(":") + 1));
    1.23 +            } else if (arg.matches(XIMPLICIT_HEADERS + "[1-6]")) {
    1.24 +                char ch = arg.charAt(arg.length() - 1);
    1.25 +                env.setImplicitHeaders(Character.digit(ch, 10));
    1.26              } else
    1.27                  throw new IllegalArgumentException(arg);
    1.28          }

mercurial