Module program_representation 

Editable program representations for JavaScript, Rust, Lean, and Rocq.

Structs

ProgramBinding

A resolved declaration and its exact references.

ProgramConstruct

One semantic construct coverage record.

ProgramDiagnostic

Parse diagnostic retained in the representation.

ProgramExpansion

A macro, notation or tagged template use with the source it expands to.

ProgramFact

Generic semantic fact with source evidence.

ProgramProjectContext

Project files and dependency names available during analysis.

ProgramProjectModule

An entry module request resolved to a project file.

ProgramProjectReference

An entry range linked to the declaration it names, identified as <file>#<qualified name>.

ProgramProjectSource

One project file by project-relative path.

ProgramRange

Source range in UTF-8 byte offsets.

ProgramRepresentation

CST-backed resolved program model.

ProgramScope

One lexical scope.

ProgramSourceMapping

CST node to semantic fact source mapping.

Enums

ProgramConstructStatus

Representation state for one required semantic construct.

ProgramRepresentationError

Semantic analysis or binding-safe edit failure.

Constants

PROGRAM_REPRESENTATION_SCHEMA_VERSION

Schema revision for four-language program representations.

PROGRAM_SNAPSHOT_SCHEMA_VERSION

Schema revision for source-buffer-independent program snapshots.

SEMANTIC_CONSTRUCTS

Semantic construct categories audited for every four-language frontend.

Functions

analyze_program

Analyzes a four-language program with project context.

analyze_program_decorated

analyze_program after the cst-to-ast decorators of decorators.

construct_program

Constructs a program and rejects syntax that cannot be represented cleanly.

construct_program_from_fragments

Constructs a clean program from ordered structured source fragments.