[Checkers] Polymorphism In Framework

Mahmood Ali mahmood at MIT.EDU
Thu Jun 5 00:00:27 EDT 2008

Hi Matt,

> 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!

- Mahmood

More information about the checkers mailing list