I’ll be speaking about the JSR-308 specification (annotations on java types), which will be part of Java 7, on the GeeCON conference, which will take place from the 13th till … Continue Reading →
Category Archives: Typestate
Typestate checker – checking iterators
In the new 0.2.2 release of the typestate checker (an extension to the JSR308 checkers framework), you can now specify a state, to which an object transits, if a method … Continue Reading →
Javarsovia, static analysis and annotations
If you’ll be in Warsaw this weekend, and if you speak polish, be sure not to miss Javarsovia, a one-day conference organized by the Warsaw JUG. I am giving a … Continue Reading →
New features in Typestate Checker
I’ve uploaded a new version (0.2) of the typestate checker (for an introduction, see this blog post), which contains bug fixes and much improved exception handling. The binaries, source code … Continue Reading →
Envers 1.2.0.GA in Maven repository; JSR308 typestate and maven plugin in GIT
The recently released Envers 1.2.0.GA finally made it to the JBoss Maven repository; you can find it here: http://repository.jboss.org/maven2/org/jboss/envers/jboss-envers/1.2.0.GA-hibernate-3.3/ Also, following Bob’s example, I’ve put the JSR 308 typestate checker … Continue Reading →
JSR308 Checkers Maven2 plugin
I’ve written a prototype JSR308 Checkers Maven2 plugin. You can use the plugin to run any checker on the sources of your module(s). The JSR308 compiler, and in effect also … Continue Reading →
Typestate checker – introduction
When dealing with mutable objects in Java, we quite often see that “states” of the class considered emerge. The (abstract) “state” depends of course on the content of the fields … Continue Reading →