Struct c2rust_refactor::transform::rewrite::RewriteExpr

pub struct RewriteExpr {
    pub pat: String,
    pub repl: String,
    pub filter: Option<Symbol>,
}

rewrite_expr Command

Usage: rewrite_expr PAT REPL [FILTER]

Marks: reads FILTER, if set; may read other marks depending on PAT

For every expression in the crate matching PAT, replace it with REPL. PAT and REPL are both Rust expressions. PAT can use placeholders to capture nodes from the matched AST, and REPL can refer to those same placeholders to substitute in the captured nodes. See the matcher module for details on AST pattern matching.

If FILTER is provided, only expressions marked FILTER will be rewritten. This usage is obsolete - change PAT to marked!(PAT, FILTER) to get the same behavior.

Example:

fn double(x: i32) -> i32 {
    x * 2
}

After running rewrite_expr '$e * 2' '$e + $e':

fn double(x: i32) -> i32 {
    x + x
}

Here $e * 2 matches x * 2, capturing x as $e. Then x is substituted for $e in $e + $e, producing the final expression x + x.

Fields

pat: String

repl: String

filter: Option<Symbol>

Trait Implementations

impl Transform for RewriteExpr

fn transform(&self, krate: &mut Crate, st: &CommandState, cx: &RefactorCtxt)

Apply the transformation.

fn min_phase(&self) -> Phase

Return the minimum phase at which this transform can operate. See the Phase docs for details. The default is Phase2.