cadrumo.application.operations._execution_context module

Definition-bound execution context for application-owned operations.

class DefinitionBoundContext(*, snapshot, registry, operands, clock, resources, advance, acknowledge_cancellation, set_cancellation_deferred)

Bases: object

One executor view whose declarations are checked before state mutation.

Parameters:

• snapshot (OperationPersistedSnapshot)

• registry (OperationRegistry)

• operands (OperationSecureReferenceStore | None)

• clock (Callable[[], datetime])

• resources (dict[OperationId, list[AsyncCloseable]])

• advance (Callable[..., Awaitable[OperationPersistedSnapshot]])

• acknowledge_cancellation (Callable[[OperationPersistedSnapshot], Awaitable[OperationPersistedSnapshot]])

• set_cancellation_deferred (Callable[[OperationPersistedSnapshot, bool], Awaitable[OperationPersistedSnapshot]])

async advance(*, lifecycle, events=(), pending=None, effect=None)

Return type:

None

Parameters:

• lifecycle (OperationLifecycle)

• events (tuple[OperationEvent, ...])

• pending (OperationPendingInteraction | None)

• effect (OperationEffect | None)