trait Command[S, I, O] extends CommandIO[S]
The specification for the expected behaviour of an Action.
- Alphabetic
- By Inheritance
- Command
- CommandIO
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
Abstract Value Members
- abstract def ensure(env: Environment, before: S, after: S, i: Input, o: Output): core.Result
A post-condition for a command that must be verified for the command to be considered a success.
- abstract def execute(env: Environment, s: Input): Either[String, Output]
Executes a command using the arguments generated by gen.
- abstract def gen(s: S): Option[GenT[Input]]
A generator which provides random arguments for a command.
A generator which provides random arguments for a command. If the command cannot be executed in the current state, it should return
None. - abstract def update(s0: S, i: Input, o: Var[Output]): S
Updates the model state, given the input and output of the command.
Concrete 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
- 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()
- final def command: Command[S, Input, Output]
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- 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()
- def renderInput(i: Input): String
Render the input for displaying in test output.
Render the input for displaying in test output.
The default is to use
toString, but optionally can support being overridden. - def require(s: S, i: Input): Boolean
A pre-condition for a command that must be verified before the command can be executed.
A pre-condition for a command that must be verified before the command can be executed. This is mainly used during shrinking to ensure that it is still OK to run a command despite the fact that some previously executed commands may have been removed from the sequence.
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- def vars(i: Input): List[Var[_]]
Return a list of _all_
Varinstances referenced byInputReturn a list of _all_
Varinstances referenced byInputFailure to do this correctly will result in missing variable errors during shrinking.
- 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