Interface Command<Model, Real>

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

Remarks

Since 1.5.0

Type Parameters

Model extends object
Real

Hierarchy

ICommand<Model, Real, void>
- Command

Index

Methods

check run toString

Methods

check

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

WARNING: does not change the model

Remarks
Since 1.5.0
Parameters
- m: Readonly<Model>
  
  Model, simplified or schematic representation of real system
Returns boolean
Inherited from ICommand.check
- Defined in packages/fast-check/src/check/model/command/ICommand.ts:22

run

run(m: Model, r: Real): void
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

Remarks
Since 1.5.0
Parameters
- m: Model
  
  Model, simplified or schematic representation of real system
- r: Real
  
  Sytem under test
Returns void
Inherited from ICommand.run
- Defined in packages/fast-check/src/check/model/command/ICommand.ts:34

toString

toString(): string
Name of the command

Remarks
Since 1.5.0

Returns string
Inherited from ICommand.toString
- Defined in packages/fast-check/src/check/model/command/ICommand.ts:40

Generated using TypeDoc