Struct LabelDef 

pub struct LabelDef {
    pub name: SmolStr,
    pub range: TextRange,
    pub key_range: TextRange,
    pub referenced: bool,
}

A \label{key} definition site.

Fields

name: SmolStr

range: TextRange

Range of the \label{key} command — the control word through its key group — for diagnostics / go-to-def. Excludes any second group the greedy parser may have over-attached (\label’s arity is unknown at parse time; see builder::label_range).

key_range: TextRange

Range of just the key text inside the braces (sec:intro in \label{sec:intro}), trimmed of surrounding whitespace. The precise span a rename rewrites — narrower than range, which spans the whole command.

referenced: bool

Set by the resolve pass when any reference in this file uses name. Per-file only — a label referenced solely from an \input-ed file looks unreferenced here until the (deferred) cross-file resolver lands.

Trait Implementations

impl Clone for LabelDef

fn clone(&self) -> LabelDef

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LabelDef

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

Formats the value using the given formatter.

impl Eq for LabelDef

impl PartialEq for LabelDef

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for LabelDef