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.
121 lines
2.7 KiB
Go
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())
|
|
}
|