Chex4j

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.