Struct GrepOracle 

pub struct GrepOracle { /* private fields */ }

Grep-based oracle for validating pattern-match queries.

Implementations

impl GrepOracle

pub fn new(source: String) -> Self

Create a new grep oracle for the given source file content.

pub fn classify_query(query: &str) -> QueryType

Classify the query type based on keywords.

pub fn infer_pattern(query: &str) -> Option<String>

Infer a grep pattern from the query string.

Returns None if the pattern cannot be reliably inferred.

pub fn grep(&self, pattern: &str) -> Result<Vec<(usize, String)>>

Run grep on the source and return matches with line numbers.

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

Verify a FINAL() answer against ground truth.

Takes the claimed answer and the original query, infers the pattern, runs grep, and compares results.

pub fn verify_matches( &self, claimed: &[(usize, String)], ground_truth: &[(usize, String)], ) -> GrepVerification

Verify claimed matches against ground truth (public for validator use).