private static <T> PostconditionViolationException failed( final T value, final Violations violations) { final StringBuilder sb = new StringBuilder(128); sb.append("Postcondition violation."); sb.append(System.lineSeparator()); sb.append(" Received: "); sb.append(value); sb.append(System.lineSeparator()); sb.append(" Violated conditions: "); sb.append(System.lineSeparator()); final String[] messages = violations.messages(); for (int index = 0; index < messages.length; ++index) { if (messages[index] != null) { sb.append(" ["); sb.append(index); sb.append("]: "); sb.append(messages[index]); sb.append(System.lineSeparator()); } } throw new PostconditionViolationException( sb.toString(), violations.count()); }
private static <T> PostconditionViolationException failed( final T value, final Violations violations) { final StringBuilder sb = new StringBuilder(128); sb.append("Postcondition violation."); sb.append(System.lineSeparator()); sb.append(" Received: "); sb.append(value); sb.append(System.lineSeparator()); sb.append(" Violated conditions: "); sb.append(System.lineSeparator()); final String[] messages = violations.messages(); for (int index = 0; index < messages.length; ++index) { if (messages[index] != null) { sb.append(" ["); sb.append(index); sb.append("]: "); sb.append(messages[index]); sb.append(System.lineSeparator()); } } throw new PostconditionViolationException( sb.toString(), violations.count()); }
private static <T> PreconditionViolationException failed( final T value, final Violations violations) { final StringBuilder sb = new StringBuilder(128); sb.append("Precondition violation."); sb.append(System.lineSeparator()); sb.append(" Received: "); sb.append(value); sb.append(System.lineSeparator()); sb.append(" Violated conditions: "); sb.append(System.lineSeparator()); final String[] messages = violations.messages(); for (int index = 0; index < messages.length; ++index) { if (messages[index] != null) { sb.append(" ["); sb.append(index); sb.append("]: "); sb.append(messages[index]); sb.append(System.lineSeparator()); } } throw new PreconditionViolationException(sb.toString(), violations.count()); } }
private static <T> InvariantViolationException failed( final T value, final Violations violations) { final StringBuilder sb = new StringBuilder(128); sb.append("Invariant violation."); sb.append(System.lineSeparator()); sb.append(" Received: "); sb.append(value); sb.append(System.lineSeparator()); sb.append(" Violated conditions: "); sb.append(System.lineSeparator()); final String[] messages = violations.messages(); for (int index = 0; index < messages.length; ++index) { if (messages[index] != null) { sb.append(" ["); sb.append(index); sb.append("]: "); sb.append(messages[index]); sb.append(System.lineSeparator()); } } throw new InvariantViolationException(sb.toString(), violations.count()); } }
private static <T> InvariantViolationException failed( final T value, final Violations violations) { final StringBuilder sb = new StringBuilder(128); sb.append("Invariant violation."); sb.append(System.lineSeparator()); sb.append(" Received: "); sb.append(value); sb.append(System.lineSeparator()); sb.append(" Violated conditions: "); sb.append(System.lineSeparator()); final String[] messages = violations.messages(); for (int index = 0; index < messages.length; ++index) { if (messages[index] != null) { sb.append(" ["); sb.append(index); sb.append("]: "); sb.append(messages[index]); sb.append(System.lineSeparator()); } } throw new InvariantViolationException(sb.toString(), violations.count()); } }
private static <T> PreconditionViolationException failed( final T value, final Violations violations) { final StringBuilder sb = new StringBuilder(128); sb.append("Precondition violation."); sb.append(System.lineSeparator()); sb.append(" Received: "); sb.append(value); sb.append(System.lineSeparator()); sb.append(" Violated conditions: "); sb.append(System.lineSeparator()); final String[] messages = violations.messages(); for (int index = 0; index < messages.length; ++index) { if (messages[index] != null) { sb.append(" ["); sb.append(index); sb.append("]: "); sb.append(messages[index]); sb.append(System.lineSeparator()); } } throw new PreconditionViolationException(sb.toString(), violations.count()); } }
static <T> Violations innerCheckAll( final T value, final ContractConditionType<T>[] conditions) { Violations violations = null; for (int index = 0; index < conditions.length; ++index) { final ContractConditionType<T> condition = conditions[index]; final Predicate<T> 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] = applyDescriberChecked(value, condition.describer()); violations.countUp(); } } return violations; }
static <T> Violations innerCheckAll( final T value, final ContractConditionType<T>[] conditions) { Violations violations = null; for (int index = 0; index < conditions.length; ++index) { final ContractConditionType<T> condition = conditions[index]; final Predicate<T> 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] = applyDescriberChecked(value, condition.describer()); violations.countUp(); } } return violations; }
static Violations innerCheckAllDouble( final double value, final ContractDoubleConditionType[] conditions) { Violations violations = null; for (int index = 0; index < conditions.length; ++index) { final ContractDoubleConditionType condition = conditions[index]; final DoublePredicate 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] = applyDescriberDChecked(value, condition.describer()); violations.countUp(); } } return violations; }
static Violations innerCheckAllDouble( final double value, final ContractDoubleConditionType[] conditions) { Violations violations = null; for (int index = 0; index < conditions.length; ++index) { final ContractDoubleConditionType condition = conditions[index]; final DoublePredicate 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] = applyDescriberDChecked(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; }
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 innerCheckAllLong( final long value, final ContractLongConditionType[] conditions) { Violations violations = null; for (int index = 0; index < conditions.length; ++index) { final ContractLongConditionType condition = conditions[index]; final LongPredicate 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] = applyDescriberLChecked(value, condition.describer()); violations.countUp(); } } return violations; }
static Violations innerCheckAllLong( final long value, final ContractLongConditionType[] conditions) { Violations violations = null; for (int index = 0; index < conditions.length; ++index) { final ContractLongConditionType condition = conditions[index]; final LongPredicate 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] = applyDescriberLChecked(value, condition.describer()); violations.countUp(); } } return violations; }