Class StateMachine<S, M>

constructor

• new StateMachine<S extends string, M extends string>(
      spec: ProtocolSpec<S, M>,
  ): StateMachine<S, M>

  Type Parameters

  • S extends string
  • M extends string

  Parameters

  • spec: ProtocolSpec<S, M>

  Returns StateMachine<S, M>

Readonlyname

agency

• get agency(): Agency

  Returns Agency

allowed

• get allowed(): M[]

  The messages that may be sent next, by whichever side has agency.

  Returns M[]

state

• get state(): S

  Returns S

receive

• receive(tag: unknown): M

  Moves along the node's message with this tag and returns its name, or throws when the node may not send it in the current state.

  Parameters

  • tag: unknown

  Returns M

send

• send(name: M): void

  Moves along name, a message of the client's, or throws when the client may not send it in the current state.

  Parameters

  • name: M

  Returns void