keiro-dsl-0.15.0.0: test/conformance-service-package/domain/alpha.keiro

language keiro-dsl 4
context workspace-proof

aggregate Alpha
  regs
  states Active

  command PingAlpha { proofId current:Bool }
  command LegacyPingAlpha { proofId }
  event AlphaPinged = fields(PingAlpha)
  event LegacyAlphaPinged = fields(LegacyPingAlpha)

  Active -- PingAlpha --> guard cmd.current == false ; emit AlphaPinged ; goto Active
  replay-only Active -- PingAlpha --> guard cmd.current == true ; emit AlphaPinged ; goto Active
  replay-only Active -- LegacyPingAlpha --> emit LegacyAlphaPinged ; goto Active

  wire kind=ctorName fields=camelCase schemaVersion=1