Struct DataFlowGraph 

pub struct DataFlowGraph { /* private fields */ }

Implementations

impl DataFlowGraph

pub fn data_flow_graph( def_arena: *mut DefArena, key_arena: *mut RefinementKeyArena, ) -> DataFlowGraph

impl DataFlowGraph

pub fn get_def(&self, expr: *const AstExpr) -> DefId

impl DataFlowGraph

pub fn get_def_for_local(&self, local: *const AstLocal) -> DefId

impl DataFlowGraph

pub fn get_def_for_declare_global( &self, global: *const AstStatDeclareGlobal, ) -> DefId

impl DataFlowGraph

pub fn get_def_for_declare_function( &self, func: *const AstStatDeclareFunction, ) -> DefId

impl DataFlowGraph

pub fn get_def_declare_global( &self, global: *const AstStatDeclareGlobal, ) -> DefId

impl DataFlowGraph

pub fn get_def_local(&self, local: *const AstLocal) -> DefId

impl DataFlowGraph

pub fn get_def_optional(&self, expr: *const AstExpr) -> Option<DefId>

impl DataFlowGraph

pub fn get_refinement_key(&self, expr: *const AstExpr) -> *const RefinementKey

impl DataFlowGraph

pub fn get_symbol_from_def(&self, def: *const Def) -> Option<Symbol>

impl DataFlowGraph

pub fn operator_assign_mut(&mut self, other: DataFlowGraph) -> &mut Self

impl DataFlowGraph

pub fn operator_assign(&mut self, _other: &DataFlowGraph) -> &mut DataFlowGraph

In C++, this method is deleted to prevent copying. In Rust, DataFlowGraph does not implement Clone or Copy, so an explicit assignment operator is not provided.

impl DataFlowGraph

pub fn data_flow_graph_data_flow_graph_mut(&mut self)

C++ DataFlowGraph(DataFlowGraph&&) = default; move-ctor; the Rust port moves by value, so this special member has no call site.

pub fn data_flow_graph_data_flow_graph(&self)

C++ DataFlowGraph(const DataFlowGraph&) = delete; — the deleted copy ctor (DataFlowGraph is non-copyable); never callable in C++ either.

pub fn data_flow_graph_data_flow_graph_not_null_def_arena_not_null_refinement_key_arena( &self, )

Skeleton artifact of the private arena ctor with a malformed &self/no-arg signature; the real ctor is DataFlowGraph::data_flow_graph(def_arena, key_arena) (methods/data_flow_graph_data_flow_graph_data_flow_graph_alt_c.rs).

pub fn get_def_ast_expr(&self, expr: *const AstExpr) -> DefId

DefId DataFlowGraph::getDef(const AstExpr* expr) const. Reference: DataFlowGraph.cpp — getDefOptional plus an assert.

pub fn get_def_ast_local(&self, local: *const AstLocal) -> DefId

DefId DataFlowGraph::getDef(const AstLocal* local) const. Reference: DataFlowGraph.cpp:79-84.

pub fn get_def_ast_stat_declare_global( &self, global: *const AstStatDeclareGlobal, ) -> DefId

DefId DataFlowGraph::getDef(const AstStatDeclareGlobal* global) const. Reference: DataFlowGraph.cpp:86-91.

pub fn get_def_ast_stat_declare_function( &self, func: *const AstStatDeclareFunction, ) -> DefId

DefId DataFlowGraph::getDef(const AstStatDeclareFunction* func) const. Reference: DataFlowGraph.cpp:93-98.

pub fn data_flow_graph_not_null_def_arena_not_null_refinement_key_arena( &self, _def_arena: *mut DefArena, _key_arena: *mut RefinementKeyArena, )

Skeleton artifact duplicating the private arena ctor; the real constructor (DataFlowGraph::data_flow_graph(def_arena, key_arena), methods/data_flow_graph_data_flow_graph_data_flow_graph_alt_c.rs) returns Self, whereas this generated variant takes &self and returns ().

Trait Implementations

impl Clone for DataFlowGraph

fn clone(&self) -> DataFlowGraph

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DataFlowGraph

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

Formats the value using the given formatter.