io.vavr.test

Class CheckResult.Satisfied

java.lang.Object

io.vavr.test.CheckResult.Satisfied

All Implemented Interfaces:

CheckResult, Serializable

Enclosing interface:

CheckResult

public static class CheckResult.Satisfied
extends Object
implements CheckResult, Serializable

Represents a satisfied 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

Method Summary

Modifier and Type	Method and Description
int	count() The number of checks performed using random generated input data.
boolean	equals(Object o)
Option<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.
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.
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

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 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<Error> error()

Description copied from interface: CheckResult

An optional error.

Specified by:

error in interface CheckResult

Returns:

an optional error

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object