Struct Block

pub struct Block {
    pub span: Span,
    pub statements: Vec<Statement>,
}

Fields

span: Span

statements: Vec<Statement>

Implementations

impl Block

pub fn from_seq(seq: Vec<Statement>) -> Option<Self>

pub fn merge(self, other: Self) -> Self

pub fn then(self, r: Statement) -> Self

pub fn then_opt(self, other: Option<Statement>) -> Self

pub fn visit_statements<F: FnMut(&mut Statement)>(&mut self, f: F)

Apply a function to all the statements, in a top-down manner.

pub fn transform<F: FnMut(&mut Statement) -> Vec<Statement>>(&mut self, f: F)

Apply a transformer to all the statements, in a bottom-up manner.

The transformer should:

• mutate the current statement in place
• return the sequence of statements to introduce before the current statement

pub fn transform_sequences<F: FnMut(&mut [Statement]) -> Vec<Statement>>( &mut self, f: F, )

Apply a transformer to all the statements, in a bottom-up manner. Compared to transform, this also gives access to the following statements if any. Statements that are not part of a sequence will be traversed as [st]. Statements that are will be traversed twice: once as [st], and then as [st, ..] with the following statements if any.

The transformer should:

• mutate the current statements in place
• return the sequence of statements to introduce before the current statements

pub fn visit_blocks_bwd<F: FnMut(&mut Block)>(&mut self, f: F)

Visit self and its sub-blocks in a bottom-up (post-order) traversal.

Trait Implementations

impl AstVisitable for Block

fn drive<V: VisitAst>(&self, v: &mut V) -> ControlFlow<V::Break>

Recursively visit this type with the provided visitor. This calls the visitor’s visit_$any method if it exists, otherwise visit_inner.

fn drive_mut<V: VisitAstMut>(&mut self, v: &mut V) -> ControlFlow<V::Break>

Recursively visit this type with the provided visitor. This calls the visitor’s visit_$any method if it exists, otherwise visit_inner.

fn name(&self) -> &'static str

The name of the type, used for debug logging.

fn dyn_visit<T: AstVisitable>(&self, f: impl FnMut(&T))

Visit all occurrences of that type inside self, in pre-order traversal.

fn dyn_visit_mut<T: AstVisitable>(&mut self, f: impl FnMut(&mut T))

Visit all occurrences of that type inside self, in pre-order traversal.

impl BodyVisitable for Block

fn drive_body<V: VisitBody>(&self, v: &mut V) -> ControlFlow<V::Break>

Recursively visit this type with the provided visitor. This calls the visitor’s visit_$any method if it exists, otherwise visit_inner.

fn drive_body_mut<V: VisitBodyMut>( &mut self, v: &mut V, ) -> ControlFlow<V::Break>

Recursively visit this type with the provided visitor. This calls the visitor’s visit_$any method if it exists, otherwise visit_inner.

fn dyn_visit_in_body<T: BodyVisitable>(&self, f: impl FnMut(&T))

Visit all occurrences of that type inside self, in pre-order traversal.

fn dyn_visit_in_body_mut<T: BodyVisitable>(&mut self, f: impl FnMut(&mut T))

Visit all occurrences of that type inside self, in pre-order traversal.

impl Clone for Block

fn clone(&self) -> Block

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Block

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Block

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<'s, V> Drive<'s, V> for Block

where V: Visitor + Visit<'s, Span> + Visit<'s, Vec<Statement>>,

fn drive_inner(&'s self, visitor: &mut V) -> ControlFlow<V::Break>

Call v.visit() on the immediate contents of self.

impl<'s, V> DriveMut<'s, V> for Block

where V: Visitor + VisitMut<'s, Span> + VisitMut<'s, Vec<Statement>>,

fn drive_inner_mut(&'s mut self, visitor: &mut V) -> ControlFlow<V::Break>

Call v.visit() on the immediate contents of self.

impl<C: AstFormatter> FmtWithCtx<C> for Block

fn fmt_with_ctx(&self, ctx: &C) -> String

fn fmt_with_ctx_and_indent(&self, tab: &str, ctx: &C) -> String

fn with_ctx<'a>(&'a self, ctx: &'a C) -> impl Display + 'a

Returns a struct that implements Display. This allows the following:

impl<'a> Formatter<&Block> for FmtCtx<'a>

fn format_object(&self, x: &Block) -> String

impl Serialize for Block

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.