Struct ResourceLedger 

pub struct ResourceLedger<C = ()> { /* private fields */ }

Fake resource lifecycle ledger for applying Trellis resource plans.

Implementations

impl<C> ResourceLedger<C>

pub fn assert_command_order( &self, expected: &[ResourceCommandTrace], ) -> Result<(), ResourceLedgerError>

Asserts the full applied resource command order.

pub fn assert_all_resources_have_owner(&self) -> Result<(), ResourceLedgerError>

Asserts every tracked resource still has at least one owner.

pub fn assert_no_orphan_resources(&self) -> Result<(), ResourceLedgerError>

Asserts every tracked live resource has at least one owner.

pub fn assert_no_duplicate_close(&self) -> Result<(), ResourceLedgerError>

Asserts no duplicate close was observed.

pub fn assert_no_forbidden_opened(&self) -> Result<(), ResourceLedgerError>

Asserts no forbidden resource key was opened.

pub fn assert_no_wildcard_resource_opened( &self, ) -> Result<(), ResourceLedgerError>

Asserts no explicitly forbidden wildcard resource key was opened.

pub fn assert_resource_not_open( &self, key: &ResourceKey, ) -> Result<(), ResourceLedgerError>

Asserts a resource is no longer open.

pub fn assert_closed_scope_owns_no_resources( &self, scope: ScopeId, ) -> Result<(), ResourceLedgerError>

Asserts a closed scope owns no live resources.

pub fn assert_resource_opened_once( &self, key: &ResourceKey, ) -> Result<(), ResourceLedgerError>

Asserts a resource was opened exactly once.

pub fn assert_resource_closed_once( &self, key: &ResourceKey, ) -> Result<(), ResourceLedgerError>

Asserts a resource was closed exactly once.

pub fn assert_resource_generation( &self, key: &ResourceKey, expected: u64, ) -> Result<(), ResourceLedgerError>

Asserts a resource has the expected command generation.

pub fn assert_resource_shared_by( &self, key: &ResourceKey, expected: BTreeSet<ScopeId>, ) -> Result<(), ResourceLedgerError>

Asserts a resource is owned by the expected scopes.

pub fn assert_status_is_stale( &self, key: &ResourceKey, command_revision: Revision, ) -> Result<(), ResourceLedgerError>

Asserts a status for a command revision was classified as stale.

pub fn assert_status_did_not_resurrect_closed_scope( &self, scope: ScopeId, ) -> Result<(), ResourceLedgerError>

Asserts late statuses did not recreate ownership for a closed scope.

pub fn assert_no_status_mutated_closed_scope( &self, ) -> Result<(), ResourceLedgerError>

Asserts status classification never mutated a closed scope’s ownership.

impl<C> ResourceLedger<C>

pub fn new() -> Self

Creates an empty ledger.

pub fn mark_forbidden_unless_explicit(&mut self, key: ResourceKey)

Marks a key as forbidden unless the application explicitly permits it.

pub fn snapshot(&self, key: &ResourceKey) -> Option<&ResourceSnapshot<C>>

Returns the current snapshot for a resource.

pub fn history(&self, key: &ResourceKey) -> Option<&ResourceSnapshot<C>>

Returns the latest live or closed snapshot for a resource.

pub fn status_records(&self) -> &[HostStatusRecord]

Returns status classifications in delivery order.

pub fn command_trace(&self) -> &[ResourceCommandTrace]

Returns applied resource command traces in delivery order.

pub fn command_records(&self) -> &[ResourceCommandRecord<C>]

Returns applied command records with transaction/revision context.

impl<C: Clone> ResourceLedger<C>

pub fn apply_result<O>(&mut self, result: &TransactionResult<C, O>)

Applies all resource commands from a transaction result.

pub fn classify_status(&mut self, status: HostStatusEvent) -> HostStatusClass

Classifies a host status event without mutating graph state.

impl<C> ResourceLedger<C>

pub fn to_redacted_debug_string(&self, redactor: &impl TraceRedactor) -> String

Returns deterministic redacted debug output for resource ledger snapshots.

Trait Implementations

impl<C: Clone> Clone for ResourceLedger<C>

fn clone(&self) -> ResourceLedger<C>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<C: Debug> Debug for ResourceLedger<C>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<C> Default for ResourceLedger<C>

fn default() -> Self

Returns the “default value” for a type.

impl<C: Eq> Eq for ResourceLedger<C>

impl<C: PartialEq> PartialEq for ResourceLedger<C>

fn eq(&self, other: &ResourceLedger<C>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<C: PartialEq> StructuralPartialEq for ResourceLedger<C>