[Checkers] Annotation defaults and declarative specification of type hierarchy

Michael Ernst mernst at cs.washington.edu
Fri May 22 00:25:21 EDT 2009


> This is a very reasonable proposal for use of DefaultQualifier, and  
> should be doable easily.

Great.  I'll continue my case study when it is implemented.

> > (Speculation alert:  I wonder if it would be useful to have a  
> > @DisjointFrom
> > annotation as well as a @SubtypeOf annotation.
> I'll need to think about this for a bit.

OK.  Without a use case, it may not be worth implementing.


More information about the checkers mailing list