Struct BlockStatement 

#[non_exhaustive]
#[repr(C)]
pub struct BlockStatement<'a> {
    pub span: Span,
    pub node_id: Cell<NodeId>,
    pub scope_id: Cell<Option<ScopeId>>,
    pub body: Vec<'a, Statement<'a>>,
}

{ let foo = 1; } in if(true) { let foo = 1; }

Represents a block statement, which can include a body.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

span: Span

node_id: Cell<NodeId>

scope_id: Cell<Option<ScopeId>>

body: Vec<'a, Statement<'a>>

Implementations

impl<'a> BlockStatement<'a>

pub fn new<B, T1>(span: Span, body: T1, builder: &B) -> BlockStatement<'a>

where B: GetAstBuilder<'a>, T1: IntoIn<'a, Vec<'a, Statement<'a>>>,

Build a BlockStatement.

If you want the built node to be allocated in the memory arena, use BlockStatement::boxed instead.

Parameters

• span: The Span covering this node
• body

pub fn boxed<B, T1>( span: Span, body: T1, builder: &B, ) -> Box<'a, BlockStatement<'a>>

where B: GetAstBuilder<'a>, T1: IntoIn<'a, Vec<'a, Statement<'a>>>,

Build a BlockStatement, and store it in the memory arena.

Returns a Box containing the newly-allocated node. If you want a stack-allocated node, use BlockStatement::new instead.

Parameters

• span: The Span covering this node
• body

pub fn new_with_scope_id<B, T1>( span: Span, body: T1, scope_id: ScopeId, builder: &B, ) -> BlockStatement<'a>

where B: GetAstBuilder<'a>, T1: IntoIn<'a, Vec<'a, Statement<'a>>>,

Build a BlockStatement with scope_id.

If you want the built node to be allocated in the memory arena, use BlockStatement::boxed_with_scope_id instead.

Parameters

• span: The Span covering this node
• body
• scope_id

pub fn boxed_with_scope_id<B, T1>( span: Span, body: T1, scope_id: ScopeId, builder: &B, ) -> Box<'a, BlockStatement<'a>>

where B: GetAstBuilder<'a>, T1: IntoIn<'a, Vec<'a, Statement<'a>>>,

Build a BlockStatement with scope_id, and store it in the memory arena.

Returns a Box containing the newly-allocated node. If you want a stack-allocated node, use BlockStatement::new_with_scope_id instead.

Parameters

• span: The Span covering this node
• body
• scope_id

impl BlockStatement<'_>

pub fn node_id(&self) -> NodeId

Get NodeId of BlockStatement.

Only use this method on a post-semantic AST where NodeIds are always defined.

pub fn set_node_id(&self, node_id: NodeId)

Set NodeId of BlockStatement.

pub fn scope_id(&self) -> ScopeId

Get ScopeId of BlockStatement.

Only use this method on a post-semantic AST where ScopeIds are always defined.

Panics

Panics if scope_id is None.

pub fn set_scope_id(&self, scope_id: ScopeId)

Set ScopeId of BlockStatement.

Trait Implementations

impl<'new_alloc> CloneIn<'new_alloc> for BlockStatement<'_>

type Cloned = BlockStatement<'new_alloc>

The type of the cloned object.

fn clone_in_impl( &self, with_semantic_ids: CloneInSemanticIds, allocator: &'new_alloc Allocator, ) -> <BlockStatement<'_> as CloneIn<'new_alloc>>::Cloned

Clone self into allocator, threading whether semantic ids should be preserved as a runtime with_semantic_ids flag rather than as two separate methods.

fn clone_in(&self, allocator: &'new_alloc Allocator) -> Self::Cloned

Clone self into the given allocator. allocator may be the same one that self is already in.

fn clone_in_with_semantic_ids( &self, allocator: &'new_alloc Allocator, ) -> Self::Cloned

Almost identical as clone_in, but for some special type, it will also clone the semantic ids. Please use this method only if you make sure semantic info is synced with the ast node.

impl ContentEq for BlockStatement<'_>

fn content_eq(&self, other: &BlockStatement<'_>) -> bool

This method tests for contents of self and other to be equal.

fn content_ne(&self, other: &Self) -> bool

This method tests for contents of self and other not to be equal. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'a> Debug for BlockStatement<'a>

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

Formats the value using the given formatter.

impl<'a> Dummy<'a> for BlockStatement<'a>

fn dummy(allocator: &'a Allocator) -> BlockStatement<'a>

Create a dummy BlockStatement.

Does not allocate any data into arena.

impl ESTree for BlockStatement<'_>

fn serialize<S>(&self, serializer: S)

where S: Serializer,

impl Gen for BlockStatement<'_>

fn gen(&self, p: &mut Codegen<'_>, ctx: Context)

Generate code for an AST node.

fn print(&self, p: &mut Codegen<'_>, ctx: Context)

Generate code for an AST node. Alias for gen.

impl GetSpan for BlockStatement<'_>

fn span(&self) -> Span

Get the Span for an AST node.

impl GetSpanMut for BlockStatement<'_>

fn span_mut(&mut self) -> &mut Span

Get a mutable reference to an AST node’s Span.

impl<'a> MayHaveSideEffects<'a> for BlockStatement<'a>

fn may_have_side_effects( &self, ctx: &impl MayHaveSideEffectsContext<'a>, ) -> bool

impl<'a> ReplaceWith<'a> for BlockStatement<'a>

fn replace_with(&mut self, replacer: impl FnOnce(Self) -> Self)

Replace the node in place with the value returned by replacer.

impl<'a> TakeIn<'a> for BlockStatement<'a>

fn take_in<A>(&mut self, allocator_accessor: &A) -> Self

where A: GetAllocator<'a>,

Replace node with a dummy, and return the original.

fn take_in_box<A>(&mut self, allocator_accessor: &A) -> Box<'a, Self>

where A: GetAllocator<'a>,

Replace node with a dummy, allocate the original node into the arena, and return it as a Box<Self>.

impl UnstableAddress for BlockStatement<'_>

fn unstable_address(&self) -> Address

Get the memory Address of a reference to an AST node in arena, which is not necessarily stable.