src/jdk.compiler/share/classes/com/sun/tools/doclint/Env.java
changeset 54135 67f72165dca5
parent 47216 71c04702a3d5
equal deleted inserted replaced
54133:829bf950287e 54135:67f72165dca5
     1 /*
     1 /*
     2  * Copyright (c) 2012, 2016, Oracle and/or its affiliates. All rights reserved.
     2  * Copyright (c) 2012, 2019, Oracle and/or its affiliates. All rights reserved.
     3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
     3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
     4  *
     4  *
     5  * This code is free software; you can redistribute it and/or modify it
     5  * This code is free software; you can redistribute it and/or modify it
     6  * under the terms of the GNU General Public License version 2 only, as
     6  * under the terms of the GNU General Public License version 2 only, as
     7  * published by the Free Software Foundation.  Oracle designates this
     7  * published by the Free Software Foundation.  Oracle designates this
    90         }
    90         }
    91     }
    91     }
    92 
    92 
    93     /** Message handler. */
    93     /** Message handler. */
    94     final Messages messages;
    94     final Messages messages;
    95 
       
    96     int implicitHeaderLevel = 0;
       
    97 
    95 
    98     Set<String> customTags;
    96     Set<String> customTags;
    99 
    97 
   100     Set<Pattern> includePackages;
    98     Set<Pattern> includePackages;
   101     Set<Pattern> excludePackages;
    99     Set<Pattern> excludePackages;
   151         java_lang_RuntimeException = elements.getTypeElement("java.lang.RuntimeException").asType();
   149         java_lang_RuntimeException = elements.getTypeElement("java.lang.RuntimeException").asType();
   152         java_lang_Throwable = elements.getTypeElement("java.lang.Throwable").asType();
   150         java_lang_Throwable = elements.getTypeElement("java.lang.Throwable").asType();
   153         java_lang_Void = elements.getTypeElement("java.lang.Void").asType();
   151         java_lang_Void = elements.getTypeElement("java.lang.Void").asType();
   154     }
   152     }
   155 
   153 
   156     void setImplicitHeaders(int n) {
       
   157         implicitHeaderLevel = n;
       
   158     }
       
   159 
       
   160     void setCustomTags(String cTags) {
   154     void setCustomTags(String cTags) {
   161         customTags = new LinkedHashSet<>();
   155         customTags = new LinkedHashSet<>();
   162         for (String s : cTags.split(DocLint.SEPARATOR)) {
   156         for (String s : cTags.split(DocLint.SEPARATOR)) {
   163             if (!s.isEmpty())
   157             if (!s.isEmpty())
   164                 customTags.add(s);
   158                 customTags.add(s);