Index

B C D E F H I O P S T V W
All Classes All Packages

B

build() - Method in class com.io7m.jaffirm.core.ContractCondition.Builder: Builds a new ContractCondition.
build() - Method in class com.io7m.jaffirm.core.ContractDoubleCondition.Builder: Builds a new ContractDoubleCondition.
build() - Method in class com.io7m.jaffirm.core.ContractIntCondition.Builder: Builds a new ContractIntCondition.
build() - Method in class com.io7m.jaffirm.core.ContractLongCondition.Builder: Builds a new ContractLongCondition.
builder() - Static method in class com.io7m.jaffirm.core.ContractCondition: Creates a builder for ContractCondition.
builder() - Static method in class com.io7m.jaffirm.core.ContractDoubleCondition: Creates a builder for ContractDoubleCondition.
builder() - Static method in class com.io7m.jaffirm.core.ContractIntCondition: Creates a builder for ContractIntCondition.
builder() - Static method in class com.io7m.jaffirm.core.ContractLongCondition: Creates a builder for ContractLongCondition.

C

checkInvariant(boolean, String) - Static method in class com.io7m.jaffirm.core.Invariants: A specialized version of Invariants.checkInvariant(Object, boolean, Function) that does not mention an input value.
checkInvariant(boolean, Supplier<String>) - Static method in class com.io7m.jaffirm.core.Invariants: A specialized version of Invariants.checkInvariant(Object, boolean, Function) that does not mention an input value.
checkInvariant(T, boolean, Function<T, String>) - Static method in class com.io7m.jaffirm.core.Invariants: Evaluate the given predicate using value as input.
checkInvariant(T, ContractConditionType<T>) - Static method in class com.io7m.jaffirm.core.Invariants: Evaluate the given predicate using value as input.
checkInvariant(T, Predicate<T>, Function<T, String>) - Static method in class com.io7m.jaffirm.core.Invariants: Evaluate the given predicate using value as input.
checkInvariantD(double, boolean, DoubleFunction<String>) - Static method in class com.io7m.jaffirm.core.Invariants: A double specialized version of Invariants.checkInvariant(Object, boolean, Function)
checkInvariantD(double, ContractDoubleConditionType) - Static method in class com.io7m.jaffirm.core.Invariants: A double specialized version of Invariants.checkInvariant(Object, ContractConditionType).
checkInvariantD(double, DoublePredicate, DoubleFunction<String>) - Static method in class com.io7m.jaffirm.core.Invariants: A double specialized version of Invariants.checkInvariant(Object, Predicate, Function)
checkInvariantI(int, boolean, IntFunction<String>) - Static method in class com.io7m.jaffirm.core.Invariants: An int specialized version of Invariants.checkInvariant(Object, boolean, Function).
checkInvariantI(int, ContractIntConditionType) - Static method in class com.io7m.jaffirm.core.Invariants: An int specialized version of Invariants.checkInvariant(Object, ContractConditionType).
checkInvariantI(int, IntPredicate, IntFunction<String>) - Static method in class com.io7m.jaffirm.core.Invariants: An int specialized version of Invariants.checkInvariant(Object, ContractConditionType).
checkInvariantL(long, boolean, LongFunction<String>) - Static method in class com.io7m.jaffirm.core.Invariants: A long specialized version of Invariants.checkInvariant(Object, Predicate, Function)
checkInvariantL(long, ContractLongConditionType) - Static method in class com.io7m.jaffirm.core.Invariants: A long specialized version of Invariants.checkInvariant(Object, ContractConditionType).
checkInvariantL(long, LongPredicate, LongFunction<String>) - Static method in class com.io7m.jaffirm.core.Invariants: A long specialized version of Invariants.checkInvariant(Object, Predicate, Function)
checkInvariants(T, ContractConditionType<T>...) - Static method in class com.io7m.jaffirm.core.Invariants: Evaluate all of the given conditions using value as input.
checkInvariantsD(double, ContractDoubleConditionType...) - Static method in class com.io7m.jaffirm.core.Invariants: A double specialized version of Invariants.checkInvariants(Object, ContractConditionType[])
checkInvariantsI(int, ContractIntConditionType...) - Static method in class com.io7m.jaffirm.core.Invariants: An int specialized version of Invariants.checkInvariants(Object, ContractConditionType[])
checkInvariantsL(long, ContractLongConditionType...) - Static method in class com.io7m.jaffirm.core.Invariants: A long specialized version of Invariants.checkInvariants(Object, ContractConditionType[])
checkInvariantV(boolean, String, Object...) - Static method in class com.io7m.jaffirm.core.Invariants: A version of Invariants.checkInvariant(boolean, String) that constructs a description message from the given format string and arguments.
checkInvariantV(T, boolean, String, Object...) - Static method in class com.io7m.jaffirm.core.Invariants: A version of Invariants.checkInvariant(boolean, String) that constructs a description message from the given format string and arguments.
checkPostcondition(boolean, String) - Static method in class com.io7m.jaffirm.core.Postconditions: A specialized version of Postconditions.checkPostcondition(Object, boolean, Function) that does not mention an input value.
checkPostcondition(boolean, Supplier<String>) - Static method in class com.io7m.jaffirm.core.Postconditions: A specialized version of Postconditions.checkPostcondition(Object, boolean, Function) that does not mention an input value.
checkPostcondition(T, boolean, Function<T, String>) - Static method in class com.io7m.jaffirm.core.Postconditions: Evaluate the given predicate using value as input.
checkPostcondition(T, ContractConditionType<T>) - Static method in class com.io7m.jaffirm.core.Postconditions: Evaluate the given predicate using value as input.
checkPostcondition(T, Predicate<T>, Function<T, String>) - Static method in class com.io7m.jaffirm.core.Postconditions: Evaluate the given predicate using value as input.
checkPostconditionD(double, boolean, DoubleFunction<String>) - Static method in class com.io7m.jaffirm.core.Postconditions: A double specialized version of Postconditions.checkPostcondition(Object, boolean, Function)
checkPostconditionD(double, ContractDoubleConditionType) - Static method in class com.io7m.jaffirm.core.Postconditions: A double specialized version of Postconditions.checkPostcondition(Object, ContractConditionType).
checkPostconditionD(double, DoublePredicate, DoubleFunction<String>) - Static method in class com.io7m.jaffirm.core.Postconditions: A double specialized version of Postconditions.checkPostcondition(Object, Predicate, Function)
checkPostconditionI(int, boolean, IntFunction<String>) - Static method in class com.io7m.jaffirm.core.Postconditions: An int specialized version of Postconditions.checkPostcondition(Object, boolean, Function).
checkPostconditionI(int, ContractIntConditionType) - Static method in class com.io7m.jaffirm.core.Postconditions: An int specialized version of Postconditions.checkPostcondition(Object, ContractConditionType).
checkPostconditionI(int, IntPredicate, IntFunction<String>) - Static method in class com.io7m.jaffirm.core.Postconditions: An int specialized version of Postconditions.checkPostcondition(Object, ContractConditionType).
checkPostconditionL(long, boolean, LongFunction<String>) - Static method in class com.io7m.jaffirm.core.Postconditions: A long specialized version of Postconditions.checkPostcondition(Object, Predicate, Function)
checkPostconditionL(long, ContractLongConditionType) - Static method in class com.io7m.jaffirm.core.Postconditions: A long specialized version of Postconditions.checkPostcondition(Object, ContractConditionType).
checkPostconditionL(long, LongPredicate, LongFunction<String>) - Static method in class com.io7m.jaffirm.core.Postconditions: A long specialized version of Postconditions.checkPostcondition(Object, Predicate, Function)
checkPostconditions(T, ContractConditionType<T>...) - Static method in class com.io7m.jaffirm.core.Postconditions: Evaluate all of the given conditions using value as input.
checkPostconditionsD(double, ContractDoubleConditionType...) - Static method in class com.io7m.jaffirm.core.Postconditions: A double specialized version of Postconditions.checkPostconditions(Object, ContractConditionType[])
checkPostconditionsI(int, ContractIntConditionType...) - Static method in class com.io7m.jaffirm.core.Postconditions: An int specialized version of Postconditions.checkPostconditions(Object, ContractConditionType[])
checkPostconditionsL(long, ContractLongConditionType...) - Static method in class com.io7m.jaffirm.core.Postconditions: A long specialized version of Postconditions.checkPostconditions(Object, ContractConditionType[])
checkPostconditionV(boolean, String, Object...) - Static method in class com.io7m.jaffirm.core.Postconditions: A version of Postconditions.checkPostcondition(boolean, String) that constructs a description message from the given format string and arguments.
checkPostconditionV(T, boolean, String, Object...) - Static method in class com.io7m.jaffirm.core.Postconditions: A version of Postconditions.checkPostcondition(boolean, String) that constructs a description message from the given format string and arguments.
checkPrecondition(boolean, String) - Static method in class com.io7m.jaffirm.core.Preconditions: A specialized version of Preconditions.checkPrecondition(Object, boolean, Function) that does not mention an input value.
checkPrecondition(boolean, Supplier<String>) - Static method in class com.io7m.jaffirm.core.Preconditions: A specialized version of Preconditions.checkPrecondition(Object, boolean, Function) that does not mention an input value.
checkPrecondition(T, boolean, Function<T, String>) - Static method in class com.io7m.jaffirm.core.Preconditions: Evaluate the given predicate using value as input.
checkPrecondition(T, ContractConditionType<T>) - Static method in class com.io7m.jaffirm.core.Preconditions: Evaluate the given predicate using value as input.
checkPrecondition(T, Predicate<T>, Function<T, String>) - Static method in class com.io7m.jaffirm.core.Preconditions: Evaluate the given predicate using value as input.
checkPreconditionD(double, boolean, DoubleFunction<String>) - Static method in class com.io7m.jaffirm.core.Preconditions: A double specialized version of Preconditions.checkPrecondition(Object, boolean, Function)
checkPreconditionD(double, ContractDoubleConditionType) - Static method in class com.io7m.jaffirm.core.Preconditions: A double specialized version of Preconditions.checkPrecondition(Object, ContractConditionType).
checkPreconditionD(double, DoublePredicate, DoubleFunction<String>) - Static method in class com.io7m.jaffirm.core.Preconditions: A double specialized version of Preconditions.checkPrecondition(Object, Predicate, Function)
checkPreconditionI(int, boolean, IntFunction<String>) - Static method in class com.io7m.jaffirm.core.Preconditions: An int specialized version of Preconditions.checkPrecondition(Object, boolean, Function).
checkPreconditionI(int, ContractIntConditionType) - Static method in class com.io7m.jaffirm.core.Preconditions: An int specialized version of Preconditions.checkPrecondition(Object, ContractConditionType).
checkPreconditionI(int, IntPredicate, IntFunction<String>) - Static method in class com.io7m.jaffirm.core.Preconditions: An int specialized version of Preconditions.checkPrecondition(Object, ContractConditionType).
checkPreconditionL(long, boolean, LongFunction<String>) - Static method in class com.io7m.jaffirm.core.Preconditions: A long specialized version of Preconditions.checkPrecondition(Object, Predicate, Function)
checkPreconditionL(long, ContractLongConditionType) - Static method in class com.io7m.jaffirm.core.Preconditions: A long specialized version of Preconditions.checkPrecondition(Object, ContractConditionType).
checkPreconditionL(long, LongPredicate, LongFunction<String>) - Static method in class com.io7m.jaffirm.core.Preconditions: A long specialized version of Preconditions.checkPrecondition(Object, Predicate, Function)
checkPreconditions(T, ContractConditionType<T>...) - Static method in class com.io7m.jaffirm.core.Preconditions: Evaluate all of the given conditions using value as input.
checkPreconditionsD(double, ContractDoubleConditionType...) - Static method in class com.io7m.jaffirm.core.Preconditions: A double specialized version of Preconditions.checkPreconditions(Object, ContractConditionType[])
checkPreconditionsI(int, ContractIntConditionType...) - Static method in class com.io7m.jaffirm.core.Preconditions: An int specialized version of Preconditions.checkPreconditions(Object, ContractConditionType[])
checkPreconditionsL(long, ContractLongConditionType...) - Static method in class com.io7m.jaffirm.core.Preconditions: A long specialized version of Preconditions.checkPreconditions(Object, ContractConditionType[])
checkPreconditionV(boolean, String, Object...) - Static method in class com.io7m.jaffirm.core.Preconditions: A version of Preconditions.checkPrecondition(boolean, String) that constructs a description message from the given format string and arguments.
checkPreconditionV(T, boolean, String, Object...) - Static method in class com.io7m.jaffirm.core.Preconditions: A version of Preconditions.checkPrecondition(boolean, String) that constructs a description message from the given format string and arguments.
com.io7m.jaffirm.core - package com.io7m.jaffirm.core: Core types and functions.
condition(Predicate<T>, Function<T, String>) - Static method in class com.io7m.jaffirm.core.Contracts: Construct a predicate from the given predicate function and describer.
conditionD(DoublePredicate, DoubleFunction<String>) - Static method in class com.io7m.jaffirm.core.Contracts: Construct a double specialized predicate from the given predicate function and describer.
conditionI(IntPredicate, IntFunction<String>) - Static method in class com.io7m.jaffirm.core.Contracts: Construct an int specialized predicate from the given predicate function and describer.
conditionL(LongPredicate, LongFunction<String>) - Static method in class com.io7m.jaffirm.core.Contracts: Construct a long specialized predicate from the given predicate function and describer.
ContractCondition<T> - Class in com.io7m.jaffirm.core: An individual predicate in a contract.
ContractCondition.Builder<T> - Class in com.io7m.jaffirm.core: Builds instances of type ContractCondition.
ContractConditionType<T> - Interface in com.io7m.jaffirm.core: An individual predicate in a contract.
ContractDoubleCondition - Class in com.io7m.jaffirm.core: A double specialized version of the ContractConditionType type.
ContractDoubleCondition.Builder - Class in com.io7m.jaffirm.core: Builds instances of type ContractDoubleCondition.
ContractDoubleConditionType - Interface in com.io7m.jaffirm.core: A double specialized version of the ContractConditionType type.
ContractException - Exception in com.io7m.jaffirm.core: One or more conditions have been violated.
ContractException(String, int) - Constructor for exception com.io7m.jaffirm.core.ContractException: Construct an exception.
ContractException(String, Throwable, int) - Constructor for exception com.io7m.jaffirm.core.ContractException: Construct an exception.
ContractIntCondition - Class in com.io7m.jaffirm.core: An int specialized version of the ContractConditionType type.
ContractIntCondition.Builder - Class in com.io7m.jaffirm.core: Builds instances of type ContractIntCondition.
ContractIntConditionType - Interface in com.io7m.jaffirm.core: An int specialized version of the ContractConditionType type.
ContractLongCondition - Class in com.io7m.jaffirm.core: A long specialized version of the ContractConditionType type.
ContractLongCondition.Builder - Class in com.io7m.jaffirm.core: Builds instances of type ContractLongCondition.
ContractLongConditionType - Interface in com.io7m.jaffirm.core: A long specialized version of the ContractConditionType type.
Contracts - Class in com.io7m.jaffirm.core: Functions to create contracts and conditions.
copyOf(ContractConditionType<T>) - Static method in class com.io7m.jaffirm.core.ContractCondition: Creates an immutable copy of a ContractConditionType value.
copyOf(ContractDoubleConditionType) - Static method in class com.io7m.jaffirm.core.ContractDoubleCondition: Creates an immutable copy of a ContractDoubleConditionType value.
copyOf(ContractIntConditionType) - Static method in class com.io7m.jaffirm.core.ContractIntCondition: Creates an immutable copy of a ContractIntConditionType value.
copyOf(ContractLongConditionType) - Static method in class com.io7m.jaffirm.core.ContractLongCondition: Creates an immutable copy of a ContractLongConditionType value.

D

describer() - Method in class com.io7m.jaffirm.core.ContractCondition
describer() - Method in interface com.io7m.jaffirm.core.ContractConditionType
describer() - Method in class com.io7m.jaffirm.core.ContractDoubleCondition
describer() - Method in interface com.io7m.jaffirm.core.ContractDoubleConditionType
describer() - Method in class com.io7m.jaffirm.core.ContractIntCondition
describer() - Method in interface com.io7m.jaffirm.core.ContractIntConditionType
describer() - Method in class com.io7m.jaffirm.core.ContractLongCondition
describer() - Method in interface com.io7m.jaffirm.core.ContractLongConditionType

E

equals(Object) - Method in class com.io7m.jaffirm.core.ContractCondition: This instance is equal to all instances of ContractCondition that have equal attribute values.
equals(Object) - Method in class com.io7m.jaffirm.core.ContractDoubleCondition: This instance is equal to all instances of ContractDoubleCondition that have equal attribute values.
equals(Object) - Method in class com.io7m.jaffirm.core.ContractIntCondition: This instance is equal to all instances of ContractIntCondition that have equal attribute values.
equals(Object) - Method in class com.io7m.jaffirm.core.ContractLongCondition: This instance is equal to all instances of ContractLongCondition that have equal attribute values.

F

from(ContractConditionType<T>) - Method in class com.io7m.jaffirm.core.ContractCondition.Builder: Fill a builder with attribute values from the provided ContractConditionType instance.
from(ContractDoubleConditionType) - Method in class com.io7m.jaffirm.core.ContractDoubleCondition.Builder: Fill a builder with attribute values from the provided ContractDoubleConditionType instance.
from(ContractIntConditionType) - Method in class com.io7m.jaffirm.core.ContractIntCondition.Builder: Fill a builder with attribute values from the provided ContractIntConditionType instance.
from(ContractLongConditionType) - Method in class com.io7m.jaffirm.core.ContractLongCondition.Builder: Fill a builder with attribute values from the provided ContractLongConditionType instance.

H

hashCode() - Method in class com.io7m.jaffirm.core.ContractCondition: Computes a hash code from attributes: predicate, describer.
hashCode() - Method in class com.io7m.jaffirm.core.ContractDoubleCondition: Computes a hash code from attributes: predicate, describer.
hashCode() - Method in class com.io7m.jaffirm.core.ContractIntCondition: Computes a hash code from attributes: predicate, describer.
hashCode() - Method in class com.io7m.jaffirm.core.ContractLongCondition: Computes a hash code from attributes: predicate, describer.

I

Invariants - Class in com.io7m.jaffirm.core: Functions to check invariants.
InvariantViolationException - Exception in com.io7m.jaffirm.core: One or more invariants have been violated.
InvariantViolationException(String, int) - Constructor for exception com.io7m.jaffirm.core.InvariantViolationException: Construct an exception.
InvariantViolationException(String, Throwable, int) - Constructor for exception com.io7m.jaffirm.core.InvariantViolationException: Construct an exception.

O

of(DoublePredicate, DoubleFunction<String>) - Static method in class com.io7m.jaffirm.core.ContractDoubleCondition: Construct a new immutable ContractDoubleCondition instance.
of(IntPredicate, IntFunction<String>) - Static method in class com.io7m.jaffirm.core.ContractIntCondition: Construct a new immutable ContractIntCondition instance.
of(LongPredicate, LongFunction<String>) - Static method in class com.io7m.jaffirm.core.ContractLongCondition: Construct a new immutable ContractLongCondition instance.
of(Predicate<T>, Function<T, String>) - Static method in class com.io7m.jaffirm.core.ContractCondition: Construct a new immutable ContractCondition instance.

P

Postconditions - Class in com.io7m.jaffirm.core: Functions to check postconditions.
PostconditionViolationException - Exception in com.io7m.jaffirm.core: One or more postconditions have been violated.
PostconditionViolationException(String, int) - Constructor for exception com.io7m.jaffirm.core.PostconditionViolationException: Construct an exception.
PostconditionViolationException(String, Throwable, int) - Constructor for exception com.io7m.jaffirm.core.PostconditionViolationException: Construct an exception.
Preconditions - Class in com.io7m.jaffirm.core: Functions to check preconditions.
PreconditionViolationException - Exception in com.io7m.jaffirm.core: One or more checkPreconditions have been violated.
PreconditionViolationException(String, int) - Constructor for exception com.io7m.jaffirm.core.PreconditionViolationException: Construct an exception.
PreconditionViolationException(String, Throwable, int) - Constructor for exception com.io7m.jaffirm.core.PreconditionViolationException: Construct an exception.
predicate() - Method in class com.io7m.jaffirm.core.ContractCondition
predicate() - Method in interface com.io7m.jaffirm.core.ContractConditionType
predicate() - Method in class com.io7m.jaffirm.core.ContractDoubleCondition
predicate() - Method in interface com.io7m.jaffirm.core.ContractDoubleConditionType
predicate() - Method in class com.io7m.jaffirm.core.ContractIntCondition
predicate() - Method in interface com.io7m.jaffirm.core.ContractIntConditionType
predicate() - Method in class com.io7m.jaffirm.core.ContractLongCondition
predicate() - Method in interface com.io7m.jaffirm.core.ContractLongConditionType

S

setDescriber(DoubleFunction<String>) - Method in class com.io7m.jaffirm.core.ContractDoubleCondition.Builder: Initializes the value for the describer attribute.
setDescriber(Function<T, String>) - Method in class com.io7m.jaffirm.core.ContractCondition.Builder: Initializes the value for the describer attribute.
setDescriber(IntFunction<String>) - Method in class com.io7m.jaffirm.core.ContractIntCondition.Builder: Initializes the value for the describer attribute.
setDescriber(LongFunction<String>) - Method in class com.io7m.jaffirm.core.ContractLongCondition.Builder: Initializes the value for the describer attribute.
setPredicate(DoublePredicate) - Method in class com.io7m.jaffirm.core.ContractDoubleCondition.Builder: Initializes the value for the predicate attribute.
setPredicate(IntPredicate) - Method in class com.io7m.jaffirm.core.ContractIntCondition.Builder: Initializes the value for the predicate attribute.
setPredicate(LongPredicate) - Method in class com.io7m.jaffirm.core.ContractLongCondition.Builder: Initializes the value for the predicate attribute.
setPredicate(Predicate<T>) - Method in class com.io7m.jaffirm.core.ContractCondition.Builder: Initializes the value for the predicate attribute.

T

toString() - Method in class com.io7m.jaffirm.core.ContractCondition: Prints the immutable value ContractCondition with attribute values.
toString() - Method in class com.io7m.jaffirm.core.ContractDoubleCondition: Prints the immutable value ContractDoubleCondition with attribute values.
toString() - Method in class com.io7m.jaffirm.core.ContractIntCondition: Prints the immutable value ContractIntCondition with attribute values.
toString() - Method in class com.io7m.jaffirm.core.ContractLongCondition: Prints the immutable value ContractLongCondition with attribute values.

V

violations() - Method in exception com.io7m.jaffirm.core.ContractException

W

withDescriber(DoubleFunction<String>) - Method in class com.io7m.jaffirm.core.ContractDoubleCondition: Copy the current immutable object by setting a value for the describer attribute.
withDescriber(Function<T, String>) - Method in class com.io7m.jaffirm.core.ContractCondition: Copy the current immutable object by setting a value for the describer attribute.
withDescriber(IntFunction<String>) - Method in class com.io7m.jaffirm.core.ContractIntCondition: Copy the current immutable object by setting a value for the describer attribute.
withDescriber(LongFunction<String>) - Method in class com.io7m.jaffirm.core.ContractLongCondition: Copy the current immutable object by setting a value for the describer attribute.
withPredicate(DoublePredicate) - Method in class com.io7m.jaffirm.core.ContractDoubleCondition: Copy the current immutable object by setting a value for the predicate attribute.
withPredicate(IntPredicate) - Method in class com.io7m.jaffirm.core.ContractIntCondition: Copy the current immutable object by setting a value for the predicate attribute.
withPredicate(LongPredicate) - Method in class com.io7m.jaffirm.core.ContractLongCondition: Copy the current immutable object by setting a value for the predicate attribute.
withPredicate(Predicate<T>) - Method in class com.io7m.jaffirm.core.ContractCondition: Copy the current immutable object by setting a value for the predicate attribute.

B C D E F H I O P S T V W
All Classes All Packages