Module me.ahoo.cosid.core

Package me.ahoo.cosid.lease

Interface AcquireResult

All Known Implementing Classes:

AcquireResult.Acquired, AcquireResult.Exhausted

public sealed interface AcquireResult
permits AcquireResult.Acquired, AcquireResult.Exhausted

The outcome of SlotLeaseStore.acquire(java.lang.String, me.ahoo.cosid.lease.Owner, int, java.time.Duration, java.time.Duration, int, java.util.OptionalInt). Closed: an acquisition either succeeds or finds every slot held, and both store implementations and the core switch over the two variants.

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static final class	AcquireResult.Acquired	A slot was acquired.
static final record	AcquireResult.Exhausted	Every slot below the limit is held.