Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

ตัวแปร report

คีย์เวิร์ด report ใช้ระบุตัวแปรที่ค่าของมันควรถูกระบาย (flush) ออกมา เมื่อมอนิเตอร์การทำงานของแอปพลิเคชัน ข้อมูลที่บรรยายสิ่งที่สังเกตได้ควรถูกเก็บไว้ในตัวแปร report เพื่อใช้ประโยชน์จากฟีเจอร์การระบายนี้

การใช้ report จริงๆ แล้วเป็นคำย่อของ report unshared ดูเอกสารตัวแปร [unshared]ประกอบ

พฤติกรรมเริ่มต้นของ “การระบาย” นี้คือการพิมพ์ไปยังคอนโซล (ไลบรารีหลักของ Whamm ใช้ WASI ทำสิ่งนี้) การระบายจะเกิดขึ้นตอนสิ้นสุดการทำงานของโปรแกรมด้วยค่าสุดท้ายของตัวแปร

ตัวอย่าง:

report var count;
wasm:opcode:call:before {
    // count the number of times the `call` opcode was used during the application's dynamic execution.
    // (a single global count)
    count++;
}