Trait AllocationPolicy 

pub trait AllocationPolicy {
    type Error;

    // Required methods
    fn validate_key(&self, key: &StableKey) -> Result<(), Self::Error>;
    fn validate_slot(
        &self,
        key: &StableKey,
        slot: &AllocationSlotDescriptor,
    ) -> Result<(), Self::Error>;
    fn validate_reserved_slot(
        &self,
        key: &StableKey,
        slot: &AllocationSlotDescriptor,
    ) -> Result<(), Self::Error>;
}

AllocationPolicy

Framework-supplied rules for whether a key may claim a slot.

Policy is intentionally separate from the durable ledger invariant. The ledger remembers stable_key -> allocation_slot; this trait lets an integration reject declarations that do not belong to its namespace or substrate-specific range before staging a generation.

In the default MemoryManager runtime, registered range claims are checked before this policy. Framework adapters should decide whether ic-memory range claims or their own policy is authoritative for a given ID space, then register ranges accordingly.

Required Associated Types

type Error

Policy error type.

Required Methods

fn validate_key(&self, key: &StableKey) -> Result<(), Self::Error>

Validate a stable key against framework naming rules.

fn validate_slot( &self, key: &StableKey, slot: &AllocationSlotDescriptor, ) -> Result<(), Self::Error>

Validate a stable-key to allocation-slot claim.

fn validate_reserved_slot( &self, key: &StableKey, slot: &AllocationSlotDescriptor, ) -> Result<(), Self::Error>

Validate a reserved stable-key to allocation-slot claim.

Implementors