pub struct RealAnalysisEnv { /* private fields */ }Expand description
Real environment implementation using actual filesystem and progress reporting.
Implementations§
Source§impl RealAnalysisEnv
impl RealAnalysisEnv
Sourcepub fn with_quiet(quiet: bool) -> Self
pub fn with_quiet(quiet: bool) -> Self
Create a new real analysis environment with explicit quiet mode.
Trait Implementations§
Source§impl Default for RealAnalysisEnv
impl Default for RealAnalysisEnv
Source§impl FileSystem for RealAnalysisEnv
impl FileSystem for RealAnalysisEnv
Source§impl ProgressReporter for RealAnalysisEnv
impl ProgressReporter for RealAnalysisEnv
Source§fn phase_starting(&mut self, phase: &str)
fn phase_starting(&mut self, phase: &str)
Report that a phase is starting.
Source§fn phase_progress(&mut self, progress: f64)
fn phase_progress(&mut self, progress: f64)
Report progress within a phase (0.0 - 1.0).
Source§fn phase_complete(&mut self)
fn phase_complete(&mut self)
Report that a phase completed.
Auto Trait Implementations§
impl Freeze for RealAnalysisEnv
impl RefUnwindSafe for RealAnalysisEnv
impl Send for RealAnalysisEnv
impl Sync for RealAnalysisEnv
impl Unpin for RealAnalysisEnv
impl UnwindSafe for RealAnalysisEnv
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