Struct ExprInfoRepr

pub struct ExprInfoRepr {
    pub fid: TypstFileId,
    pub revision: usize,
    pub source: Source,
    pub root: Expr,
    pub module_docstring: Arc<DocString>,
    pub exports: Arc<LazyHash<LexicalScope>>,
    pub imports: FxHashMap<TypstFileId, Arc<LazyHash<LexicalScope>>>,
    pub exprs: FxHashMap<Span, Expr>,
    pub resolves: FxHashMap<Span, Interned<RefExpr>>,
    pub docstrings: FxHashMap<DeclExpr, Arc<DocString>>,
    pub module_items: FxHashMap<Interned<Decl>, ModuleItemLayout>,
}

Representation of ExprInfo for a specific file.

Contains all the analyzed information including resolution maps, documentation strings, imports, and exports.

Fields

fid: TypstFileId

The file ID this expression information belongs to.

revision: usize

Revision number for tracking changes to the file.

source: Source

The source code content.

root: Expr

The root expression of the file.

module_docstring: Arc<DocString>

Documentation string for the module.

exports: Arc<LazyHash<LexicalScope>>

The lexical scope of exported symbols from this file.

imports: FxHashMap<TypstFileId, Arc<LazyHash<LexicalScope>>>

Map from file IDs to imported lexical scopes.

exprs: FxHashMap<Span, Expr>

Map from spans to expressions for scope analysis.

resolves: FxHashMap<Span, Interned<RefExpr>>

Map from spans to resolved reference expressions.

docstrings: FxHashMap<DeclExpr, Arc<DocString>>

Map from declarations to their documentation strings.

module_items: FxHashMap<Interned<Decl>, ModuleItemLayout>

Layout information for module import items in this file.

Implementations

impl ExprInfoRepr

pub fn get_def(&self, decl: &Interned<Decl>) -> Option<Expr>

Gets the definition expression for a given declaration.

pub fn get_refs( &self, decl: Interned<Decl>, ) -> impl Iterator<Item = (&Span, &Interned<RefExpr>)>

Gets all references to a given declaration.

pub fn is_exported(&self, decl: &Interned<Decl>) -> bool

Checks if a declaration is exported from this module.

Trait Implementations

impl Debug for ExprInfoRepr

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

Formats the value using the given formatter.

impl Hash for ExprInfoRepr

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.