Struct ComponentScopeGraph 

pub struct ComponentScopeGraph {
    pub components: Vec<SemanticId>,
    pub parent_by_component: BTreeMap<SemanticId, SemanticId>,
}

Immutable compiler-owned component ancestry input for Context visibility.

Phase G populates this graph reflexively only. Future compiler-owned composition semantics may add validated parent edges without changing the Context resolution algorithm.

Fields

components: Vec<SemanticId>

parent_by_component: BTreeMap<SemanticId, SemanticId>

Implementations

impl ComponentScopeGraph

pub fn reflexive(components: &[ComponentNode]) -> Self

pub fn with_parent_relations( components: &[ComponentNode], parent_by_component: BTreeMap<SemanticId, SemanticId>, ) -> Self

Constructs a canonical scope graph from pre-existing compiler-owned parent facts. This is a testable seam for future composition lowering; it never infers a parent relation from imports or source structure.

pub fn parent_component(&self, component: &SemanticId) -> Option<&SemanticId>

pub fn ancestor_chain(&self, component: &SemanticId) -> Vec<SemanticId>

Returns self followed by canonical parents, nearest first.

pub fn diagnostics(&self) -> Vec<ComponentScopeDiagnostic>

Trait Implementations

impl Clone for ComponentScopeGraph

fn clone(&self) -> ComponentScopeGraph

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ComponentScopeGraph

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

Formats the value using the given formatter.

impl Eq for ComponentScopeGraph

impl PartialEq for ComponentScopeGraph

fn eq(&self, other: &ComponentScopeGraph) -> bool

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ComponentScopeGraph