[JSR308] Typestate checker

[Adam Warski]

Hello,

Maybe this will interests some of you:
I've uploaded a simple typestate checker:
http://www.warski.org/typestate.html

It is in a rather early stage of developing, but some things work :)
(Thanks mainly to the very good basis - checker framework.)

An introduction to state annotations and the typestate checker is on my blog:
http://www.warski.org/blog/?p=37

Comments are very welcome :)

-- 
Adam