testfile

type Case struct {
	Name    string
	SQL     string // always ends with exactly one "\n"
	Results []StmtResult
}

type Expectation struct {
	OK      bool
	Message string // expected parse error message when !OK
	Offset  int    // expected error offset when !OK; -1 if unknown

	// Unreached lists byte ranges of the case SQL that SQLite's parser
	// never looked at, because a grammar action failed part-way through a
	// statement and sqlite3RunParser abandoned the rest of it. The corpus
	// says nothing about whether that text is valid SQL, so a parser under
	// test may fail inside one of these ranges without being wrong. A range
	// that reaches the end of the input includes the offset one past it,
	// which is where a parser reports running out of input.
	Unreached []Range

	// Truncated reports that the last statement failed with a non-syntax
	// message raised while its own last token was the lookahead. SQLite
	// stopped there, so it never reached the end of the input and could not
	// notice that the input was cut short: "CREATE TABLE aux1.t1(" is
	// "unknown database aux1" to SQLite and "incomplete input" to a parser
	// that reads to the end. pzTail cannot separate the two, because the
	// statement's last token is also the end of the input, so the case
	// simply cannot say who is right.
	Truncated bool
}

type Metadata struct {
	Todo map[string]bool `json:"todo,omitempty"`
}

type Range struct{ Start, End int }

type StmtResult struct {
	Offset    int    // byte offset of the statement within the case SQL
	OK        bool   // sqlite3_prepare_v2 returned SQLITE_OK
	RC        int    // prepare result code when !OK
	ErrOffset int    // sqlite3_error_offset within the case SQL; -1 if unknown
	Message   string // sqlite3_errmsg when !OK

	// Tail is pzTail within the case SQL: how far the parser got. On an OK
	// result 0 is the common case and means "all of it" -- a successful
	// prepare always consumes at least one statement, so a recorded tail is
	// never 0.
	Tail int
}