/** * An {@code int} specialized version of {@link #checkPostcondition(Object, * ContractConditionType)}. * * @param value The value * @param condition The predicate * * @return value * * @throws PostconditionViolationException If the predicate is false */ public static int checkPostconditionI( final int value, final ContractIntConditionType condition) throws PostconditionViolationException { return checkPostconditionI( value, condition.predicate(), condition.describer()); }
/** * An {@code int} specialized version of {@link #checkPostcondition(Object, * ContractConditionType)}. * * @param value The value * @param condition The predicate * * @return value * * @throws PostconditionViolationException If the predicate is false */ public static int checkPostconditionI( final int value, final ContractIntConditionType condition) throws PostconditionViolationException { return checkPostconditionI( value, condition.predicate(), condition.describer()); }