Package com.io7m.jaffirm.core

Class ContractDoubleCondition

java.lang.Object

com.io7m.jaffirm.core.ContractDoubleCondition

All Implemented Interfaces:

ContractDoubleConditionType

public final class ContractDoubleCondition
extends java.lang.Object
implements ContractDoubleConditionType

A double specialized version of the ContractConditionType type.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	ContractDoubleCondition.Builder	Builds instances of type ContractDoubleCondition.

Method Summary

Modifier and Type	Method	Description
static ContractDoubleCondition.Builder	builder()	Creates a builder for ContractDoubleCondition.
static ContractDoubleCondition	copyOf(ContractDoubleConditionType instance)	Creates an immutable copy of a ContractDoubleConditionType value.
java.util.function.DoubleFunction<java.lang.String>	describer()
boolean	equals(java.lang.Object another)	This instance is equal to all instances of ContractDoubleCondition that have equal attribute values.
int	hashCode()	Computes a hash code from attributes: predicate, describer.
static ContractDoubleCondition	of(java.util.function.DoublePredicate predicate, java.util.function.DoubleFunction<java.lang.String> describer)	Construct a new immutable ContractDoubleCondition instance.
java.util.function.DoublePredicate	predicate()
java.lang.String	toString()	Prints the immutable value ContractDoubleCondition with attribute values.
ContractDoubleCondition	withDescriber(java.util.function.DoubleFunction<java.lang.String> value)	Copy the current immutable object by setting a value for the describer attribute.
ContractDoubleCondition	withPredicate(java.util.function.DoublePredicate value)	Copy the current immutable object by setting a value for the predicate attribute.

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Detail

predicate

public java.util.function.DoublePredicate predicate()

Specified by:

predicate in interface ContractDoubleConditionType

Returns:

A predicate that must evaluate to true for the contract to hold

describer

public java.util.function.DoubleFunction<java.lang.String> describer()

Specified by:

describer in interface ContractDoubleConditionType

Returns:

A function that returns a textual description of the predicate

withPredicate

public final ContractDoubleCondition withPredicate(java.util.function.DoublePredicate value)

Copy the current immutable object by setting a value for the predicate attribute. A shallow reference equality check is used to prevent copying of the same value by returning this.

Parameters:

value - A new value for predicate

Returns:

A modified copy of the this object

withDescriber

public final ContractDoubleCondition withDescriber(java.util.function.DoubleFunction<java.lang.String> value)

Copy the current immutable object by setting a value for the describer attribute. A shallow reference equality check is used to prevent copying of the same value by returning this.

Parameters:

value - A new value for describer

Returns:

A modified copy of the this object

equals

public boolean equals(java.lang.Object another)

This instance is equal to all instances of ContractDoubleCondition that have equal attribute values.

Overrides:

equals in class java.lang.Object

Returns:

true if this is equal to another instance

hashCode

public int hashCode()

Computes a hash code from attributes: predicate, describer.

Overrides:

hashCode in class java.lang.Object

Returns:

hashCode value

toString

public java.lang.String toString()

Prints the immutable value ContractDoubleCondition with attribute values.

Overrides:

toString in class java.lang.Object

Returns:

A string representation of the value

of

public static ContractDoubleCondition of(java.util.function.DoublePredicate predicate,
                                         java.util.function.DoubleFunction<java.lang.String> describer)

Construct a new immutable ContractDoubleCondition instance.

Parameters:

predicate - The value for the predicate attribute

describer - The value for the describer attribute

Returns:

An immutable ContractDoubleCondition instance

copyOf

public static ContractDoubleCondition copyOf(ContractDoubleConditionType instance)

Creates an immutable copy of a ContractDoubleConditionType value. Uses accessors to get values to initialize the new immutable instance. If an instance is already immutable, it is returned as is.

Parameters:

instance - The instance to copy

Returns:

A copied immutable ContractDoubleCondition instance

builder

public static ContractDoubleCondition.Builder builder()

Creates a builder for ContractDoubleCondition.

Returns:

A new ContractDoubleCondition builder