shipment.keiro

language keiro-dsl 4
context workspace-diff

aggregate Shipment
  regs
    status OrderStatus = Pending
  states PendingShipment CompletedShipment!

  command CompleteShipment { finalStatus:OrderStatus details:SharedDetails }
  event ShipmentCompleted = fields(CompleteShipment)

  PendingShipment -- CompleteShipment -->
    write status := cmd.finalStatus
    emit  ShipmentCompleted
    goto  CompletedShipment

  wire kind=ctorName fields=camelCase schemaVersion=1