Expand description
Abstract Syntax Tree, layered on top of untyped SyntaxNodes
Modules§
- edit
- This module contains functions for editing syntax trees. As the trees are immutable, all function here return a fresh copy of the tree, instead of doing an in-place modification.
- edit_
in_ place - Structural editing for ast.
- make
- This module contains free-standing functions for creating AST fragments out of smaller pieces.
- prec
- Precedence representation.
- syntax_
factory - Builds upon
crate::ast::makeconstructors to create ast fragments with optional syntax mappings.
Structs§
- Abi
- AnyHas
ArgList - AnyHas
Attrs - AnyHas
DocComments - AnyHas
Generic Args - AnyHas
Generic Params - AnyHas
Loop Body - AnyHas
Module Item - AnyHas
Name - AnyHas
Type Bounds - AnyHas
Visibility - ArgList
- Array
Expr - Array
Type - AsmClobber
Abi - AsmConst
- AsmDir
Spec - AsmExpr
- AsmLabel
- AsmOperand
Expr - AsmOperand
Named - AsmOption
- AsmOptions
- AsmReg
Operand - AsmReg
Spec - AsmSym
- Assoc
Item List - Assoc
Type Arg - AstChildren
- An iterator over
SyntaxNodechildren of a particular AST type. - Attr
- Attr
DocComment Iter - Await
Expr - Become
Expr - BinExpr
- Block
Expr - BoxPat
- Break
Expr - Byte
- Byte
String - CString
- Call
Expr - Cast
Expr - Char
- Closure
Binder - Closure
Expr - Comment
- Comment
Kind - Const
- Const
Arg - Const
Block Pat - Const
Param - Continue
Expr - DocComment
Iter - DynTrait
Type - Enum
- Expr
Stmt - Extern
Block - Extern
Crate - Extern
Item List - Field
Expr - Float
Number - Fn
- FnPtr
Type - ForExpr
- ForType
- Format
Args Arg - Format
Args Expr - Generic
ArgList - Generic
Param List - Ident
- Ident
Pat - IfExpr
- Impl
- Impl
Trait Type - Index
Expr - Infer
Type - IntNumber
- Item
List - Label
- LetElse
- LetExpr
- LetStmt
- Lifetime
- Lifetime
Arg - Lifetime
Param - Literal
- Literal
Pat - Loop
Expr - Macro
Call - Macro
Def - Macro
Expr - Macro
Items - Macro
Pat - Macro
Rules - Macro
Stmts - Macro
Type - Match
Arm - Match
ArmList - Match
Expr - Match
Guard - Meta
- Method
Call Expr - Module
- Name
- NameRef
- Never
Type - Offset
OfExpr - OrPat
- Param
- Param
List - Paren
Expr - Paren
Pat - Paren
Type - Parenthesized
ArgList - Path
- Path
Expr - PathPat
- Path
Segment - Path
Type - Prefix
Expr - PtrType
- Quote
Offsets - Range
Expr - Range
Pat - Record
Expr - Record
Expr Field - Record
Expr Field List - Record
Field - Record
Field List - Record
Pat - Record
PatField - Record
PatField List - RefExpr
- RefPat
- RefType
- Rename
- RestPat
- RetType
- Return
Expr - Return
Type Syntax - Self
Param - Slice
Pat - Slice
PatComponents - Slice
Type - Source
File - Static
- Stmt
List - String
- Struct
- Token
Tree - Trait
- Trait
Alias - TryExpr
- Tuple
Expr - Tuple
Field - Tuple
Field List - Tuple
Pat - Tuple
Struct Pat - Tuple
Type - Type
Alias - TypeArg
- Type
Bound - Type
Bound List - Type
Param - Underscore
Expr - Union
- Use
- UseBound
Generic Args - UseTree
- UseTree
List - Variant
- Variant
List - Visibility
- Where
Clause - Where
Pred - While
Expr - Whitespace
- Wildcard
Pat - Yeet
Expr - Yield
Expr
Enums§
- Adt
- ArithOp
- Array
Expr Kind - AsmOperand
- AsmPiece
- Assoc
Item - Attr
Kind - Binary
Op - Block
Modifier - Callable
Expr - CmpOp
- Comment
Placement - Comment
Shape - Else
Branch - Expr
- Extern
Item - Field
Kind - Field
List - Generic
Arg - Generic
Param - Item
- Literal
Kind - LogicOp
- Macro
- Name
Like - Name
OrName Ref - Ordering
- Pat
- Path
Segment Kind - Radix
- RangeOp
- Self
Param Kind - Stmt
- Struct
Kind - Trait
OrAlias - Type
- Type
Bound Kind - Type
OrConst Param - UnaryOp
- UseBound
Generic Arg - Variant
Def - Visibility
Kind
Traits§
- AstNode
- The main trait to go from untyped
SyntaxNodeto a typed ast. The conversion itself has zero runtime cost: ast and syntax nodes have exactly the same representation: a pointer to the tree root and a pointer to the node itself. - AstToken
- Like
AstNode, but wraps tokens rather than interior nodes. - HasArg
List - HasAttrs
- HasDoc
Comments - HasGeneric
Args - HasGeneric
Params - HasLoop
Body - HasModule
Item - HasName
- HasType
Bounds - HasVisibility
- IsString
- Range
Item - Trait to describe operations common to both
RangeExprandRangePat.