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 Loading commit data...
file debug.sh
file example.sh
directory example/
directory src/
file test.sh
directory tests/