jio.test.pbt.TestResult Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of jio-test Show documentation
Show all versions of jio-test Show documentation
JIO test library based on Property Based Testing and Java Flight Recording Debuggers
package jio.test.pbt;
/**
* Represents the result of the execution of a property test. This sealed interface has three implementations:
* TestException, TestFailure, and TestSuccess.
*/
public sealed interface TestResult permits TestFailure, TestSuccess {
/**
* A singleton that represents a successful execution of a property test.
*/
TestSuccess SUCCESS = new TestSuccess();
}