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.