Files
sanspie cf68c71f05 Stage 6: coroutines, signals, ScriptRef, workspace CLI, editor tooling
Language: yield/signal/coroutine become keywords, start is contextual.
Coroutine methods (func Name() coroutine) with start and
yield / wait / frames / fixed / await; signals with Emit/Connect and
Connection handles; ScriptRef<T> and node.GetScript<T>() for fields,
plain methods and signals of other scripts. Diagnostics AES2050-AES2059.

Bytecode v3: ScriptRefs, XFields, XMethods and Connects tables resolved by
name in vm.Link, per-script signals, coroutine flag on functions; new
opcodes START/YIELD/EMIT/CONNECT/DISCONNECT/CONNECTED/COSTOP/CORUN/
SELFREF/GETSCRIPT/GETXF/SETXF/CALLR, checked by verify.

Runtime: script/coroutine scheduler (frames/fixed counters, time heap,
await lists; only due coroutines are visited) and script/signal registry
(snapshot per Emit, deferred removal, no allocations in steady state).
Hot reload cancels coroutines of changed scripts, rebinds connections by
name and signature, then runs Reloaded.

Tooling: script/build removed, aego check/test/dump run on the workspace
(test builds include _test.aes); langsvc completion, hover, signatures and
semantic tokens for the new syntax; editor highlighting, snippets with
placeholders, coroutine/signal profiler graphs and stats.

Docs (script.md sections 16-19, editor.md, ARCHITECTURE), test fixtures and
golden files, platformer enemies wired to the player, scriptreload demo,
and run.Config.FrameTime for deterministic headless fixed steps.

Modules (6.5): engine/module registry and ComponentBuilder are the one
registration path for engine subsystems and native code; render2d,
render3d and script/engine are modules over scene/frame, the script
component moved to scene/scriptcomp, and scene/components and
scene/systems are gone. Editor inspector, templates, picking shapes and
extension hooks are driven by descriptors and editor/builtins; sdk gains
Component/EditorHook; depcheck checks the module graph and the
aego_runtime graph.

Also: stop tracking built tool binaries; gl33 activates the scratch unit
before binding for texture updates.

Verification: typed component method adapters (Method0..2, Proc0..2)
with direct field access and no allocations; app.Build as the single
construction path for run and the editor; modules attach per scene
document; depcheck aego_editor pass; diagnostic codes in one place and
every code covered by a test; indexed coroutine heaps with eager
cancel; dead component references and nil intrinsics fault with
AES6004, host faults keep their code; GC roots of struct fields checked
in verify and vm.Link; 255-field limit; AES4010 for script packages
shadowing host modules; architecture registry D111-D147.

Golden: the harness renders on the thread that owns the GL context,
ReadPixels returns rows in memory order (render targets are top-down per
D17), and the first rendering references are committed.
2026-10-12 14:22:08 +03:00

121 lines
2.7 KiB
Go

package harness
import (
"fmt"
"io"
"sort"
"strings"
"time"
"unicode"
"unicode/utf8"
"aego/script/bind"
"aego/script/vm"
"aego/script/workspace"
)
type Options struct {
VM vm.Options
Filter string
}
type Result struct {
Package string
Name string
Fault *vm.Fault
Elapsed time.Duration
}
type Report struct {
Results []Result
Passed int
Failed int
Elapsed time.Duration
}
func IsTestFunc(f *vm.Func) bool {
if f.Script >= 0 || f.Params != 0 || f.Results != 0 || !workspace.IsTest(f.File) {
return false
}
rest, ok := strings.CutPrefix(f.Name, "Test")
if !ok {
return false
}
if rest == "" {
return true
}
r, _ := utf8.DecodeRuneInString(rest)
return !unicode.IsLower(r)
}
func Run(g *workspace.Generation, reg *bind.Registry, ctx *bind.Ctx, opt Options) (*Report, error) {
if opt.VM.Budget == 0 {
opt.VM.Budget = 10_000_000
}
m := vm.New(opt.VM)
m.Env = ctx
pkgs := make([]string, 0, len(g.Modules))
for p := range g.Modules {
pkgs = append(pkgs, p)
}
sort.Strings(pkgs)
mods := make([]*vm.Module, 0, len(pkgs))
for _, p := range pkgs {
lm, err := m.Load(g.Modules[p], reg.Resolve)
if err != nil {
return nil, err
}
mods = append(mods, lm)
}
if err := vm.Link(mods); err != nil {
return nil, err
}
rep := &Report{}
start := time.Now()
for _, lm := range mods {
for _, f := range lm.Funcs {
if !IsTestFunc(f) || (opt.Filter != "" && !strings.Contains(f.Name, opt.Filter)) {
continue
}
t0 := time.Now()
_, fl := m.Call(f, nil, nil)
rep.Results = append(rep.Results, Result{Package: lm.Package, Name: f.Name, Fault: fl, Elapsed: time.Since(t0)})
if fl == nil {
rep.Passed++
} else {
rep.Failed++
}
m.Collect(nil)
}
}
rep.Elapsed = time.Since(start)
return rep, nil
}
func (r *Report) Print(w io.Writer, verbose bool) {
var b strings.Builder
for _, t := range r.Results {
switch {
case t.Fault != nil:
fmt.Fprintf(&b, "--- FAIL: %s.%s (%.3fs)\n", t.Package, t.Name, t.Elapsed.Seconds())
where := ""
if len(t.Fault.Stack) > 0 {
top := t.Fault.Stack[0]
where = fmt.Sprintf("%s:%d: ", top.File, top.Line)
}
fmt.Fprintf(&b, " %s%s [%s]\n", where, t.Fault.Message, t.Fault.Code)
for _, fr := range t.Fault.Stack[min(1, len(t.Fault.Stack)):] {
fmt.Fprintf(&b, " %s %s:%d\n", fr.Function, fr.File, fr.Line)
}
case verbose:
fmt.Fprintf(&b, "--- PASS: %s.%s (%.3fs)\n", t.Package, t.Name, t.Elapsed.Seconds())
}
}
if r.Failed > 0 {
fmt.Fprintf(&b, "FAIL\t%d passed, %d failed (%.3fs)\n", r.Passed, r.Failed, r.Elapsed.Seconds())
} else {
fmt.Fprintf(&b, "ok\t%d tests (%.3fs)\n", r.Passed, r.Elapsed.Seconds())
}
io.WriteString(w, b.String())
}