miller/pkg/terminals/repl/entry.go
John Kerl 2f3e54d1f6
Remove os.Exit callsites below the entrypoint: phase 4 (plans/exit.md) (#2205)
Phase 4 of plans/exit.md: the aux/terminal sub-entrypoints. pkg/auxents and
pkg/terminals are now os.Exit-free; even the dispatchers return exit codes
instead of exiting.

- auxents.Dispatch returns (handled bool, exitCode int); entrypoint.Main --
  the one sanctioned exit point -- exits with the code.
- terminals.Dispatch returns an exit code; the climain caller wraps it in a
  lib.ExitRequest, which also retires the 'terminal did not exit the process'
  panic.
- Usage functions (hex, unhex, lecat, termcvt, repl, script, regtest) no
  longer take an exitCode parameter and exit; call sites print usage and
  return the code explicitly.
- Inner I/O helpers (hexDumpFile, unhexFile, lecatFile, termcvtFile) return
  errors; each sub-main prints 'mlr {verb}: ...' as before and returns 1.
  lecatFile formerly looped forever on a non-EOF read error; it now returns
  the error.
- The regtest directory walk (Execute / executeSinglePath /
  executeSingleDirectory / hasCaseSubdirectories) plumbs errors up to
  RegTestMain; regression_test.go updated for the new Execute signature.

Stderr messages and exit codes are unchanged across mlr aux-list, hex, unhex,
lecat, termcvt, help, version, repl, script, and regtest surfaces (checked by
hand); all 4779 regression cases pass; make lint is clean; docs rebuild with
zero churn.

Co-authored-by: Claude Fable 5 <noreply@anthropic.com>
2026-07-15 15:27:26 -04:00

218 lines
5.4 KiB
Go

// This is the shell command-line entry point to the Miller REPL command line.
// E.g. at the shell prompt, you type 'mlr repl --json' -- this file will parse
// that. It will then hand off control to a REPL session which will handle all
// subsequent REPL command-line statements you type in at a Miller REPL prompt.
//
// Example:
//
// bash$ mlr repl --json <------------- this file handles this bit
// [mlr] :open myfile.json
// [mlr] :read
// [mlr] :context
// FILENAME="myfile.json",FILENUM=1,NR=1,FNR=1
// [mlr] $*
// {
// "hostname": "localhost",
// "pid": 12345
// }
// [mlr] :quit
package repl
import (
"errors"
"fmt"
"os"
"path"
"strings"
"github.com/johnkerl/miller/v6/pkg/cli"
"github.com/johnkerl/miller/v6/pkg/lib"
)
func replUsage(verbName string, o *os.File) {
exeName := path.Base(os.Args[0])
fmt.Fprintf(o, "Usage: %s %s [options] {zero or more data-file names}\n", exeName, verbName)
// TODO: cli/UsageForReaderOptions
// TODO: cli/UsageForWriterOptions
// TODO: cli/UsageForReaderWriterOptions
// TODO: maybe -f/-e as in put?
// TODO: maybe -s as in put?
// TODO: maybe -x as in put?
// TODO: maybe -q as in put?
fmt.Fprint(o,
`-v Prints the expressions's AST (abstract syntax tree), which gives
full transparency on the precedence and associativity rules of
Miller's grammar, to stdout.
-d Like -v but uses a parenthesized-expression format for the AST.
-D Like -d but with output all on one line.
-w Show warnings about uninitialized variables
-q Don't show startup banner
-s Don't show prompts
--load {DSL script file} Load script file before presenting the prompt.
If the name following --load is a directory, load all "*.mlr" files
in that directory.
--mload {DSL script files} -- Like --load but works with more than one filename,
e.g. '--mload *.mlr --'.
-h|--help Show this message.
Or any --icsv, --ojson, etc. reader/writer options as for the main Miller command line.
Any data-file names are opened just as if you had waited and typed :open {filenames}
at the Miller REPL prompt.
`)
}
// Here the args are the full Miller command line: if the latter was "mlr
// --some-flag repl foo bar" then the former is "repl foo bar".
func ReplMain(args []string) int {
exeName := os.Args[0]
replName := args[0]
argc := len(args)
argi := 1
showStartupBanner := true
showPrompts := true
astPrintMode := ASTPrintNone
doWarnings := false
strictMode := false
options := cli.DefaultOptions()
for argi < argc /* variable increment: 1 or 2 depending on flag */ {
if !strings.HasPrefix(args[argi], "-") {
break // No more flag options to process
}
if args[argi] == "-h" || args[argi] == "--help" {
replUsage(replName, os.Stdout)
return 0
} else if args[argi] == "-q" {
showStartupBanner = false
argi++
} else if args[argi] == "-s" {
showPrompts = false
argi++
} else if args[argi] == "-v" {
astPrintMode = ASTPrintIndent
argi++
} else if args[argi] == "-d" {
astPrintMode = ASTPrintParex
argi++
} else if args[argi] == "-D" {
astPrintMode = ASTPrintParexOneLine
argi++
} else if args[argi] == "-w" {
doWarnings = true
argi++
} else if args[argi] == "-z" {
strictMode = true
argi++
} else if args[argi] == "--load" {
if argc-argi < 2 {
replUsage(replName, os.Stderr)
return 1
}
options.DSLPreloadFileNames = append(options.DSLPreloadFileNames, args[argi+1])
argi += 2
} else if args[argi] == "--mload" {
if argc-argi < 2 {
replUsage(replName, os.Stderr)
return 1
}
argi += 1
for argi < argc && args[argi] != "--" {
options.DSLPreloadFileNames = append(options.DSLPreloadFileNames, args[argi])
argi += 1
}
if args[argi] == "--" {
argi += 1
}
} else if handled, flagErr := cli.FLAG_TABLE.Parse(args, argc, &argi, options); flagErr != nil {
var exitRequest *lib.ExitRequest
if errors.As(flagErr, &exitRequest) {
return exitRequest.Code
}
fmt.Fprintf(os.Stderr, "%v\n", flagErr)
return 1
} else if handled {
} else {
replUsage(replName, os.Stderr)
return 1
}
}
if err := cli.FinalizeReaderOptions(&options.ReaderOptions); err != nil {
fmt.Fprintf(os.Stderr, "mlr %s: %v\n", replName, err)
return 1
}
if err := cli.FinalizeWriterOptions(&options.WriterOptions); err != nil {
fmt.Fprintf(os.Stderr, "mlr %s: %v\n", replName, err)
return 1
}
// --auto-flatten is on by default. But if input and output formats are both JSON,
// then we don't need to actually do anything. See also mlrcli_parse.go.
options.WriterOptions.AutoFlatten = cli.DecideFinalFlatten(&options.WriterOptions)
options.WriterOptions.AutoUnflatten = cli.DecideFinalUnflatten(options, [][]string{})
recordOutputFileName := "(stdout)"
recordOutputStream := os.Stdout
repl, err := NewRepl(
exeName,
replName,
showStartupBanner,
showPrompts,
astPrintMode,
doWarnings,
strictMode,
options,
recordOutputFileName,
recordOutputStream,
)
if err != nil {
fmt.Fprintf(os.Stderr, "mlr: %v\n", err)
return 1
}
filenames := args[argi:]
if len(filenames) > 0 {
repl.openFiles(filenames)
}
err = repl.handleSession(os.Stdin)
if err != nil {
fmt.Fprintf(os.Stderr, "mlr %s: %v\n", repl.replName, err)
return 1
}
err = repl.bufferedRecordOutputStream.Flush()
if err != nil {
fmt.Fprintf(os.Stderr, "mlr %s: %v\n", repl.replName, err)
return 1
}
err = repl.closeBufferedOutputStream()
if err != nil {
fmt.Fprintf(os.Stderr, "mlr %s: %v\n", repl.replName, err)
return 1
}
return 0
}