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 }