order.keiro

language keiro-dsl 4
context workspace-diff

aggregate Order
  regs
    status  OrderStatus  = Pending
    details SharedDetails = initial
  states Open Closed!

  command CloseOrder { finalStatus:OrderStatus details:SharedDetails }
  event OrderClosed = fields(CloseOrder)

  Open -- CloseOrder -->
    write status := cmd.finalStatus
    write details := cmd.details
    emit  OrderClosed
    goto  Closed

  wire kind=ctorName fields=camelCase schemaVersion=1