Struct CodebaseRelation 

pub struct CodebaseRelation {
    pub index: usize,
    pub kind: CodebaseRelationKind,
    pub basis: CodebaseRelationBasis,
    pub semantic: CodebaseRelationSemantic,
    pub source: CodebaseRelationSource,
    pub target_machine: usize,
    pub target_state: usize,
    pub declared_reference_type: Option<&'static str>,
    pub attested_via: Option<CodebaseAttestedRoute>,
}

One resolved exact relation in the codebase export surface.

Fields

index: usize

Stable codebase-local relation index.

kind: CodebaseRelationKind

Exact relation kind.

basis: CodebaseRelationBasis

Why Statum considered this relation exact.

semantic: CodebaseRelationSemantic

Higher-level exact semantics after machine-role classification.

source: CodebaseRelationSource

Exact source location for this relation.

target_machine: usize

Resolved target machine index.

target_state: usize

Resolved target state index.

declared_reference_type: Option<&'static str>

Declared nominal reference type when this relation came through #[machine_ref(...)].

attested_via: Option<CodebaseAttestedRoute>

Exact attested producer route when this relation came from #[via(...)] or a canonical statum::Attested<_, Route> wrapper.

Implementations

impl CodebaseRelation

pub const fn source_machine(&self) -> usize

Stable source machine index for this exact relation.

pub const fn source_state(&self) -> Option<usize>

Stable source state index when this relation is state-local.

pub const fn source_transition(&self) -> Option<usize>

Stable source transition index when this relation comes from one transition parameter.

pub const fn target_transition(&self) -> Option<usize>

Stable target transition index.

The current exact relation substrate does not target transitions, so this always returns None. The method exists so downstream navigation can keep one consistent source/target API shape.

pub const fn is_composition_owned(&self) -> bool

Whether this exact relation is owned by one composition machine through direct child-machine composition.

Trait Implementations

impl Clone for CodebaseRelation

fn clone(&self) -> CodebaseRelation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CodebaseRelation

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

Formats the value using the given formatter.

impl PartialEq for CodebaseRelation

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for CodebaseRelation

impl StructuralPartialEq for CodebaseRelation