public
Description: JSR308 Typestate Checker
Homepage: http://www.warski.org/typestate.html
Clone URL: git://github.com/adamw/jsr308-typestate-checker.git
name age message
file .gitignore Thu Mar 05 09:57:57 -0800 2009 Updating ignore file [adamw]
file build.properties Thu Mar 05 09:47:48 -0800 2009 Initial import [adamw]
file build.xml Mon Sep 14 06:29:05 -0700 2009 Updating to checkers 0.9.9 [adamw]
file debug.sh Mon Sep 21 11:16:40 -0700 2009 Implementing the logic of afterTrue and afterFa... [adamw]
file example.sh Tue Sep 22 12:32:57 -0700 2009 Iterator example [adamw]
directory example/ Wed Sep 23 09:22:05 -0700 2009 Nicer examples [adamw]
directory src/ Mon Sep 21 11:16:40 -0700 2009 Implementing the logic of afterTrue and afterFa... [adamw]
file test.sh Mon Sep 21 11:16:40 -0700 2009 Implementing the logic of afterTrue and afterFa... [adamw]
directory tests/ Mon Sep 21 11:16:40 -0700 2009 Implementing the logic of afterTrue and afterFa... [adamw]