pub enum AnalysisError {
Dataflow(String),
Unsupported(String),
}Expand description
Task 8: every analyze() failure. Kept even though this task’s own
implementation never constructs one (every fallible step it performs —
driver/read-set resolution — degrades to a documented skip rather than
an error, per analysis::graph’s own doc comments): the type is part of
the plan’s binding public signature (analyze() -> Result<.., AnalysisError>) and a future wave’s DPI/VPI classification pass (Task
9) or dataflow-dependent Implicit-sensitivity derivation is the natural
place an Err first becomes reachable.
Variants§
Trait Implementations§
Source§impl Clone for AnalysisError
impl Clone for AnalysisError
Source§impl Debug for AnalysisError
impl Debug for AnalysisError
Source§impl Display for AnalysisError
impl Display for AnalysisError
impl Eq for AnalysisError
Source§impl Error for AnalysisError
impl Error for AnalysisError
1.30.0 · Source§fn source(&self) -> Option<&(dyn Error + 'static)>
fn source(&self) -> Option<&(dyn Error + 'static)>
Returns the lower-level source of this error, if any. Read more
1.0.0 · Source§fn description(&self) -> &str
fn description(&self) -> &str
👎Deprecated since 1.42.0:
use the Display impl or to_string()
Source§impl PartialEq for AnalysisError
impl PartialEq for AnalysisError
impl StructuralPartialEq for AnalysisError
Auto Trait Implementations§
impl Freeze for AnalysisError
impl RefUnwindSafe for AnalysisError
impl Send for AnalysisError
impl Sync for AnalysisError
impl Unpin for AnalysisError
impl UnsafeUnpin for AnalysisError
impl UnwindSafe for AnalysisError
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
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.