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
|
// SPDX-License-Identifier: GPL-3.0-or-later
package main
import (
"bytes"
"context"
"fmt"
"io"
"strings"
"krino/internal/cond"
"krino/internal/engine"
"krino/internal/xdg"
)
func init() { commands["explain"] = cmdExplain }
// cmdExplain evaluates every rule of FILE's directory against it and shows
// each test's result.
func cmdExplain(g *globals, args []string, stdout, stderr io.Writer) int {
fs := flagSet("explain", g)
if code, ok := parse(fs, args, stdout, stderr); !ok {
return code
}
if fs.NArg() != 1 {
return usageError(stderr, "usage: krino explain FILE")
}
e, errs := engine.Load(mainFile(g))
if len(errs) > 0 {
printDiags(stderr, errs)
return 2
}
x, err := e.Explain(context.Background(), xdg.Expand(fs.Arg(0)))
if err != nil {
fmt.Fprintf(stderr, "krino: %v\n", err)
return 2
}
fmt.Fprintf(stdout, "%s (directory %s)\n", xdg.Abbrev(x.File.Path), x.Dir.Name)
if x.Skip != "" {
fmt.Fprintf(stdout, "krino would not look at this file: %s\n", x.Skip)
}
fmt.Fprintln(stdout)
for _, rt := range x.Rules {
if rt.Stopped != "" {
fmt.Fprintf(stdout, "rule %s: not evaluated, %s\n", rt.Rule.Name, rt.Stopped)
continue
}
status := "no"
if rt.Match {
status = "MATCH"
}
fmt.Fprintf(stdout, "rule %s: %s\n", rt.Rule.Name, status)
printTrace(stdout, rt.Trace)
}
return 0
}
// printTrace writes t's Format output with every line prefixed by two
// spaces.
func printTrace(w io.Writer, t *cond.Trace) {
var buf bytes.Buffer
t.Format(&buf)
for _, line := range strings.Split(strings.TrimRight(buf.String(), "\n"), "\n") {
fmt.Fprintf(w, " %s\n", line)
}
}
|
