Package com.io7m.jaffirm.core

Class Contracts

  • public final class Contracts
extends java.lang.Object
    Functions to create contracts and conditions.

    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static <T> ContractCondition<T> condition​(java.util.function.Predicate<T> condition, java.util.function.Function<T,​java.lang.String> describer)
      Construct a predicate from the given predicate function and describer.
      static ContractDoubleCondition conditionD​(java.util.function.DoublePredicate condition, java.util.function.DoubleFunction<java.lang.String> describer)
      Construct a double specialized predicate from the given predicate function and describer.
      static ContractIntCondition conditionI​(java.util.function.IntPredicate condition, java.util.function.IntFunction<java.lang.String> describer)
      Construct an int specialized predicate from the given predicate function and describer.
      static ContractLongCondition conditionL​(java.util.function.LongPredicate condition, java.util.function.LongFunction<java.lang.String> describer)
      Construct a long specialized predicate from the given predicate function and describer.

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Method Detail

      • condition

        public static <T> ContractCondition<T> condition​(java.util.function.Predicate<T> condition,
                                                 java.util.function.Function<T,​java.lang.String> describer)
        Construct a predicate from the given predicate function and describer.
        Type Parameters:
        T - The type of values
        Parameters:
        condition - The predicate function
        describer - The describer
        Returns:
        A predicate

      • conditionI

        public static ContractIntCondition conditionI​(java.util.function.IntPredicate condition,
                                              java.util.function.IntFunction<java.lang.String> describer)
        Construct an int specialized predicate from the given predicate function and describer.
        Parameters:
        condition - The predicate function
        describer - The describer
        Returns:
        A predicate

      • conditionL

        public static ContractLongCondition conditionL​(java.util.function.LongPredicate condition,
                                               java.util.function.LongFunction<java.lang.String> describer)
        Construct a long specialized predicate from the given predicate function and describer.
        Parameters:
        condition - The predicate function
        describer - The describer
        Returns:
        A predicate

      • conditionD

        public static ContractDoubleCondition conditionD​(java.util.function.DoublePredicate condition,
                                                 java.util.function.DoubleFunction<java.lang.String> describer)
        Construct a double specialized predicate from the given predicate function and describer.
        Parameters:
        condition - The predicate function
        describer - The describer
        Returns:
        A predicate