[Checkers] Polymorphism In Framework
mahmood at MIT.EDU
Thu Jun 5 00:00:27 EDT 2008
> On a related note, in the long run it might be worthwhile to replace
> the polymorphism implementation with IGJ's @I implementation (or
> something based on it)
It might be nice. This might be problematic; because @I cannot
annotate method receiver while regular polymorphic annotations can.
In a more technical note, @I requires a value; and maybe all
polymorphic systems could benefit from it. However, there is no
mechanism to enforce an annotation to have a value!
More information about the checkers