state

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.