QuintConnect.Step.Switch (quint_connect v0.2.0)

Copy Markdown View Source

Pattern matching DSL for QuintConnect.Step action dispatch.

Use lower-case action clauses directly, or string action clauses when Quint action names are not valid Elixir function identifiers.

Summary

Functions

quint_switch(step, list)

Dispatches on step.action_taken and binds nondeterministic picks.

Functions

quint_switch(step, list)

(macro)

Dispatches on step.action_taken and binds nondeterministic picks.

Required picks return {:error, {:missing_nondet, name}} when absent. Optional picks end in ? and bind nil when absent.