9.1 wasm 核心與 JSON ABI#

#[no_mangle] pub extern "C" fn alloc(n: usize) -> *mut u8
#[no_mangle] pub unsafe extern "C" fn dealloc(p: *mut u8, n: usize)
#[no_mangle] pub extern "C" fn result_len() -> usize
#[no_mangle] pub extern "C" fn panic_message() -> *const u8
#[no_mangle] pub unsafe extern "C" fn load_chipdb(p: *const u8, n: usize) -> i32
#[no_mangle] pub unsafe extern "C" fn call(p: *const u8, n: usize) -> *const u8

ptr = alloc(n); write request bytes; out = call(ptr, n);
read result_len() bytes at `out` (JSON); dealloc(ptr, n)

pub fn dispatch(v: &Value) -> R<Value> {
    let cmd = v.get("cmd").and_then(|c| c.as_str()).ok_or("missing cmd")?;
    match cmd { ... c => Err(format!("unknown command '{}'", c)) }
}

let stops: Vec<String> = v.get("stops").and_then(|s| s.as_array())...unwrap_or_default();
let o = veryl_emu::compile(&files(v)?, top, &stops)?;

"String" => fluxa::eval_str(&prog, s).map_err(|e| format!("param {}: {}", k, e))?,

interface Exports {
  memory: WebAssembly.Memory;
  load_chipdb(p: number, n: number): number;
  alloc(n: number): number;
  dealloc(p: number, n: number): void;
  call(p: number, n: number): number;
  result_len(): number;
  panic_message(): number;
}

export class Veryl {
  static async load(bytes: Uint8Array): Promise<Veryl>
  static fromModule(mod: WebAssembly.Module): Veryl
  loadChipdb(text: Uint8Array): void
  call<T>(req: object): T {
    const enc = new TextEncoder().encode(JSON.stringify(req));
    const p = x.alloc(enc.length);
    new Uint8Array(x.memory.buffer, p, enc.length).set(enc);
    let out: number;
    try { out = x.call(p, enc.length); }
    catch (e) {
      let msg = String(e);
      try { msg = this.text(x.panic_message()) || msg; } catch {}
      this.reset();          // 重建實例
      throw new Error(msg);
    }
    const s = this.text(out);
    x.dealloc(p, enc.length);
    const r = JSON.parse(s);
    if (!r.ok) throw new Error(r.error);
    return r as T;
  }
}

export async function gunzip(gz: Uint8Array): Promise<Uint8Array> {
  // DecompressionStream('gzip')
}

export interface Example {
  id: string; group: string; title: string;
  files: VFile[];
  synth?: string; pcf?: string; note?: string;
  title_en?: string; note_en?: string; group_en?: string;
  board?: import('./ide/board').BoardSetup;
  lang?: 'fluxa';
  emu?: boolean;
  piBoard?: import('./ide/bbmodel').Part[];
}
declare const VERYL_EXAMPLES: Example[];
export function examples(): Example[] { return typeof VERYL_EXAMPLES === 'undefined' ? [] : VERYL_EXAMPLES; }

export type Lang = 'zh-Hant' | 'zh-Hans' | 'en';
export const LANGS: [Lang, string][] = [['zh-Hant','繁體中文'], ['zh-Hans','简体中文'], ['en','English']];
export function fromLocale(loc: string | undefined): Lang
export function tr(hant: string, en: string): string    // 'en' 用英文，否則用中文
export function hans(s: string): string                // 繁體 → 簡體
export function translateDom(root: HTMLElement): void

tr('繁體中文', 'English')

// hans() 先替換最長的詞語（用依長度遞減排序的鍵建成的單一正則），
// 再映射剩下的字

export class CodeEditor {
  private scroller, gutter, code, curLine, pre, ta;
  private markers: Marker[] = [];
  onChange: (text: string) => void;
  onCursor: (line: number, col: number) => void;
  onKey: (e: KeyboardEvent) => boolean;
  get lineHeight(): number                   // 19 px，手機上更大（ide.css --edlh）
  setMarkers(m: Marker[]): void
  goto(line: number, col = 1, selectLine = false): void
}
export interface Marker { line: number; col: number; msg: string; severity: 'error' | 'warning' }

// 編輯透過 document.execCommand('insertText')，讓瀏覽器的 undo 堆疊存活，
// 失敗時退回 setRangeText

export type Lang = 'veryl' | 'fx' | 'c' | 'asm' | 'py' | 'sh' | 'text';
export function langOf(name: string): Lang   // 依副檔名
export function highlight(src: string, lang: Lang = 'veryl'): string[]

const REGS = /^(x([12]?\d|3[01])|zero|ra|sp|gp|tp|fp|t[0-6]|s([0-9]|1[01])|a[0-7])$/;