Package com.io7m.jaffirm.core

Class ContractLongCondition

java.lang.Object

com.io7m.jaffirm.core.ContractLongCondition

All Implemented Interfaces:

ContractLongConditionType

public final class ContractLongCondition
extends java.lang.Object
implements ContractLongConditionType

A long specialized version of the ContractConditionType type.

Nested Class Summary

Nested Classes

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

Method Summary

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

Specified by:

predicate in interface ContractLongConditionType

Returns:

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

describer

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

Specified by:

describer in interface ContractLongConditionType

Returns:

A function that returns a textual description of the predicate

withPredicate

public final ContractLongCondition withPredicate(java.util.function.LongPredicate 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 ContractLongCondition withDescriber(java.util.function.LongFunction<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 ContractLongCondition 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 ContractLongCondition with attribute values.

Overrides:

toString in class java.lang.Object

Returns:

A string representation of the value

of

public static ContractLongCondition of(java.util.function.LongPredicate predicate,
                                       java.util.function.LongFunction<java.lang.String> describer)

Construct a new immutable ContractLongCondition instance.

Parameters:

predicate - The value for the predicate attribute

describer - The value for the describer attribute

Returns:

An immutable ContractLongCondition instance

copyOf

public static ContractLongCondition copyOf(ContractLongConditionType instance)

Creates an immutable copy of a ContractLongConditionType 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 ContractLongCondition instance

builder

public static ContractLongCondition.Builder builder()

Creates a builder for ContractLongCondition.

Returns:

A new ContractLongCondition builder