# Interface: Command\<Model, Real\>

> Defined in: [packages/fast-check/src/check/model/command/Command.ts:10](https://github.com/dubzzz/fast-check/blob/4663db899d411b24434189b8e560b5ecefc93f23/packages/fast-check/src/check/model/command/Command.ts#L10)

# Interface: Command\<Model, Real\>

Defined in: [packages/fast-check/src/check/model/command/Command.ts:10](https://github.com/dubzzz/fast-check/blob/4663db899d411b24434189b8e560b5ecefc93f23/packages/fast-check/src/check/model/command/Command.ts#L10)

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

## Remarks

Since 1.5.0

## Extends

- [`ICommand`](ICommand.md)\<`Model`, `Real`, `void`\>

## Type Parameters

| Type Parameter |
| ------ |
| `Model` *extends* `object` |
| `Real` |

## Methods

### check() {#check}

> **check**(`m`): `boolean`

Defined in: [packages/fast-check/src/check/model/command/ICommand.ts:21](https://github.com/dubzzz/fast-check/blob/4663db899d411b24434189b8e560b5ecefc93f23/packages/fast-check/src/check/model/command/ICommand.ts#L21)

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`](ICommand.md).[`check`](ICommand.md#check)

***

### run() {#run}

> **run**(`m`, `r`): `void`

Defined in: [packages/fast-check/src/check/model/command/ICommand.ts:33](https://github.com/dubzzz/fast-check/blob/4663db899d411b24434189b8e560b5ecefc93f23/packages/fast-check/src/check/model/command/ICommand.ts#L33)

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`](ICommand.md).[`run`](ICommand.md#run)

***

### toString() {#tostring}

> **toString**(): `string`

Defined in: [packages/fast-check/src/check/model/command/ICommand.ts:39](https://github.com/dubzzz/fast-check/blob/4663db899d411b24434189b8e560b5ecefc93f23/packages/fast-check/src/check/model/command/ICommand.ts#L39)

Name of the command

#### Returns

`string`

#### Remarks

Since 1.5.0

#### Inherited from

[`ICommand`](ICommand.md).[`toString`](ICommand.md#tostring)