equal
deleted
inserted
replaced
27 |
27 |
28 import java.util.Arrays; |
28 import java.util.Arrays; |
29 import java.util.EnumSet; |
29 import java.util.EnumSet; |
30 import java.util.List; |
30 import java.util.List; |
31 import java.util.Set; |
31 import java.util.Set; |
|
32 import java.util.function.Predicate; |
32 import javax.lang.model.element.Element; |
33 import javax.lang.model.element.Element; |
33 import com.sun.source.doctree.DocTree; |
34 import com.sun.source.doctree.DocTree; |
34 import com.sun.source.doctree.TextTree; |
35 import com.sun.source.doctree.TextTree; |
35 import com.sun.source.doctree.UnknownInlineTagTree; |
36 import com.sun.source.doctree.UnknownInlineTagTree; |
36 import jdk.javadoc.doclet.Taglet; |
37 import jdk.javadoc.doclet.Taglet; |
63 List<? extends DocTree> previewContent = previewTag.getContent(); |
64 List<? extends DocTree> previewContent = previewTag.getContent(); |
64 String previewText = ((TextTree) previewContent.get(0)).getBody(); |
65 String previewText = ((TextTree) previewContent.get(0)).getBody(); |
65 String[] summaryAndDetails = previewText.split("\n\r?\n\r?"); |
66 String[] summaryAndDetails = previewText.split("\n\r?\n\r?"); |
66 String summary = summaryAndDetails[0]; |
67 String summary = summaryAndDetails[0]; |
67 String details = summaryAndDetails.length > 1 ? summaryAndDetails[1] : summaryAndDetails[0]; |
68 String details = summaryAndDetails.length > 1 ? summaryAndDetails[1] : summaryAndDetails[0]; |
68 if (Arrays.stream(new Exception().getStackTrace()).anyMatch(el -> el.getClassName().endsWith("HtmlDocletWriter") && el.getMethodName().equals("addSummaryComment"))) { |
69 StackTraceElement[] stackTrace = new Exception().getStackTrace(); |
|
70 Predicate<StackTraceElement> isSummary = |
|
71 el -> el.getClassName().endsWith("HtmlDocletWriter") && |
|
72 el.getMethodName().equals("addSummaryComment"); |
|
73 if (Arrays.stream(stackTrace).anyMatch(isSummary)) { |
69 return "<div style=\"display:inline-block; font-weight:bold\">" + summary + "</div><br>"; |
74 return "<div style=\"display:inline-block; font-weight:bold\">" + summary + "</div><br>"; |
70 } |
75 } |
71 return "<div style=\"border: 1px solid red; border-radius: 25px; padding: 5px; display:inline-block; font-size: larger\">" + details + "</div><br>"; |
76 return "<div style=\"border: 1px solid red; border-radius: 25px; padding: 5px; display:inline-block; font-size: larger\">" + details + "</div><br>"; |
72 } |
77 } |
73 } |
78 } |