[JSR308] New release of the Typestate Checker

Adam Warski adam at warski.org
Tue Apr 14 15:05:32 EDT 2009


today I've released a new version (0.2) of the Typestate Checker. You  
can find more information, downloads, examples etc in the blog entry:

- bug fixes
- support for "onException" element of state annotations, which  
specifies the state to which an object transits, when an exception is  
- improved flow algorithm (better handling of try-catch-finally  
blocks, "dead"/"alive" catches)
- initial support for an "except" element in @Any annotation; this way  
you can specify that all states except some are covered by the  
annotation. This doesn't yet fully work, as only "certain" annotations  
are tracked by the flow algorithm, not the possible ones, in which an  
object can be. So if except includes more than one annotation, and the  
object can be in one of two states, using this can yield false  

Comments welcome! :)


More information about the JSR308 mailing list