#[non_exhaustive]pub struct AnalysisOutcome {
pub result: AnalysisResult,
pub incomplete: Vec<String>,
}Expand description
Analysis data plus diagnostics describing how complete the result is.
Callers that need to render partial results before failing should use
analyze_with_diagnostics. Callers that only accept complete analysis can use analyze.
Fields (Non-exhaustive)§
This struct is marked as non-exhaustive
Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional
Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.result: AnalysisResultFindings and analyzed inputs available before completeness handling.
incomplete: Vec<String>Diagnostics describing analysis that was bounded before it could finish.
A non-empty list means findings are a subset of what a complete run would report, so the absence of a finding proves nothing. Findings that are present remain valid.
Trait Implementations§
Auto Trait Implementations§
impl Freeze for AnalysisOutcome
impl RefUnwindSafe for AnalysisOutcome
impl Send for AnalysisOutcome
impl Sync for AnalysisOutcome
impl Unpin for AnalysisOutcome
impl UnsafeUnpin for AnalysisOutcome
impl UnwindSafe for AnalysisOutcome
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