Skip to content

Commit 6465706

Browse files
authored
Make isAliasedTypeAnnotation() protected (#7667)
1 parent 8af69bc commit 6465706

2 files changed

Lines changed: 6 additions & 2 deletions

File tree

docs/CHANGELOG.md

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,11 @@ Removed deprecated names "builder", "object.construction", and
1616
### Implementation details
1717

1818
New method annotation `@DoesNotUnrefineReceiver`.
19-
`AnnotatedTypeFactory` has a new method `hasDoesNotUnrefineReceiver()`.
19+
20+
In `AnnotatedTypeFactory`:
21+
22+
* new method `hasDoesNotUnrefineReceiver()`.
23+
* `isAliasedTypeAnnotation()` is now protected rather than public.
2024

2125
### Closed issues
2226

framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeFactory.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3554,7 +3554,7 @@ public AnnotationMirror canonicalAnnotation(AnnotationMirror a) {
35543554
* @param annoClass an annotation class
35553555
* @return true if the given annotation class is an alias for some other annotation
35563556
*/
3557-
public boolean isAliasedTypeAnnotation(Class<?> annoClass) {
3557+
protected boolean isAliasedTypeAnnotation(Class<?> annoClass) {
35583558
return aliases.containsKey(annoClass.getCanonicalName());
35593559
}
35603560

0 commit comments

Comments
 (0)