public static void ensure ( boolean condition , String message , Object ... args ) { if ( ! condition ) { throw new EnsureViolation ( format ( message , args ) ) ; } }
Postcondition that supplier are supposed to ensure . Violations are considered to be a programming error on the suppliers part .