Chex4j allows you to document and enforce @pre and @post conditions of method calls with runtime class file instrumentation. Conditions run as fast as normal code. Chex4j runs as a class load time javaagent. Optionally the instrumented classes may be output to disk for deployment.
Homepage POM file JAR file Javadoc'net.sf.chex4j:chex4j:1.0.2'