Enum RuleActionSpec 

pub enum RuleActionSpec {
    Replace {
        from: Vec<usize>,
        to: Vec<usize>,
    },
    Swap {
        swap: (Vec<usize>, Vec<usize>),
    },
    Rewrite {
        base: Node,
        replace: Vec<(Vec<usize>, Vec<usize>)>,
        fold: Vec<Vec<usize>>,
    },
    Multi(Vec<Self>),
}

Describes the action to perform when a rule matches.

Variants

Replace

Overwrite a part of the AST with a node elsewhere in the AST.

Fields

from: Vec<usize>

The indexing sequence to fetch the node to be written.

See AstNode::get for more details on indexing.

to: Vec<usize>

The indexing sequence the node should be written to.

See AstNode::get for more details on indexing.

Swap

Swaps two nodes in the AST.

Fields

swap: (Vec<usize>, Vec<usize>)

Rewrite

Constructs a replacement node by starting from some base and performing actions against it from the original node.

Fields

base: Node

replace: Vec<(Vec<usize>, Vec<usize>)>

fold: Vec<Vec<usize>>

Multi(Vec<Self>)

Perform multiple actions in order.

Implementations

impl RuleActionSpec

pub fn apply<N: AstNode + From<Node>>(&self, n: &mut N) -> Result<(), ()>

Applies the action to the given node.

Trait Implementations

impl Clone for RuleActionSpec

fn clone(&self) -> RuleActionSpec

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RuleActionSpec

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for RuleActionSpec

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for RuleActionSpec

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for RuleActionSpec

impl StructuralPartialEq for RuleActionSpec