Interface: Command<Model, Real>

Defined in: packages/fast-check/src/check/model/command/Command.ts:10

Interface that should be implemented in order to define a synchronous command

Remarks

Since 1.5.0

Extends

• ICommand<Model, Real, void>

Type Parameters

Type Parameter
Model extends object
Real

Methods

check()

check(m): boolean

Defined in: packages/fast-check/src/check/model/command/ICommand.ts:21

Check if the model is in the right state to apply the command

WARNING: does not change the model

Parameters

Parameter	Type	Description
m	Readonly<Model>	Model, simplified or schematic representation of real system

Returns

boolean

Remarks

Since 1.5.0

Inherited from

ICommand.check

---

run()

run(m, r): void

Defined in: packages/fast-check/src/check/model/command/ICommand.ts:33

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

Parameter	Type	Description
m	Model	Model, simplified or schematic representation of real system
r	Real	Sytem under test

Returns

void

Remarks

Since 1.5.0

Inherited from

ICommand.run

---

toString()

toString(): string

Defined in: packages/fast-check/src/check/model/command/ICommand.ts:39

Name of the command

Returns

string

Remarks

Since 1.5.0

Inherited from

ICommand.toString