Struct Region

pub struct Region { /* private fields */ }

Represents a region in the control-flow graph.

Implementations

impl Region

pub fn new(region_type: RegionType, region_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 push_unresolved_node(&mut self, node: AstKind)

Adds an unresolved statement to the region.

Arguments

• node - The AST node to add.

pub fn push_nodes(&mut self, nodes: Vec<AstKind>)

Adds multiple statements to the region.

Arguments

• nodes - The AST nodes to add.

pub fn push_unresolved_nodes(&mut self, nodes: Vec<AstKind>)

Adds multiple unresolved statements to the region.

Arguments

• nodes - The AST nodes to add.

pub fn clear_nodes(&mut self)

Clears the nodes in the region

pub fn clear_unresolved_nodes(&mut self)

Clears the unresolved nodes in the region

pub fn get_nodes(&self) -> &Vec<AstKind>

Gets the nodes in the region.

Return

The nodes in the region.

pub fn get_unresolved_nodes(&self) -> &Vec<AstKind>

Gets the unresolved nodes in the region.

Return

The unresolved nodes in the region.

pub fn get_region_type(&self) -> RegionType

Gets the region type.

Return

The region type.

pub fn set_region_type(&mut self, region_type: RegionType)

Sets the type of the region.

Arguments

• region_type - The new type of the region.

pub fn remove_jump_expr(&mut self)

Remove the jump expression from the region.

pub fn get_jump_expr(&self) -> Option<&ExprKind>

Gets the jump expression.

Return

The jump expression.

pub fn set_jump_expr(&mut self, jump_expr: Option<ExprKind>)

Sets the jump expression.

Arguments

• jump_expr - The new optional jump expression.

pub fn get_branch_opcode(&self) -> Option<Opcode>

Gets the branch opcode, if any.

Return

The opcode.

pub fn set_branch_opcode(&mut self, opcode: Opcode)

Sets the opcode.

Arguments

• opcode - The new opcode.

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

Returns an iterator over the statements in the region.

Return

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