Struct c2rust_refactor::command::CommandState

pub struct CommandState { /* fields omitted */ }

Mutable state that can be modified by a "driver" command. This is normally paired with a RefactorCtxt, which contains immutable analysis results from the original input Crate.

Methods

impl CommandState

pub fn krate(&self) -> Ref<Crate>

pub fn krate_mut(&self) -> RefMut<Crate>

pub fn map_krate<F: FnOnce(&mut Crate)>(&self, func: F)

pub fn krate_changed(&self) -> bool

pub fn marks(&self) -> Ref<HashSet<(NodeId, Symbol)>>

pub fn marks_mut(&self) -> RefMut<HashSet<(NodeId, Symbol)>>

pub fn marked<S: IntoSymbol>(&self, id: NodeId, label: S) -> bool

pub fn add_mark<S: IntoSymbol>(&self, id: NodeId, label: S)

pub fn remove_mark<S: IntoSymbol>(&self, id: NodeId, label: S)

pub fn marks_changed(&self) -> bool

pub fn node_id_counter(&self) -> &NodeIdCounter

pub fn next_node_id(&self) -> NodeId

Generate a fresh NodeId.

pub fn transfer_marks(&self, old: NodeId) -> NodeId

Transfer marks on old to a fresh NodeId, and return that fresh NodeId.

pub fn parse_expr(&self, cx: &RefactorCtxt, src: &str) -> P<Expr>

Parse an Expr, keeping the original src around for use during rewriting.

pub fn parse_items(&self, cx: &RefactorCtxt, src: &str) -> Vec<P<Item>>

pub fn into_inner(self) -> (Crate, HashSet<(NodeId, Symbol)>)