Packages

package state

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. state
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. trait Action[S] extends AnyRef

    An instantiation of a 'Command' which can be executed, and its effect evaluated.

  2. trait Command[S, I, O] extends CommandIO[S]

    The specification for the expected behaviour of an Action.

  3. trait CommandIO[S] extends AnyRef

    Capture the Input and Output variables from Command existentially.

    Capture the Input and Output variables from Command existentially.

    FIXME If we can make the rest of the code play nicely with path-dependent types then we can remove this.

  4. case class Context[S](state: S, vars: SortedSet[Name]) extends Product with Serializable
  5. case class Environment(value: Map[Name, Any]) extends Product with Serializable

    A mapping of symbolic values to concrete values.

  6. sealed trait EnvironmentError extends Exception
  7. sealed trait ExecutionError extends Exception
  8. case class Name(value: Int) extends Product with Serializable

    Symbolic variable names.

  9. case class Parallel[S](prefix: List[Action[S]], branch1: List[Action[S]], branch2: List[Action[S]]) extends Product with Serializable

    A sequential prefix of actions to execute, with two branches to execute in parallel.

  10. case class Var[A] extends Product with Serializable

    Variables are the symbolic representation of executing an action.

    Variables are the symbolic representation of executing an action. To lookup the actual result of an action you require an Environment, which is only accessible at specific stages of testing.

    The constructor is hidden to avoid users accidentally creating their own.

Value Members

  1. def parallel[S](prefixN: Range[Int], parallelN: Range[Int], initial: S, commands: List[CommandIO[S]], cleanup: () => Unit)(implicit E: ExecutionContext): Property
  2. def sequential[S](range: Range[Int], initial: S, commands: List[CommandIO[S]], cleanup: () => Unit): Property
  3. object Action
  4. object Context extends Serializable
  5. object EnvironmentError extends Serializable
  6. object ExecutionError extends Serializable
  7. object Name extends Serializable
  8. object Runner
  9. object Var extends Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped