preconditions

A simple but complete set of precondition checks for Java.