Struct BlockRef 

pub struct BlockRef<'c, 'a> { /* private fields */ }

A reference of a block.

Implementations

impl BlockRef<'_, '_>

pub unsafe fn from_raw(raw: MlirBlock) -> Self

Creates a block reference from a raw object.

Safety

A raw object must be valid.

pub unsafe fn from_option_raw(raw: MlirBlock) -> Option<Self>

Creates an optional block reference from a raw object.

Safety

A raw object must be valid.

Methods from Deref<Target = Block<'a>>

pub fn argument(&self, index: usize) -> Result<BlockArgument<'c, '_>, Error>

Returns an argument at a position.

pub fn argument_count(&self) -> usize

Returns a number of arguments.

pub fn first_operation(&self) -> Option<OperationRef<'c, '_>>

Returns a reference to the first operation.

pub fn terminator(&self) -> Option<OperationRef<'c, '_>>

Returns a reference to a terminator operation.

pub fn parent_region(&self) -> Option<RegionRef<'c, '_>>

Returns a parent region.

pub fn parent_operation(&self) -> Option<OperationRef<'c, '_>>

Returns a parent operation.

pub fn add_argument( &self, type: Type<'c>, location: Location<'c>, ) -> Value<'c, '_>

Adds an argument.

pub fn append_operation(&self, operation: Operation<'c>) -> OperationRef<'c, '_>

Appends an operation.

pub fn insert_operation( &self, position: usize, operation: Operation<'c>, ) -> OperationRef<'c, '_>

Inserts an operation.

pub fn insert_operation_after( &self, one: OperationRef<'c, '_>, other: Operation<'c>, ) -> OperationRef<'c, '_>

Inserts an operation after another.

pub fn insert_operation_before( &self, one: OperationRef<'c, '_>, other: Operation<'c>, ) -> OperationRef<'c, '_>

Inserts an operation before another.

pub unsafe fn detach(&self) -> Option<Block<'c>>

Detaches a block from a region and assumes its ownership.

Safety

This function might invalidate existing references to the block if you drop it too early.

pub fn next_in_region(&self) -> Option<BlockRef<'c, '_>>

Returns a next block in a region.

pub fn to_raw(&self) -> MlirBlock

Converts a block into a raw object.

Trait Implementations

impl<'c, 'a> Clone for BlockRef<'c, 'a>

fn clone(&self) -> BlockRef<'c, 'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BlockRef<'_, '_>

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

Formats the value using the given formatter.

impl<'a> Deref for BlockRef<'_, 'a>

type Target = Block<'a>

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl Display for BlockRef<'_, '_>

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

Formats the value using the given formatter.

impl PartialEq for BlockRef<'_, '_>

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

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'c, 'a> Copy for BlockRef<'c, 'a>

impl Eq for BlockRef<'_, '_>