Enum FlowNodeKind 

pub enum FlowNodeKind {
    Start,
    Unreachable,
    BranchLabel,
    LoopLabel,
    NamedLabel(ArcIntern<SmolStr>),
    DeclPosition(TextSize),
    Assignment(LuaAstPtr<LuaAssignStat>),
    TrueCondition(LuaAstPtr<LuaExpr>),
    FalseCondition(LuaAstPtr<LuaExpr>),
    ImplFunc(LuaAstPtr<LuaFuncStat>),
    ForIStat(LuaAstPtr<LuaForStat>),
    TagCast(LuaAstPtr<LuaDocTagCast>),
    Break,
    Return,
}

Different types of flow nodes in the control flow graph

Variants

Start

Entry point of the flow

Unreachable

Unreachable code

BranchLabel

Label for branching (if/else, switch cases)

LoopLabel

Label for loops (while, for, repeat)

NamedLabel(ArcIntern<SmolStr>)

Named label (goto target)

DeclPosition(TextSize)

Declaration position

Assignment(LuaAstPtr<LuaAssignStat>)

Variable assignment

TrueCondition(LuaAstPtr<LuaExpr>)

Conditional flow (type guards, existence checks)

FalseCondition(LuaAstPtr<LuaExpr>)

Conditional flow (type guards, existence checks)

ImplFunc(LuaAstPtr<LuaFuncStat>)

impl function

ForIStat(LuaAstPtr<LuaForStat>)

For loop initialization

TagCast(LuaAstPtr<LuaDocTagCast>)

Tag cast comment

Break

Break statement

Return

Return statement

Implementations

impl FlowNodeKind

pub fn is_branch_label(&self) -> bool

pub fn is_loop_label(&self) -> bool

pub fn is_named_label(&self) -> bool

pub fn is_change_flow(&self) -> bool

pub fn is_assignment(&self) -> bool

pub fn is_conditional(&self) -> bool

pub fn is_unreachable(&self) -> bool

Trait Implementations

impl Clone for FlowNodeKind

fn clone(&self) -> FlowNodeKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FlowNodeKind

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

Formats the value using the given formatter.

impl PartialEq for FlowNodeKind

fn eq(&self, other: &FlowNodeKind) -> 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 Eq for FlowNodeKind

impl StructuralPartialEq for FlowNodeKind