trait Commands in org.scalacheck

org.scalacheck

trait Commands

[source: org/scalacheck/Commands.scala]

trait Commands: extends AnyRef

See User Guide for usage examples

Type Summary
`abstract type`	S The abstract state data type. This type must be immutable.

Method Summary
`def`	commandsProp : Prop
`protected abstract def`	genCommand (s : S) : Gen[Command] Generates a command
`protected abstract def`	initialState : S Resets the system under test and returns its abstract state

Methods inherited from AnyRef
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized

Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf

Class Summary
`protected class`	Binding (`private` key : S) `extends` AnyRef
`trait`	Command `extends` AnyRef An abstract command
`abstract class`	SetCommand `extends` Command A command that binds its result for later use

Type Details

abstract type S

The abstract state data type. This type must be immutable.

Method Details

protected abstract def initialState : S

Resets the system under test and returns its abstract state

protected abstract def genCommand(s : S) : Gen[Command]

Generates a command

def commandsProp : Prop