pub struct OutdatedLogicAnalyzer { /* private fields */ }Expand description
OutdatedLogicAnalyzer — enforces outdated_logic (experimental, Notice).
Strategy: split each Markdown file into sections delimited by H2/H3 headings. For every section whose prose references at least one function that exists in the codebase, send the section text together with the function bodies to the LLM and ask whether the description still accurately describes the behavior.
The rule is experimental. A null or budget-exhausted client silently skips; the analyzer never emits a divergence it can’t back with a verdict.
Implementations§
Trait Implementations§
Source§impl DriftAnalyzer for OutdatedLogicAnalyzer
impl DriftAnalyzer for OutdatedLogicAnalyzer
fn id(&self) -> &'static str
fn analyze(&self, ctx: &ProjectContext) -> Vec<Divergence>
Auto Trait Implementations§
impl Freeze for OutdatedLogicAnalyzer
impl !RefUnwindSafe for OutdatedLogicAnalyzer
impl Send for OutdatedLogicAnalyzer
impl Sync for OutdatedLogicAnalyzer
impl Unpin for OutdatedLogicAnalyzer
impl UnsafeUnpin for OutdatedLogicAnalyzer
impl !UnwindSafe for OutdatedLogicAnalyzer
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