Struct Region

pub struct Region { /* private fields */ }

Represents a region in the control-flow graph.

Implementations

impl Region

pub fn new(id: RegionId) -> Self

Creates a new region with the specified type and initializes with no statements.

Arguments

• id - The id of the region.

pub fn region_type(&self) -> &RegionType

Returns the type of the region.

pub fn push_node(&mut self, node: AstKind)

Adds a statement to the region.

Arguments

• node - The AST node to add.

pub fn iter_statements(&self) -> Iter<'_, AstKind>

Returns an iterator over the statements in the region.

Trait Implementations

impl Clone for Region

fn clone(&self) -> Region

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Region

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

Formats the value using the given formatter.

impl<'a> IntoIterator for &'a Region

Allows iterating over the statements in a region.

type Item = &'a AstKind

The type of the elements being iterated over.

type IntoIter = Iter<'a, AstKind>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl<'a> IntoIterator for &'a mut Region

Allows iterating over the statements in a region (mutable).

type Item = &'a mut AstKind

The type of the elements being iterated over.

type IntoIter = IterMut<'a, AstKind>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl RenderableNode for Region

fn render_node(&self, padding: usize) -> String

Render the region’s node representation for Graphviz with customizable padding.

Arguments

• padding - The number of spaces to use for indentation.

Return

The rendered node