Struct ReplaceExprMutation 

pub struct ReplaceExprMutation {
    pub old_expr: PureExpr,
    pub new_expr: PureExpr,
    pub target_fn: SymbolId,
    pub replace_all: bool,
}

Replace an expression with another expression

Fields

old_expr: PureExpr

The expression to find (matched by structure)

new_expr: PureExpr

The replacement expression

target_fn: SymbolId

Target function SymbolId

replace_all: bool

Replace all occurrences (true) or just first (false)

Implementations

impl ReplaceExprMutation

pub fn new(old_expr: PureExpr, new_expr: PureExpr, target_fn: SymbolId) -> Self

pub fn first_only(self) -> Self

Replace only the first occurrence

Trait Implementations

impl Clone for ReplaceExprMutation

fn clone(&self) -> ReplaceExprMutation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ReplaceExprMutation

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

Formats the value using the given formatter.

impl Mutation for ReplaceExprMutation

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