Operation<'Actual, 'Model> Type

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

Constructor	Description
`Operation()` Full Usage: `Operation()` Returns: `Operation<'Actual, 'Model>`	Returns: `Operation<'Actual, 'Model>`


                
                  
                    
                      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`