FsCheck


Operation<'Actual, 'Model> Type

Namespace: FsCheck.Experimental

Assembly: FsCheck.dll

Base Type: obj

All Interfaces: IOperation

An operation describes pre and post conditions and the model for a single operation under test. The post-conditions are the invariants that will be checked; when these do not hold the test fails.

Constructors

Constructor Description

Operation()

Full Usage: Operation()

Returns: Operation<'Actual, 'Model>

Returns: Operation<'Actual, 'Model>

Instance members

Instance member Description

this.Check(arg1, arg2)

Full Usage: this.Check(arg1, arg2)

Parameters:
    arg0 : 'Actual
    arg1 : 'Model

Returns: Property
Modifiers: abstract

Executes the command on the object under test, and returns a property that must hold. This property typically compares the state of the model with the state of the object after execution of the command.

arg0 : 'Actual
arg1 : 'Model
Returns: Property

this.Pre(arg1)

Full Usage: this.Pre(arg1)

Parameters:
    arg0 : 'Model

Returns: bool
Modifiers: abstract

Optional precondition for execution of the command. When this does not hold, the test continues but the command is not executed.

arg0 : 'Model
Returns: bool

this.Run(arg1)

Full Usage: this.Run(arg1)

Parameters:
    arg0 : 'Model

Returns: 'Model
Modifiers: abstract

Executes the command on the model of the object.

arg0 : 'Model
Returns: 'Model