Struct ArmTracker 

pub struct ArmTracker { /* private fields */ }

Tracks the lexical arm active at each token in a C-family source file.

This deliberately recognises only directive nesting and literal 0 / 1 conditions. It neither expands macros nor chooses an unknown arm; callers use the resulting paths solely to avoid comparing two arms that cannot coexist in one build.

Implementations

impl ArmTracker

pub fn begin(&mut self, condition: StaticCondition)

Start a preprocessor conditional and enter its first arm.

pub fn next_arm(&mut self, condition: StaticCondition)

Advance to an #elif or #else arm.

A branch after a literal true arm is unreachable. Otherwise a literal false #elif is unreachable while an unknown condition remains possible, which is the conservative result without preprocessing.

pub fn end(&mut self)

Leave the innermost preprocessor conditional.

pub fn current(&self) -> ArmPath

Return the arm path active for the next lexical token.

Trait Implementations

impl Debug for ArmTracker

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

Formats the value using the given formatter.

impl Default for ArmTracker

fn default() -> ArmTracker

Returns the “default value” for a type.