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.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so 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