tck/me.ahoo.wow.tck.reservation/ReservationStoreSpec

ReservationStoreSpec

The ReservationStore contract (documentation/designs/01-programming-model.md §7) every backend passes. A backend's test extends it and supplies a store whose expiry follows clock from createStore.

Inheritors

Reservations

Constructors

constructor()

Functions

a confirmed reservation never expires

@Test

fun a confirmed reservation never expires()

a key is unique within its aggregate type, however many owners of it ask

@Test

fun a key is unique within its aggregate type, however many owners of it ask()

a key re-reserved while held confirmed and confirmed again outlives the release of an older fact

@Test

fun a key re-reserved while held confirmed and confirmed again outlives the release of an older fact()

a live reservation keeps the key from another owner

@Test

fun a live reservation keeps the key from another owner()

a pending key is released by any fact, and any version frees a confirmed one

@Test

fun a pending key is released by any fact, and any version frees a confirmed one()

a release frees only a key no later fact confirmed

@Test

fun a release frees only a key no later fact confirmed()

a reservation is pending until its time to live passes

@Test

fun a reservation is pending until its time to live passes()

a reservation is refused a time to live that is not positive and an owner of another type

@Test

fun a reservation is refused a time to live that is not positive and an owner of another type()

a system key is unique across tenants and apart from the tenants' own keys

@Test

fun a system key is unique across tenants and apart from the tenants' own keys()

abandoning never frees a confirmed key

@Test

fun abandoning never frees a confirmed key()

abandoning removes only the attempt's own hold

@Test

fun abandoning removes only the attempt's own hold()

aggregate types are separate, even with the same namespace

@Test

fun aggregate types are separate, even with the same namespace()

The aggregate type is where a key is unique: two types, of one context or of two, that use the same namespace each hold the key, and one's releases and confirms never touch the other's.