Struct lark_hir::FnBodyTables

pub struct FnBodyTables {
    pub expressions: IndexVec<Expression, ExpressionData>,
    pub identified_expressions: IndexVec<IdentifiedExpression, IdentifiedExpressionData>,
    pub places: IndexVec<Place, PlaceData>,
    pub variables: IndexVec<Variable, VariableData>,
    pub identifiers: IndexVec<Identifier, IdentifierData>,
    pub errors: IndexVec<Error, ErrorData>,
    pub spans: FxIndexMap<MetaIndex, Span<FileName>>,
    pub list_entries: Vec<u32>,
}

All the data for a fn-body is stored in these tables.a

Fields

expressions: IndexVec<Expression, ExpressionData>

Map each expression index to its associated data.

identified_expressions: IndexVec<IdentifiedExpression, IdentifiedExpressionData>

A a: b pair.

places: IndexVec<Place, PlaceData>

Map each place index to its associated data.

variables: IndexVec<Variable, VariableData>

Map each variable index to its associated data.

identifiers: IndexVec<Identifier, IdentifierData>

Map each identifier index to its associated data.

errors: IndexVec<Error, ErrorData>

Errors we encountered constructing the hir

spans: FxIndexMap<MetaIndex, Span<FileName>>

Spans corresponding to each index

list_entries: Vec<u32>

The data values for any List<I> values that appear elsewhere in the HIR; the way this works is that all of the list value are concatenated into one big vector, and each list just pulls out a slice of that. Note that this just contains u32 values -- the actual List<I> remembers the index type I for its own values and does the casting back and forth.

Methods

impl FnBodyTables

pub fn add<D: HirIndexData>(
    &mut self,
    span: Span<FileName>,
    node: D
) -> D::Index

impl FnBodyTables

pub fn span(
    &self,
    index: impl SpanIndex
) -> Span<FileName>

Get the span for the given part of the HIR.

Trait Implementations

impl Eq for FnBodyTables

impl Clone for FnBodyTables

fn clone(&self) -> FnBodyTables

Returns a copy of the value.

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

Performs copy-assignment from source.

impl AsMut<FnBodyTables> for FnBodyTables

fn as_mut(&mut self) -> &mut Self

Performs the conversion.

impl PartialEq<FnBodyTables> for FnBodyTables

fn eq(&self, other: &FnBodyTables) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &FnBodyTables) -> bool

This method tests for !=.

impl AsRef<FnBodyTables> for FnBody

fn as_ref(&self) -> &FnBodyTables

Performs the conversion.

impl AsRef<FnBodyTables> for Arc<FnBody>

fn as_ref(&self) -> &FnBodyTables

Performs the conversion.

impl Default for FnBodyTables

fn default() -> FnBodyTables

Returns the "default value" for a type.

impl<I> Index<I> for FnBodyTables where
    I: HirIndex, 

type Output = I::Data

The returned type after indexing.

fn index(&self, index: I) -> &I::Data

Performs the indexing (container[index]) operation.

impl Debug for FnBodyTables

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

Formats the value using the given formatter.

impl DebugWith for FnBodyTables

fn fmt_with<Cx: ?Sized>(&self, cx: &Cx, fmt: &mut Formatter) -> Result

fn debug_with<Cx>(&'me self, cx: &'me Cx) -> DebugCxPair<'me, &'me Self, Cx> where
    Cx: ?Sized, 

fn into_debug_with<Cx>(self, cx: &'me Cx) -> DebugCxPair<'me, Self, Cx> where
    Cx: ?Sized,