[Checkers] Interaction Between Checkers

Mahmood Ali mahmood at MIT.EDU
Thu Apr 10 21:33:47 EDT 2008

I was just thinking of how hard it is to have dependancies between  
current factories now, and was wondering if we can do anything about it.

Any Interned value should be immutable (in the IGJ sense) too.   
However, I cannot easily describe this relation in the current  
framework or checkers.

Currently, one either need to modify IGJ checker to add Interned as  
part of its type qualifiers or create a checker with a special visitor  
that utilizes both annotated type factories.

Proposed idea:
Somehow come up with a "glue" between checkers and be able to lay  
extra relationships bridging the two type qualifiers.

Users can simply specify run (names simplified):
javac -typeprocessor <compine-processor> \
       -checkers IGJChecker:InternedChecker \
       -extra-relationship Interned<Immutable

What do you think?

- Mahmood

More information about the checkers mailing list