object Action
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- Action
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Type Members
- type ActionCheck[S] = StateT[Identity, (S, Environment), core.Result]
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def action[S](commands: List[CommandIO[S]]): StateT[GenT, Context[S], Action[S]]
- def action[S, I, O](command: Command[S, I, O], context: Context[S]): StateT[GenT, Context[S], Option[Action[S]]]
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
- def dropInvalid[S](actions: List[Action[S]]): State[Context[S], List[Action[S]]]
Drops invalid actions from the sequence.
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def execute[S](action: Action[S]): StateT[[β$2$]Either[ExecutionError, β$2$], Environment, ActionCheck[S]]
- 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.
- def executeSequential[S](initial: S, actions: List[Action[S]]): core.Result
- def executeUpdateEnsure[S](action: Action[S]): State[(S, Environment), core.Result]
- def fromCommand[S, I, O](c: Command[S, I, O], i: I, o: Var[O]): Action[S]
- def genActions[S](range: Range[Int], commands: List[CommandIO[S]], ctx: Context[S]): GenT[(Context[S], List[Action[S]])]
- 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.
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def interleave[A](xs00: List[A], ys00: List[A]): List[List[A]]
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def linearize[S](initial: S, env: Environment, branch1: List[ActionCheck[S]], branch2: List[ActionCheck[S]]): core.Result
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
Deprecated Value Members
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable]) @Deprecated
- Deprecated