Logo FsCheck

ObjectMachine<'Actual> Type

Constructors

Constructor Description

ObjectMachine(arbMap, ?methodFilter)

Full Usage: ObjectMachine(arbMap, ?methodFilter)

Parameters:
Returns: ObjectMachine<'Actual>
arbMap : IArbMap
?methodFilter : MethodInfo -> bool
Returns: ObjectMachine<'Actual>

Inherited members

Inherited from Machine<'Actual, ObjectMachineModel>

Instance members

Instance member Description

this.Next

Full Usage: this.Next

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.ShrinkOperations

Full Usage: this.ShrinkOperations

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

this.MaxNumberOfCommands

Full Usage: this.MaxNumberOfCommands

Returns: int
Returns: int

this.Setup

Full Usage: this.Setup

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

this.TearDown

Full Usage: this.TearDown

Returns: TearDown<'Actual>
Modifiers: abstract
Returns: TearDown<'Actual>

Type something to start searching.