FsCheck


Machine<'Actual, 'Model> Type

Namespace: FsCheck.Experimental

Assembly: FsCheck.dll

Base Type: obj

Defines the initial state for actual and model object, and allows to define the generator to use for the next state, based on the model.

Constructors

Constructor Description

Machine()

Full Usage: Machine()

Returns: Machine<'Actual, 'Model>

Returns: Machine<'Actual, 'Model>

Machine(maxNumberOfCommands)

Full Usage: Machine(maxNumberOfCommands)

Parameters:
    maxNumberOfCommands : int

Returns: Machine<'Actual, 'Model>

maxNumberOfCommands : int
Returns: Machine<'Actual, 'Model>

Instance members

Instance member Description

this.MaxNumberOfCommands

Full Usage: this.MaxNumberOfCommands

Returns: int

Returns: int

this.Next(arg1)

Full Usage: this.Next(arg1)

Parameters:
    arg0 : 'Model

Returns: Gen<Operation<'Actual, 'Model>>
Modifiers: abstract

Generate a number of possible commands based on the current state of the model. Preconditions are still checked, so even if a Command is returned, it is not chosen if its precondition does not hold.

arg0 : 'Model
Returns: Gen<Operation<'Actual, 'Model>>

this.Setup

Full Usage: this.Setup

Returns: Arbitrary<Setup<'Actual, 'Model>>
Modifiers: abstract

Returns: Arbitrary<Setup<'Actual, 'Model>>

this.ShrinkOperations(arg1)

Full Usage: this.ShrinkOperations(arg1)

Parameters:
Returns: seq<Operation<'Actual, 'Model> list>
Modifiers: abstract

arg0 : Operation<'Actual, 'Model> list
Returns: seq<Operation<'Actual, 'Model> list>

this.TearDown

Full Usage: this.TearDown

Returns: TearDown<'Actual>
Modifiers: abstract

Returns: TearDown<'Actual>