equal
deleted
inserted
replaced
1129 } |
1129 } |
1130 } |
1130 } |
1131 |
1131 |
1132 private static class TypeAnnotationFinder extends TreeScanner { |
1132 private static class TypeAnnotationFinder extends TreeScanner { |
1133 public boolean foundTypeAnno = false; |
1133 public boolean foundTypeAnno = false; |
|
1134 |
|
1135 @Override |
|
1136 public void scan(JCTree tree) { |
|
1137 if (foundTypeAnno || tree == null) |
|
1138 return; |
|
1139 super.scan(tree); |
|
1140 } |
|
1141 |
1134 public void visitAnnotation(JCAnnotation tree) { |
1142 public void visitAnnotation(JCAnnotation tree) { |
1135 foundTypeAnno = foundTypeAnno || tree.hasTag(TYPE_ANNOTATION); |
1143 foundTypeAnno = foundTypeAnno || tree.hasTag(TYPE_ANNOTATION); |
1136 } |
1144 } |
1137 } |
1145 } |
1138 |
1146 |