um/flags/flags.go

194 lines
5.4 KiB
Go

package flags
import (
"fmt"
"log"
"os"
"reflect"
"strings"
"text/tabwriter"
"github.com/brtholomy/um/go/cmd"
)
const INTERNAL_ERR_PREFIX = "um internal err: ParseArgs"
type Arg struct {
Val string
Help string
}
// type constraint
type Val interface {
string | bool
}
// with generic Val field, instantiate like Flag[string]
// NOTE: struct inheritance would be easier, but Flag[bool] is much cooler than FlagBool.
// and actually more readable for the initOpts function, which serves as documentation.
// so the complexity seems to be all paid up front here in this pkg.
type Flag[T Val] struct {
Long string
Short string
Val T
Help string
}
// generic Flag validity check
// NOTE: you cannot define a method on an instantiated type, only the generic
// https://www.reddit.com/r/golang/comments/1n6xasx/comment/nc3dbhd/
func (f Flag[Val]) IsSet() bool {
// must do this weird dance: convert to empty interface, then cast:
switch any(f.Val).(type) {
case string:
return any(f.Val).(string) != ""
case bool:
return any(f.Val).(bool)
default:
return false
}
}
func (f Arg) IsSet() bool {
return f.Val != ""
}
func HasDashPrefix(s string) bool {
return strings.HasPrefix(s, "-")
}
// check for non-dashed value ahead in the args slice
func missingValue(args []string, i int) bool {
return i+1 == len(args) || HasDashPrefix(args[i+1])
}
// if no value ahead in the args, print error and exit
func validValueOrExit(sub cmd.Subcommand, args []string, i int) {
if missingValue(args, i) {
log.Printf("um %s: %s needs a value assignment\n", sub, args[i])
log.Fatal("try: um [cmd] --help")
}
}
// 1. validate a Flag[string] by looking ahead in args, if missing, os.Exit(1)
// 2. increment the i to skip that value and return
// 3. fetch that value and return
func ValidateIncrementFetchOrExit(sub cmd.Subcommand, args []string, i int) (int, string) {
validValueOrExit(sub, args, i)
return i + 1, args[i+1]
}
func HelpRequired(sub cmd.Subcommand, long string) {
log.Printf("um %s: %s is required", sub, long)
}
func HelpInvalidArg(sub cmd.Subcommand, arg string) {
log.Printf("um %s: invalid argument: %s", sub, arg)
}
// print out help string by reflecting over fields of provided opts struct
// and os.Exit(0)
func Help(sub cmd.Subcommand, summary string, opts any) {
v := reflect.ValueOf(opts)
if v.Kind() == reflect.Ptr {
v = v.Elem()
}
t := v.Type()
// everything should go to either stderr or stdout:
w := tabwriter.NewWriter(os.Stderr, 0, 0, 3, ' ', 0)
positional := ""
for i := 0; i < v.NumField(); i++ {
field := t.Field(i)
value := v.Field(i)
switch value.Interface().(type) {
case Arg:
positional += fmt.Sprintf(" [%s]", strings.ToLower(field.Name))
fmt.Fprintf(w, "[%v]\tstring\t%v\n", strings.ToLower(field.Name), value.FieldByName("Help"))
case Flag[string], Flag[bool]:
if field.Name != "Help" {
positional += fmt.Sprintf(" [%s]", value.FieldByName("Long"))
}
fmt.Fprintf(w, "%v | %v\t%v\t%v\n",
value.FieldByName("Long"),
value.FieldByName("Short"),
value.FieldByName("Val").Type(),
value.FieldByName("Help"),
)
}
}
log.Printf("um %s%s\n\n", sub, positional)
log.Printf("%s\n\n", summary)
w.Flush()
os.Exit(0)
}
// parse the commandline args
//
// reflect on the incoming opts struct filled out with flags.Arg, flags.Flag[string], flags.Flag[string]
// and fill their "Val" field appropriately.
//
// WARN: incoming opts must be a pointer!
// WORB: opts struct must list its Arg types first and in expected order
// NOTE: uglier than the pretty switch statements I had per cmd, but much more convenient.
func ParseArgs(sub cmd.Subcommand, summary string, args []string, opts any) {
// immediately get the underlying value of the incoming pointer:
v := reflect.ValueOf(opts)
if v.Kind() == reflect.Ptr {
v = v.Elem()
} else {
log.Fatalf("%s needs a pointer to a struct: %#v", INTERNAL_ERR_PREFIX, opts)
}
if v.Kind() != reflect.Struct {
log.Fatalf("%s needs an underlying struct: %#v", INTERNAL_ERR_PREFIX, opts)
}
// for all args, iterate through all opts fields and reflect on type
argloop:
for i := 0; i < len(args); i++ {
arg := args[i]
for j := 0; j < v.NumField(); j++ {
field := v.Field(j)
if field.Kind() != reflect.Struct {
log.Fatalf("%s needs a struct of flag types: %#v is type: %s", INTERNAL_ERR_PREFIX, field, field.Kind())
}
val := field.FieldByName("Val")
// NORT: FieldByName().String() won't panic if not present, as with Arg type, just prints "<invalid Value>"
long := field.FieldByName("Long").String()
short := field.FieldByName("Short").String()
if !val.CanSet() {
log.Fatalf("%s failed to set flag value: %#v", INTERNAL_ERR_PREFIX, field)
}
switch field.Interface().(type) {
case Arg:
// NOTE: we assume the opts struct lists its Arg types first and in order
if j == i && !HasDashPrefix(arg) {
val.SetString(arg)
continue argloop
}
case Flag[bool]:
if arg == long || arg == short {
val.SetBool(true)
if long == "--help" {
Help(sub, summary, opts)
}
continue argloop
}
case Flag[string]:
if arg == long || arg == short {
fetch := ""
i, fetch = ValidateIncrementFetchOrExit(sub, args, i)
val.SetString(fetch)
continue argloop
}
default:
log.Fatalf("um internal err: unrecognized flag type in opts struct: %#v", field)
}
}
// BLAK: if we didn't skip ahead, arg didn't match:
HelpInvalidArg(sub, arg)
Help(sub, summary, opts)
}
}