keiro-dsl-0.15.0.0: test/fixtures/workspace-diff-moved/domain/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

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