about summary refs log tree commit diff stats
path: root/subx/056trace.subx
diff options
context:
space:
mode:
authorKartik Agaram <vc@akkartik.com>2019-06-08 13:01:37 -0700
committerKartik Agaram <vc@akkartik.com>2019-06-08 13:01:37 -0700
commit53f5c71ac453156ddd61793dd2a63075ea271fbf (patch)
tree020bc9520827e72814e83af1ce43f4aeefcb7c02 /subx/056trace.subx
parentc437318df551a58319e1d596976cd593070f0d72 (diff)
downloadmu-53f5c71ac453156ddd61793dd2a63075ea271fbf.tar.gz
fix stale docs
Diffstat (limited to 'subx/056trace.subx')
-rw-r--r--subx/056trace.subx16
1 files changed, 5 insertions, 11 deletions
diff --git a/subx/056trace.subx b/subx/056trace.subx
index af52da2a..80b67643 100644
--- a/subx/056trace.subx
+++ b/subx/056trace.subx
@@ -6,17 +6,11 @@
 #   data : (array byte)  # prefixed by length as usual
 # In a real trace the data will be in a special segment set aside for the purpose.
 #
-# primitives for operating on traces:
-#   - initialize-trace-stream (update global variable)
-#   - trace: stream, string
-#   - die: stream (exit(1) if using real trace)
-#   - check-trace-contains: stream, string/line, string/message (scans only from stream's read pointer, prints message to stderr on failure, updates stream's read pointer)
-#   - scan-to-next-line: stream (advance read pointer past next newline)
-#
-# Traces are very fundamental, so many of the helpers we create here won't be
-# used elsewhere; we'll switch to more bounds-checked variants. But here we get
-# bounds-checking for free; we allocate a completely disjoint segment for trace
-# data, and overflowing it will generate a page fault.
+# primitives for operating on traces (arguments in quotes):
+#   - initialize-trace-stream: populates Trace-stream with a new segment of the given 'size'
+#   - trace: adds a 'line' to Trace-stream
+#   - check-trace-contains: scans from Trace-stream's start for a matching 'line', prints a 'message' to stderr on failure
+#   - check-trace-scans-to: scans from Trace-stream's read pointer for a matching 'line', prints a 'message' to stderr on failure
 
 == data