Thu, 04 Jul 2013 10:35:33 +0100
8009924: some langtools tools do not accept -cp as an alias for -classpath
Reviewed-by: jjg
1 /*
2 * Copyright (c) 2012, 2013, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
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
7 * published by the Free Software Foundation. Oracle designates this
8 * particular file as subject to the "Classpath" exception as provided
9 * by Oracle in the LICENSE file that accompanied this code.
10 *
11 * This code is distributed in the hope that it will be useful, but WITHOUT
12 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14 * version 2 for more details (a copy is included in the LICENSE file that
15 * accompanied this code).
16 *
17 * You should have received a copy of the GNU General Public License version
18 * 2 along with this work; if not, write to the Free Software Foundation,
19 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
20 *
21 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
22 * or visit www.oracle.com if you need additional information or have any
23 * questions.
24 */
26 package com.sun.tools.doclint;
28 import java.io.IOException;
29 import java.io.StringWriter;
30 import java.net.URI;
31 import java.net.URISyntaxException;
32 import java.util.Deque;
33 import java.util.EnumSet;
34 import java.util.HashSet;
35 import java.util.LinkedList;
36 import java.util.List;
37 import java.util.Set;
38 import java.util.regex.Matcher;
39 import java.util.regex.Pattern;
41 import javax.lang.model.element.Element;
42 import javax.lang.model.element.ElementKind;
43 import javax.lang.model.element.ExecutableElement;
44 import javax.lang.model.element.Name;
45 import javax.lang.model.type.TypeKind;
46 import javax.lang.model.type.TypeMirror;
47 import javax.tools.Diagnostic.Kind;
49 import com.sun.source.doctree.AttributeTree;
50 import com.sun.source.doctree.AuthorTree;
51 import com.sun.source.doctree.DocCommentTree;
52 import com.sun.source.doctree.DocRootTree;
53 import com.sun.source.doctree.DocTree;
54 import com.sun.source.doctree.EndElementTree;
55 import com.sun.source.doctree.EntityTree;
56 import com.sun.source.doctree.ErroneousTree;
57 import com.sun.source.doctree.IdentifierTree;
58 import com.sun.source.doctree.InheritDocTree;
59 import com.sun.source.doctree.LinkTree;
60 import com.sun.source.doctree.LiteralTree;
61 import com.sun.source.doctree.ParamTree;
62 import com.sun.source.doctree.ReferenceTree;
63 import com.sun.source.doctree.ReturnTree;
64 import com.sun.source.doctree.SerialDataTree;
65 import com.sun.source.doctree.SerialFieldTree;
66 import com.sun.source.doctree.SinceTree;
67 import com.sun.source.doctree.StartElementTree;
68 import com.sun.source.doctree.TextTree;
69 import com.sun.source.doctree.ThrowsTree;
70 import com.sun.source.doctree.ValueTree;
71 import com.sun.source.doctree.VersionTree;
72 import com.sun.source.util.DocTreePath;
73 import com.sun.source.util.DocTreePathScanner;
74 import com.sun.source.util.TreePath;
75 import com.sun.tools.doclint.HtmlTag.AttrKind;
76 import com.sun.tools.javac.tree.DocPretty;
77 import static com.sun.tools.doclint.Messages.Group.*;
80 /**
81 * Validate a doc comment.
82 *
83 * <p><b>This is NOT part of any supported API.
84 * If you write code that depends on this, you do so at your own
85 * risk. This code and its internal interfaces are subject to change
86 * or deletion without notice.</b></p>
87 */
88 public class Checker extends DocTreePathScanner<Void, Void> {
89 final Env env;
91 Set<Element> foundParams = new HashSet<Element>();
92 Set<TypeMirror> foundThrows = new HashSet<TypeMirror>();
93 Set<String> foundAnchors = new HashSet<String>();
94 boolean foundInheritDoc = false;
95 boolean foundReturn = false;
97 public enum Flag {
98 TABLE_HAS_CAPTION,
99 HAS_ELEMENT,
100 HAS_INLINE_TAG,
101 HAS_TEXT,
102 REPORTED_BAD_INLINE
103 }
105 static class TagStackItem {
106 final DocTree tree; // typically, but not always, StartElementTree
107 final HtmlTag tag;
108 final Set<HtmlTag.Attr> attrs;
109 final Set<Flag> flags;
110 TagStackItem(DocTree tree, HtmlTag tag) {
111 this.tree = tree;
112 this.tag = tag;
113 attrs = EnumSet.noneOf(HtmlTag.Attr.class);
114 flags = EnumSet.noneOf(Flag.class);
115 }
116 @Override
117 public String toString() {
118 return String.valueOf(tag);
119 }
120 }
122 private Deque<TagStackItem> tagStack; // TODO: maybe want to record starting tree as well
123 private HtmlTag currHeaderTag;
125 private final int implicitHeaderLevel;
127 // <editor-fold defaultstate="collapsed" desc="Top level">
129 Checker(Env env) {
130 env.getClass();
131 this.env = env;
132 tagStack = new LinkedList<TagStackItem>();
133 implicitHeaderLevel = env.implicitHeaderLevel;
134 }
136 public Void scan(DocCommentTree tree, TreePath p) {
137 env.setCurrent(p, tree);
139 boolean isOverridingMethod = !env.currOverriddenMethods.isEmpty();
141 if (tree == null) {
142 if (!isSynthetic() && !isOverridingMethod)
143 reportMissing("dc.missing.comment");
144 return null;
145 }
147 tagStack.clear();
148 currHeaderTag = null;
150 foundParams.clear();
151 foundThrows.clear();
152 foundInheritDoc = false;
153 foundReturn = false;
155 scan(new DocTreePath(p, tree), null);
157 if (!isOverridingMethod) {
158 switch (env.currElement.getKind()) {
159 case METHOD:
160 case CONSTRUCTOR: {
161 ExecutableElement ee = (ExecutableElement) env.currElement;
162 checkParamsDocumented(ee.getTypeParameters());
163 checkParamsDocumented(ee.getParameters());
164 switch (ee.getReturnType().getKind()) {
165 case VOID:
166 case NONE:
167 break;
168 default:
169 if (!foundReturn
170 && !foundInheritDoc
171 && !env.types.isSameType(ee.getReturnType(), env.java_lang_Void)) {
172 reportMissing("dc.missing.return");
173 }
174 }
175 checkThrowsDocumented(ee.getThrownTypes());
176 }
177 }
178 }
180 return null;
181 }
183 private void reportMissing(String code, Object... args) {
184 env.messages.report(MISSING, Kind.WARNING, env.currPath.getLeaf(), code, args);
185 }
187 @Override
188 public Void visitDocComment(DocCommentTree tree, Void ignore) {
189 super.visitDocComment(tree, ignore);
190 for (TagStackItem tsi: tagStack) {
191 if (tsi.tree.getKind() == DocTree.Kind.START_ELEMENT
192 && tsi.tag.endKind == HtmlTag.EndKind.REQUIRED) {
193 StartElementTree t = (StartElementTree) tsi.tree;
194 env.messages.error(HTML, t, "dc.tag.not.closed", t.getName());
195 }
196 }
197 return null;
198 }
199 // </editor-fold>
201 // <editor-fold defaultstate="collapsed" desc="Text and entities.">
203 @Override
204 public Void visitText(TextTree tree, Void ignore) {
205 if (hasNonWhitespace(tree)) {
206 checkAllowsText(tree);
207 markEnclosingTag(Flag.HAS_TEXT);
208 }
209 return null;
210 }
212 @Override
213 public Void visitEntity(EntityTree tree, Void ignore) {
214 checkAllowsText(tree);
215 markEnclosingTag(Flag.HAS_TEXT);
216 String name = tree.getName().toString();
217 if (name.startsWith("#")) {
218 int v = name.toLowerCase().startsWith("#x")
219 ? Integer.parseInt(name.substring(2), 16)
220 : Integer.parseInt(name.substring(1), 10);
221 if (!Entity.isValid(v)) {
222 env.messages.error(HTML, tree, "dc.entity.invalid", name);
223 }
224 } else if (!Entity.isValid(name)) {
225 env.messages.error(HTML, tree, "dc.entity.invalid", name);
226 }
227 return null;
228 }
230 void checkAllowsText(DocTree tree) {
231 TagStackItem top = tagStack.peek();
232 if (top != null
233 && top.tree.getKind() == DocTree.Kind.START_ELEMENT
234 && !top.tag.acceptsText()) {
235 if (top.flags.add(Flag.REPORTED_BAD_INLINE)) {
236 env.messages.error(HTML, tree, "dc.text.not.allowed",
237 ((StartElementTree) top.tree).getName());
238 }
239 }
240 }
242 // </editor-fold>
244 // <editor-fold defaultstate="collapsed" desc="HTML elements">
246 @Override
247 public Void visitStartElement(StartElementTree tree, Void ignore) {
248 markEnclosingTag(Flag.HAS_ELEMENT);
249 final Name treeName = tree.getName();
250 final HtmlTag t = HtmlTag.get(treeName);
251 if (t == null) {
252 env.messages.error(HTML, tree, "dc.tag.unknown", treeName);
253 } else {
254 boolean done = false;
255 for (TagStackItem tsi: tagStack) {
256 if (tsi.tag.accepts(t)) {
257 while (tagStack.peek() != tsi) tagStack.pop();
258 done = true;
259 break;
260 } else if (tsi.tag.endKind != HtmlTag.EndKind.OPTIONAL) {
261 done = true;
262 break;
263 }
264 }
265 if (!done && HtmlTag.BODY.accepts(t)) {
266 tagStack.clear();
267 }
269 checkStructure(tree, t);
271 // tag specific checks
272 switch (t) {
273 // check for out of sequence headers, such as <h1>...</h1> <h3>...</h3>
274 case H1: case H2: case H3: case H4: case H5: case H6:
275 checkHeader(tree, t);
276 break;
277 }
279 if (t.flags.contains(HtmlTag.Flag.NO_NEST)) {
280 for (TagStackItem i: tagStack) {
281 if (t == i.tag) {
282 env.messages.warning(HTML, tree, "dc.tag.nested.not.allowed", treeName);
283 break;
284 }
285 }
286 }
287 }
289 // check for self closing tags, such as <a id="name"/>
290 if (tree.isSelfClosing()) {
291 env.messages.error(HTML, tree, "dc.tag.self.closing", treeName);
292 }
294 try {
295 TagStackItem parent = tagStack.peek();
296 TagStackItem top = new TagStackItem(tree, t);
297 tagStack.push(top);
299 super.visitStartElement(tree, ignore);
301 // handle attributes that may or may not have been found in start element
302 if (t != null) {
303 switch (t) {
304 case CAPTION:
305 if (parent != null && parent.tag == HtmlTag.TABLE)
306 parent.flags.add(Flag.TABLE_HAS_CAPTION);
307 break;
309 case IMG:
310 if (!top.attrs.contains(HtmlTag.Attr.ALT))
311 env.messages.error(ACCESSIBILITY, tree, "dc.no.alt.attr.for.image");
312 break;
313 }
314 }
316 return null;
317 } finally {
319 if (t == null || t.endKind == HtmlTag.EndKind.NONE)
320 tagStack.pop();
321 }
322 }
324 private void checkStructure(StartElementTree tree, HtmlTag t) {
325 Name treeName = tree.getName();
326 TagStackItem top = tagStack.peek();
327 switch (t.blockType) {
328 case BLOCK:
329 if (top == null || top.tag.accepts(t))
330 return;
332 switch (top.tree.getKind()) {
333 case START_ELEMENT: {
334 if (top.tag.blockType == HtmlTag.BlockType.INLINE) {
335 Name name = ((StartElementTree) top.tree).getName();
336 env.messages.error(HTML, tree, "dc.tag.not.allowed.inline.element",
337 treeName, name);
338 return;
339 }
340 }
341 break;
343 case LINK:
344 case LINK_PLAIN: {
345 String name = top.tree.getKind().tagName;
346 env.messages.error(HTML, tree, "dc.tag.not.allowed.inline.tag",
347 treeName, name);
348 return;
349 }
350 }
351 break;
353 case INLINE:
354 if (top == null || top.tag.accepts(t))
355 return;
356 break;
358 case LIST_ITEM:
359 case TABLE_ITEM:
360 if (top != null) {
361 // reset this flag so subsequent bad inline content gets reported
362 top.flags.remove(Flag.REPORTED_BAD_INLINE);
363 if (top.tag.accepts(t))
364 return;
365 }
366 break;
368 case OTHER:
369 env.messages.error(HTML, tree, "dc.tag.not.allowed", treeName);
370 return;
371 }
373 env.messages.error(HTML, tree, "dc.tag.not.allowed.here", treeName);
374 }
376 private void checkHeader(StartElementTree tree, HtmlTag tag) {
377 // verify the new tag
378 if (getHeaderLevel(tag) > getHeaderLevel(currHeaderTag) + 1) {
379 if (currHeaderTag == null) {
380 env.messages.error(ACCESSIBILITY, tree, "dc.tag.header.sequence.1", tag);
381 } else {
382 env.messages.error(ACCESSIBILITY, tree, "dc.tag.header.sequence.2",
383 tag, currHeaderTag);
384 }
385 }
387 currHeaderTag = tag;
388 }
390 private int getHeaderLevel(HtmlTag tag) {
391 if (tag == null)
392 return implicitHeaderLevel;
393 switch (tag) {
394 case H1: return 1;
395 case H2: return 2;
396 case H3: return 3;
397 case H4: return 4;
398 case H5: return 5;
399 case H6: return 6;
400 default: throw new IllegalArgumentException();
401 }
402 }
404 @Override
405 public Void visitEndElement(EndElementTree tree, Void ignore) {
406 final Name treeName = tree.getName();
407 final HtmlTag t = HtmlTag.get(treeName);
408 if (t == null) {
409 env.messages.error(HTML, tree, "dc.tag.unknown", treeName);
410 } else if (t.endKind == HtmlTag.EndKind.NONE) {
411 env.messages.error(HTML, tree, "dc.tag.end.not.permitted", treeName);
412 } else {
413 boolean done = false;
414 while (!tagStack.isEmpty()) {
415 TagStackItem top = tagStack.peek();
416 if (t == top.tag) {
417 switch (t) {
418 case TABLE:
419 if (!top.attrs.contains(HtmlTag.Attr.SUMMARY)
420 && !top.flags.contains(Flag.TABLE_HAS_CAPTION)) {
421 env.messages.error(ACCESSIBILITY, tree,
422 "dc.no.summary.or.caption.for.table");
423 }
424 }
425 if (t.flags.contains(HtmlTag.Flag.EXPECT_CONTENT)
426 && !top.flags.contains(Flag.HAS_TEXT)
427 && !top.flags.contains(Flag.HAS_ELEMENT)
428 && !top.flags.contains(Flag.HAS_INLINE_TAG)) {
429 env.messages.warning(HTML, tree, "dc.tag.empty", treeName);
430 }
431 tagStack.pop();
432 done = true;
433 break;
434 } else if (top.tag == null || top.tag.endKind != HtmlTag.EndKind.REQUIRED) {
435 tagStack.pop();
436 } else {
437 boolean found = false;
438 for (TagStackItem si: tagStack) {
439 if (si.tag == t) {
440 found = true;
441 break;
442 }
443 }
444 if (found && top.tree.getKind() == DocTree.Kind.START_ELEMENT) {
445 env.messages.error(HTML, top.tree, "dc.tag.start.unmatched",
446 ((StartElementTree) top.tree).getName());
447 tagStack.pop();
448 } else {
449 env.messages.error(HTML, tree, "dc.tag.end.unexpected", treeName);
450 done = true;
451 break;
452 }
453 }
454 }
456 if (!done && tagStack.isEmpty()) {
457 env.messages.error(HTML, tree, "dc.tag.end.unexpected", treeName);
458 }
459 }
461 return super.visitEndElement(tree, ignore);
462 }
463 // </editor-fold>
465 // <editor-fold defaultstate="collapsed" desc="HTML attributes">
467 @Override @SuppressWarnings("fallthrough")
468 public Void visitAttribute(AttributeTree tree, Void ignore) {
469 HtmlTag currTag = tagStack.peek().tag;
470 if (currTag != null) {
471 Name name = tree.getName();
472 HtmlTag.Attr attr = currTag.getAttr(name);
473 if (attr != null) {
474 boolean first = tagStack.peek().attrs.add(attr);
475 if (!first)
476 env.messages.error(HTML, tree, "dc.attr.repeated", name);
477 }
478 AttrKind k = currTag.getAttrKind(name);
479 switch (k) {
480 case OK:
481 break;
483 case INVALID:
484 env.messages.error(HTML, tree, "dc.attr.unknown", name);
485 break;
487 case OBSOLETE:
488 env.messages.warning(ACCESSIBILITY, tree, "dc.attr.obsolete", name);
489 break;
491 case USE_CSS:
492 env.messages.warning(ACCESSIBILITY, tree, "dc.attr.obsolete.use.css", name);
493 break;
494 }
496 if (attr != null) {
497 switch (attr) {
498 case NAME:
499 if (currTag != HtmlTag.A) {
500 break;
501 }
502 // fallthrough
503 case ID:
504 String value = getAttrValue(tree);
505 if (value == null) {
506 env.messages.error(HTML, tree, "dc.anchor.value.missing");
507 } else {
508 if (!validName.matcher(value).matches()) {
509 env.messages.error(HTML, tree, "dc.invalid.anchor", value);
510 }
511 if (!foundAnchors.add(value)) {
512 env.messages.error(HTML, tree, "dc.anchor.already.defined", value);
513 }
514 }
515 break;
517 case HREF:
518 if (currTag == HtmlTag.A) {
519 String v = getAttrValue(tree);
520 if (v == null || v.isEmpty()) {
521 env.messages.error(HTML, tree, "dc.attr.lacks.value");
522 } else {
523 Matcher m = docRoot.matcher(v);
524 if (m.matches()) {
525 String rest = m.group(2);
526 if (!rest.isEmpty())
527 checkURI(tree, rest);
528 } else {
529 checkURI(tree, v);
530 }
531 }
532 }
533 break;
535 case VALUE:
536 if (currTag == HtmlTag.LI) {
537 String v = getAttrValue(tree);
538 if (v == null || v.isEmpty()) {
539 env.messages.error(HTML, tree, "dc.attr.lacks.value");
540 } else if (!validNumber.matcher(v).matches()) {
541 env.messages.error(HTML, tree, "dc.attr.not.number");
542 }
543 }
544 break;
545 }
546 }
547 }
549 // TODO: basic check on value
551 return super.visitAttribute(tree, ignore);
552 }
554 // http://www.w3.org/TR/html401/types.html#type-name
555 private static final Pattern validName = Pattern.compile("[A-Za-z][A-Za-z0-9-_:.]*");
557 private static final Pattern validNumber = Pattern.compile("-?[0-9]+");
559 // pattern to remove leading {@docRoot}/?
560 private static final Pattern docRoot = Pattern.compile("(?i)(\\{@docRoot *\\}/?)?(.*)");
562 private String getAttrValue(AttributeTree tree) {
563 if (tree.getValue() == null)
564 return null;
566 StringWriter sw = new StringWriter();
567 try {
568 new DocPretty(sw).print(tree.getValue());
569 } catch (IOException e) {
570 // cannot happen
571 }
572 // ignore potential use of entities for now
573 return sw.toString();
574 }
576 private void checkURI(AttributeTree tree, String uri) {
577 try {
578 URI u = new URI(uri);
579 } catch (URISyntaxException e) {
580 env.messages.error(HTML, tree, "dc.invalid.uri", uri);
581 }
582 }
583 // </editor-fold>
585 // <editor-fold defaultstate="collapsed" desc="javadoc tags">
587 @Override
588 public Void visitAuthor(AuthorTree tree, Void ignore) {
589 warnIfEmpty(tree, tree.getName());
590 return super.visitAuthor(tree, ignore);
591 }
593 @Override
594 public Void visitDocRoot(DocRootTree tree, Void ignore) {
595 markEnclosingTag(Flag.HAS_INLINE_TAG);
596 return super.visitDocRoot(tree, ignore);
597 }
599 @Override
600 public Void visitInheritDoc(InheritDocTree tree, Void ignore) {
601 markEnclosingTag(Flag.HAS_INLINE_TAG);
602 // TODO: verify on overridden method
603 foundInheritDoc = true;
604 return super.visitInheritDoc(tree, ignore);
605 }
607 @Override
608 public Void visitLink(LinkTree tree, Void ignore) {
609 markEnclosingTag(Flag.HAS_INLINE_TAG);
610 // simulate inline context on tag stack
611 HtmlTag t = (tree.getKind() == DocTree.Kind.LINK)
612 ? HtmlTag.CODE : HtmlTag.SPAN;
613 tagStack.push(new TagStackItem(tree, t));
614 try {
615 return super.visitLink(tree, ignore);
616 } finally {
617 tagStack.pop();
618 }
619 }
621 @Override
622 public Void visitLiteral(LiteralTree tree, Void ignore) {
623 markEnclosingTag(Flag.HAS_INLINE_TAG);
624 if (tree.getKind() == DocTree.Kind.CODE) {
625 for (TagStackItem tsi: tagStack) {
626 if (tsi.tag == HtmlTag.CODE) {
627 env.messages.warning(HTML, tree, "dc.tag.code.within.code");
628 break;
629 }
630 }
631 }
632 return super.visitLiteral(tree, ignore);
633 }
635 @Override
636 @SuppressWarnings("fallthrough")
637 public Void visitParam(ParamTree tree, Void ignore) {
638 boolean typaram = tree.isTypeParameter();
639 IdentifierTree nameTree = tree.getName();
640 Element paramElement = nameTree != null ? env.trees.getElement(new DocTreePath(getCurrentPath(), nameTree)) : null;
642 if (paramElement == null) {
643 switch (env.currElement.getKind()) {
644 case CLASS: case INTERFACE: {
645 if (!typaram) {
646 env.messages.error(REFERENCE, tree, "dc.invalid.param");
647 break;
648 }
649 }
650 case METHOD: case CONSTRUCTOR: {
651 env.messages.error(REFERENCE, nameTree, "dc.param.name.not.found");
652 break;
653 }
655 default:
656 env.messages.error(REFERENCE, tree, "dc.invalid.param");
657 break;
658 }
659 } else {
660 foundParams.add(paramElement);
661 }
663 warnIfEmpty(tree, tree.getDescription());
664 return super.visitParam(tree, ignore);
665 }
667 private void checkParamsDocumented(List<? extends Element> list) {
668 if (foundInheritDoc)
669 return;
671 for (Element e: list) {
672 if (!foundParams.contains(e)) {
673 CharSequence paramName = (e.getKind() == ElementKind.TYPE_PARAMETER)
674 ? "<" + e.getSimpleName() + ">"
675 : e.getSimpleName();
676 reportMissing("dc.missing.param", paramName);
677 }
678 }
679 }
681 @Override
682 public Void visitReference(ReferenceTree tree, Void ignore) {
683 Element e = env.trees.getElement(getCurrentPath());
684 if (e == null)
685 env.messages.error(REFERENCE, tree, "dc.ref.not.found");
686 return super.visitReference(tree, ignore);
687 }
689 @Override
690 public Void visitReturn(ReturnTree tree, Void ignore) {
691 Element e = env.trees.getElement(env.currPath);
692 if (e.getKind() != ElementKind.METHOD
693 || ((ExecutableElement) e).getReturnType().getKind() == TypeKind.VOID)
694 env.messages.error(REFERENCE, tree, "dc.invalid.return");
695 foundReturn = true;
696 warnIfEmpty(tree, tree.getDescription());
697 return super.visitReturn(tree, ignore);
698 }
700 @Override
701 public Void visitSerialData(SerialDataTree tree, Void ignore) {
702 warnIfEmpty(tree, tree.getDescription());
703 return super.visitSerialData(tree, ignore);
704 }
706 @Override
707 public Void visitSerialField(SerialFieldTree tree, Void ignore) {
708 warnIfEmpty(tree, tree.getDescription());
709 return super.visitSerialField(tree, ignore);
710 }
712 @Override
713 public Void visitSince(SinceTree tree, Void ignore) {
714 warnIfEmpty(tree, tree.getBody());
715 return super.visitSince(tree, ignore);
716 }
718 @Override
719 public Void visitThrows(ThrowsTree tree, Void ignore) {
720 ReferenceTree exName = tree.getExceptionName();
721 Element ex = env.trees.getElement(new DocTreePath(getCurrentPath(), exName));
722 if (ex == null) {
723 env.messages.error(REFERENCE, tree, "dc.ref.not.found");
724 } else if (ex.asType().getKind() == TypeKind.DECLARED
725 && env.types.isAssignable(ex.asType(), env.java_lang_Throwable)) {
726 switch (env.currElement.getKind()) {
727 case CONSTRUCTOR:
728 case METHOD:
729 if (isCheckedException(ex.asType())) {
730 ExecutableElement ee = (ExecutableElement) env.currElement;
731 checkThrowsDeclared(exName, ex.asType(), ee.getThrownTypes());
732 }
733 break;
734 default:
735 env.messages.error(REFERENCE, tree, "dc.invalid.throws");
736 }
737 } else {
738 env.messages.error(REFERENCE, tree, "dc.invalid.throws");
739 }
740 warnIfEmpty(tree, tree.getDescription());
741 return scan(tree.getDescription(), ignore);
742 }
744 private void checkThrowsDeclared(ReferenceTree tree, TypeMirror t, List<? extends TypeMirror> list) {
745 boolean found = false;
746 for (TypeMirror tl : list) {
747 if (env.types.isAssignable(t, tl)) {
748 foundThrows.add(tl);
749 found = true;
750 }
751 }
752 if (!found)
753 env.messages.error(REFERENCE, tree, "dc.exception.not.thrown", t);
754 }
756 private void checkThrowsDocumented(List<? extends TypeMirror> list) {
757 if (foundInheritDoc)
758 return;
760 for (TypeMirror tl: list) {
761 if (isCheckedException(tl) && !foundThrows.contains(tl))
762 reportMissing("dc.missing.throws", tl);
763 }
764 }
766 @Override
767 public Void visitValue(ValueTree tree, Void ignore) {
768 markEnclosingTag(Flag.HAS_INLINE_TAG);
769 return super.visitValue(tree, ignore);
770 }
772 @Override
773 public Void visitVersion(VersionTree tree, Void ignore) {
774 warnIfEmpty(tree, tree.getBody());
775 return super.visitVersion(tree, ignore);
776 }
778 @Override
779 public Void visitErroneous(ErroneousTree tree, Void ignore) {
780 env.messages.error(SYNTAX, tree, null, tree.getDiagnostic().getMessage(null));
781 return null;
782 }
783 // </editor-fold>
785 // <editor-fold defaultstate="collapsed" desc="Utility methods">
787 private boolean isCheckedException(TypeMirror t) {
788 return !(env.types.isAssignable(t, env.java_lang_Error)
789 || env.types.isAssignable(t, env.java_lang_RuntimeException));
790 }
792 private boolean isSynthetic() {
793 switch (env.currElement.getKind()) {
794 case CONSTRUCTOR:
795 // A synthetic default constructor has the same pos as the
796 // enclosing class
797 TreePath p = env.currPath;
798 return env.getPos(p) == env.getPos(p.getParentPath());
799 }
800 return false;
801 }
803 void markEnclosingTag(Flag flag) {
804 TagStackItem top = tagStack.peek();
805 if (top != null)
806 top.flags.add(flag);
807 }
809 String toString(TreePath p) {
810 StringBuilder sb = new StringBuilder("TreePath[");
811 toString(p, sb);
812 sb.append("]");
813 return sb.toString();
814 }
816 void toString(TreePath p, StringBuilder sb) {
817 TreePath parent = p.getParentPath();
818 if (parent != null) {
819 toString(parent, sb);
820 sb.append(",");
821 }
822 sb.append(p.getLeaf().getKind()).append(":").append(env.getPos(p)).append(":S").append(env.getStartPos(p));
823 }
825 void warnIfEmpty(DocTree tree, List<? extends DocTree> list) {
826 for (DocTree d: list) {
827 switch (d.getKind()) {
828 case TEXT:
829 if (hasNonWhitespace((TextTree) d))
830 return;
831 break;
832 default:
833 return;
834 }
835 }
836 env.messages.warning(SYNTAX, tree, "dc.empty", tree.getKind().tagName);
837 }
839 boolean hasNonWhitespace(TextTree tree) {
840 String s = tree.getBody();
841 for (int i = 0; i < s.length(); i++) {
842 if (!Character.isWhitespace(s.charAt(i)))
843 return true;
844 }
845 return false;
846 }
848 // </editor-fold>
850 }