ast

type CaseSelection ¶

type CaseSelection map[int]int

CaseSelection selects one ordinal per @choose block (by block order among the template's Choose items). Missing entries default to 0.

type FragRange ¶

type FragRange struct {
	Item       template.Item
	Start, End int
}

FragRange records where a construct's emission landed in the rendered SQL, including synthesized wrapping.

type InSelection ¶

type InSelection []uint8

InSelection selects the representative arity of each @in construct (by template order) on expanding dialects: 1 (default when nil or short) renders one placeholder — the verified stand-in for every non-empty list, since IN-list growth is parse-invariant — and 0 renders the empty-list form. Ignored on dollar-style dialects.

type OrderSelection ¶

type OrderSelection [][]uint8

OrderSelection selects the emission of each @order-by block (by block order): nil = maximal (all keys, declaration order), empty non-nil = default-or-omit, else a sequence of key<<1|desc elements.

type RenderKind ¶

type RenderKind int

const (
	RenderMaximal RenderKind = iota
	RenderCase
	RenderOrderDefault // an @order-by @default body substituted
	RenderInEmpty      // an @in at arity 0 (expanding dialects only)
	RenderTreeEmpty    // a @filter-tree with the empty tree (renders TRUE)
)

type Rendering ¶

type Rendering struct {
	Kind      RenderKind
	ChooseIdx int // which @choose block differs from maximal (RenderCase)
	CaseIdx   int // selected ordinal: 0..len(Cases)-1, len(Cases)=default
	OrderIdx  int // which @order-by block (RenderOrderDefault)
	InIdx     int // which @in construct (RenderInEmpty)
	TreeIdx   int // which @filter-tree block (RenderTreeEmpty)
	SQL       string
	ParamsSeq []string // template param name per placeholder ($1 = [0])
	Frags     []FragRange
	Map       SourceMap
}

func Render(profile dialect.LexerProfile, q *template.QueryTemplate, sel CaseSelection) (Rendering, error)

func RenderShape(profile dialect.LexerProfile, q *template.QueryTemplate,
	guardMask uint64, sel CaseSelection, orders OrderSelection, ins InSelection) (Rendering, error)

func Renderings(profile dialect.LexerProfile, q *template.QueryTemplate) ([]Rendering, error)

type Seg ¶

type Seg struct {
	ROff, RLen int
	TOff       int
	Synth      bool
}

Seg maps a rendered byte range back to the template.

type SourceMap ¶

type SourceMap struct {
	// contains filtered or unexported fields
}

func (m SourceMap) ToTemplate(rOff int) (tOff int, synth bool)

type TreeSelection ¶

type TreeSelection []uint8

TreeSelection selects the emission of each @filter-tree block (by template order): 1 (default when nil or short) renders the maximal conjunction of all predicates, 0 renders the empty tree — the literal TRUE the runtime emits for a nil/Unscoped tree. The two are the tree space's verified representatives; arbitrary trees are sound by the compositional argument (spec, `@filter-tree`).