Logo FsCheck

New<'Actual> Type

Constructors

Constructor Description

New(ctor, parameters)

Full Usage: New(ctor, parameters)

Parameters:
Returns: New<'Actual>
ctor : ConstructorInfo
parameters : obj array
Returns: New<'Actual>

Inherited members

Inherited from Setup<'Actual, ObjectMachineModel>

Instance members

Instance member Description

this.Actual

Full Usage: this.Actual

Returns: 'Actual
Modifiers: abstract

Randomly generate the initial state of the actual object. Should still correspond to the initial state of model object; so you should only randomly generate parameters to the instance that don't affect the model. Note:make sure that each value is truly a new instance if the commands change the state of the object. Gen.connstant in particular is a bad idea - use Gen.fresh instead.

Returns: 'Actual

this.Model

Full Usage: this.Model

Returns: 'Model
Modifiers: abstract

Initial state of model object. Must correspond to initial state of actual object.

Returns: 'Model

Type something to start searching.