Enum calyx_opt::traversal::Action

pub enum Action {
    Continue,
    Stop,
    SkipChildren,
    Change(Box<Control>),
    StaticChange(Box<StaticControl>),
}

Action performed at the end of visiting a control statement.

Variants

Continue

Continue traversal of control program.

Stop

Globally abort traversal of control program.

SkipChildren

Skips the traversal of this node’s children but continues traversing
the sibling nodes.

Change(Box<Control>)

Replace the current ast node with a new node. If performed using a start_* method, none of the newly created children will be visited.

StaticChange(Box<StaticControl>)

Replace the current StaticControl node with a new node If performed using a start_* method, none of the newly created children will be visited.

Implementations

impl Action

pub fn change(control: Control) -> Self

pub fn static_change(control: StaticControl) -> Self