Class: PreconditionFailure

Defined in: packages/fast-check/src/check/precondition/PreconditionFailure.ts:9

Error type produced whenever a precondition fails

Remarks

Since 2.2.0

Extends

• Error

Constructors

Constructor

new PreconditionFailure(interruptExecution?): PreconditionFailure

Defined in: packages/fast-check/src/check/precondition/PreconditionFailure.ts:12

Parameters

Parameter	Type	Default value
interruptExecution	boolean	false

Returns

PreconditionFailure

Overrides

Error.constructor

Properties

cause?

optional cause?: unknown

Defined in: node_modules/.pnpm/typescript@6.0.2/node_modules/typescript/lib/lib.es2022.error.d.ts:24

Inherited from

Error.cause

---

interruptExecution

readonly interruptExecution: boolean = false

Defined in: packages/fast-check/src/check/precondition/PreconditionFailure.ts:12

---

message

message: string

Defined in: node_modules/.pnpm/typescript@6.0.2/node_modules/typescript/lib/lib.es5.d.ts:1075

Inherited from

Error.message

---

name

name: string

Defined in: node_modules/.pnpm/typescript@6.0.2/node_modules/typescript/lib/lib.es5.d.ts:1074

Inherited from

Error.name

---

stack?

optional stack?: string

Defined in: node_modules/.pnpm/typescript@6.0.2/node_modules/typescript/lib/lib.es5.d.ts:1076

Inherited from

Error.stack

Methods

isFailure()

static isFailure(err): err is PreconditionFailure

Defined in: packages/fast-check/src/check/precondition/PreconditionFailure.ts:16

Parameters

Parameter	Type
err	unknown

Returns

err is PreconditionFailure