Witness

works.iterative.workflow.Witness
final case class Witness[State, Entity, Command](key: (State, String), outcomeLabel: String, entity: Entity, command: Command)

A witness pins one (transition, outcome) edge of an EngineDefinition to a concrete (entity, command) pair so ConformanceCheck.errors can exercise the real classify/emit/ fold code against the declared shape.

Value parameters

command

the command value to run the witness against

entity

the entity value to run the witness against

key

the (from, on.label) transition key this witness targets

outcomeLabel

the declared outcome label expected to be selected by classify

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product