pub struct TypeFlowBuilderV2;Expand description
Convenience wrapper for TypeFlowBuilderWorkspace.
Use TypeFlowBuilderV2::new_workspace() to create a builder.
Implementations§
Source§impl TypeFlowBuilderV2
impl TypeFlowBuilderV2
Sourcepub fn new_workspace<'a>(
registry: &'a SymbolRegistry,
files: &'a HashMap<WorkspaceFilePath, Arc<PureFile>>,
crate_name: &'a str,
) -> TypeFlowBuilderWorkspace<'a>
👎Deprecated since 0.1.0: Use build_from_ast_registry() for incremental updates. This is only for initial construction.
pub fn new_workspace<'a>( registry: &'a SymbolRegistry, files: &'a HashMap<WorkspaceFilePath, Arc<PureFile>>, crate_name: &'a str, ) -> TypeFlowBuilderWorkspace<'a>
Use build_from_ast_registry() for incremental updates. This is only for initial construction.
Create a new workspace builder (file-based).
Deprecated: Use build_from_ast_registry for incremental updates.
This method is only needed for initial construction before ASTRegistry exists.
Sourcepub fn build_from_ast_registry(
registry: &SymbolRegistry,
ast_registry: &ASTRegistry,
) -> TypeFlowGraphV2
pub fn build_from_ast_registry( registry: &SymbolRegistry, ast_registry: &ASTRegistry, ) -> TypeFlowGraphV2
Build TypeFlowGraphV2 from ASTRegistry (no file I/O).
This method constructs the type flow graph directly from the ASTRegistry, avoiding the need to reconstruct files. This is the preferred method for incremental updates after mutations.
§Arguments
registry: Symbol registry for name resolutionast_registry: Registry containing PureItems per symbol
§Performance
O(S) where S is the number of symbols in the registry.
Auto Trait Implementations§
impl Freeze for TypeFlowBuilderV2
impl RefUnwindSafe for TypeFlowBuilderV2
impl Send for TypeFlowBuilderV2
impl Sync for TypeFlowBuilderV2
impl Unpin for TypeFlowBuilderV2
impl UnsafeUnpin for TypeFlowBuilderV2
impl UnwindSafe for TypeFlowBuilderV2
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more