github
Advanced Search
  • Home
  • Pricing and Signup
  • Explore GitHub
  • Blog
  • Login

adamw / jsr308-typestate-checker

  • Admin
  • Watch Unwatch
  • Fork
  • Your Fork
  • Pull Request
  • Download Source
    • 1
    • 0
  • Source
  • Commits
  • Network (0)
  • Issues (0)
  • Downloads (0)
  • Wiki (1)
  • Graphs
  • Branch: master

click here to add a description

click here to add a homepage

  • Branches (1)
    • master ✓
  • Tags (0)
Sending Request…
Enable Donations

Pledgie Donations

Once activated, we'll place the following badge in your repository's detail box:
Pledgie_example
This service is courtesy of Pledgie.

JSR308 Typestate Checker — Read more

  cancel

http://www.warski.org/typestate.html

  cancel
  • Private
  • Read-Only
  • HTTP Read-Only

This URL has Read+Write access

Making the typestate checker work with newest jsr308-checkers release
adamw (author)
Wed Jan 06 23:38:06 -0800 2010
commit  9259a89731caec99c3819659853a624946154423
tree    5a69045e3f1dde27919b914f7e8ac61c8d21ed11
parent  1407cd5fec93fdf8b95b160477fc703183580814
jsr308-typestate-checker /
name age
history
message
file .gitignore Loading commit data...
file build.properties
file build.xml
file debug.sh
directory example/
directory src/
file test.sh
directory tests/
Blog | Support | Training | Contact | API | Status | Twitter | Help | Security
© 2010 GitHub Inc. All rights reserved. | Terms of Service | Privacy Policy
Powered by the Dedicated Servers and
Cloud Computing of Rackspace Hosting®
Dedicated Server