mirror of
https://github.com/wader/fq.git
synced 2024-11-23 18:56:52 +03:00
bf9e13c85a
Normalize OS specific errors paths to make difftests work Related to #21
504 lines
11 KiB
Go
504 lines
11 KiB
Go
package script
|
|
|
|
import (
|
|
"bytes"
|
|
"encoding/hex"
|
|
"errors"
|
|
"fmt"
|
|
"io"
|
|
"io/fs"
|
|
"os"
|
|
"path/filepath"
|
|
"regexp"
|
|
"sort"
|
|
"strconv"
|
|
"strings"
|
|
|
|
"github.com/wader/fq/internal/shquote"
|
|
"github.com/wader/fq/pkg/bitio"
|
|
"github.com/wader/fq/pkg/interp"
|
|
)
|
|
|
|
type CaseReadline struct {
|
|
expr string
|
|
env []string
|
|
input string
|
|
expectedPrompt string
|
|
expectedStdout string
|
|
}
|
|
|
|
type CaseRunInput struct {
|
|
interp.FileReader
|
|
isTerminal bool
|
|
width int
|
|
height int
|
|
}
|
|
|
|
func (i CaseRunInput) Size() (int, int) { return i.width, i.height }
|
|
func (i CaseRunInput) IsTerminal() bool { return i.isTerminal }
|
|
|
|
type CaseRunOutput struct {
|
|
io.Writer
|
|
Terminal bool
|
|
Width int
|
|
Height int
|
|
}
|
|
|
|
func (o CaseRunOutput) Size() (int, int) { return o.Width, o.Height }
|
|
func (o CaseRunOutput) IsTerminal() bool { return o.Terminal }
|
|
|
|
type CaseRun struct {
|
|
LineNr int
|
|
Case *Case
|
|
Command string
|
|
Env []string
|
|
args []string
|
|
StdinInitial string
|
|
ExpectedStdout string
|
|
ExpectedStderr string
|
|
ExpectedExitCode int
|
|
ActualStdoutBuf *bytes.Buffer
|
|
ActualStderrBuf *bytes.Buffer
|
|
ActualExitCode int
|
|
Readlines []CaseReadline
|
|
ReadlinesPos int
|
|
ReadlineEnv []string
|
|
WasRun bool
|
|
}
|
|
|
|
func (cr *CaseRun) Line() int { return cr.LineNr }
|
|
|
|
func (cr *CaseRun) getEnv(name string) string {
|
|
for _, kv := range cr.Environ() {
|
|
if strings.HasPrefix(kv, name+"=") {
|
|
return kv[len(name)+1:]
|
|
}
|
|
}
|
|
return ""
|
|
}
|
|
|
|
func (cr *CaseRun) getEnvInt(name string) int {
|
|
n, _ := strconv.Atoi(cr.getEnv(name))
|
|
return n
|
|
}
|
|
|
|
func (cr *CaseRun) Stdin() interp.Input {
|
|
return CaseRunInput{
|
|
FileReader: interp.FileReader{
|
|
R: bytes.NewBufferString(cr.StdinInitial),
|
|
},
|
|
isTerminal: cr.StdinInitial == "",
|
|
width: cr.getEnvInt("_STDIN_WIDTH"),
|
|
height: cr.getEnvInt("_STDIN_HEIGHT"),
|
|
}
|
|
}
|
|
|
|
func (cr *CaseRun) Stdout() interp.Output {
|
|
return CaseRunOutput{
|
|
Writer: cr.ActualStdoutBuf,
|
|
Terminal: cr.getEnvInt("_STDOUT_ISTERMINAL") != 0,
|
|
Width: cr.getEnvInt("_STDOUT_WIDTH"),
|
|
Height: cr.getEnvInt("_STDOUT_HEIGHT"),
|
|
}
|
|
}
|
|
|
|
func (cr *CaseRun) Stderr() interp.Output {
|
|
return CaseRunOutput{Writer: cr.ActualStderrBuf}
|
|
}
|
|
|
|
func (cr *CaseRun) InterruptChan() chan struct{} { return nil }
|
|
|
|
func (cr *CaseRun) Environ() []string {
|
|
env := []string{
|
|
"_STDIN_WIDTH=135",
|
|
"_STDIN_HEIGHT=25",
|
|
"_STDOUT_WIDTH=135",
|
|
"_STDOUT_HEIGHT=25",
|
|
"_STDOUT_ISTERMINAL=1",
|
|
"NO_COLOR=1",
|
|
"NO_DECODE_PROGRESS=1",
|
|
}
|
|
env = append(env, cr.Env...)
|
|
env = append(env, cr.ReadlineEnv...)
|
|
|
|
envm := make(map[string]string)
|
|
for _, kv := range env {
|
|
if i := strings.IndexByte(kv, '='); i > 0 {
|
|
envm[kv[:i]] = kv[i+1:]
|
|
}
|
|
}
|
|
|
|
env = []string{}
|
|
for k, v := range envm {
|
|
env = append(env, k+"="+v)
|
|
}
|
|
|
|
return env
|
|
}
|
|
|
|
func (cr *CaseRun) Args() []string { return cr.args }
|
|
|
|
func (cr *CaseRun) ConfigDir() (string, error) { return "/config", nil }
|
|
|
|
func (cr *CaseRun) FS() fs.FS { return cr.Case }
|
|
|
|
func (cr *CaseRun) Readline(prompt string, complete func(line string, pos int) (newLine []string, shared int)) (string, error) {
|
|
cr.ActualStdoutBuf.WriteString(prompt)
|
|
if cr.ReadlinesPos >= len(cr.Readlines) {
|
|
return "", io.EOF
|
|
}
|
|
|
|
expr := cr.Readlines[cr.ReadlinesPos].expr
|
|
lineRaw := cr.Readlines[cr.ReadlinesPos].input
|
|
line := Unescape(lineRaw)
|
|
cr.ReadlineEnv = cr.Readlines[cr.ReadlinesPos].env
|
|
cr.ReadlinesPos++
|
|
|
|
if strings.HasSuffix(line, "\t") {
|
|
cr.ActualStdoutBuf.WriteString(lineRaw + "\n")
|
|
|
|
l := len(line) - 1
|
|
newLine, shared := complete(line[0:l], l)
|
|
// TODO: shared
|
|
_ = shared
|
|
for _, nl := range newLine {
|
|
cr.ActualStdoutBuf.WriteString(nl + "\n")
|
|
}
|
|
|
|
return "", nil
|
|
}
|
|
|
|
cr.ActualStdoutBuf.WriteString(expr + "\n")
|
|
|
|
if line == "^D" {
|
|
return "", io.EOF
|
|
}
|
|
|
|
return line, nil
|
|
}
|
|
func (cr *CaseRun) History() ([]string, error) { return nil, nil }
|
|
|
|
func (cr *CaseRun) ToExpectedStdout() string {
|
|
sb := &strings.Builder{}
|
|
|
|
if len(cr.Readlines) == 0 {
|
|
fmt.Fprint(sb, cr.ExpectedStdout)
|
|
} else {
|
|
for _, rl := range cr.Readlines {
|
|
fmt.Fprintf(sb, "%s%s\n", rl.expectedPrompt, rl.expr)
|
|
if rl.expectedStdout != "" {
|
|
fmt.Fprint(sb, rl.expectedStdout)
|
|
}
|
|
}
|
|
}
|
|
|
|
return sb.String()
|
|
}
|
|
|
|
func (cr *CaseRun) ToExpectedStderr() string {
|
|
return cr.ExpectedStderr
|
|
}
|
|
|
|
type part interface {
|
|
Line() int
|
|
}
|
|
|
|
type caseFile struct {
|
|
lineNr int
|
|
name string
|
|
data []byte
|
|
}
|
|
|
|
func (cf *caseFile) Line() int { return cf.lineNr }
|
|
|
|
type caseComment struct {
|
|
lineNr int
|
|
comment string
|
|
}
|
|
|
|
func (cc *caseComment) Line() int { return cc.lineNr }
|
|
|
|
type Case struct {
|
|
Path string
|
|
Parts []part
|
|
WasRun bool
|
|
}
|
|
|
|
func (c *Case) ToActual() string {
|
|
var partsLineSorted []part
|
|
partsLineSorted = append(partsLineSorted, c.Parts...)
|
|
sort.Slice(partsLineSorted, func(i, j int) bool {
|
|
return partsLineSorted[i].Line() < partsLineSorted[j].Line()
|
|
})
|
|
|
|
sb := &strings.Builder{}
|
|
for _, p := range partsLineSorted {
|
|
switch p := p.(type) {
|
|
case *caseComment:
|
|
fmt.Fprintf(sb, "#%s\n", p.comment)
|
|
case *CaseRun:
|
|
fmt.Fprintf(sb, "$%s\n", p.Command)
|
|
var s string
|
|
if p.WasRun {
|
|
s = p.ActualStdoutBuf.String()
|
|
} else {
|
|
s = p.ToExpectedStdout()
|
|
}
|
|
if s != "" {
|
|
fmt.Fprint(sb, s)
|
|
if !strings.HasSuffix(s, "\n") {
|
|
fmt.Fprint(sb, "\\\n")
|
|
}
|
|
}
|
|
if p.WasRun {
|
|
if p.ActualExitCode != 0 {
|
|
fmt.Fprintf(sb, "exitcode: %d\n", p.ActualExitCode)
|
|
}
|
|
} else {
|
|
if p.ExpectedExitCode != 0 {
|
|
fmt.Fprintf(sb, "exitcode: %d\n", p.ExpectedExitCode)
|
|
}
|
|
}
|
|
if p.StdinInitial != "" {
|
|
fmt.Fprint(sb, "stdin:\n")
|
|
fmt.Fprint(sb, p.StdinInitial)
|
|
}
|
|
if p.WasRun {
|
|
if p.ActualStderrBuf.Len() > 0 {
|
|
fmt.Fprint(sb, "stderr:\n")
|
|
fmt.Fprint(sb, p.ActualStderrBuf.String())
|
|
}
|
|
} else {
|
|
if p.ExpectedStderr != "" {
|
|
fmt.Fprint(sb, "stderr:\n")
|
|
fmt.Fprint(sb, p.ExpectedStderr)
|
|
}
|
|
}
|
|
case *caseFile:
|
|
fmt.Fprintf(sb, "%s:\n", p.name)
|
|
sb.Write(p.data)
|
|
default:
|
|
panic("unreachable")
|
|
}
|
|
}
|
|
|
|
return sb.String()
|
|
}
|
|
|
|
func normalizeOSError(err error) error {
|
|
var pe *os.PathError
|
|
if errors.As(err, &pe) {
|
|
pe.Err = errors.New("no such file or directory")
|
|
pe.Path = filepath.ToSlash(pe.Path)
|
|
}
|
|
return err
|
|
}
|
|
|
|
func (c *Case) Open(name string) (fs.File, error) {
|
|
for _, p := range c.Parts {
|
|
f, ok := p.(*caseFile)
|
|
if ok && f.name == name {
|
|
return interp.FileReader{
|
|
R: io.NewSectionReader(bytes.NewReader(f.data), 0, int64(len(f.data))),
|
|
FileInfo: interp.FixedFileInfo{
|
|
FName: filepath.Base(name),
|
|
FSize: int64(len(f.data)),
|
|
},
|
|
}, nil
|
|
}
|
|
}
|
|
f, err := os.Open(filepath.Join(filepath.Dir(c.Path), name))
|
|
// normalizeOSError is used to normalize OS specific path and messages into the ones unix uses
|
|
// this needed to make difftest work
|
|
return f, normalizeOSError(err)
|
|
}
|
|
|
|
type Section struct {
|
|
LineNr int
|
|
Name string
|
|
Value string
|
|
}
|
|
|
|
var unescapeRe = regexp.MustCompile(`\\(?:t|b|n|r|0(?:b[01]{8}|x[0-f]{2}))`)
|
|
|
|
func Unescape(s string) string {
|
|
return unescapeRe.ReplaceAllStringFunc(s, func(r string) string {
|
|
switch {
|
|
case r == `\n`:
|
|
return "\n"
|
|
case r == `\r`:
|
|
return "\r"
|
|
case r == `\t`:
|
|
return "\t"
|
|
case r == `\b`:
|
|
return "\b"
|
|
case strings.HasPrefix(r, `\0b`):
|
|
b, _ := bitio.BytesFromBitString(r[3:])
|
|
return string(b)
|
|
case strings.HasPrefix(r, `\0x`):
|
|
b, _ := hex.DecodeString(r[3:])
|
|
return string(b)
|
|
default:
|
|
return r
|
|
}
|
|
})
|
|
}
|
|
|
|
func SectionParser(re *regexp.Regexp, s string) []Section {
|
|
var sections []Section
|
|
|
|
firstMatch := func(ss []string, fn func(s string) bool) string {
|
|
for _, s := range ss {
|
|
if fn(s) {
|
|
return s
|
|
}
|
|
}
|
|
return ""
|
|
}
|
|
|
|
const lineDelim = "\n"
|
|
var cs *Section
|
|
lineNr := 0
|
|
lines := strings.Split(s, lineDelim)
|
|
// skip last if empty because of how split works "a\n" -> ["a", ""]
|
|
if lines[len(lines)-1] == "" {
|
|
lines = lines[:len(lines)-1]
|
|
}
|
|
for _, l := range lines {
|
|
lineNr++
|
|
|
|
sm := re.FindStringSubmatch(l)
|
|
if cs == nil || len(sm) > 0 {
|
|
sections = append(sections, Section{})
|
|
cs = §ions[len(sections)-1]
|
|
|
|
cs.LineNr = lineNr
|
|
cs.Name = firstMatch(sm, func(s string) bool { return len(s) != 0 })
|
|
} else {
|
|
// TODO: use builder somehow if performance is needed
|
|
cs.Value += l + lineDelim
|
|
}
|
|
}
|
|
|
|
return sections
|
|
}
|
|
|
|
var kvRe = regexp.MustCompile(`^[A-Z_]+=`)
|
|
|
|
func ParseCommand(s string) (env []string, args []string) {
|
|
parts := shquote.Split(s)
|
|
for i, p := range parts {
|
|
if kvRe.MatchString(p) {
|
|
env = append(env, p)
|
|
continue
|
|
}
|
|
args = parts[i:]
|
|
break
|
|
}
|
|
|
|
return env, args
|
|
}
|
|
|
|
func ParseInput(s string) (env []string, input string) {
|
|
tokens := shquote.Parse(s)
|
|
l := 0
|
|
for _, t := range tokens {
|
|
if t.Separator {
|
|
continue
|
|
}
|
|
if kvRe.MatchString(t.Str) {
|
|
env = append(env, t.Str)
|
|
l = t.End
|
|
continue
|
|
}
|
|
break
|
|
}
|
|
return env, s[l:]
|
|
}
|
|
|
|
func ParseCases(s string) *Case {
|
|
te := &Case{}
|
|
te.Parts = []part{}
|
|
var currentRun *CaseRun
|
|
const promptEnd = ">"
|
|
replDepth := 0
|
|
|
|
// TODO: better section splitter, too much heuristics now
|
|
for _, section := range SectionParser(regexp.MustCompile(
|
|
`^\$ .*$|^stdin:$|^stderr:$|^exitcode:.*$|^#.*$|^/.*:|^[^<:|]+>.*$`,
|
|
), s) {
|
|
n, v := section.Name, section.Value
|
|
|
|
switch {
|
|
case strings.HasPrefix(n, "#"):
|
|
comment := n[1:]
|
|
te.Parts = append(te.Parts, &caseComment{lineNr: section.LineNr, comment: comment})
|
|
case strings.HasPrefix(n, "/"):
|
|
name := n[0 : len(n)-1]
|
|
te.Parts = append(te.Parts, &caseFile{lineNr: section.LineNr, name: name, data: []byte(v)})
|
|
case strings.HasPrefix(n, "$"):
|
|
replDepth++
|
|
|
|
if currentRun != nil {
|
|
te.Parts = append(te.Parts, currentRun)
|
|
}
|
|
|
|
// escaped newline
|
|
v = strings.TrimSuffix(v, "\\\n")
|
|
command := strings.TrimPrefix(n, "$")
|
|
env, args := ParseCommand(command)
|
|
|
|
currentRun = &CaseRun{
|
|
LineNr: section.LineNr,
|
|
Case: te,
|
|
Command: command,
|
|
Env: env,
|
|
args: args,
|
|
ExpectedStdout: v,
|
|
ActualStdoutBuf: &bytes.Buffer{},
|
|
ActualStderrBuf: &bytes.Buffer{},
|
|
}
|
|
case strings.HasPrefix(n, "exitcode:"):
|
|
currentRun.ExpectedExitCode, _ = strconv.Atoi(strings.TrimSpace(strings.TrimPrefix(n, "exitcode:")))
|
|
case strings.HasPrefix(n, "stdin"):
|
|
currentRun.StdinInitial = v
|
|
case strings.HasPrefix(n, "stderr"):
|
|
currentRun.ExpectedStderr = v
|
|
case strings.Contains(n, promptEnd+" ") || strings.HasSuffix(n, promptEnd): // TODO: better
|
|
i := strings.LastIndex(n, promptEnd+" ")
|
|
if strings.HasSuffix(n, promptEnd) {
|
|
i = len(n) - 1
|
|
}
|
|
|
|
prompt := n[0:i] + promptEnd + " "
|
|
expr := strings.TrimSpace(n[i+1:])
|
|
env, input := ParseInput(expr)
|
|
|
|
currentRun.Readlines = append(currentRun.Readlines, CaseReadline{
|
|
expr: expr,
|
|
env: env,
|
|
input: input,
|
|
expectedPrompt: prompt,
|
|
expectedStdout: v,
|
|
})
|
|
|
|
// TODO: hack
|
|
if strings.Contains(expr, "| repl") {
|
|
replDepth++
|
|
}
|
|
if expr == "^D" {
|
|
replDepth--
|
|
}
|
|
|
|
default:
|
|
panic(fmt.Sprintf("%d: unexpected section %q %q", section.LineNr, n, v))
|
|
}
|
|
}
|
|
|
|
if currentRun != nil {
|
|
te.Parts = append(te.Parts, currentRun)
|
|
}
|
|
|
|
return te
|
|
}
|