gudusoft.gsqlparser.demos.prettyscore

Class RunTools

Object

gudusoft.gsqlparser.demos.prettyscore.RunTools

public final class RunTools
extends Object

Operations over saved run records: finding-level diff between two runs, baseline regression check, corpus backlog (Markdown) and blind A/B acceptance samples. All keyed on file|engine|source and the position-independent finding fingerprint so a reformat does not break the alignment.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	RunTools.Diff Result of diffRuns(java.util.Map<java.lang.String, java.lang.Object>, java.util.Map<java.lang.String, java.lang.Object>).

Method Summary

Modifier and Type	Method and Description
static int	acceptanceSample(Map<String,Object> a, Map<String,Object> b, int n, long seed, File outDir) Write n anonymised A/B pairs from two runs that kept their formatted text: NN-left.sql / NN-right.sql with random side assignment, plus key.csv (which side is run B) for the person tallying the votes.
static String	backlog(Map<String,Object> run, String engineFilter) Corpus-level improvement backlog as Markdown, aggregated by rule over fixable findings.
static List<String>	checkBaseline(Map<String,Object> baseline, Map<String,Object> current, double maxDrop) Baseline check: mean ratio must not drop by more than maxDrop; no new gate failures.
static RunTools.Diff	diffRuns(Map<String,Object> a, Map<String,Object> b)
static Map<String,Object>	loadRun(File f)

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

loadRun

public static Map<String,Object> loadRun(File f)
                                  throws IOException

Throws:

IOException

diffRuns

public static RunTools.Diff diffRuns(Map<String,Object> a,
                                     Map<String,Object> b)

checkBaseline

public static List<String> checkBaseline(Map<String,Object> baseline,
                                         Map<String,Object> current,
                                         double maxDrop)

Baseline check: mean ratio must not drop by more than maxDrop; no new gate failures. Returns problems (empty = ok).

backlog

public static String backlog(Map<String,Object> run,
                             String engineFilter)

Corpus-level improvement backlog as Markdown, aggregated by rule over fixable findings.

acceptanceSample

public static int acceptanceSample(Map<String,Object> a,
                                   Map<String,Object> b,
                                   int n,
                                   long seed,
                                   File outDir)
                            throws IOException

Write n anonymised A/B pairs from two runs that kept their formatted text: NN-left.sql / NN-right.sql with random side assignment, plus key.csv (which side is run B) for the person tallying the votes.

Throws:

IOException