PropertyTestingException

Rasuvaeff\PropertyTesting\PropertyTestingException

Interface — Package: property-testing-core — Source — Version: v1.0.0-1-g88fdee2

Implements: Throwable, Stringable

Implemented by: CoverageViolationException, DeadlineExceededException, ExampleViolationException, GaveUpException, GenerationExhaustedException, PathViolationException, PropertyViolationException, RegressionViolationException, StateMachine\PostconditionViolationException, TimeBudgetExceededException

Marker for every exception this engine reports, so a caller can catch the package as a whole (catch (PropertyTestingException $e)) without enumerating the ten concrete types.

It is deliberately empty: the concrete classes keep their own fields and message formats, and each still extends \RuntimeException.

AssumptionSkipped does not implement it. That exception is a control-flow signal — a discarded run, not a failure — and a property body catching the marker must not swallow its own discards.

No public members beyond what is documented above.