keiro-dsl-0.15.0.0: test/fixtures/contract.keiro

language keiro-dsl 4
context hospital-capacity

contract emergency {
  schemaVersion 1
  discriminator messageType

  topic incidentEvents "emergency.incident.events"
  topic hospitalEvents "emergency.hospital.events"

  event IncidentTransferNeedDeclared on incidentEvents {
    incidentId: typeid "inc"
    triageRecordId: text
    family: text
    type haskell payloadType: text
    region haskell serviceRegion as "region_code": text
    redCount: int
  }
  event TransferReservationAccepted on hospitalEvents {
    incidentId: typeid "inc"
    reservationId: typeid "rsv"
    hospitalId: typeid "hsp"
    expirationDeadline: text
  }
}