Interface AsyncCommand<Model, Real, CheckAsync>

Interface that should be implemented in order to define an asynchronous command

Remarks

Since 1.5.0

interface AsyncCommand<
    Model extends object,
    Real,
    CheckAsync extends boolean = false,
> {
    check(
        m: Readonly<Model>,
    ): CheckAsync extends false ? boolean : Promise<boolean>;
    run(m: Model, r: Real): Promise;
    toString(): string;
}

Type Parameters

Model extends object
Real
CheckAsync extends boolean = false

Hierarchy (View Summary)

ICommand<Model, Real, Promise<void>, CheckAsync>
- AsyncCommand

Index

Methods

check run toString

Methods

check

check(m: Readonly<Model>): CheckAsync extends false ? boolean : Promise<boolean>
Check if the model is in the right state to apply the command

WARNING: does not change the model
Parameters
- m: Readonly<Model>
  Model, simplified or schematic representation of real system
Returns CheckAsync extends false ? boolean : Promise<boolean>
Remarks
Since 1.5.0
Inherited from ICommand.check
- Defined in packages/fast-check/src/check/model/command/ICommand.ts:21

run

run(m: Model, r: Real): Promise
Receive the non-updated model and the real or system under test. Perform the checks post-execution - Throw in case of invalid state. Update the model accordingly
Parameters
- m: Model
  Model, simplified or schematic representation of real system
- r: Real
  Sytem under test
Returns Promise
Remarks
Since 1.5.0
Inherited from ICommand.run
- Defined in packages/fast-check/src/check/model/command/ICommand.ts:33

toString

toString(): string
Name of the command

Returns string
Remarks
Since 1.5.0
Inherited from ICommand.toString
- Defined in packages/fast-check/src/check/model/command/ICommand.ts:39

Interface AsyncCommand<Model, Real, CheckAsync>

Remarks

Type Parameters

Hierarchy (View Summary)

Index

Methods

Methods

check

Parameters

Returns CheckAsync extends false ? boolean : Promise<boolean>

Remarks

run

Parameters

Returns Promise

Remarks

toString

Returns string

Remarks

Settings

On This Page