equal
deleted
inserted
replaced
27 |
27 |
28 import java.util.EnumSet; |
28 import java.util.EnumSet; |
29 import java.util.List; |
29 import java.util.List; |
30 import java.util.Set; |
30 import java.util.Set; |
31 import javax.lang.model.element.Element; |
31 import javax.lang.model.element.Element; |
|
32 import javax.lang.model.element.ModuleElement; |
32 import com.sun.source.doctree.DocTree; |
33 import com.sun.source.doctree.DocTree; |
33 import jdk.javadoc.doclet.Taglet; |
34 import jdk.javadoc.doclet.Taglet; |
34 import static jdk.javadoc.doclet.Taglet.Location.*; |
35 import static jdk.javadoc.doclet.Taglet.Location.*; |
35 |
36 |
36 /** |
37 /** |
60 public String toString(List<? extends DocTree> tags, Element element) { |
61 public String toString(List<? extends DocTree> tags, Element element) { |
61 if (!enableModuleGraph) { |
62 if (!enableModuleGraph) { |
62 return ""; |
63 return ""; |
63 } |
64 } |
64 |
65 |
65 String moduleName = element.getSimpleName().toString(); |
66 String moduleName = ((ModuleElement) element).getQualifiedName().toString(); |
66 String imageFile = moduleName + "-graph.png"; |
67 String imageFile = moduleName + "-graph.png"; |
67 int thumbnailHeight = -1; |
68 int thumbnailHeight = -1; |
68 String hoverImage = ""; |
69 String hoverImage = ""; |
69 if (!moduleName.equals("java.base")) { |
70 if (!moduleName.equals("java.base")) { |
70 thumbnailHeight = 100; // also appears in the stylesheet |
71 thumbnailHeight = 100; // also appears in the stylesheet |