Struct DataFlowGraphBuilder 

pub struct DataFlowGraphBuilder { /* private fields */ }

Implementations

impl DataFlowGraphBuilder

pub fn build( block: *mut AstStatBlock, def_arena: *mut DefArena, key_arena: *mut RefinementKeyArena, handle: *mut InternalErrorReporter, ) -> DataFlowGraph

impl DataFlowGraphBuilder

pub fn current_scope(&mut self) -> *mut DfgScope

impl DataFlowGraphBuilder

pub fn data_flow_graph_builder_data_flow_graph_builder(&self)

@delete

impl DataFlowGraphBuilder

pub fn data_flow_graph_builder_not_null_def_arena_not_null_refinement_key_arena( def_arena: *mut DefArena, key_arena: *mut RefinementKeyArena, ) -> Self

impl DataFlowGraphBuilder

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

impl DataFlowGraphBuilder

pub fn join(&mut self, p: *mut DfgScope, a: *mut DfgScope, b: *mut DfgScope)

impl DataFlowGraphBuilder

pub fn join_bindings(&mut self, p: *mut DfgScope, a: &DfgScope, b: &DfgScope)

void DataFlowGraphBuilder::joinBindings(...).

Same borrow-safety concern as join_props: the while-loop visitor calls join(scope, scope, whileScope), so p aliases a. Iterating a.bindings while get_or_insert mutates p.bindings (the same map) is &/&mut aliasing UB. Snapshot a/b bindings into owned vectors first so no borrow of a scope’s bindings is held across the mutation of p.bindings.

impl DataFlowGraphBuilder

pub fn join_props(&mut self, result: *mut DfgScope, a: &DfgScope, b: &DfgScope)

void DataFlowGraphBuilder::joinProps(DfgScope* result, const DfgScope& a, const DfgScope& b). Reference: DataFlowGraph.cpp:246-294.

Borrow-safety note: the while-loop visitor calls join(scope, scope, whileScope), so result and a are the same DfgScope. The faithful C++ mutates result->props while iterating a->props (and reads scope->props inside joinProps’ lambda while holding a reference into it) — in Rust that is &/&mut aliasing UB: even without a rehash the optimizer assumes the &mut is unique and miscompiles, corrupting the props map’s Vec header (observed as a later find indexing an empty data). We therefore snapshot a’s and b’s props into owned values first, and have phinodify build each merged entry in a local BTreeMap before writing it back — exactly the pattern DfgScope::inherit uses. The observable result is identical to the C++ (lookup_def_id_string is only consulted when the in-progress entry has no value for the key, so a deferred write-back cannot change its answer).

impl DataFlowGraphBuilder

pub fn lookup_symbol_location( &mut self, symbol: Symbol, location: Location, ) -> DefId

impl DataFlowGraphBuilder

pub fn lookup_def_id_string_location( &mut self, def: DefId, key: &String, location: Location, ) -> DefId

DefId DataFlowGraphBuilder::lookup(DefId def, const std::string& key, Location location). Reference: DataFlowGraph.cpp:328-364.

impl DataFlowGraphBuilder

pub fn make_child_scope(&mut self, scope_type: ScopeType) -> *mut DfgScope

impl DataFlowGraphBuilder

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

impl DataFlowGraphBuilder

pub fn resolve_captures(&mut self)

impl DataFlowGraphBuilder

pub fn visit_block_without_child_scope( &mut self, b: *mut AstStatBlock, ) -> ControlFlow

impl DataFlowGraphBuilder

pub fn visit_ast_stat_block(&mut self, b: *mut AstStatBlock) -> ControlFlow

impl DataFlowGraphBuilder

pub fn visit_ast_stat(&mut self, s: *mut AstStat) -> ControlFlow

impl DataFlowGraphBuilder

pub fn visit_ast_stat_if(&mut self, i: *mut AstStatIf) -> ControlFlow

impl DataFlowGraphBuilder

pub fn visit_ast_stat_while(&mut self, w: *mut AstStatWhile) -> ControlFlow

impl DataFlowGraphBuilder

pub fn visit_ast_stat_repeat(&mut self, r: *mut AstStatRepeat) -> ControlFlow

impl DataFlowGraphBuilder

pub fn visit_ast_stat_break(&mut self, _b: *mut AstStatBreak) -> ControlFlow

impl DataFlowGraphBuilder

pub fn visit_ast_stat_continue( &mut self, _c: *mut AstStatContinue, ) -> ControlFlow

impl DataFlowGraphBuilder

pub fn visit_ast_stat_return(&mut self, r: *mut AstStatReturn) -> ControlFlow

impl DataFlowGraphBuilder

pub fn visit_ast_stat_expr(&mut self, e: *mut AstStatExpr) -> ControlFlow

impl DataFlowGraphBuilder

pub fn visit_ast_stat_local(&mut self, l: *mut AstStatLocal) -> ControlFlow

impl DataFlowGraphBuilder

pub fn visit_ast_stat_for(&mut self, f: *mut AstStatFor) -> ControlFlow

impl DataFlowGraphBuilder

pub fn visit_ast_stat_for_in(&mut self, f: *mut AstStatForIn) -> ControlFlow

impl DataFlowGraphBuilder

pub fn visit_ast_stat_assign(&mut self, a: *mut AstStatAssign) -> ControlFlow

impl DataFlowGraphBuilder

pub fn visit_ast_stat_compound_assign( &mut self, c: *mut AstStatCompoundAssign, ) -> ControlFlow

impl DataFlowGraphBuilder

pub fn visit_ast_stat_function( &mut self, f: *mut AstStatFunction, ) -> ControlFlow

impl DataFlowGraphBuilder

pub fn visit_ast_stat_local_function( &mut self, l: *mut AstStatLocalFunction, ) -> ControlFlow

impl DataFlowGraphBuilder

pub fn visit_ast_stat_type_alias( &mut self, t: *mut AstStatTypeAlias, ) -> ControlFlow

impl DataFlowGraphBuilder

pub fn visit_ast_stat_type_function( &mut self, f: *mut AstStatTypeFunction, ) -> ControlFlow

impl DataFlowGraphBuilder

pub fn visit_ast_stat_declare_global( &mut self, d: *mut AstStatDeclareGlobal, ) -> ControlFlow

impl DataFlowGraphBuilder

pub fn visit_ast_stat_declare_function( &mut self, d: *mut AstStatDeclareFunction, ) -> ControlFlow

impl DataFlowGraphBuilder

pub fn visit_ast_stat_declare_extern_type( &mut self, d: *mut AstStatDeclareExternType, ) -> ControlFlow

impl DataFlowGraphBuilder

pub fn visit_ast_stat_class(&mut self, d: *mut AstStatClass) -> ControlFlow

impl DataFlowGraphBuilder

pub fn visit_ast_stat_error(&mut self, error: *mut AstStatError) -> ControlFlow

impl DataFlowGraphBuilder

pub fn visit_expr_ast_expr(&mut self, e: *mut AstExpr) -> DataFlowResult

impl DataFlowGraphBuilder

pub fn visit_expr_ast_expr_group( &mut self, group: *mut AstExprGroup, ) -> DataFlowResult

impl DataFlowGraphBuilder

pub fn visit_expr_ast_expr_local( &mut self, l: *mut AstExprLocal, ) -> DataFlowResult

impl DataFlowGraphBuilder

pub fn visit_expr_ast_expr_global( &mut self, g: *mut AstExprGlobal, ) -> DataFlowResult

impl DataFlowGraphBuilder

pub fn visit_expr_ast_expr_call( &mut self, c: *mut AstExprCall, ) -> DataFlowResult

impl DataFlowGraphBuilder

pub fn visit_expr_ast_expr_index_name( &mut self, i: *mut AstExprIndexName, ) -> DataFlowResult

impl DataFlowGraphBuilder

pub fn visit_expr_ast_expr_index_expr( &mut self, i: *mut AstExprIndexExpr, ) -> DataFlowResult

impl DataFlowGraphBuilder

pub fn visit_expr_ast_expr_function( &mut self, f: *mut AstExprFunction, ) -> DataFlowResult

impl DataFlowGraphBuilder

pub fn visit_expr_ast_expr_table( &mut self, t: *mut AstExprTable, ) -> DataFlowResult

impl DataFlowGraphBuilder

pub fn visit_expr_ast_expr_unary( &mut self, u: *mut AstExprUnary, ) -> DataFlowResult

impl DataFlowGraphBuilder

pub fn visit_expr_ast_expr_binary( &mut self, b: *mut AstExprBinary, ) -> DataFlowResult

impl DataFlowGraphBuilder

pub fn visit_expr_ast_expr_type_assertion( &mut self, t: *mut AstExprTypeAssertion, ) -> DataFlowResult

impl DataFlowGraphBuilder

pub fn visit_expr_ast_expr_if_else( &mut self, i: *mut AstExprIfElse, ) -> DataFlowResult

impl DataFlowGraphBuilder

pub fn visit_expr_ast_expr_interp_string( &mut self, i: *mut AstExprInterpString, ) -> DataFlowResult

impl DataFlowGraphBuilder

pub fn visit_expr_ast_expr_instantiate( &mut self, i: *mut AstExprInstantiate, ) -> DataFlowResult

impl DataFlowGraphBuilder

pub fn visit_expr_ast_expr_error( &mut self, error: *mut AstExprError, ) -> DataFlowResult

impl DataFlowGraphBuilder

pub fn visit_function( &mut self, f: *mut AstExprFunction, signature_scope: *mut DfgScope, ) -> DataFlowResult

impl DataFlowGraphBuilder

pub fn visit_generic_packs(&mut self, g: AstArray<*mut AstGenericTypePack>)

impl DataFlowGraphBuilder

pub fn visit_generics(&mut self, g: AstArray<*mut AstGenericType>)

impl DataFlowGraphBuilder

pub fn visit_l_value_ast_expr_def_id( &mut self, e: *mut AstExpr, incoming_def: DefId, )

impl DataFlowGraphBuilder

pub fn visit_l_value_ast_expr_local_def_id( &mut self, l: *mut AstExprLocal, incoming_def: DefId, ) -> DefId

impl DataFlowGraphBuilder

pub fn visit_l_value_ast_expr_global_def_id( &mut self, g: *mut AstExprGlobal, incoming_def: DefId, ) -> DefId

impl DataFlowGraphBuilder

pub fn visit_l_value_ast_expr_index_name_def_id( &mut self, i: *mut AstExprIndexName, incoming_def: DefId, ) -> DefId

impl DataFlowGraphBuilder

pub fn visit_l_value_ast_expr_index_expr_def_id( &mut self, i: *mut AstExprIndexExpr, incoming_def: DefId, ) -> DefId

impl DataFlowGraphBuilder

pub fn visit_l_value_ast_expr_error_def_id( &mut self, error: *mut AstExprError, _incoming_def: DefId, ) -> DefId

impl DataFlowGraphBuilder

pub fn visit_type_ast_type(&mut self, t: *mut AstType)

impl DataFlowGraphBuilder

pub fn visit_type_ast_type_reference(&mut self, r: *mut AstTypeReference)

impl DataFlowGraphBuilder

pub fn visit_type_ast_type_table(&mut self, t: *mut AstTypeTable)

impl DataFlowGraphBuilder

pub fn visit_type_ast_type_function(&mut self, f: *mut AstTypeFunction)

impl DataFlowGraphBuilder

pub fn visit_type_ast_type_typeof(&mut self, t: *mut AstTypeTypeof)

impl DataFlowGraphBuilder

pub fn visit_type_ast_type_union(&mut self, u: *mut AstTypeUnion)

impl DataFlowGraphBuilder

pub fn visit_type_ast_type_intersection(&mut self, i: *mut AstTypeIntersection)

impl DataFlowGraphBuilder

pub fn visit_type_ast_type_error(&mut self, error: *mut AstTypeError)

impl DataFlowGraphBuilder

pub fn visit_type_list(&mut self, l: AstTypeList)

impl DataFlowGraphBuilder

pub fn visit_type_pack_ast_type_pack(&mut self, p: *mut AstTypePack)

impl DataFlowGraphBuilder

pub fn visit_type_pack_ast_type_pack_explicit( &mut self, e: *mut AstTypePackExplicit, )

impl DataFlowGraphBuilder

pub fn visit_type_pack_ast_type_pack_variadic( &mut self, v: *mut AstTypePackVariadic, )

Trait Implementations

impl Debug for DataFlowGraphBuilder

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

Formats the value using the given formatter.