Enum FixCandidate 

pub enum FixCandidate {
    ReplaceInLine {
        line: usize,
        start_col: usize,
        end_col: usize,
        replacement: String,
    },
    RewriteRootToTree {
        root_line: usize,
        root_indent: usize,
        block_end_line: usize,
    },
}

A fix described as data, so a later step can apply it as a surgical text edit without re-deriving the location.

Variants

ReplaceInLine

Replace the byte range [start_col, end_col) on 0-based line line with replacement. Columns are byte offsets within that line. Used for the line-level renames (ARA002/ARA003) and the claim-header rewrite (ARA004).

Fields

line: usize

0-based line index.

start_col: usize

Byte offset within the line where the replaced span begins.

end_col: usize

Byte offset within the line where the replaced span ends (exclusive).

replacement: String

Text to substitute for [start_col, end_col).

RewriteRootToTree

ARA001 structural rewrite: turn the top-level root: single-node map into a one-element tree: list. The re-indent/re-emit algorithm is step 2’s job; this candidate carries the block’s location so the applier can read and transform it deterministically.

Fields

root_line: usize

0-based line index of the top-level root: key.

root_indent: usize

Leading-space indentation of the root: key (canonically 0).

block_end_line: usize

0-based line index one past the last line of the root: block (exclusive); the block runs [root_line, block_end_line).

Trait Implementations

impl Clone for FixCandidate

fn clone(&self) -> FixCandidate

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FixCandidate

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

Formats the value using the given formatter.

impl PartialEq for FixCandidate

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for FixCandidate

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for FixCandidate