178 lines
4.1 KiB
Go
178 lines
4.1 KiB
Go
package fejkdata
|
|
|
|
import (
|
|
"fmt"
|
|
"maps"
|
|
"sort"
|
|
"strings"
|
|
)
|
|
|
|
type tablePin struct {
|
|
t *table
|
|
row int
|
|
}
|
|
|
|
// pinSet is the table rows fixed so far.
|
|
type pinSet struct {
|
|
inline [8]tablePin // sized so a render over a country's five-deep geo tree stays off the heap
|
|
used int
|
|
spill map[*table]int
|
|
}
|
|
|
|
func (p *pinSet) pinned(t *table) (int, bool) {
|
|
for _, q := range p.inline[:p.used] {
|
|
if q.t == t {
|
|
return q.row, true
|
|
}
|
|
}
|
|
r, ok := p.spill[t]
|
|
return r, ok
|
|
}
|
|
|
|
// mustRow is the row pinned for t, which the walk reaching a column pinned.
|
|
func (p *pinSet) mustRow(t *table) int {
|
|
r, ok := p.pinned(t)
|
|
if !ok {
|
|
panic(internalError("a column of %s is rendered with no row pinned", t.segment))
|
|
}
|
|
return r
|
|
}
|
|
|
|
func (p *pinSet) add(t *table, r int) {
|
|
if p.used < len(p.inline) {
|
|
p.inline[p.used] = tablePin{t, r}
|
|
p.used++
|
|
return
|
|
}
|
|
if p.spill == nil {
|
|
p.spill = map[*table]int{}
|
|
}
|
|
p.spill[t] = r
|
|
}
|
|
|
|
// pin pins row r of t, and the rows of t's ancestors it links to.
|
|
func (p *pinSet) pin(t *table, r int) {
|
|
for stop := p.nearestPinned(t); t != stop; t = t.parentT {
|
|
p.add(t, r)
|
|
if t.parentT != stop {
|
|
r = t.parentRow(r)
|
|
}
|
|
}
|
|
}
|
|
|
|
// nearestPinned is the first of t and its ancestors p pins, where pinning a row of t stops; nil
|
|
// where none is.
|
|
func (p *pinSet) nearestPinned(t *table) *table {
|
|
for ; t != nil; t = t.parentT {
|
|
if _, ok := p.pinned(t); ok {
|
|
return t
|
|
}
|
|
}
|
|
return nil
|
|
}
|
|
|
|
// each calls fn for every pinned row, in pin order, the spilled ones by path.
|
|
func (p *pinSet) each(fn func(t *table, r int)) {
|
|
for _, q := range p.inline[:p.used] {
|
|
fn(q.t, q.row)
|
|
}
|
|
spilled := make([]*table, 0, len(p.spill))
|
|
for t := range p.spill {
|
|
spilled = append(spilled, t)
|
|
}
|
|
sort.Slice(spilled, func(i, j int) bool { return spilled[i].path < spilled[j].path })
|
|
for _, t := range spilled {
|
|
fn(t, p.spill[t])
|
|
}
|
|
}
|
|
|
|
// key spells the pinned rows, so two sets pinning the same rows share one.
|
|
func (p *pinSet) key() string {
|
|
var pins []tablePin
|
|
p.each(func(t *table, r int) { pins = append(pins, tablePin{t, r}) })
|
|
sort.Slice(pins, func(i, j int) bool { return pins[i].t.path < pins[j].t.path })
|
|
var b strings.Builder
|
|
for _, q := range pins {
|
|
fmt.Fprintf(&b, "%q%d", q.t.path, q.row)
|
|
}
|
|
return b.String()
|
|
}
|
|
|
|
// clash is the table whose pinned row keeps row r of t out: t itself pinned to another row, or the
|
|
// nearest ancestor pinned to a row r is not inside; nil where none does.
|
|
func (p *pinSet) clash(t *table, r int) *table {
|
|
if pr, ok := p.pinned(t); ok && pr != r {
|
|
return t
|
|
}
|
|
for a := t.parentT; a != nil; a = a.parentT {
|
|
if pa, ok := p.pinned(a); ok && !t.under(r, a, pa) {
|
|
return a
|
|
}
|
|
}
|
|
return nil
|
|
}
|
|
|
|
// pinRow pins row r of t where it agrees with the rows pinned before it.
|
|
func (p *pinSet) pinRow(t *table, r int) error {
|
|
switch a := p.clash(t, r); {
|
|
case a == t:
|
|
pr, _ := p.pinned(t)
|
|
return fmt.Errorf("%s and %s are two rows of %s", t.selectorSpelling(pr), t.selectorSpelling(r), t.path)
|
|
case a != nil:
|
|
pa, _ := p.pinned(a)
|
|
return fmt.Errorf("%s is not inside %s", t.selectorSpelling(r), a.selectorSpelling(pa))
|
|
}
|
|
p.pin(t, r)
|
|
return nil
|
|
}
|
|
|
|
func (p *pinSet) selectRow(t *table, sel string) error {
|
|
r, err := t.find(sel, p)
|
|
if err != nil {
|
|
return err
|
|
}
|
|
return p.pinRow(t, r)
|
|
}
|
|
|
|
// inside keeps the rows of t that sit inside every pinned ancestor.
|
|
func (p *pinSet) inside(t *table, rows []int) []int {
|
|
for a := t.parentT; a != nil; a = a.parentT {
|
|
pa, ok := p.pinned(a)
|
|
if !ok {
|
|
continue
|
|
}
|
|
var kept []int
|
|
for _, r := range rows {
|
|
if t.under(r, a, pa) {
|
|
kept = append(kept, r)
|
|
}
|
|
}
|
|
rows = kept
|
|
}
|
|
return rows
|
|
}
|
|
|
|
// clone is a copy of p that pins apart from it; a plain copy shares the spill map.
|
|
func (p pinSet) clone() pinSet {
|
|
p.spill = maps.Clone(p.spill)
|
|
return p
|
|
}
|
|
|
|
// entered is p with row r of t pinned. p is left as it was, since a fence walk branches.
|
|
func (p pinSet) entered(t *table, r int) pinSet {
|
|
p = p.clone()
|
|
p.pin(t, r)
|
|
return p
|
|
}
|
|
|
|
// differs reports whether p and q hold different rows of one table.
|
|
func (p *pinSet) differs(q *pinSet) bool {
|
|
found := false
|
|
p.each(func(t *table, r int) {
|
|
if qr, in := q.pinned(t); in && qr != r {
|
|
found = true
|
|
}
|
|
})
|
|
return found
|
|
}
|