[Checkers] State-Type Prototype

[Mahmood Ali]

Greetings again,

I just implemented a prototype for stateful type-system.  The  
implementation and an example is attached.  You may need to upgrade to  
the new release scheduled today so it would compile cleanly.  I found  
some bugs that I just fixed.

Instead of using the name to determine the state, I used an annotation  
'ChangeStatusTo' that takes the new status (i.e. qualifier) of the  
receiver.

There is basically one class: StatefulAnnotatedTypeFactory, that  
contains StatefulFlow.  StatefulFlow changes the state of the call  
site upon method invocations of methods annotated with  
'@ChangeStatusTo'.

Please note the limitations due to aliasing, as noted in  
TestState.java example.

Regards,
Mahmood

-------------- next part --------------
A non-text attachment was scrubbed...
Name: TestState.java
Type: application/octet-stream
Size: 1274 bytes
Desc: not available
Url : https://lists.csail.mit.edu/mailman/private/checkers/attachments/20080912/293edd1e/attachment.obj 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: TestState-output
Type: application/octet-stream
Size: 1625 bytes
Desc: not available
Url : https://lists.csail.mit.edu/mailman/private/checkers/attachments/20080912/293edd1e/attachment-0001.obj 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: stateful.jar
Type: application/java-archive
Size: 2998 bytes
Desc: not available
Url : https://lists.csail.mit.edu/mailman/private/checkers/attachments/20080912/293edd1e/attachment.jar