pub struct MultiPassAnalyzer { /* private fields */ }Expand description
Core multi-pass analysis engine
Implementations§
Source§impl MultiPassAnalyzer
impl MultiPassAnalyzer
pub fn new(options: MultiPassOptions) -> Self
pub fn from_analyzer(base: Box<dyn Analyzer>, options: MultiPassOptions) -> Self
pub fn analyze(&self, source: &AnalysisUnit) -> Result<MultiPassResult>
pub fn generate_report(&self, result: &MultiPassResult) -> DiagnosticReport
Auto Trait Implementations§
impl !RefUnwindSafe for MultiPassAnalyzer
impl !UnwindSafe for MultiPassAnalyzer
impl Freeze for MultiPassAnalyzer
impl Send for MultiPassAnalyzer
impl Sync for MultiPassAnalyzer
impl Unpin for MultiPassAnalyzer
impl UnsafeUnpin for MultiPassAnalyzer
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> EnsureExt<T> for T
impl<T> EnsureExt<T> for T
Source§fn ensure<P, E>(self, predicate: P, error: E) -> Validation<T, NonEmptyVec<E>>where
P: Predicate<T>,
fn ensure<P, E>(self, predicate: P, error: E) -> Validation<T, NonEmptyVec<E>>where
P: Predicate<T>,
Validate that this value satisfies the given predicate. Read more
Source§fn ensure_with<P, E, F>(
self,
predicate: P,
error_fn: F,
) -> Validation<T, NonEmptyVec<E>>
fn ensure_with<P, E, F>( self, predicate: P, error_fn: F, ) -> Validation<T, NonEmptyVec<E>>
Validate with an error-generating function. Read more
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
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