Struct ArmPath 

pub struct ArmPath { /* private fields */ }

The conditionals enclosing a unit, outermost first.

Empty for the overwhelming majority of units, which sit under no conditional at all, and empty for every Rust unit.

Implementations

impl ArmPath

pub fn descend(&self, node: &IrNode, next: &mut u32) -> Option<Self>

The path that applies inside node, or None when node leaves it unchanged — which is every node but a conditional’s own.

next hands out conditional identifiers and must be shared across every file in a run, so that two files’ conditionals never collide.

Arms nest rather than sit side by side: the grammar puts a #elif and its #else inside the arm they follow, so entering one continues the conditional already open instead of starting another. A conditional the parser stumbled inside is entered too — it has to be, or a #else under it would advance the arm of the conditional above — but it is entered unbelieved, and none of its arms is distinguished from another.

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

Whether the two units can never both be part of one build.

True when the paths agree down to some conditional and then take different arms of it. Diverging on different conditionals says nothing: those are two independent guards, and both can hold. An unbelieved conditional never separates anything: its arms all carry the same index, so two units under it agree there and the comparison continues into whatever nests below.

pub fn is_unreachable(&self) -> bool

Whether this path contains code no build can reach without evaluating an unknown condition.

Trait Implementations

impl Clone for ArmPath

fn clone(&self) -> ArmPath

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ArmPath

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

Formats the value using the given formatter.

impl Default for ArmPath

fn default() -> ArmPath

Returns the “default value” for a type.

impl Eq for ArmPath

impl PartialEq for ArmPath

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ArmPath