private static int innerCheckI( final int value, final boolean condition, final IntFunction<String> describer) { if (!condition) { throw failed( Integer.valueOf(value), singleViolation(applyDescriberIChecked(value, describer))); } return value; }
private static int innerCheckI( final int value, final boolean condition, final IntFunction<String> describer) { if (!condition) { throw failed( Integer.valueOf(value), singleViolation(applyDescriberIChecked(value, describer))); } return value; }
private static int innerCheckInvariantI( final int value, final boolean condition, final IntFunction<String> describer) { if (!condition) { throw failed( Integer.valueOf(value), singleViolation(applyDescriberIChecked(value, describer))); } return value; }
private static int innerCheckI( final int value, final boolean condition, final IntFunction<String> describer) { if (!condition) { throw failed( Integer.valueOf(value), singleViolation(applyDescriberIChecked(value, describer))); } return value; }
private static int innerCheckI( final int value, final boolean condition, final IntFunction<String> describer) { if (!condition) { throw failed( Integer.valueOf(value), singleViolation(applyDescriberIChecked(value, describer))); } return value; }
private static int innerCheckInvariantI( final int value, final boolean condition, final IntFunction<String> describer) { if (!condition) { throw failed( Integer.valueOf(value), singleViolation(applyDescriberIChecked(value, describer))); } return value; }
static Violations innerCheckAllInt( final int value, final ContractIntConditionType[] conditions) { Violations violations = null; for (int index = 0; index < conditions.length; ++index) { final ContractIntConditionType condition = conditions[index]; final IntPredicate predicate = condition.predicate(); final boolean ok; final int count = conditions.length; try { ok = predicate.test(value); } catch (final Throwable e) { violations = maybeAllocate(violations, count); violations.messages()[index] = failedPredicate(e); violations.countUp(); continue; } if (!ok) { violations = maybeAllocate(violations, count); violations.messages()[index] = applyDescriberIChecked(value, condition.describer()); violations.countUp(); } } return violations; }
static Violations innerCheckAllInt( final int value, final ContractIntConditionType[] conditions) { Violations violations = null; for (int index = 0; index < conditions.length; ++index) { final ContractIntConditionType condition = conditions[index]; final IntPredicate predicate = condition.predicate(); final boolean ok; final int count = conditions.length; try { ok = predicate.test(value); } catch (final Throwable e) { violations = maybeAllocate(violations, count); violations.messages()[index] = failedPredicate(e); violations.countUp(); continue; } if (!ok) { violations = maybeAllocate(violations, count); violations.messages()[index] = applyDescriberIChecked(value, condition.describer()); violations.countUp(); } } return violations; }