[JSR308] Typestate checker
Adam Warski
adamw at fusemail.com
Mon Nov 17 13:25:42 EST 2008
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
More information about the JSR308
mailing list