Package io.vavr.test

Class CheckResult.Falsified

java.lang.Object

io.vavr.test.CheckResult.Falsified

All Implemented Interfaces:

CheckResult, java.io.Serializable

Enclosing interface:

CheckResult

public static class CheckResult.Falsified
extends java.lang.Object
implements CheckResult, java.io.Serializable

Represents a falsified property check.

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface io.vavr.test.CheckResult

CheckResult.Erroneous, CheckResult.Falsified, CheckResult.Satisfied

Field Summary

Fields

Modifier and Type	Field	Description
private int	count
private java.lang.String	propertyName
private Tuple	sample
private static long	serialVersionUID

Constructor Summary

Constructors

Constructor	Description
Falsified(java.lang.String propertyName, int count, Tuple sample)

Method Summary

Modifier and Type	Method	Description
int	count()	The number of checks performed using random generated input data.
boolean	equals(java.lang.Object o)
Option<java.lang.Error>	error()	An optional error.
int	hashCode()
boolean	isErroneous()	If this check result is erroneous as specified above.
boolean	isExhausted()	If this check result is exhausted as specified above.
boolean	isFalsified()	If this check result is falsified as specified above.
boolean	isSatisfied()	If this check result is satisfied as specified above.
java.lang.String	propertyName()	The name of the checked property this result refers to.
Option<Tuple>	sample()	An optional sample which falsified the property or which lead to an error.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface io.vavr.test.CheckResult

assertIsErroneous, assertIsFalsified, assertIsSatisfied, assertIsSatisfiedWithExhaustion

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

propertyName

private final java.lang.String propertyName

count

private final int count

sample

private final Tuple sample

Constructor Detail

Falsified

Falsified(java.lang.String propertyName,
          int count,
          Tuple sample)

Method Detail

isSatisfied

public boolean isSatisfied()

Description copied from interface: CheckResult

If this check result is satisfied as specified above.

Specified by:

isSatisfied in interface CheckResult

Returns:

true, if this check result is satisfied, false otherwise

isFalsified

public boolean isFalsified()

Description copied from interface: CheckResult

If this check result is falsified as specified above.

Specified by:

isFalsified in interface CheckResult

Returns:

true, if this check result is falsified, false otherwise

isErroneous

public boolean isErroneous()

Description copied from interface: CheckResult

If this check result is erroneous as specified above.

Specified by:

isErroneous in interface CheckResult

Returns:

true, if this check result is erroneous, false otherwise

isExhausted

public boolean isExhausted()

Description copied from interface: CheckResult

If this check result is exhausted as specified above.

Specified by:

isExhausted in interface CheckResult

Returns:

true, if this check result is exhausted, false otherwise

propertyName

public java.lang.String propertyName()

Description copied from interface: CheckResult

The name of the checked property this result refers to.

Specified by:

propertyName in interface CheckResult

Returns:

a property name

count

public int count()

Description copied from interface: CheckResult

The number of checks performed using random generated input data.

Specified by:

count in interface CheckResult

Returns:

the number of checks performed

sample

public Option<Tuple> sample()

Description copied from interface: CheckResult

An optional sample which falsified the property or which lead to an error.

Specified by:

sample in interface CheckResult

Returns:

an optional sample

error

public Option<java.lang.Error> error()

Description copied from interface: CheckResult

An optional error.

Specified by:

error in interface CheckResult

Returns:

an optional error

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object