equal
deleted
inserted
replaced
79 else if (mods.contains(Modifier.PRIVATE)) |
79 else if (mods.contains(Modifier.PRIVATE)) |
80 return AccessKind.PRIVATE; |
80 return AccessKind.PRIVATE; |
81 else |
81 else |
82 return AccessKind.PACKAGE; |
82 return AccessKind.PACKAGE; |
83 } |
83 } |
84 }; |
84 } |
85 |
85 |
86 /** Message handler. */ |
86 /** Message handler. */ |
87 final Messages messages; |
87 final Messages messages; |
88 |
88 |
89 int implicitHeaderLevel = 0; |
89 int implicitHeaderLevel = 0; |
138 void setImplicitHeaders(int n) { |
138 void setImplicitHeaders(int n) { |
139 implicitHeaderLevel = n; |
139 implicitHeaderLevel = n; |
140 } |
140 } |
141 |
141 |
142 void setCustomTags(String cTags) { |
142 void setCustomTags(String cTags) { |
143 customTags = new LinkedHashSet<String>(); |
143 customTags = new LinkedHashSet<>(); |
144 for (String s : cTags.split(DocLint.TAGS_SEPARATOR)) { |
144 for (String s : cTags.split(DocLint.TAGS_SEPARATOR)) { |
145 if (!s.isEmpty()) |
145 if (!s.isEmpty()) |
146 customTags.add(s); |
146 customTags.add(s); |
147 } |
147 } |
148 } |
148 } |