Struct LinkNetwork 

pub struct LinkNetwork { /* private fields */ }

Mutable links network for CST, AST, semantic, and self-description links.

Implementations

impl LinkNetwork

pub const fn new() -> Self

Creates an empty links network.

pub fn self_describing() -> Self

Creates a links network containing the common self-description roots.

pub fn parse( text: &str, language: &str, configuration: ParseConfiguration, ) -> Self

Parses plain source text into a lossless token network.

This is the default parse operation. It is lossless by construction; use LinkNetwork::projected_links when a lower-level view should be stripped away for CST, AST, or semantic-only work.

pub fn parse_lossless_text( text: &str, language: &str, configuration: ParseConfiguration, ) -> Self

Parses plain source text into a lossless token network.

This parser boundary preserves source spans, trivia links, recovery markers, and mixed-region metadata behind the same network representation.

pub fn len(&self) -> usize

Number of links in the network.

pub fn is_empty(&self) -> bool

Whether the network contains no links.

pub fn links(&self) -> impl Iterator<Item = &Link>

Iterates over links in identifier order.

pub fn projected_links( &self, projection: NetworkProjection, ) -> impl Iterator<Item = &Link>

Iterates over links included in the selected projection.

pub fn reconstruct_text(&self) -> String

Reconstructs source text from non-missing token links ordered by span.

pub fn embedded_regions(&self) -> Vec<EmbeddedRegion>

Returns embedded mixed-language regions discovered during parse.

pub fn query_links(&self, query: &LinkQuery) -> Vec<&Link>

Returns links matching a structural query.

pub fn insert_point(&mut self, term: &str) -> LinkId

Inserts a self-referential point link for a term.

pub fn insert_object(&mut self, term: &str) -> LinkId

Inserts an object-identity point link.

pub fn insert_relation<const N: usize>( &mut self, references: [LinkId; N], link_type: LinkType, span: SourceSpan, ) -> LinkId

Inserts a relation link with source span metadata.

pub fn insert_field( &mut self, parent: LinkId, label: &str, child: LinkId, ) -> LinkId

Inserts a labeled field relation as a regular link.

pub fn insert_link<const N: usize>( &mut self, references: [LinkId; N], metadata: LinkMetadata, ) -> LinkId

Inserts a link from references and metadata.

pub fn insert_concept_mapping( &mut self, concept: &str, language: &str, syntax: &str, ) -> LinkId

Inserts a concept-to-language syntax mapping.

pub fn reconstruct_concept(&self, concept: &str, language: &str) -> Option<&str>

Reconstructs a concept using a target language syntax mapping.

pub fn apply_substitution( &mut self, rule: &SubstitutionRule, ) -> SubstitutionReport

Applies a match-and-substitute rule over exact reference lists.

pub fn link(&self, id: LinkId) -> Option<&Link>

Returns a link by id.

pub fn find_term(&self, term: &str) -> Option<LinkId>

Finds a self-description or named term link.

pub fn definition_for(&self, id: LinkId) -> Option<&str>

Finds the definition attached to a term link.

pub fn set_span(&mut self, id: LinkId, span: SourceSpan) -> bool

Sets a source span on an existing link.

pub fn set_flags(&mut self, id: LinkId, flags: LinkFlags) -> bool

Sets parse flags on an existing link.

pub fn verify_full_match(&self, region: Option<ByteRange>) -> VerificationReport

Verifies that the selected region has no error or missing links.

impl LinkNetwork

pub fn snapshot( &self, version: u64, provenance: impl Into<String>, ) -> NetworkSnapshot

Captures the current network as an immutable versioned snapshot.

Trait Implementations

impl Clone for LinkNetwork

fn clone(&self) -> LinkNetwork

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LinkNetwork

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

Formats the value using the given formatter.

impl Default for LinkNetwork

fn default() -> LinkNetwork

Returns the “default value” for a type.

impl Eq for LinkNetwork

impl PartialEq for LinkNetwork

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