codetether-rlm 0.1.0

Recursive Language Model processing for CodeTether
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32

//! Tree-sitter oracle for structural AST verification.
//!
//! This oracle parses Rust source with tree-sitter and verifies structural
//! facts such as functions, structs, enums, impls, and error patterns.

mod answer_names;
mod classify;
mod compare;
mod definitions;
mod enums;
mod errors;
mod extract;
mod functions;
mod impls;
mod oracle;
mod query;
mod query_match;
mod structs;
mod types;
mod verification;
mod verify;
mod verify_targets;

pub use definitions::{
    EnumDefinition, ErrorPatternCounts, FunctionSignature, ImplDefinition, StructDefinition,
};
pub use oracle::TreeSitterOracle;
pub use types::{AstMatch, AstQueryResult};
pub use verification::TreeSitterVerification;

#[cfg(test)]
mod tests;