[Checkers] @ImplicitFor meta-annotation
mernst at csail.mit.edu
Sun Apr 13 05:38:09 EDT 2008
This sounds great, and I like the shortening effect on the checker
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.
More information about the checkers