trait SetCommand in org.scalacheck.Commands

org.scalacheck.Commands

trait SetCommand

[source: org/scalacheck/Commands.scala]

trait SetCommand: extends Command

A command that binds its result for later use

Values and Variables inherited from Command
preConditions, postConditions

Method Summary
`final def`	nextState (s : State) : State
`abstract def`	nextState (s : State, b : Binding) : State
`protected[Commands] override final def`	run_ (s : State) : Any Used internally.

Methods inherited from Command
run (abstract), preCondition_=, preCondition, postCondition_=, postCondition_=, postCondition

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

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

Method Details

protected[Commands] override final def run_(s : State) : Any

Used internally.

Overrides: Command.run_

final def nextState(s : State) : State

Overrides: Command.nextState

abstract def nextState(s : State, b : Binding) : State