[Checkers] @ImplicitFor meta-annotation

Michael Ernst mernst at csail.mit.edu
Sun Apr 13 05:38:09 EDT 2008


Matt-

This sounds great, and I like the shortening effect on the checker
implementations.

What is the more complex design that shortens the checkers even more?  (Is
it worth implementing, or not?)

I have one concern with the location of the meta-annotation on the
@interface declaration.  This means that in order to understand the type
factory, a programmer must read both the @interface declaration and also
the type factory implementation.  The information is not all in one place.

If the meta-annotation is able to completely eliminate the type factory,
then putting it on the @interface declaration makes sense.  But if a type
factory exists, then perhaps it should appear on the type factory instead.

Thoughts?

                    -Mike



More information about the checkers mailing list