365 lines
10 KiB
Go
365 lines
10 KiB
Go
package fejkdata
|
|
|
|
import (
|
|
"fmt"
|
|
"strings"
|
|
|
|
"github.com/larvit/fejkdata/internal/drawstate"
|
|
"github.com/larvit/fejkdata/internal/grammar"
|
|
"github.com/larvit/fejkdata/internal/invariant"
|
|
"github.com/larvit/fejkdata/internal/rows"
|
|
)
|
|
|
|
// table is a category whose rows come from a TSV beside it: the header names the
|
|
// columns, each row is one draw, and the format renders the drawn row. A column is a
|
|
// cell of the row a path pinned; a cell carrying tokens compiles to a string node.
|
|
type table struct {
|
|
rows *rowsTable
|
|
formatTemplate *template // fields are the column nodes
|
|
rowNode *tableRow
|
|
cellTemplates map[int]*template // by cellIndex
|
|
}
|
|
|
|
type (
|
|
pinSet = rows.Pins[*table]
|
|
rowsTable = rows.Table[*table]
|
|
)
|
|
|
|
func (*table) isNode() {}
|
|
|
|
// tableColumn is one column of a table, rendered as the cell of the row the render pinned.
|
|
type tableColumn struct {
|
|
t *table
|
|
i int
|
|
}
|
|
|
|
func (*tableColumn) isNode() {}
|
|
|
|
func (c *tableColumn) name() string { return c.t.rows.Header()[c.i] }
|
|
|
|
// tableRow is the row of a table the render pinned, rendered by the table's format.
|
|
type tableRow struct{ t *table }
|
|
|
|
func (*tableRow) isNode() {}
|
|
|
|
// cellTemplate is what a cell renders: its compiled template where it carries tokens,
|
|
// else nil for its text.
|
|
func (t *table) cellTemplate(row, col int) *template {
|
|
return t.cellTemplates[t.cellIndex(row, col)]
|
|
}
|
|
|
|
func (t *table) cellIndex(row, col int) int { return row*len(t.rows.Header()) + col }
|
|
|
|
var tableOptions = []string{"format", "key", "name", "parent", "rows", "weight"}
|
|
|
|
func isTableOption(name string) bool {
|
|
for _, o := range tableOptions {
|
|
if o == name {
|
|
return true
|
|
}
|
|
}
|
|
return false
|
|
}
|
|
|
|
func compileTable(m map[string]any, dir []string, name string, readRows func(file string) (string, error)) (*table, error) {
|
|
o, err := readTableOptions(m)
|
|
if err != nil {
|
|
return nil, err
|
|
}
|
|
data, err := readRows(o.rows)
|
|
if err != nil {
|
|
return nil, err
|
|
}
|
|
t := &table{}
|
|
if t.rows, err = rows.Parse(t, name, categoryPath(dir, name), o.rows, data, o.options); err != nil {
|
|
return nil, err
|
|
}
|
|
if err := t.checkCells(); err != nil {
|
|
return nil, fmt.Errorf("%s: %w", o.rows, err)
|
|
}
|
|
if err := t.compileRowFormat(o.format); err != nil {
|
|
return nil, err
|
|
}
|
|
return t, nil
|
|
}
|
|
|
|
type tableOptionValues struct {
|
|
format, rows string
|
|
options rows.Options
|
|
}
|
|
|
|
func readTableOptions(m map[string]any) (tableOptionValues, error) {
|
|
var o tableOptionValues
|
|
for k := range m {
|
|
if !isTableOption(k) {
|
|
return o, fmt.Errorf("a table takes %s; %q is none of them", strings.Join(tableOptions, ", "), k)
|
|
}
|
|
}
|
|
for k, into := range map[string]*string{"format": &o.format, "key": &o.options.Key, "name": &o.options.Name, "parent": &o.options.Parent, "rows": &o.rows, "weight": &o.options.Weight} {
|
|
v, ok := m[k]
|
|
if !ok {
|
|
continue
|
|
}
|
|
s, isString := v.(string)
|
|
if !isString {
|
|
return o, fmt.Errorf("%s must be a string, not %s", k, jsonKind(v))
|
|
}
|
|
if k != "format" && s == "" {
|
|
return o, fmt.Errorf("%s names a column, so it cannot be empty; drop it", k)
|
|
}
|
|
*into = s
|
|
}
|
|
if _, ok := m["format"]; !ok {
|
|
return o, fmt.Errorf("template object missing string \"format\"")
|
|
}
|
|
if !strings.HasSuffix(o.rows, ".tsv") || strings.Contains(o.rows, "/") {
|
|
return o, fmt.Errorf("rows names a .tsv file beside the category, not %q", o.rows)
|
|
}
|
|
return o, nil
|
|
}
|
|
|
|
// checkCells compiles every cell carrying a token.
|
|
func (t *table) checkCells() error {
|
|
header := t.rows.Header()
|
|
for row := 0; row < t.rows.Len(); row++ {
|
|
for col := range header {
|
|
cell := t.rows.Cell(row, col)
|
|
if strings.IndexByte(cell, '{') < 0 && strings.IndexByte(cell, '}') < 0 {
|
|
continue
|
|
}
|
|
n, err := compileCell(cell)
|
|
if err != nil {
|
|
return fmt.Errorf("line %d, %s: %w", row+2, header[col], err)
|
|
}
|
|
if t.cellTemplates == nil {
|
|
t.cellTemplates = map[int]*template{}
|
|
}
|
|
t.cellTemplates[t.cellIndex(row, col)] = n
|
|
}
|
|
}
|
|
return nil
|
|
}
|
|
|
|
// compileCell compiles a cell carrying a token. A cell sits in no name scope, so it binds no
|
|
// name and reads only references.
|
|
func compileCell(cell string) (*template, error) {
|
|
n, err := compileString(cell)
|
|
if err != nil {
|
|
return nil, err
|
|
}
|
|
if err := refuseTableBinding(n.tokens); err != nil {
|
|
return nil, err
|
|
}
|
|
if len(n.unbound) > 0 {
|
|
return nil, n.unbound[0].err
|
|
}
|
|
return n, nil
|
|
}
|
|
|
|
// compileRowFormat compiles the format a row renders through, over the columns as its
|
|
// fields.
|
|
func (t *table) compileRowFormat(format string) error {
|
|
toks, err := grammar.ParseFormat(format)
|
|
if err != nil {
|
|
return err
|
|
}
|
|
if err := refuseTableBinding(toks); err != nil {
|
|
return err
|
|
}
|
|
for _, tok := range toks {
|
|
if tok.Kind != grammar.PathRead {
|
|
continue
|
|
}
|
|
for _, name := range tok.Arms {
|
|
a := splitArm(name, nil)
|
|
if _, ok := t.rows.Column(a.head); !ok && !grammar.IsRef(a.head) && a.head != "" {
|
|
return fmt.Errorf("format names no column %q of %s; the columns are %v", a.head, t.rows.File(), t.rows.Header())
|
|
}
|
|
}
|
|
}
|
|
fields := make(map[string]node, len(t.rows.Header()))
|
|
for i, name := range t.rows.Header() {
|
|
fields[name] = &tableColumn{t, i}
|
|
}
|
|
unbound, err := checkTokens(toks, fields)
|
|
if err != nil {
|
|
return err
|
|
}
|
|
if len(unbound) > 0 {
|
|
return unbound[0].err
|
|
}
|
|
t.formatTemplate = &template{format: format, tokens: toks, fields: fields, repeat: 1, isRecord: true}
|
|
t.rowNode = &tableRow{t}
|
|
return nil
|
|
}
|
|
|
|
// refuseTableBinding refuses a table's format or cell binding a name.
|
|
func refuseTableBinding(toks []grammar.Token) error {
|
|
for _, tok := range toks {
|
|
if tok.Kind == grammar.NameBind {
|
|
return fmt.Errorf("token {%s}: a table binds no name; bind it in a template reading the table", tok.Body)
|
|
}
|
|
}
|
|
return nil
|
|
}
|
|
|
|
func linkTables(sites []categorySite) error {
|
|
for _, s := range sites {
|
|
t, isTable := s.n.(*table)
|
|
if !isTable || t.rows.Options().Parent == "" {
|
|
continue
|
|
}
|
|
if err := t.linkParent(s.in.children); err != nil {
|
|
return fmt.Errorf("%s: %w", s.path, err)
|
|
}
|
|
}
|
|
return nil
|
|
}
|
|
|
|
// linkParent links t to the table among siblings that its link column names.
|
|
func (t *table) linkParent(siblings map[string]node) error {
|
|
name := t.rows.Options().Parent
|
|
p, ok := siblings[name].(*table)
|
|
switch {
|
|
case siblings[name] == nil:
|
|
return fmt.Errorf("parent %q names no table beside it", name)
|
|
case !ok:
|
|
return fmt.Errorf("parent %q is not a table; a link column reads a table's key", name)
|
|
}
|
|
return t.rows.Link(p.rows, func(sibling string) *rowsTable {
|
|
if q, ok := siblings[sibling].(*table); ok {
|
|
return q.rows
|
|
}
|
|
return nil
|
|
})
|
|
}
|
|
|
|
// tableRoute is how a path passes one table: the row it reads, by selector or
|
|
// drawn, what it goes on into, and whether that is a linked table.
|
|
type tableRoute struct {
|
|
sel string
|
|
draw bool
|
|
next node
|
|
rest []string
|
|
nextLinked bool
|
|
up bool
|
|
}
|
|
|
|
// route is how tail passes t. fromRow means the previous route stepped into t
|
|
// from a row of a table linked to it, so t reads a row even where tail is empty; a
|
|
// table reached otherwise, with no selector and an empty tail, is left to a render's
|
|
// own draw.
|
|
func (t *table) route(tail []string, fromRow bool) (tableRoute, error) {
|
|
sel, tail, err := t.selector(tail)
|
|
if err != nil {
|
|
return tableRoute{}, err
|
|
}
|
|
if len(tail) > 0 && tail[0] == ".." {
|
|
if err := t.rows.ProveStepUp(tail[1:]); err != nil {
|
|
return tableRoute{}, err
|
|
}
|
|
return tableRoute{sel: sel, draw: sel == "", next: t.rows.Parent().Owner(), rest: tail[2:], nextLinked: true, up: true}, nil
|
|
}
|
|
column, child, err := t.columnOrLinked(tail)
|
|
if err != nil {
|
|
return tableRoute{}, err
|
|
}
|
|
selected := sel != ""
|
|
readsRow := selected || fromRow || len(tail) > 0
|
|
// A selector further down pins this table by ancestry; drawing first could draw a row the
|
|
// selector is not inside.
|
|
pinnedBelow := grammar.HasSelector(tail)
|
|
r := tableRoute{sel: sel, draw: !selected && readsRow && !pinnedBelow}
|
|
switch {
|
|
case !readsRow:
|
|
r.next = t
|
|
case len(tail) == 0:
|
|
r.next = t.rowNode
|
|
case child != nil:
|
|
r.next, r.rest, r.nextLinked = child, tail[1:], true
|
|
default:
|
|
r.next, r.rest = column, tail[1:]
|
|
}
|
|
return r, nil
|
|
}
|
|
|
|
// routeSteps appends the steps r takes past t, the first at at, pinning in pins the row
|
|
// it selects.
|
|
func routeSteps(steps []pathStep, pins *pinSet, t *table, r tableRoute, at int) ([]pathStep, error) {
|
|
if r.sel != "" {
|
|
row, err := pins.Select(t.rows, r.sel)
|
|
if err != nil {
|
|
return steps, err
|
|
}
|
|
steps = append(steps, pathStep{kind: stepSelect, at: at, name: r.sel, row: row})
|
|
at++
|
|
}
|
|
if r.draw {
|
|
steps = append(steps, pathStep{kind: stepDraw, at: at})
|
|
}
|
|
switch next := r.next.(type) {
|
|
case *table:
|
|
switch {
|
|
case r.up:
|
|
steps = append(steps, pathStep{kind: stepParent, at: at})
|
|
case next != t:
|
|
steps = append(steps, pathStep{kind: stepChild, at: at, name: next.rows.Segment()})
|
|
}
|
|
case *tableRow:
|
|
steps = append(steps, pathStep{kind: stepRow, at: at})
|
|
case *tableColumn:
|
|
steps = append(steps, pathStep{kind: stepColumn, at: at, name: next.name()})
|
|
default:
|
|
panic(invariant.Broken("%s: a route onto %T", t.rows.Segment(), r.next))
|
|
}
|
|
return steps, nil
|
|
}
|
|
|
|
func (t *table) followStep(s *drawstate.State, st pathStep, pins *pinSet) node {
|
|
switch st.kind {
|
|
case stepSelect:
|
|
if err := pins.PinRow(t.rows, st.row); err != nil {
|
|
panic(invariant.Broken("%s[%s]: %v", t.rows.Segment(), st.name, err))
|
|
}
|
|
return t
|
|
case stepDraw:
|
|
t.rows.DrawIn(s, pins)
|
|
return t
|
|
case stepRow:
|
|
return t.rowNode
|
|
case stepColumn:
|
|
return t.formatTemplate.fields[st.name]
|
|
case stepChild:
|
|
return t.rows.Descendant(st.name).Owner()
|
|
case stepParent:
|
|
return t.rows.Parent().Owner()
|
|
}
|
|
panic(invariant.Broken("followStep has no case for step kind %d", st.kind))
|
|
}
|
|
|
|
func (t *table) selector(tail []string) (sel string, rest []string, err error) {
|
|
if len(tail) == 0 || !grammar.IsSelector(tail[0]) {
|
|
return "", tail, nil
|
|
}
|
|
sel, rest = grammar.SelectorOf(tail[0]), tail[1:]
|
|
if len(rest) > 0 && grammar.IsSelector(rest[0]) {
|
|
return "", nil, fmt.Errorf("%s[%s] is selected twice; one selector names its row", t.rows.Segment(), sel)
|
|
}
|
|
return sel, rest, nil
|
|
}
|
|
|
|
// columnOrLinked is what a tail's first segment names in t: a column, or a table linked to it.
|
|
func (t *table) columnOrLinked(tail []string) (column node, child *table, err error) {
|
|
if len(tail) == 0 {
|
|
return nil, nil, nil
|
|
}
|
|
if column, ok := t.formatTemplate.fields[tail[0]]; ok {
|
|
return column, nil, nil
|
|
}
|
|
d := t.rows.Descendant(tail[0])
|
|
if d == nil {
|
|
return nil, nil, fmt.Errorf("no column or linked table %q in %s", tail[0], t.rows.Segment())
|
|
}
|
|
return nil, d.Owner(), nil
|
|
}
|