Struct ReplaceExprAtMutation 

pub struct ReplaceExprAtMutation {
    pub target_fn: SymbolId,
    pub body_indices: Vec<usize>,
    pub new_expr: PureExpr,
}

Replace an expression at a specific position using index-based navigation

Fields

target_fn: SymbolId

The target function SymbolId

body_indices: Vec<usize>

Body indices for navigation (e.g., [0, 1, 2] for stmts[0].child[1].child[2])

new_expr: PureExpr

The replacement expression

Implementations

impl ReplaceExprAtMutation

pub fn new( target_fn: SymbolId, body_indices: Vec<usize>, new_expr: PureExpr, ) -> Self

Create a new position-based replacement mutation

Trait Implementations

impl Clone for ReplaceExprAtMutation

fn clone(&self) -> ReplaceExprAtMutation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ReplaceExprAtMutation

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

Formats the value using the given formatter.

impl Mutation for ReplaceExprAtMutation

fn describe(&self) -> String

Get a description of this mutation

fn mutation_type(&self) -> &'static str

Get the mutation type name

fn box_clone(&self) -> Box<dyn Mutation>

Clone this mutation into a new Box

fn validate(&self, _file: &PureFile) -> ValidationResult

Validate the mutation before applying

fn can_proceed(&self, file: &PureFile, strategy: ValidationStrategy) -> bool

Check if this mutation can proceed with the given strategy