Struct BlockOperand 

pub struct BlockOperand {
    pub owner: OperationRef,
    pub index: u8,
}

A BlockOperand represents a use of a Block by an Operation

Fields

owner: OperationRef

The owner of this operand, i.e. the operation it is an operand of

index: u8

The index of this operand in the set of block operands of the operation

Implementations

impl BlockOperand

pub fn new(owner: OperationRef, index: u8) -> Self

pub fn as_block_operand_ref(&self) -> BlockOperandRef

pub fn block_id(&self) -> BlockId

pub fn predecessor(&self) -> BlockRef

Get the block from which this block operand originates, i.e. the predecessor block

pub fn successor(&self) -> BlockRef

Get the block this operand references

pub fn set(&mut self, block: BlockRef)

Set the successor block to block, removing the block operand from the use list of the previous block, and adding it to the use list of block.

NOTE: This requires a mutable borrow of block when mutating its use list.

Trait Implementations

impl Debug for BlockOperand

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

Formats the value using the given formatter.

impl Display for BlockOperand

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

Formats the value using the given formatter.

impl EntityListItem for BlockOperand

fn on_inserted( this: UnsafeIntrusiveEntityRef<Self>, _cursor: &mut EntityCursorMut<'_, Self>, )

Invoked when this entity type is inserted into an intrusive list

fn on_removed( this: UnsafeIntrusiveEntityRef<Self>, list: &mut EntityCursorMut<'_, Self>, )

Invoked when this entity type is removed from an intrusive list

fn on_transfer( this: UnsafeIntrusiveEntityRef<Self>, from: &mut EntityList<Self>, to: &mut EntityList<Self>, )

Invoked when a set of entities is moved from one intrusive list to another

impl EntityParent<BlockOperand> for Block

fn offset() -> usize

Statically compute the offset of the EntityList within Self that is used to store children of type Child.

impl EntityWithParent for BlockOperand

type Parent = Block

The parent entity that this entity logically belongs to.

impl StorableEntity for BlockOperand

fn unlink(&mut self)

Remove this use of block

fn index(&self) -> usize

Get the absolute index of this entity in its container.

unsafe fn set_index(&mut self, index: usize)

Set the absolute index of this entity in its container.

impl Entity for BlockOperand