Struct ProcedureId 

pub struct ProcedureId(/* private fields */);

Implementations

impl ProcedureId

pub const SYSTEM_RESERVED_START: u64

Lower bound of the id band reserved for ephemeral (Native/Ffi/Wasm) procedures. Persistent ids are strictly below this; ephemeral ids are at or above it. The split is enforced by the persistent / ephemeral constructors.

pub const SYSTEM_CONFIG_SET: ProcedureId

Reserved id for the built-in system::config::set Native procedure. Retained for backwards-compat references; ephemeral procedures now get fresh ids from a per-boot counter starting at SYSTEM_RESERVED_START.

pub const fn persistent(id: u64) -> Self

Construct a persistent procedure id. Panics if id >= SYSTEM_RESERVED_START — that band is reserved for ephemeral (Native/Ffi/Wasm) procedures.

pub const fn ephemeral(id: u64) -> Self

Construct an ephemeral procedure id. Panics if id < SYSTEM_RESERVED_START — that band belongs to persistent procedures.

pub const fn from_raw(id: u64) -> Self

Construct a ProcedureId from a raw u64 without checking which band it falls in. Use this only for decoding trusted bytes (storage rows, key scans, deserialization) where the value has already been validated upstream.

pub const fn is_ephemeral(&self) -> bool

Returns true if this id was allocated from the ephemeral band.

Methods from Deref<Target = u64>

pub const MIN: u64 = 0

pub const MAX: u64

pub const BITS: u32

Trait Implementations

impl Clone for ProcedureId

fn clone(&self) -> ProcedureId

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProcedureId

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

Formats the value using the given formatter.

impl Deref for ProcedureId

type Target = u64

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl<'de> Deserialize<'de> for ProcedureId

fn deserialize<D>(deserializer: D) -> Result<ProcedureId, D::Error>

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for ProcedureId

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

Formats the value using the given formatter.

impl From<ProcedureId> for u64

fn from(value: ProcedureId) -> Self

Converts to this type from the input type.

impl Hash for ProcedureId

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for ProcedureId

fn cmp(&self, other: &ProcedureId) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq<u64> for ProcedureId

fn eq(&self, other: &u64) -> 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 PartialEq for ProcedureId

fn eq(&self, other: &ProcedureId) -> 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 PartialOrd for ProcedureId

fn partial_cmp(&self, other: &ProcedureId) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serialize for ProcedureId

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>

where S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for ProcedureId

impl Eq for ProcedureId

impl StructuralPartialEq for ProcedureId