Struct LabelDef 

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

A label definition site: either \label{key} or a curated environment’s label=key option.

Fields

name: SmolStr

range: TextRange

Range of the definition for diagnostics and go-to-definition. For \label, this spans the control word through its key group and excludes any second group the greedy parser may have over-attached (\label’s arity is unknown at parse time; see builder::label_range). For an environment option, it spans the complete label=value entry.

key_range: TextRange

Range of just the trimmed key text (sec:intro in either \label{sec:intro} or label={sec:intro}). This is the precise span a rename rewrites—narrower than range, which spans the whole definition.

referenced: bool

Set by the resolve pass when any reference in this file uses name. This field is per-file only; project consumers consult the cross-file resolver for namespace-wide references.

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