Trait NodeHandle

pub trait NodeHandle: Clone {
    const TAG: OpTag;

    // Required method
    fn node(&self) -> Node;

    // Provided methods
    fn tag(&self) -> OpTag { ... }
    fn try_cast<T: NodeHandle + From<Node>>(&self) -> Option<T> { ... }
    fn can_hold(tag: OpTag) -> bool { ... }
}

Common trait for handles to a node. Typically wrappers around Node.

Required Associated Constants

const TAG: OpTag

The most specific operation tag associated with the handle.

Required Methods

fn node(&self) -> Node

Index of underlying node.

Provided Methods

fn tag(&self) -> OpTag

Operation tag for the handle.

fn try_cast<T: NodeHandle + From<Node>>(&self) -> Option<T>

Cast the handle to a different more general tag.

fn can_hold(tag: OpTag) -> bool

Checks whether the handle can hold an operation with the given tag.

Object Safety

This trait is not object safe.

Implementors

impl NodeHandle for Node

const TAG: OpTag = OpTag::Any

impl NodeHandle for BasicBlockID

const TAG: OpTag = OpTag::DataflowBlock

impl NodeHandle for CaseID

const TAG: OpTag = OpTag::Case

impl NodeHandle for CfgID

const TAG: OpTag = OpTag::Cfg

impl NodeHandle for ConditionalID

const TAG: OpTag = OpTag::Conditional

impl NodeHandle for ConstID

const TAG: OpTag = OpTag::Const

impl NodeHandle for DataflowOpID

const TAG: OpTag = OpTag::DataflowChild

impl NodeHandle for DataflowParentID

const TAG: OpTag = OpTag::DataflowParent

impl NodeHandle for DfgID

const TAG: OpTag = OpTag::Dfg

impl NodeHandle for ModuleID

const TAG: OpTag = OpTag::ModuleOp

impl NodeHandle for ModuleRootID

const TAG: OpTag = OpTag::ModuleRoot

impl NodeHandle for TailLoopID

const TAG: OpTag = OpTag::TailLoop

impl<T: NodeHandle> NodeHandle for BuildHandle<T>

const TAG: OpTag = T::TAG

impl<const DEF: bool> NodeHandle for AliasID<DEF>

const TAG: OpTag = OpTag::Alias

impl<const DEF: bool> NodeHandle for FuncID<DEF>

const TAG: OpTag = OpTag::Function