Struct Ast 

pub struct Ast { /* private fields */ }

Every node of one translation unit.

Implementations

impl Ast

pub fn new() -> Ast

An empty tree.

pub fn top_level(&self) -> &[DeclId]

The declarations of the translation unit, in source order.

pub fn add_top_level(&mut self, decl: DeclId)

Adds a declaration at file scope.

pub fn expr(&mut self, expr: Expr, span: Span) -> ExprId

Adds an expression, with the source it came from.

Panics

Panics if the arena would exceed four billion nodes, which is not a translation unit this compiler intends to accept.

pub fn stmt(&mut self, stmt: Stmt, span: Span) -> StmtId

Adds a statement, with the source it came from.

Panics

Panics if the arena would exceed four billion nodes.

pub fn decl(&mut self, decl: Decl, span: Span) -> DeclId

Adds a declaration, with the source it came from.

Panics

Panics if the arena would exceed four billion nodes.

pub fn expr_span(&self, id: ExprId) -> Span

The source an expression came from.

pub fn stmt_span(&self, id: StmtId) -> Span

The source a statement came from.

pub fn decl_span(&self, id: DeclId) -> Span

The source a declaration came from.

pub fn counts(&self) -> Counts

How many expressions, statements and declarations the tree holds.

The three numbers the size of a translation unit is usually quoted in, and what the --emit=ast header prints.

pub fn is_empty(&self) -> bool

Whether nothing has been parsed into this tree.

impl Ast

pub fn add_declarator(&mut self, item: Declarator) -> DeclaratorId

Adds a declarator.

Panics

Panics if the table would exceed four billion entries.

impl Ast

pub fn add_type_name(&mut self, item: TypeName) -> TypeNameId

Adds a type name.

Panics

Panics if the table would exceed four billion entries.

impl Ast

pub fn add_specs(&mut self, item: DeclSpecs) -> DeclSpecsId

Adds a set of declaration specifiers.

Panics

Panics if the table would exceed four billion entries.

impl Ast

pub fn add_init(&mut self, item: Init) -> InitId

Adds an initializer.

Panics

Panics if the table would exceed four billion entries.

impl Ast

pub fn add_asm(&mut self, item: Asm) -> AsmId

Adds an assembly statement.

Panics

Panics if the table would exceed four billion entries.

impl Ast

pub fn add_int(&mut self, item: IntConstant) -> IntId

Adds an integer constant.

Panics

Panics if the table would exceed four billion entries.

impl Ast

pub fn add_float(&mut self, item: FloatConstant) -> FloatId

Adds a floating constant.

Panics

Panics if the table would exceed four billion entries.

impl Ast

pub fn add_char(&mut self, item: CharConstant) -> CharId

Adds a character constant.

Panics

Panics if the table would exceed four billion entries.

impl Ast

pub fn add_string(&mut self, item: StringLiteral) -> StrId

Adds a string literal.

Panics

Panics if the table would exceed four billion entries.

impl Ast

pub fn add_expr_list(&mut self, items: &[ExprId]) -> ExprList

Adds a run of expressions, such as the arguments of a call.

Panics

Panics if the table would exceed four billion entries.

impl Ast

pub fn add_stmt_list(&mut self, items: &[StmtId]) -> StmtList

Adds a run of statements, such as the body of a compound statement.

Panics

Panics if the table would exceed four billion entries.

impl Ast

pub fn add_decl_list(&mut self, items: &[DeclId]) -> DeclList

Adds a run of declarations, such as the parameter declarations of an old-style function definition.

Panics

Panics if the table would exceed four billion entries.

impl Ast

pub fn add_str_list(&mut self, items: &[StrId]) -> StrList

Adds a run of string literals, such as an asm clobber list.

Panics

Panics if the table would exceed four billion entries.

impl Ast

pub fn add_symbol_list(&mut self, items: &[Symbol]) -> SymbolList

Adds a run of identifiers, such as the labels of an asm goto.

Panics

Panics if the table would exceed four billion entries.

impl Ast

pub fn add_attr_list(&mut self, items: &[Attribute]) -> AttrList

Adds a run of attributes.

Panics

Panics if the table would exceed four billion entries.

impl Ast

pub fn add_attr_args(&mut self, items: &[AttrArg]) -> AttrArgList

Adds a run of attribute arguments.

Panics

Panics if the table would exceed four billion entries.

impl Ast

pub fn add_derived_list(&mut self, items: &[Derived]) -> DerivedList

Adds a run of declarator derivations, from the name outward.

Panics

Panics if the table would exceed four billion entries.

impl Ast

pub fn add_param_list(&mut self, items: &[Param]) -> ParamList

Adds a run of function parameters.

Panics

Panics if the table would exceed four billion entries.

impl Ast

pub fn add_member_list(&mut self, items: &[Member]) -> MemberList

Adds a run of struct or union members.

Panics

Panics if the table would exceed four billion entries.

impl Ast

pub fn add_enumerator_list(&mut self, items: &[Enumerator]) -> EnumeratorList

Adds a run of enumerators.

Panics

Panics if the table would exceed four billion entries.

impl Ast

pub fn add_init_declarator_list( &mut self, items: &[InitDeclarator], ) -> InitDeclaratorList

Adds a run of init-declarators.

Panics

Panics if the table would exceed four billion entries.

impl Ast

pub fn add_init_item_list(&mut self, items: &[InitItem]) -> InitItemList

Adds a run of braced initializer elements.

Panics

Panics if the table would exceed four billion entries.

impl Ast

pub fn add_designator_list(&mut self, items: &[Designator]) -> DesignatorList

Adds a run of designators.

Panics

Panics if the table would exceed four billion entries.

impl Ast

pub fn add_generic_list(&mut self, items: &[GenericAssoc]) -> GenericList

Adds a run of _Generic associations.

Panics

Panics if the table would exceed four billion entries.

impl Ast

pub fn add_asm_operand_list(&mut self, items: &[AsmOperand]) -> AsmOperandList

Adds a run of assembly operands.

Panics

Panics if the table would exceed four billion entries.

Trait Implementations

impl Debug for Ast

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

Formats the value using the given formatter.

impl Default for Ast

fn default() -> Ast

Returns the “default value” for a type.

impl Index<Idx<Asm>> for Ast

type Output = Asm

The returned type after indexing.

fn index(&self, id: AsmId) -> &Asm

Performs the indexing (container[index]) operation.

impl Index<Idx<CharConstant>> for Ast

type Output = CharConstant

The returned type after indexing.

fn index(&self, id: CharId) -> &CharConstant

Performs the indexing (container[index]) operation.

impl Index<Idx<Decl>> for Ast

type Output = Decl

The returned type after indexing.

fn index(&self, id: DeclId) -> &Decl

Performs the indexing (container[index]) operation.

impl Index<Idx<DeclSpecs>> for Ast

type Output = DeclSpecs

The returned type after indexing.

fn index(&self, id: DeclSpecsId) -> &DeclSpecs

Performs the indexing (container[index]) operation.

impl Index<Idx<Declarator>> for Ast

type Output = Declarator

The returned type after indexing.

fn index(&self, id: DeclaratorId) -> &Declarator

Performs the indexing (container[index]) operation.

impl Index<Idx<Expr>> for Ast

type Output = Expr

The returned type after indexing.

fn index(&self, id: ExprId) -> &Expr

Performs the indexing (container[index]) operation.

impl Index<Idx<FloatConstant>> for Ast

type Output = FloatConstant

The returned type after indexing.

fn index(&self, id: FloatId) -> &FloatConstant

Performs the indexing (container[index]) operation.

impl Index<Idx<Init>> for Ast

type Output = Init

The returned type after indexing.

fn index(&self, id: InitId) -> &Init

Performs the indexing (container[index]) operation.

impl Index<Idx<IntConstant>> for Ast

type Output = IntConstant

The returned type after indexing.

fn index(&self, id: IntId) -> &IntConstant

Performs the indexing (container[index]) operation.

impl Index<Idx<Stmt>> for Ast

type Output = Stmt

The returned type after indexing.

fn index(&self, id: StmtId) -> &Stmt

Performs the indexing (container[index]) operation.

impl Index<Idx<StringLiteral>> for Ast

type Output = StringLiteral

The returned type after indexing.

fn index(&self, id: StrId) -> &StringLiteral

Performs the indexing (container[index]) operation.

impl Index<Idx<TypeName>> for Ast

type Output = TypeName

The returned type after indexing.

fn index(&self, id: TypeNameId) -> &TypeName

Performs the indexing (container[index]) operation.

impl Index<IdxRange<AsmOperand>> for Ast

type Output = [AsmOperand]

The returned type after indexing.

fn index(&self, list: AsmOperandList) -> &[AsmOperand]

Performs the indexing (container[index]) operation.

impl Index<IdxRange<AttrArg>> for Ast

type Output = [AttrArg]

The returned type after indexing.

fn index(&self, list: AttrArgList) -> &[AttrArg]

Performs the indexing (container[index]) operation.

impl Index<IdxRange<Attribute>> for Ast

type Output = [Attribute]

The returned type after indexing.

fn index(&self, list: AttrList) -> &[Attribute]

Performs the indexing (container[index]) operation.

impl Index<IdxRange<DeclRef>> for Ast

type Output = [Idx<Decl>]

The returned type after indexing.

fn index(&self, list: DeclList) -> &[DeclId]

Performs the indexing (container[index]) operation.

impl Index<IdxRange<Derived>> for Ast

type Output = [Derived]

The returned type after indexing.

fn index(&self, list: DerivedList) -> &[Derived]

Performs the indexing (container[index]) operation.

impl Index<IdxRange<Designator>> for Ast

type Output = [Designator]

The returned type after indexing.

fn index(&self, list: DesignatorList) -> &[Designator]

Performs the indexing (container[index]) operation.

impl Index<IdxRange<Enumerator>> for Ast

type Output = [Enumerator]

The returned type after indexing.

fn index(&self, list: EnumeratorList) -> &[Enumerator]

Performs the indexing (container[index]) operation.

impl Index<IdxRange<ExprRef>> for Ast

type Output = [Idx<Expr>]

The returned type after indexing.

fn index(&self, list: ExprList) -> &[ExprId]

Performs the indexing (container[index]) operation.

impl Index<IdxRange<GenericAssoc>> for Ast

type Output = [GenericAssoc]

The returned type after indexing.

fn index(&self, list: GenericList) -> &[GenericAssoc]

Performs the indexing (container[index]) operation.

impl Index<IdxRange<InitDeclarator>> for Ast

type Output = [InitDeclarator]

The returned type after indexing.

fn index(&self, list: InitDeclaratorList) -> &[InitDeclarator]

Performs the indexing (container[index]) operation.

impl Index<IdxRange<InitItem>> for Ast

type Output = [InitItem]

The returned type after indexing.

fn index(&self, list: InitItemList) -> &[InitItem]

Performs the indexing (container[index]) operation.

impl Index<IdxRange<Member>> for Ast

type Output = [Member]

The returned type after indexing.

fn index(&self, list: MemberList) -> &[Member]

Performs the indexing (container[index]) operation.

impl Index<IdxRange<Param>> for Ast

type Output = [Param]

The returned type after indexing.

fn index(&self, list: ParamList) -> &[Param]

Performs the indexing (container[index]) operation.

impl Index<IdxRange<StmtRef>> for Ast

type Output = [Idx<Stmt>]

The returned type after indexing.

fn index(&self, list: StmtList) -> &[StmtId]

Performs the indexing (container[index]) operation.

impl Index<IdxRange<StrRef>> for Ast

type Output = [Idx<StringLiteral>]

The returned type after indexing.

fn index(&self, list: StrList) -> &[StrId]

Performs the indexing (container[index]) operation.

impl Index<IdxRange<Symbol>> for Ast

type Output = [Symbol]

The returned type after indexing.

fn index(&self, list: SymbolList) -> &[Symbol]

Performs the indexing (container[index]) operation.