equal
deleted
inserted
replaced
57 Map<JCTree, Entry> table; |
57 Map<JCTree, Entry> table; |
58 |
58 |
59 LazyDocCommentTable(ParserFactory fac) { |
59 LazyDocCommentTable(ParserFactory fac) { |
60 this.fac = fac; |
60 this.fac = fac; |
61 diagSource = fac.log.currentSource(); |
61 diagSource = fac.log.currentSource(); |
62 table = new HashMap<JCTree, Entry>(); |
62 table = new HashMap<>(); |
63 } |
63 } |
64 |
64 |
65 public boolean hasComment(JCTree tree) { |
65 public boolean hasComment(JCTree tree) { |
66 return table.containsKey(tree); |
66 return table.containsKey(tree); |
67 } |
67 } |