[Checkers] Supporting unknown annotations?
mahmood at MIT.EDU
Sun Aug 17 08:36:22 EDT 2008
Thank you for bringing this up.
> Is there any reason that [AnnotatedTypeFactory].isSupportedQualifier
> is package private? I want to support user annotation.
(notice the class name correction) It's simply because that this
method doesn't quite belong to AnnotatedTypeFactory and should be
moved to QualifierHierarchy. AnnotatedTypeFactory needs some
refactoring. We also want to encourage having only one place to
specify the supported annotations within the Checker class only.
> My other option is to give an empty set and simply analyize all
> annotation, discarding any I don't care about.
This is the way it is now. If you notice,
AnnotatedTypeFactory.isSupportedQualifier returns true if
QualifierHierarchy.getTypeQualifiers is empty and the annotation is
not a source annotation (e.g. Override). This was a relatively new
As said earlier, in the next iteration of AnnotatedTypeFactory, some
methods would be moved to QualifierHierarchy.
More information about the checkers