Struct IntroduceVariableMutation 

pub struct IntroduceVariableMutation {
    pub target_expr: PureExpr,
    pub var_name: String,
    pub target_fn: Option<SymbolId>,
    pub is_mut: bool,
}

Extract an expression into a named variable

Fields

target_expr: PureExpr

The expression to extract (matched by structure)

var_name: String

Name for the new variable

target_fn: Option<SymbolId>

Target function SymbolId. If None, applies to all functions.

is_mut: bool

Make the variable mutable

Implementations

impl IntroduceVariableMutation

pub fn new(target_expr: PureExpr, var_name: impl Into<String>) -> Self

pub fn in_function(self, id: SymbolId) -> Self

Only apply in a specific function

pub fn mutable(self) -> Self

Make the introduced variable mutable

Trait Implementations

impl Clone for IntroduceVariableMutation

fn clone(&self) -> IntroduceVariableMutation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IntroduceVariableMutation

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

Formats the value using the given formatter.

impl Mutation for IntroduceVariableMutation

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