Package com.io7m.jaffirm.core

Class ContractIntCondition

java.lang.Object

com.io7m.jaffirm.core.ContractIntCondition

All Implemented Interfaces:

ContractIntConditionType

public final class ContractIntCondition
extends java.lang.Object
implements ContractIntConditionType

An int specialized version of the ContractConditionType type.

Nested Class Summary

Nested Classes

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

Method Summary

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

Specified by:

predicate in interface ContractIntConditionType

Returns:

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

describer

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

Specified by:

describer in interface ContractIntConditionType

Returns:

A function that returns a textual description of the predicate

withPredicate

public final ContractIntCondition withPredicate(java.util.function.IntPredicate 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 ContractIntCondition withDescriber(java.util.function.IntFunction<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 ContractIntCondition 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 ContractIntCondition with attribute values.

Overrides:

toString in class java.lang.Object

Returns:

A string representation of the value

of

public static ContractIntCondition of(java.util.function.IntPredicate predicate,
                                      java.util.function.IntFunction<java.lang.String> describer)

Construct a new immutable ContractIntCondition instance.

Parameters:

predicate - The value for the predicate attribute

describer - The value for the describer attribute

Returns:

An immutable ContractIntCondition instance

copyOf

public static ContractIntCondition copyOf(ContractIntConditionType instance)

Creates an immutable copy of a ContractIntConditionType 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 ContractIntCondition instance

builder

public static ContractIntCondition.Builder builder()

Creates a builder for ContractIntCondition.

Returns:

A new ContractIntCondition builder