Enum SourceGraph 

enum SourceGraph<'a> {
    Staged {
        graph: &'a SymbolGraph,
        semantics: Option<&'a SourceSemanticFacts>,
    },
    Captured(Arc<CapturedSourceGraph>),
    Persisted(SymbolGraph),
}

Graph ownership retains its corresponding source proof through projection.

Variants

Staged

Already-admitted fresh parser output, borrowed without another parse/copy.

Fields

graph: &'a SymbolGraph

Raw graph in its actual parser ordering.

semantics: Option<&'a SourceSemanticFacts>

Corresponding source proof when the native parser produced it.

Captured(Arc<CapturedSourceGraph>)

Required unchanged source recovered once from verified captured bytes.

Persisted(SymbolGraph)

A graph whose parser contract does not require lexical source evidence.

Implementations

impl SourceGraph<'_>

fn graph(&self) -> &SymbolGraph

Borrow the exact graph whose ordinals own this source proof.

fn semantics(&self) -> Option<&SourceSemanticFacts>

Borrow source evidence without reconstructing it from stored display text.

Trait Implementations

impl AsRef<SymbolGraph> for SourceGraph<'_>

fn as_ref(&self) -> &SymbolGraph

Converts this type into a shared reference of the (usually inferred) input type.

impl Borrow<SymbolGraph> for SourceGraph<'_>

fn borrow(&self) -> &SymbolGraph

Immutably borrows from an owned value.

impl<'a> From<Cow<'a, SymbolGraph>> for SourceGraph<'a>

fn from(graph: Cow<'a, SymbolGraph>) -> Self

Converts to this type from the input type.