syntax

type Arg struct {
	Range parser.Range
	Label string // empty for positional args; "account", "cap", etc. for labeled
	Value Value
}

type Const struct {
	Range parser.Range
	Kind  ConstKind

	// Exactly one is set:
	StrVal  *string // raw quoted literal
	IntVal  *string // raw numeric string
	BoolVal *bool
}

type ConstKind int

type Dest struct {
	Range parser.Range
	Kind  DestKind
	Regs  []RegRef // non-empty for DestReg and DestList
}

type DestKind int

type Infix struct {
	Range parser.Range
	Op    string // "+" or "-"
	Left  RegRef
	Right RegRef
}

type InstrCall struct {
	Range     parser.Range
	Name      string // e.g. "mk_monetary", "pull_account"
	TypeParam string // "" if none, else "int", "str", etc.
	Args      []Arg  // may be empty
}

type InstrStmt struct {
	Range parser.Range

	// Dest is the destination; nil when the instruction has no dest (e.g. "set_current_asset($r3)").
	Dest *Dest

	// One of these is set:
	Call           *InstrCall // e.g. "mk_monetary($r0, $r1)"
	Const          *Const     // e.g. "$r0 = \"USD/2\"" or "$r0 = 42"
	Infix          *Infix     // e.g. "$r3 = $r1 + $r2"
	CompoundAssign *Infix     // e.g. "$r5 += $r9"  (Left is implicit from Dest)
}

type LabelStmt struct {
	Range parser.Range
	Name  string
}

type ParseResult struct {
	Value  Program
	Errors []ParserError
}

type ParserError struct {
	Range parser.Range
	Msg   string
}

type Program struct {
	Stmts []Stmt
}

type RegRef struct {
	Range parser.Range
	Name  string
}

type Stmt interface {
	// contains filtered or unexported methods
}

type Value struct {
	Range parser.Range
	Kind  ValueKind

	// Exactly one of these is set, depending on Kind:
	Reg   *RegRef   // ValReg
	Label *string   // ValLabel: the label name without '#'
	Int   *string   // ValInt: raw numeric string
	Regs  *[]RegRef // ValRegList
}

type ValueKind int