ludus::resources::Lease¶

Class

Move-only exact-version hold. Destroy/release on the manager's control owner.

Precondition

Manager outlives the wrapper and every Borrow interval.

#include <ludus/runtime/resources/manager.h>

class ludus::resources::Lease final

Methods¶

ludus::resources::Lease::Lease() noexcept=default

Construct an empty output suitable for TakeLease.

ludus::resources::Lease::~Lease() noexcept

Release a live hold without waiting or acquiring new work.

ludus::resources::Lease::Lease(const Lease &)=delete

Copies do not create another hold.

Lease & ludus::resources::Lease::operator=(const Lease &)=delete

Copies do not create another hold.

Related types: Lease

ludus::resources::Lease::Lease(Lease &&other) noexcept

Transfer ownership and clear the source.

Lease & ludus::resources::Lease::operator=(Lease &&other) noexcept

Release this hold, then transfer and clear the source.

Related types: Lease

LeaseToken ludus::resources::Lease::Token() const noexcept

Observe a token; copying it does not extend lifetime.

Related types: LeaseToken

Status ludus::resources::Lease::Release() noexcept

Release and empty the wrapper; empty is Ok. Does not wait for retirement.

Related types: Status