Struct ProgramRepresentation 

pub struct ProgramRepresentation { /* private fields */ }

CST-backed resolved program model.

Implementations

impl ProgramRepresentation

pub fn query_syntax(&self, term: &str) -> Vec<ProgramRange>

Returns exact ranges of CST nodes with the requested grammar term.

pub fn replace( &self, range: ProgramRange, replacement: &str, ) -> Result<Self, ProgramRepresentationError>

Replaces one exact source range and reparses the result.

pub fn insert( &self, offset: usize, inserted: &str, ) -> Result<Self, ProgramRepresentationError>

Inserts target-language source at an exact byte boundary.

pub fn delete( &self, range: ProgramRange, ) -> Result<Self, ProgramRepresentationError>

Deletes one exact source range.

pub fn clone_range( &self, range: ProgramRange, destination: usize, ) -> Result<Self, ProgramRepresentationError>

Clones one exact source range at an exact byte boundary.

pub fn move_range( &self, range: ProgramRange, destination: usize, ) -> Result<Self, ProgramRepresentationError>

Moves one exact range using byte offsets from the original source.

pub fn rename_binding( &self, binding_id: &str, replacement: &str, ) -> Result<Self, ProgramRepresentationError>

Renames exactly one resolved binding and reparses the edited source.

impl ProgramRepresentation

pub fn serialize_snapshot(&self) -> String

Serializes exact retained token fragments without a duplicate source field.

pub fn from_snapshot(snapshot: &str) -> Result<Self, ProgramRepresentationError>

Reloads a validated snapshot without access to its original source buffer.

impl ProgramRepresentation

pub const fn schema_version(&self) -> u32

Schema revision.

pub const fn language(&self) -> &'static str

Canonical language name.

pub fn source(&self) -> &str

Exact source text.

pub const fn project(&self) -> &ProgramProjectContext

Project context used during analysis.

pub const fn network(&self) -> &LinkNetwork

Concrete syntax network enriched by this representation.

pub fn scopes(&self) -> &[ProgramScope]

Lexical scopes inferred from parsed source.

pub fn bindings(&self) -> &[ProgramBinding]

Local bindings inferred from parsed source.

pub fn unresolved_references(&self) -> &[ProgramFact]

Identifier occurrences without a local declaration.

pub fn source_mappings(&self) -> &[ProgramSourceMapping]

CST source mappings.

pub fn modules(&self) -> &[ProgramFact]

Module and import facts.

pub fn types(&self) -> &[ProgramFact]

Type and universe facts.

pub fn extensions(&self) -> &[ProgramFact]

Attribute, macro, notation, and syntax-extension facts.

pub fn proofs(&self) -> &[ProgramFact]

Proof and tactic facts.

pub fn diagnostics(&self) -> &[ProgramDiagnostic]

Parse diagnostics.

pub fn project_modules(&self) -> &[ProgramProjectModule]

Project modules the entry program’s requests resolve to.

pub fn project_facts(&self) -> &[ProgramFact]

Project files and manifests read during analysis.

pub fn project_references(&self) -> &[ProgramProjectReference]

Links from the entry program to declarations in other project files.

pub fn expansions(&self) -> &[ProgramExpansion]

Macro, template and notation expansions enabled by the project.

pub fn constructs(&self) -> &[ProgramConstruct]

Semantic construct coverage.

pub fn emit(&self) -> String

Emits exact source from the retained token network.

Trait Implementations

impl Clone for ProgramRepresentation

fn clone(&self) -> ProgramRepresentation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProgramRepresentation

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

Formats the value using the given formatter.