object Action
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- Action
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
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( ... ) @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: Any): 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[_]
- 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( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
Deprecated Value Members
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] ) @Deprecated
- Deprecated