arxo-codegen 0.4.0__py3-none-any.whl

arxo_codegen/targets/go/cert.go

@@ -0,0 +1,218 @@
+package main
+
+// Харнесс сертификации рантайма: исполняет runtime-cert.json и печатает,
+// что получилось. Ожидания сверяют ворота, харнесс их не читает.
+
+import (
+	"encoding/json"
+	"fmt"
+	"math/big"
+	"os"
+	"strconv"
+	"strings"
+)
+
+func lit(x interface{}) interface{} {
+	switch v := x.(type) {
+	case string:
+		return v
+	case map[string]interface{}:
+		if d, ok := v["dec"]; ok {
+			return dec(d.(string))
+		}
+		if m, ok := v["money"]; ok {
+			return money(m.(string), v["cur"].(string))
+		}
+		if t, ok := v["text"]; ok {
+			return t.(string)
+		}
+		if d, ok := v["date"]; ok {
+			return date(d.(string))
+		}
+		if d, ok := v["instant"]; ok {
+			return instant(d.(string))
+		}
+		if y, ok := v["sym"]; ok {
+			return sym(y.(string))
+		}
+		if q, ok := v["rat"]; ok {
+			return rat(q.(string))
+		}
+		if q, ok := v["qty"]; ok {
+			return qty(q.(string), v["unit"].(string))
+		}
+		if b, ok := v["bool"]; ok {
+			return b.(bool)
+		}
+		if r, ok := v["row"]; ok {
+			items := r.([]interface{})
+			row := make([]Val, len(items))
+			for i, it := range items {
+				row[i] = lit(it)
+			}
+			return row
+		}
+	}
+	panic(fmt.Sprintf("литерал фикстуры: %v", x))
+}
+
+// Отображение с ЯВНЫМ масштабом: 2.00 и 2 — разные записи одного значения.
+func digits(u *big.Int, s int) string {
+	neg := u.Sign() < 0
+	body := new(big.Int).Abs(u).String()
+	if len(body) < s+1 {
+		body = strings.Repeat("0", s+1-len(body)) + body
+	}
+	text := body
+	if s > 0 {
+		text = body[:len(body)-s] + "." + body[len(body)-s:]
+	}
+	if neg {
+		return "-" + text
+	}
+	return text
+}
+
+func render(v interface{}) interface{} {
+	switch x := v.(type) {
+	case nil, bool, string:
+		return x
+	case Money:
+		return digits(x.U, x.S) + " " + x.Cur
+	case Date:
+		return string(x)
+	case Instant:
+		return string(x)
+	case Sym:
+		return string(x)
+	case Rational:
+		return x.N.String() + "/" + x.D.String()
+	case Qty:
+		return digits(x.U, x.S) + " [" + x.Unit + "]"
+	case Dec:
+		return digits(x.U, x.S)
+	}
+	panic(fmt.Sprintf("отображение: %T", v))
+}
+
+// Контекст вычисления харнесса: случаи фикстуры идут подряд в одном контексте
+// (`setLegalTime`, затем `legalTime`), как вызовы внутри одного `evaluate`.
+var certCtx = &evalContext{}
+
+func run(op string, raw []interface{}) interface{} {
+	a := make([]interface{}, len(raw))
+	for i, x := range raw {
+		a[i] = lit(x)
+	}
+	switch op {
+	case "dec":
+		return dec(a[0].(string))
+	case "money":
+		return money(a[0].(string), a[1].(string))
+	case "date":
+		return date(a[0].(string))
+	case "instant":
+		return instant(a[0].(string))
+	case "hoursBetween":
+		return hours_between(a[0], a[1])
+	case "minutesBetween":
+		return minutes_between(a[0], a[1])
+	case "addDuration":
+		n, _ := strconv.Atoi(a[1].(string))
+		return add_duration(a[0], n, a[2].(string))
+	case "sym":
+		return sym(a[0].(string))
+	case "rat":
+		return rat(a[0].(string))
+	case "ratTerm":
+		return ratTerm(a[0].(string))
+	case "qty":
+		return qty(a[0].(string), a[1].(string))
+	case "counter":
+		n, unit := counter(a[0], a[1].(string))
+		return fmt.Sprintf("%d %s", n, unit)
+	case "arith":
+		return arith(a[0].(string), a[1], a[2], a[3].(string), a[4].(string))
+	case "mul":
+		return mul(a[0], a[1])
+	case "round":
+		return round(a[0], a[1], a[2].(string))
+	case "roundMode":
+		return roundMode(a[0], a[1], a[2], a[3].(string), a[4].(string))
+	case "divRound":
+		return divRound(a[0], a[1], a[2], a[3], a[4].(string), a[5].(string), a[6].(string))
+	case "cmp":
+		return cmp(a[0], a[1].(string), a[2])
+	case "eq":
+		return eq(a[0], a[1])
+	case "add":
+		return add(a[0], a[1])
+	case "sub":
+		return sub(a[0], a[1])
+	case "div":
+		return div(a[0], a[1])
+	case "mod":
+		return mod(a[0], a[1])
+	case "min":
+		return min(a[0], a[1])
+	case "max":
+		return max(a[0], a[1])
+	case "abs":
+		return abs(a[0])
+	case "pow":
+		return pow(a[0], a[1])
+	case "monthStart":
+		return month_start(lit(raw[0]))
+	case "monthEnd":
+		return month_end(lit(raw[0]))
+	case "keyEq":
+		return key(a[0].([]Val)) == key(a[1].([]Val))
+	case "legalTime":
+		return certCtx.legalTime()
+	case "setLegalTime":
+		certCtx.setLegalTime(a[0].(string))
+		return nil
+	}
+	panic("неизвестная операция фикстуры: " + op)
+}
+
+func one(op string, args []interface{}) (got interface{}) {
+	defer func() {
+		if r := recover(); r != nil {
+			if msg, ok := r.(Refused); ok {
+				got = map[string]string{"refused": string(msg)}
+				return
+			}
+			if e, ok := r.(termError); ok {
+				// Ошибка значения §58 с кодом оракула (DECISION-0252 п. 4).
+				got = map[string]string{"termError": e.code}
+				return
+			}
+			panic(r)
+		}
+	}()
+	return render(run(op, args))
+}
+
+func main() {
+	b, err := os.ReadFile(os.Args[1])
+	if err != nil {
+		panic(err)
+	}
+	var fixture struct {
+		Cases []struct {
+			ID   string        `json:"id"`
+			Op   string        `json:"op"`
+			Args []interface{} `json:"args"`
+		} `json:"cases"`
+	}
+	if err := json.Unmarshal(b, &fixture); err != nil {
+		panic(err)
+	}
+	out := make([]map[string]interface{}, 0, len(fixture.Cases))
+	for _, c := range fixture.Cases {
+		out = append(out, map[string]interface{}{"id": c.ID, "got": one(c.Op, c.Args)})
+	}
+	enc, _ := json.Marshal(out)
+	fmt.Println(string(enc))
+}