Contains static methods for representing program contracts such as preconditions, postconditions, and object invariants....state for a class that has no condition problems. For more information...String) Checks for a condition; if the condition is false , follows...