fj.test

Class Arg<T>

java.lang.Object

fj.test.Arg<T>

public final class Arg<T>
extends java.lang.Object

An argument used in a property that may have undergone shrinking following falsification.

Field Summary

Fields

Modifier and Type	Field and Description
static Show<Arg<?>>	argShow The rendering of an argument (uses Object.toString() for the argument value).

Method Summary

Modifier and Type	Method and Description
static <T> Arg<T>	arg(T value, int shrinks) Construct a property argument with the given value and number of shrinks.
int	shrinks() Returns the argument's number of shrinks following falsification.
java.lang.Object	value() Returns the argument's value.

Methods inherited from class java.lang.Object

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

Field Detail

argShow

public static final Show<Arg<?>> argShow

The rendering of an argument (uses Object.toString() for the argument value).

Method Detail

arg

public static <T> Arg<T> arg(T value,
                             int shrinks)

Construct a property argument with the given value and number of shrinks.

Parameters:

value - The value to construct an argument with.

shrinks - The number of shrinks to construct an argument with.

Returns:

A new argument.

value

public java.lang.Object value()

Returns the argument's value.

Returns:

The argument's value.

shrinks

public int shrinks()

Returns the argument's number of shrinks following falsification.

Returns:

The argument's number of shrinks following falsification.