Package net.jqwik.engine.properties.state

Class InvariantFailedError

java.lang.Object

java.lang.Throwable

java.lang.Error

java.lang.AssertionError

org.opentest4j.AssertionFailedError

net.jqwik.engine.properties.state.InvariantFailedError

All Implemented Interfaces:

Serializable

public class InvariantFailedError
extends org.opentest4j.AssertionFailedError

See Also:

• Serialized Form

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	InvariantFailedError(String message, Throwable cause)

Method Summary

Methods inherited from class org.opentest4j.AssertionFailedError

getActual, getExpected, isActualDefined, isExpectedDefined, toString

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace

Methods inherited from class java.lang.Object

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

Constructor Details

InvariantFailedError

protected InvariantFailedError(String message,
 Throwable cause)