langtools/src/share/classes/com/sun/tools/doclets/formats/html/ConfigurationImpl.java
changeset 22163 3651128c74eb
parent 22159 682da512ec17
child 23968 d67158b385dd
equal deleted inserted replaced
22162:3b3e23e67329 22163:3651128c74eb
   176     public boolean createoverview = false;
   176     public boolean createoverview = false;
   177 
   177 
   178     /**
   178     /**
   179      * Collected set of doclint options
   179      * Collected set of doclint options
   180      */
   180      */
   181     public Set<String> doclintOpts = new LinkedHashSet<String>();
   181     public Set<String> doclintOpts = new LinkedHashSet<>();
   182 
   182 
   183     /**
   183     /**
   184      * Unique Resource Handler for this package.
   184      * Unique Resource Handler for this package.
   185      */
   185      */
   186     public final MessageRetriever standardmessage;
   186     public final MessageRetriever standardmessage;
   284             } else if (opt.startsWith("-xdoclint:")) {
   284             } else if (opt.startsWith("-xdoclint:")) {
   285                 doclintOpts.add(opt.substring(opt.indexOf(":") + 1));
   285                 doclintOpts.add(opt.substring(opt.indexOf(":") + 1));
   286             }
   286             }
   287         }
   287         }
   288         if (root.specifiedClasses().length > 0) {
   288         if (root.specifiedClasses().length > 0) {
   289             Map<String,PackageDoc> map = new HashMap<String,PackageDoc>();
   289             Map<String,PackageDoc> map = new HashMap<>();
   290             PackageDoc pd;
   290             PackageDoc pd;
   291             ClassDoc[] classes = root.classes();
   291             ClassDoc[] classes = root.classes();
   292             for (ClassDoc aClass : classes) {
   292             for (ClassDoc aClass : classes) {
   293                 pd = aClass.containingPackage();
   293                 pd = aClass.containingPackage();
   294                 if (!map.containsKey(pd.name())) {
   294                 if (!map.containsKey(pd.name())) {