Action

Value Members

1. final def !=(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

3. final def ==(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

4. def action[S](commands: List[CommandIO[S]]): StateT[GenT, Context[S], Action[S]]

   

5. def action[S, I, O](command: Command[S, I, O], context: Context[S]): StateT[GenT, Context[S], Option[Action[S]]]

   

6. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

7. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

8. def dropInvalid[S](actions: List[Action[S]]): State[Context[S], List[Action[S]]]

   

   Drops invalid actions from the sequence.

9. final def eq(arg0: AnyRef): Boolean

   

   Definition Classes

   AnyRef

10. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

11. def execute[S](action: Action[S]): StateT[[β$2$]Either[ExecutionError, β$2$], Environment, ActionCheck[S]]

    

12. def executeParallel[S](initial: S, parallel: Parallel[S])(implicit E: ExecutionContext): Future[core.Result]

    

    Executes the prefix actions sequentially, then executes the two branches in parallel, verifying that no exceptions are thrown and that there is at least one sequential interleaving where all the post-conditions are met.

    Executes the prefix actions sequentially, then executes the two branches in parallel, verifying that no exceptions are thrown and that there is at least one sequential interleaving where all the post-conditions are met.

    To generate parallel actions to execute, see the 'Hedgehog.Gen.parallel' combinator in the "Hedgehog.Gen" module.

13. def executeSequential[S](initial: S, actions: List[Action[S]]): core.Result

    

14. def executeUpdateEnsure[S](action: Action[S]): State[(S, Environment), core.Result]

    

15. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

16. def fromCommand[S, I, O](c: Command[S, I, O], i: I, o: Var[O]): Action[S]

    

17. def genActions[S](range: Range[Int], commands: List[CommandIO[S]], ctx: Context[S]): GenT[(Context[S], List[Action[S]])]

    

18. def genParallel[S](prefixN: Range[Int], parallelN: Range[Int], initial: S, commands: List[CommandIO[S]]): Gen[Parallel[S]]

    

    Given the initial model state and set of commands, generates prefix actions to be run sequentially, followed by two branches to be run in parallel.

19. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

20. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

21. def interleave[A](xs00: List[A], ys00: List[A]): List[List[A]]

    

22. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

23. def linearize[S](initial: S, env: Environment, branch1: List[ActionCheck[S]], branch2: List[ActionCheck[S]]): core.Result

    

24. final def ne(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

25. final def notify(): Unit

    

    Definition Classes

    AnyRef

26. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

27. final def synchronized[T0](arg0: ⇒ T0): T0

    

    Definition Classes

    AnyRef

28. def toString(): String

    

    Definition Classes

    AnyRef → Any

29. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

30. final def wait(arg0: Long, arg1: Int): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

31. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )