Copyright 2008 - 2009 Tony Morris, Runar Bjarnason, Tom Adams, Brad Clow, Ricky Clarkson, Nick Partridge, Jason Zaugg

This software is released under an open source BSD licence.

fj.test
Class Arg<T>

java.lang.Object
  extended by fj.test.Arg<T>

public final class Arg<T>
extends Object

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


Field Summary
static Show<Arg<?>> argShow
          The rendering of an argument (uses Object.toString() for the argument value).
 
Method Summary
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.
 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 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.

Copyright 2008 - 2009 Tony Morris, Runar Bjarnason, Tom Adams, Brad Clow, Ricky Clarkson, Nick Partridge, Jason Zaugg

This software is released under an open source BSD licence.