Struct ExprInfoRepr

pub struct ExprInfoRepr {
    pub fid: FileId,
    pub revision: usize,
    pub source: Source,
    pub root: Expr,
    pub module_docstring: Arc<DocString>,
    pub exports: Arc<LazyHash<RedBlackTreeMap<Interned<str>, Expr, ArcTK>>>,
    pub imports: HashMap<FileId, Arc<LazyHash<RedBlackTreeMap<Interned<str>, Expr, ArcTK>>>, FxBuildHasher>,
    pub exprs: HashMap<Span, Expr, FxBuildHasher>,
    pub resolves: HashMap<Span, Interned<RefExpr>, FxBuildHasher>,
    pub docstrings: HashMap<Interned<Decl>, Arc<DocString>, FxBuildHasher>,
}

Representation of ExprInfo for a specific file.

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

Fields

fid: FileId

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<RedBlackTreeMap<Interned<str>, Expr, ArcTK>>>

The lexical scope of exported symbols from this file.

imports: HashMap<FileId, Arc<LazyHash<RedBlackTreeMap<Interned<str>, Expr, ArcTK>>>, FxBuildHasher>

Map from file IDs to imported lexical scopes.

exprs: HashMap<Span, Expr, FxBuildHasher>

Map from spans to expressions for scope analysis.

resolves: HashMap<Span, Interned<RefExpr>, FxBuildHasher>

Map from spans to resolved reference expressions.

docstrings: HashMap<Interned<Decl>, Arc<DocString>, FxBuildHasher>

Map from declarations to their documentation strings.

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<(), Error>

Formats the value using the given formatter.

impl Hash for ExprInfoRepr

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

where H: Hasher,

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.