1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
|
// SPDX-License-Identifier: GPL-3.0-or-later
package model
import (
"strings"
"testing"
"git.labunix.xyz/krino/internal/sexp"
)
// parseOne reads one condition from text, for the tests below.
func parseOne(t *testing.T, text string) *Cond {
t.Helper()
nodes, err := sexp.Parse("test", []byte(text))
if err != nil || len(nodes) != 1 {
t.Fatalf("%q does not parse: %v", text, err)
}
return ParseCond(nodes[0])
}
// TestCondRoundTrip: a condition read into the tree and written back is the
// same condition, however deep it nests.
func TestCondRoundTrip(t *testing.T) {
for _, text := range []string{
`(type pdf)`,
`(name "^faktura" "^fv")`,
`(duplicate)`,
`(and (type pdf) (content "invoice"))`,
`(or (and (type doc) (age > 90d)) (not (duplicate "~/docs")))`,
`(not (and (name "a;b") (size > 10M)))`,
} {
c := parseOne(t, text)
if got := c.Text(); got != text {
t.Errorf("round trip of %q gave %q", text, got)
}
if err := c.Parse(); err != nil {
t.Errorf("%q does not parse after the round trip: %v", text, err)
}
}
}
// TestCondTree: an operator holds its conditions, and the tree says how
// deep each one sits.
func TestCondTree(t *testing.T) {
c := parseOne(t, `(and (type pdf) (or (name "a") (name "b")))`)
if c.Kind != "and" || len(c.Children) != 2 {
t.Fatalf("tree = %+v", c)
}
var depths []string
c.Walk(0, nil, func(node, parent *Cond, depth int) {
depths = append(depths, strings.Repeat(" ", depth)+node.Kind)
})
want := []string{"and", " type", " or", " name", " name"}
if strings.Join(depths, "|") != strings.Join(want, "|") {
t.Errorf("walk = %v, want %v", depths, want)
}
}
// TestCondAddAndRemove: conditions go under an operator and come out again;
// a test holds none.
func TestCondAddAndRemove(t *testing.T) {
c := parseOne(t, `(and (type pdf))`)
added := c.Add("content")
if added == nil || len(c.Children) != 2 {
t.Fatalf("after adding: %+v", c)
}
added.Args = `"invoice"`
if got := c.Text(); got != `(and (type pdf) (content "invoice"))` {
t.Errorf("text = %q", got)
}
if !c.Remove(added) || len(c.Children) != 1 {
t.Errorf("removing left %+v", c)
}
if c.Children[0].Add("name") != nil {
t.Error("a test took a condition under it")
}
// Removing something that is not there changes nothing.
if c.Remove(&Cond{Kind: "name"}) {
t.Error("removed a condition that is not in the tree")
}
}
// TestCondEmptyOperator: an operator with nothing under it writes nothing
// rather than "(and)", which krino would refuse, and says so when asked.
func TestCondEmptyOperator(t *testing.T) {
c := &Cond{Kind: "and"}
if got := c.Text(); got != "" {
t.Errorf("text = %q, want nothing", got)
}
if err := c.Parse(); err == nil {
t.Error("an empty operator passed the check")
}
}
|
