pub struct DocsAnalyzer { /* private fields */ }Expand description
DocsAnalyzer — enforces the symbol_absence rule.
Strategy: every Markdown inline-code span is checked against an identifier
regex. If it looks like a Rust symbol path (Type::method, fn_name,
module::Ty), the leaf identifier is looked up against the CodeFact
index built from the Rust AST. Missing leaves become divergences.
Trait Implementations§
Source§impl Default for DocsAnalyzer
impl Default for DocsAnalyzer
Source§impl DriftAnalyzer for DocsAnalyzer
impl DriftAnalyzer for DocsAnalyzer
fn id(&self) -> &'static str
fn analyze(&self, ctx: &ProjectContext) -> Vec<Divergence>
Auto Trait Implementations§
impl Freeze for DocsAnalyzer
impl RefUnwindSafe for DocsAnalyzer
impl Send for DocsAnalyzer
impl Sync for DocsAnalyzer
impl Unpin for DocsAnalyzer
impl UnsafeUnpin for DocsAnalyzer
impl UnwindSafe for DocsAnalyzer
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