Struct TreeSitterOracle 

pub struct TreeSitterOracle { /* private fields */ }

Tree-sitter based oracle for validating structural queries.

Implementations

impl TreeSitterOracle

pub fn new(source: String) -> Self

Create a new tree-sitter oracle for the given source.

pub fn query(&mut self, query_str: &str) -> Result<AstQueryResult>

Execute a tree-sitter S-expression query.

Example queries:

• (function_item name: (identifier) @name)
• (struct_item name: (type_identifier) @name body: (field_declaration_list))
• (impl_item trait: (type_identifier) @trait for: (type_identifier) @for)

pub fn get_functions(&mut self) -> Result<Vec<FunctionSignature>>

Get all function signatures in the source.

pub fn get_structs(&mut self) -> Result<Vec<StructDefinition>>

Get all struct definitions in the source.

pub fn get_enums(&mut self) -> Result<Vec<EnumDefinition>>

Get all enum definitions in the source.

pub fn get_impls(&mut self) -> Result<Vec<ImplDefinition>>

Get all impl blocks in the source.

pub fn count_error_patterns(&mut self) -> Result<ErrorPatternCounts>

Count error handling patterns.

pub fn verify(&mut self, answer: &str, query: &str) -> TreeSitterVerification

Verify a FINAL() answer against AST truth.