diff options
Diffstat (limited to 'archive/1.vm.arc/trace.arc.t')
| -rw-r--r-- | archive/1.vm.arc/trace.arc.t | 1659 |
1 files changed, 0 insertions, 1659 deletions
diff --git a/archive/1.vm.arc/trace.arc.t b/archive/1.vm.arc/trace.arc.t deleted file mode 100644 index 6dcebe0a..00000000 --- a/archive/1.vm.arc/trace.arc.t +++ /dev/null @@ -1,1659 +0,0 @@ -(selective-load "mu.arc" section-level) -(test-only-settings) -(add-code:readfile "trace.mu") -(ero "running tests in trace.arc.t (takes ~10 mins)") -(freeze function*) -(load-system-functions) - -(reset2) -(new-trace "print-trace") -(run-code main - (default-space:space-address <- new space:literal 30:literal/capacity) - (x:string-address <- new -"schedule: main -run: main 0: (((1 integer)) <- ((copy)) ((1 literal))) -run: main 0: 1 => ((1 integer)) -mem: ((1 integer)): 1 <= 1 -run: main 1: (((2 integer)) <- ((copy)) ((3 literal))) -run: main 1: 3 => ((2 integer)) -mem: ((2 integer)): 2 <= 3 -run: main 2: (((3 integer)) <- ((add)) ((1 integer)) ((2 integer))) -mem: ((1 integer)) => 1 -mem: ((2 integer)) => 3 -run: main 2: 4 => ((3 integer)) -mem: ((3 integer)): 3 <= 4 -schedule: done with routine") - (s:stream-address <- init-stream x:string-address) - (traces:instruction-trace-address-array-address <- parse-traces s:stream-address) - (screen:terminal-address <- init-fake-terminal 70:literal 15:literal) - (browser-state:space-address <- browser-state traces:instruction-trace-address-array-address 30:literal/screen-height) - (print-traces-collapsed browser-state:space-address screen:terminal-address) - (1:string-address/raw <- get screen:terminal-address/deref data:offset) -) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -;? (prn memory*.1) -(when (~screen-contains memory*.1 70 - (+ "+ main/ 0 : (((1 integer)) <- ((copy)) ((1 literal))) " - "+ main/ 0 : 1 => ((1 integer)) " - "+ main/ 1 : (((2 integer)) <- ((copy)) ((3 literal))) " - "+ main/ 1 : 3 => ((2 integer)) " - "+ main/ 2 : (((3 integer)) <- ((add)) ((1 integer)) ((2 integer))) " - "+ main/ 2 : 4 => ((3 integer)) ")) - (prn "F - print-traces-collapsed works")) -;? (quit) ;? 1 - -(reset2) -(new-trace "print-trace-from-middle-of-screen") -(run-code main - (default-space:space-address <- new space:literal 30:literal/capacity) - (x:string-address <- new -"schedule: main -run: main 0: (((1 integer)) <- ((copy)) ((1 literal))) -run: main 0: 1 => ((1 integer)) -mem: ((1 integer)): 1 <= 1 -run: main 1: (((2 integer)) <- ((copy)) ((3 literal))) -run: main 1: 3 => ((2 integer)) -mem: ((2 integer)): 2 <= 3 -run: main 2: (((3 integer)) <- ((add)) ((1 integer)) ((2 integer))) -mem: ((1 integer)) => 1 -mem: ((2 integer)) => 3 -run: main 2: 4 => ((3 integer)) -mem: ((3 integer)): 3 <= 4 -schedule: done with routine") - (s:stream-address <- init-stream x:string-address) - (traces:instruction-trace-address-array-address <- parse-traces s:stream-address) - (1:terminal-address/raw <- init-fake-terminal 70:literal 15:literal) - ; position the cursor away from top of screen - (cursor-down 1:terminal-address/raw) - (cursor-down 1:terminal-address/raw) - (browser-state:space-address <- browser-state traces:instruction-trace-address-array-address 30:literal/screen-height) - (print-traces-collapsed browser-state:space-address 1:terminal-address/raw traces:instruction-trace-address-array-address) - (2:string-address/raw <- get 1:terminal-address/raw/deref data:offset) -) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -(when (~screen-contains memory*.2 70 - (+ " " - " " - "+ main/ 0 : (((1 integer)) <- ((copy)) ((1 literal))) " - "+ main/ 0 : 1 => ((1 integer)) " - "+ main/ 1 : (((2 integer)) <- ((copy)) ((3 literal))) " - "+ main/ 1 : 3 => ((2 integer)) " - "+ main/ 2 : (((3 integer)) <- ((add)) ((1 integer)) ((2 integer))) " - "+ main/ 2 : 4 => ((3 integer)) ")) - (prn "F - print-traces-collapsed works anywhere on the screen")) -(run-code main2 - (print-character 1:terminal-address/raw ((#\* literal)))) -(when (~screen-contains memory*.2 70 - (+ " " - " " - "+ main/ 0 : (((1 integer)) <- ((copy)) ((1 literal))) " - "+ main/ 0 : 1 => ((1 integer)) " - "+ main/ 1 : (((2 integer)) <- ((copy)) ((3 literal))) " - "+ main/ 1 : 3 => ((2 integer)) " - "+ main/ 2 : (((3 integer)) <- ((add)) ((1 integer)) ((2 integer))) " - "+ main/ 2 : 4 => ((3 integer)) " - "* ")) - (prn "F - print-traces-collapsed leaves cursor at next line")) - -(reset2) -(new-trace "process-key-move-up-down") -(run-code main - (default-space:space-address <- new space:literal 30:literal/capacity) - (x:string-address <- new -"schedule: main -run: main 0: (((1 integer)) <- ((copy)) ((1 literal))) -run: main 0: 1 => ((1 integer)) -mem: ((1 integer)): 1 <= 1 -run: main 1: (((2 integer)) <- ((copy)) ((3 literal))) -run: main 1: 3 => ((2 integer)) -mem: ((2 integer)): 2 <= 3 -run: main 2: (((3 integer)) <- ((add)) ((1 integer)) ((2 integer))) -mem: ((1 integer)) => 1 -mem: ((2 integer)) => 3 -run: main 2: 4 => ((3 integer)) -mem: ((3 integer)): 3 <= 4 -schedule: done with routine") - (s:stream-address <- init-stream x:string-address) - (1:instruction-trace-address-array-address/raw <- parse-traces s:stream-address) - (2:terminal-address/raw <- init-fake-terminal 70:literal 15:literal) - ; position the cursor away from top of screen - (cursor-down 2:terminal-address/raw) - (cursor-down 2:terminal-address/raw) - (3:space-address/raw <- browser-state 1:instruction-trace-address-array-address/raw 30:literal/screen-height) - ; draw trace - (print-traces-collapsed 3:space-address/raw/browser-state 2:terminal-address/raw 1:instruction-trace-address-array-address/raw) - ; move cursor up - ; we have no way yet to test special keys like up-arrow - (s:string-address <- new "k") - (k:keyboard-address <- init-keyboard s:string-address) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - ; draw cursor - (replace-character 2:terminal-address/raw ((#\* literal))) - (4:string-address/raw <- get 2:terminal-address/raw/deref data:offset) -) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -(when (~screen-contains memory*.4 70 - (+ " " - " " - "+ main/ 0 : (((1 integer)) <- ((copy)) ((1 literal))) " - "+ main/ 0 : 1 => ((1 integer)) " - "+ main/ 1 : (((2 integer)) <- ((copy)) ((3 literal))) " - "+ main/ 1 : 3 => ((2 integer)) " - "+ main/ 2 : (((3 integer)) <- ((add)) ((1 integer)) ((2 integer))) " - "* main/ 2 : 4 => ((3 integer)) ")) - ;^cursor - (prn "F - process-key can move up the cursor")) -(run-code main2 - (default-space:space-address <- new space:literal 30:literal/capacity) - ; reset previous cursor - (replace-character 2:terminal-address/raw ((#\+ literal))) - ; move cursor up 3 more lines - (s:string-address <- new "kkk") - (k:keyboard-address <- init-keyboard s:string-address) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (replace-character 2:terminal-address/raw ((#\* literal))) - ) -; cursor is now at line 3 -(when (~screen-contains memory*.4 70 - (+ " " - " " - "+ main/ 0 : (((1 integer)) <- ((copy)) ((1 literal))) " - "+ main/ 0 : 1 => ((1 integer)) " - "* main/ 1 : (((2 integer)) <- ((copy)) ((3 literal))) " - ;^cursor - "+ main/ 1 : 3 => ((2 integer)) " - "+ main/ 2 : (((3 integer)) <- ((add)) ((1 integer)) ((2 integer))) " - "+ main/ 2 : 4 => ((3 integer)) ")) - (prn "F - process-key can move up multiple times")) -; try to move cursor up thrice more -(run-code main3 - (default-space:space-address <- new space:literal 30:literal/capacity) - (replace-character 2:terminal-address/raw ((#\+ literal))) - (s:string-address <- new "kkk") - (k:keyboard-address <- init-keyboard s:string-address) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (replace-character 2:terminal-address/raw ((#\* literal))) - ) -; cursor doesn't go beyond the first line printed -; stuff on screen before browser-state was initialized is inviolate -(when (~screen-contains memory*.4 70 - (+ " " - " " - "* main/ 0 : (((1 integer)) <- ((copy)) ((1 literal))) " - ;^cursor - "+ main/ 0 : 1 => ((1 integer)) " - "+ main/ 1 : (((2 integer)) <- ((copy)) ((3 literal))) " - "+ main/ 1 : 3 => ((2 integer)) " - "+ main/ 2 : (((3 integer)) <- ((add)) ((1 integer)) ((2 integer))) " - "+ main/ 2 : 4 => ((3 integer)) ")) - (prn "F - process-key doesn't move above bounds")) -; now move cursor down 4 times -(run-code main4 - (default-space:space-address <- new space:literal 30:literal/capacity) - (replace-character 2:terminal-address/raw ((#\+ literal))) - (s:string-address <- new "jjjj") - (k:keyboard-address <- init-keyboard s:string-address) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (replace-character 2:terminal-address/raw ((#\* literal))) - ) -(when (~screen-contains memory*.4 70 - (+ " " - " " - "+ main/ 0 : (((1 integer)) <- ((copy)) ((1 literal))) " - "+ main/ 0 : 1 => ((1 integer)) " - "+ main/ 1 : (((2 integer)) <- ((copy)) ((3 literal))) " - "+ main/ 1 : 3 => ((2 integer)) " - "* main/ 2 : (((3 integer)) <- ((add)) ((1 integer)) ((2 integer))) " - ;^cursor - "+ main/ 2 : 4 => ((3 integer)) ")) - (prn "F - process-key can move down multiple times")) -; try to move cursor down 4 more times -(run-code main5 - (default-space:space-address <- new space:literal 30:literal/capacity) - (replace-character 2:terminal-address/raw ((#\+ literal))) - (s:string-address <- new "jjjj") - (k:keyboard-address <- init-keyboard s:string-address) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (replace-character 2:terminal-address/raw ((#\* literal))) - ) -(when (~screen-contains memory*.4 70 - (+ " " - " " - "+ main/ 0 : (((1 integer)) <- ((copy)) ((1 literal))) " - "+ main/ 0 : 1 => ((1 integer)) " - "+ main/ 1 : (((2 integer)) <- ((copy)) ((3 literal))) " - "+ main/ 1 : 3 => ((2 integer)) " - "+ main/ 2 : (((3 integer)) <- ((add)) ((1 integer)) ((2 integer))) " - "+ main/ 2 : 4 => ((3 integer)) " - "* ")) - (prn "F - process-key doesn't move below bounds")) - -(reset2) -(new-trace "process-key-expand") -(run-code main - (default-space:space-address <- new space:literal 30:literal/capacity) - (x:string-address <- new -"schedule: main -run: main 0: (((1 integer)) <- ((copy)) ((1 literal))) -run: main 0: 1 => ((1 integer)) -mem: ((1 integer)): 1 <= 1 -run: main 1: (((2 integer)) <- ((copy)) ((3 literal))) -run: main 1: 3 => ((2 integer)) -mem: ((2 integer)): 2 <= 3 -run: main 2: (((3 integer)) <- ((add)) ((1 integer)) ((2 integer))) -mem: ((1 integer)) => 1 -mem: ((2 integer)) => 3 -run: main 2: 4 => ((3 integer)) -mem: ((3 integer)): 3 <= 4 -schedule: done with routine") - (s:stream-address <- init-stream x:string-address) - (1:instruction-trace-address-array-address/raw <- parse-traces s:stream-address) - (2:terminal-address/raw <- init-fake-terminal 70:literal 15:literal) - ; position the cursor away from top of screen - (cursor-down 2:terminal-address/raw) - (cursor-down 2:terminal-address/raw) - (3:space-address/raw <- browser-state 1:instruction-trace-address-array-address/raw 30:literal/screen-height) - ; draw trace - (print-traces-collapsed 3:space-address/raw/browser-state 2:terminal-address/raw 1:instruction-trace-address-array-address/raw) - (4:string-address/raw <- get 2:terminal-address/raw/deref data:offset) -) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -(when (~screen-contains memory*.4 70 - (+ " " - " " - "+ main/ 0 : (((1 integer)) <- ((copy)) ((1 literal))) " - "+ main/ 0 : 1 => ((1 integer)) " - "+ main/ 1 : (((2 integer)) <- ((copy)) ((3 literal))) " - "+ main/ 1 : 3 => ((2 integer)) " - "+ main/ 2 : (((3 integer)) <- ((add)) ((1 integer)) ((2 integer))) " - "+ main/ 2 : 4 => ((3 integer)) ")) - (prn "F - process-key: before expand")) -(run-code main2 - (default-space:space-address <- new space:literal 30:literal/capacity) - ; move cursor to final line and expand - (s:string-address <- new "k\n") - (k:keyboard-address <- init-keyboard s:string-address) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - ) -; final line is expanded -(when (~screen-contains memory*.4 70 - (+ " " - " " - "+ main/ 0 : (((1 integer)) <- ((copy)) ((1 literal))) " - "+ main/ 0 : 1 => ((1 integer)) " - "+ main/ 1 : (((2 integer)) <- ((copy)) ((3 literal))) " - "+ main/ 1 : 3 => ((2 integer)) " - "+ main/ 2 : (((3 integer)) <- ((add)) ((1 integer)) ((2 integer))) " - "- main/ 2 : 4 => ((3 integer)) " - " mem : ((3 integer)): 3 <= 4 " - " schedule : done with routine ")) - (prn "F - process-key expands the trace index at cursor on <enter>")) -; and cursor should remain on the top-level line -(run-code main3 - (replace-character 2:terminal-address/raw ((#\* literal))) - ) -(when (~screen-contains memory*.4 70 - (+ " " - " " - "+ main/ 0 : (((1 integer)) <- ((copy)) ((1 literal))) " - "+ main/ 0 : 1 => ((1 integer)) " - "+ main/ 1 : (((2 integer)) <- ((copy)) ((3 literal))) " - "+ main/ 1 : 3 => ((2 integer)) " - "+ main/ 2 : (((3 integer)) <- ((add)) ((1 integer)) ((2 integer))) " - "* main/ 2 : 4 => ((3 integer)) " - ;^cursor - " mem : ((3 integer)): 3 <= 4 " - " schedule : done with routine ")) - (prn "F - process-key positions cursor at start of trace index after expanding")) - -(reset2) -(new-trace "process-key-expand-nonlast") -(run-code main - (default-space:space-address <- new space:literal 30:literal/capacity) - (x:string-address <- new -"schedule: main -run: main 0: (((1 integer)) <- ((copy)) ((1 literal))) -run: main 0: 1 => ((1 integer)) -mem: ((1 integer)): 1 <= 1 -run: main 1: (((2 integer)) <- ((copy)) ((3 literal))) -run: main 1: 3 => ((2 integer)) -mem: ((2 integer)): 2 <= 3 -run: main 2: (((3 integer)) <- ((add)) ((1 integer)) ((2 integer))) -mem: ((1 integer)) => 1 -mem: ((2 integer)) => 3 -run: main 2: 4 => ((3 integer)) -mem: ((3 integer)): 3 <= 4 -schedule: done with routine") - (s:stream-address <- init-stream x:string-address) - (1:instruction-trace-address-array-address/raw <- parse-traces s:stream-address) - (2:terminal-address/raw <- init-fake-terminal 70:literal 15:literal) - ; position the cursor away from top of screen - (cursor-down 2:terminal-address/raw) - (cursor-down 2:terminal-address/raw) - (3:space-address/raw <- browser-state 1:instruction-trace-address-array-address/raw 30:literal/screen-height) - ; draw trace - (print-traces-collapsed 3:space-address/raw/browser-state 2:terminal-address/raw 1:instruction-trace-address-array-address/raw) - ; expand penultimate line - (s:string-address <- new "kk\n") - (k:keyboard-address <- init-keyboard s:string-address) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (4:string-address/raw <- get 2:terminal-address/raw/deref data:offset) -) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -(when (~screen-contains memory*.4 70 - (+ " " - " " - "+ main/ 0 : (((1 integer)) <- ((copy)) ((1 literal))) " - "+ main/ 0 : 1 => ((1 integer)) " - "+ main/ 1 : (((2 integer)) <- ((copy)) ((3 literal))) " - "+ main/ 1 : 3 => ((2 integer)) " - "- main/ 2 : (((3 integer)) <- ((add)) ((1 integer)) ((2 integer))) " - " mem : ((1 integer)) => 1 " - " mem : ((2 integer)) => 3 " - "+ main/ 2 : 4 => ((3 integer)) ")) - (prn "F - process-key: expanding a line continues to print lines after it")) - -(reset2) -(new-trace "process-key-expanded") -(run-code main - (default-space:space-address <- new space:literal 30:literal/capacity) - (x:string-address <- new -"schedule: main -run: main 0: (((1 integer)) <- ((copy)) ((1 literal))) -run: main 0: 1 => ((1 integer)) -mem: ((1 integer)): 1 <= 1 -mem: ((1 integer)): 1 <= 1 -run: main 1: (((2 integer)) <- ((copy)) ((3 literal))) -run: main 1: 3 => ((2 integer)) -mem: ((2 integer)): 2 <= 3 -run: main 2: (((3 integer)) <- ((add)) ((1 integer)) ((2 integer))) -mem: ((1 integer)) => 1 -mem: ((2 integer)) => 3 -run: main 2: 4 => ((3 integer)) -mem: ((3 integer)): 3 <= 4 -schedule: done with routine") - (s:stream-address <- init-stream x:string-address) - (1:instruction-trace-address-array-address/raw <- parse-traces s:stream-address) - (2:terminal-address/raw <- init-fake-terminal 70:literal 15:literal) - ; position the cursor away from top of screen - (cursor-down 2:terminal-address/raw) - (cursor-down 2:terminal-address/raw) - (3:space-address/raw <- browser-state 1:instruction-trace-address-array-address/raw 30:literal/screen-height) - ; draw trace - (print-traces-collapsed 3:space-address/raw/browser-state 2:terminal-address/raw 1:instruction-trace-address-array-address/raw) - ; expand penultimate line, then move one line down and draw cursor - (s:string-address <- new "kk\nj") - (k:keyboard-address <- init-keyboard s:string-address) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (replace-character 2:terminal-address/raw ((#\* literal))) - (4:string-address/raw <- get 2:terminal-address/raw/deref data:offset) -) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -; cursor should be at next top-level 'run' line -(when (~screen-contains memory*.4 70 - (+ " " - " " - "+ main/ 0 : (((1 integer)) <- ((copy)) ((1 literal))) " - "+ main/ 0 : 1 => ((1 integer)) " - "+ main/ 1 : (((2 integer)) <- ((copy)) ((3 literal))) " - "+ main/ 1 : 3 => ((2 integer)) " - "- main/ 2 : (((3 integer)) <- ((add)) ((1 integer)) ((2 integer))) " - " mem : ((1 integer)) => 1 " - " mem : ((2 integer)) => 3 " - "* main/ 2 : 4 => ((3 integer)) ")) - (prn "F - process-key: navigation moves between top-level trace indices only")) -(run-code main2 - (default-space:space-address <- new space:literal 30:literal/capacity) - ; reset previous cursor - (replace-character 2:terminal-address/raw ((#\+ literal))) - ; move cursor back up one line - (s:string-address <- new "k") - (k:keyboard-address <- init-keyboard s:string-address) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - ; show cursor - (replace-character 2:terminal-address/raw ((#\* literal))) - ) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -; cursor should be back at the top of the expanded line -(when (~screen-contains memory*.4 70 - (+ " " - " " - "+ main/ 0 : (((1 integer)) <- ((copy)) ((1 literal))) " - "+ main/ 0 : 1 => ((1 integer)) " - "+ main/ 1 : (((2 integer)) <- ((copy)) ((3 literal))) " - "+ main/ 1 : 3 => ((2 integer)) " - "* main/ 2 : (((3 integer)) <- ((add)) ((1 integer)) ((2 integer))) " - " mem : ((1 integer)) => 1 " - " mem : ((2 integer)) => 3 " - "+ main/ 2 : 4 => ((3 integer)) ")) - (prn "F - process-key: navigation moves between top-level indices only - 2")) -(run-code main3 - (default-space:space-address <- new space:literal 30:literal/capacity) - ; reset previous cursor - (replace-character 2:terminal-address/raw ((#\+ literal))) - ; press enter - (s:string-address <- new "\n") - (k:keyboard-address <- init-keyboard s:string-address) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - ) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -; expanded trace should now be collapsed -(when (~screen-contains memory*.4 70 - (+ " " - " " - "+ main/ 0 : (((1 integer)) <- ((copy)) ((1 literal))) " - "+ main/ 0 : 1 => ((1 integer)) " - "+ main/ 1 : (((2 integer)) <- ((copy)) ((3 literal))) " - "+ main/ 1 : 3 => ((2 integer)) " - "+ main/ 2 : (((3 integer)) <- ((add)) ((1 integer)) ((2 integer))) " - "+ main/ 2 : 4 => ((3 integer)) " - " " - " ")) - (prn "F - process-key: process-key collapses trace indices correctly after moving around")) -(run-code main4 - (default-space:space-address <- new space:literal 30:literal/capacity) - ; move up a few lines, expand, then move down and expand again - (s:string-address <- new "kkk\njjj\n") - (k:keyboard-address <- init-keyboard s:string-address) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) -;? (replace-character 2:terminal-address/raw ((#\* literal))) ;? 1 - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - ) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -; first expand should have no effect -(when (~screen-contains memory*.4 70 - (+ " " - " " - "+ main/ 0 : (((1 integer)) <- ((copy)) ((1 literal))) " - "+ main/ 0 : 1 => ((1 integer)) " - "+ main/ 1 : (((2 integer)) <- ((copy)) ((3 literal))) " - "+ main/ 1 : 3 => ((2 integer)) " - "- main/ 2 : (((3 integer)) <- ((add)) ((1 integer)) ((2 integer))) " - " mem : ((1 integer)) => 1 " - " mem : ((2 integer)) => 3 " - "+ main/ 2 : 4 => ((3 integer)) ")) - (prn "F - process-key: process-key collapses the previously expanded trace index when expanding elsewhere")) - -;; manage screen height - -(reset2) -(new-trace "trace-paginate") -(run-code main - (default-space:space-address <- new space:literal 30:literal/capacity) - (x:string-address <- new -"run: main 0: a b c -mem: 0 a -run: main 1: d e f -mem: 1 a -mem: 1 b -mem: 1 c -mem: 1 d -mem: 1 e -run: main 2: g hi -run: main 3: j -mem: 3 a -run: main 4: k -run: main 5: l -run: main 6: m -run: main 7: n") - (s:stream-address <- init-stream x:string-address) - (traces:instruction-trace-address-array-address <- parse-traces s:stream-address) - (2:terminal-address/raw <- init-fake-terminal 17:literal 15:literal) - (3:space-address/raw/browser-state <- browser-state traces:instruction-trace-address-array-address 3:literal/screen-height) - (print-traces-collapsed 3:space-address/raw/browser-state 2:terminal-address/raw) - (4:string-address/raw <- get 2:terminal-address/raw/deref data:offset) -) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -; screen shows a subset of collapsed trace lines -(when (~screen-contains memory*.4 17 - (+ "+ main/ 0 : a b c" - "+ main/ 1 : d e f" - "+ main/ 2 : g hi ")) - (prn "F - print-traces-collapsed can show just one 'page' of a larger trace")) - -; expand top line -(run-code main2 - (default-space:space-address <- new space:literal 30:literal/capacity) - (s:string-address <- new "kkk\n") - (k:keyboard-address <- init-keyboard s:string-address) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - ) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -; screen shows just first trace line fully expanded -(when (~screen-contains memory*.4 17 - (+ "- main/ 0 : a b c" - " mem : 0 a " - "+ main/ 1 : d e f" - " ")) - (prn "F - expanding doesn't print past end of page")) -(run-code main2-2 - (replace-character 2:terminal-address/raw ((#\* literal))) - ) -; screen shows part of the second trace line expanded -(when (~screen-contains memory*.4 17 - (+ "* main/ 0 : a b c" - " mem : 0 a " - "+ main/ 1 : d e f" - " ")) - (prn "F - cursor at right place after expand")) - -; expand line below without first collapsing previously expanded line -(run-code main3 - (default-space:space-address <- new space:literal 30:literal/capacity) - ; reset previous cursor - (replace-character 2:terminal-address/raw ((#\- literal))) - (s:string-address <- new "j\n") - (k:keyboard-address <- init-keyboard s:string-address) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - ) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -; screen shows part of the second trace line expanded -(when (~screen-contains memory*.4 17 - (+ "+ main/ 0 : a b c" - "- main/ 1 : d e f" - " mem : 1 a " - " " - " ")) - (prn "F - expanding below expanded line respects screen/page height")) -(run-code main3-2 - (replace-character 2:terminal-address/raw ((#\* literal))) - ) -; screen shows part of the second trace line expanded -(when (~screen-contains memory*.4 17 - (+ "+ main/ 0 : a b c" - "* main/ 1 : d e f" - " mem : 1 a " - " " - " ")) - (prn "F - cursor at right place after expand below")) - -; expand line *above* without first collapsing previously expanded line -(run-code main4 - (default-space:space-address <- new space:literal 30:literal/capacity) - ; reset previous cursor - (replace-character 2:terminal-address/raw ((#\- literal))) - (s:string-address <- new "k\n") - (k:keyboard-address <- init-keyboard s:string-address) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - ) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -; screen again shows first trace line expanded -(when (~screen-contains memory*.4 17 - (+ "- main/ 0 : a b c" - " mem : 0 a " - "+ main/ 1 : d e f" - " ")) - (prn "F - expanding above expanded line respects screen/page height")) -;? (quit) ;? 1 - -; collapse everything and hit page-down -; again, we can't yet check for special keys like 'page-down so we'll use -; upper-case J and K for moving a page down or up, respectively. -(run-code main5 - (default-space:space-address <- new space:literal 30:literal/capacity) - (s:string-address <- new "\nJ") - (k:keyboard-address <- init-keyboard s:string-address) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - ) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -; screen shows second page of traces -(when (~screen-contains memory*.4 17 - (+ "+ main/ 3 : j " - "+ main/ 4 : k " - "+ main/ 5 : l " - " ")) - (prn "F - 'page-down' skips to next page after this one")) -;? (quit) ;? 1 - -; move cursor down, then page-down -(run-code main6 - (default-space:space-address <- new space:literal 30:literal/capacity) - (s:string-address <- new "jJ") - (k:keyboard-address <- init-keyboard s:string-address) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - ) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -; page-down behaves the same regardless of where the cursor was -(when (~screen-contains memory*.4 17 - (+ "+ main/ 6 : m " - "+ main/ 7 : n " - " ")) - (prn "F - 'page-down' skips to same place regardless of cursor position")) - -; try to page-down past end of trace -(run-code main7 - (default-space:space-address <- new space:literal 30:literal/capacity) - (s:string-address <- new "J") - (k:keyboard-address <- init-keyboard s:string-address) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - ) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -; no change -(when (~screen-contains memory*.4 17 - (+ "+ main/ 6 : m " - "+ main/ 7 : n " - " ")) - (prn "F - 'page-down' skips to same place regardless of cursor position")) - -; now page-up -(run-code main8 - (default-space:space-address <- new space:literal 30:literal/capacity) - (s:string-address <- new "K") - (k:keyboard-address <- init-keyboard s:string-address) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - ) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -; precisely undoes previous page-down -(when (~screen-contains memory*.4 17 - (+ "+ main/ 3 : j " - "+ main/ 4 : k " - "+ main/ 5 : l " - " ")) - (prn "F - 'page-up' on partial page behaves as if page was full")) - -;; back to page 1, expand a line -(run-code main9 - (default-space:space-address <- new space:literal 30:literal/capacity) - (s:string-address <- new "Kkk\n") - (k:keyboard-address <- init-keyboard s:string-address) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) -;? (print-character 2:terminal-address/raw ((#\* literal))) ;? 1 - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - ) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -; now we have an expanded line -(when (~screen-contains memory*.4 17 - (+ "+ main/ 0 : a b c" - "- main/ 1 : d e f" - " mem : 1 a " - " " - " ")) - (prn "F - intermediate state after expanding a line")) - -; next page -(run-code main10 - (default-space:space-address <- new space:literal 30:literal/capacity) - (s:string-address <- new "J") - (k:keyboard-address <- init-keyboard s:string-address) -;? ($start-tracing) ;? 1 - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - ) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -; no lines skipped, page with just inner traces -(when (~screen-contains memory*.4 17 - (+ " mem : 1 b " - " mem : 1 c " - " mem : 1 d " - " " - " ")) - (prn "F - page down continues existing expanded line")) - -; next page -(run-code main11 - (default-space:space-address <- new space:literal 30:literal/capacity) - (s:string-address <- new "J") - (k:keyboard-address <- init-keyboard s:string-address) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - ) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -; page with partial inner trace and more collapsed -(when (~screen-contains memory*.4 17 - (+ " mem : 1 e " - "+ main/ 2 : g hi " - "+ main/ 3 : j " - " " - " ")) - (prn "F - page down shows collapsed lines after continued expanded line at top of page")) -;? (quit) ;? 1 - -; page-up through an expanded line -(run-code main12 - (default-space:space-address <- new space:literal 30:literal/capacity) - (s:string-address <- new "K") - (k:keyboard-address <- init-keyboard s:string-address) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - ) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -(when (~screen-contains memory*.4 17 - (+ " mem : 1 b " - " mem : 1 c " - " mem : 1 d " - " " - " ")) - (prn "F - page up understands expanded lines")) - -;; page up scenarios -; skip ones starting at top of trace for now -; page-up scenario 2 -; + run: main 0: a b c -; mem: 0 a -; + run: main 1: d e f <- top of page -; mem: 1 a -; mem: 1 b -; mem: 1 c -; mem: 1 d -; mem: 1 e -; + run: main 2: g hi -; + run: main 3: j <- bottom of page -; mem: 3 a -; + run: main 4: k -; + run: main 5: l -; + run: main 6: m -; + run: main 7: n -(run-code main13 - (default-space:space-address <- new space:literal 30:literal/capacity) - (0:space-address/names:browser-state <- copy 3:space-address/raw/browser-state) -;? ($print first-index-on-page:integer/space:1) ;? 1 -;? ($print (("\n" literal))) ;? 1 - (first-index-on-page:integer/space:1 <- copy 1:literal) -;? ($print first-index-on-page:integer/space:1) ;? 1 -;? ($print (("\n" literal))) ;? 1 - (first-subindex-on-page:integer/space:1 <- copy -2:literal) - (last-index-on-page:integer/space:1 <- copy 3:literal) - (last-subindex-on-page:integer/space:1 <- copy -2:literal) - (expanded-index:integer/space:1 <- copy -1:literal) - (expanded-children:integer/space:1 <- copy -1:literal) - (s:string-address <- new "K") - (k:keyboard-address <- init-keyboard s:string-address) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - ) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -(when (~screen-contains memory*.4 17 - (+ "+ main/ 0 : a b c" - "+ main/ 1 : d e f" - "+ main/ 2 : g hi ")) - (prn "F - page-up 2")) - -; page-up scenario 3 -; + run: main 0: a b c -; mem: 0 a -; - run: main 1: d e f <- top of page -; mem: 1 a -; mem: 1 b <- bottom of page -; mem: 1 c -; mem: 1 d -; mem: 1 e -; + run: main 2: g hi -; + run: main 3: j -; mem: 3 a -; + run: main 4: k -; + run: main 5: l -; + run: main 6: m -; + run: main 7: n -(run-code main14pre - (default-space:space-address <- new space:literal 30:literal/capacity) - (0:space-address/names:browser-state <- copy 3:space-address/raw/browser-state) - (first-index-on-page:integer/space:1 <- copy 1:literal) - (first-subindex-on-page:integer/space:1 <- copy -1:literal) - (last-index-on-page:integer/space:1 <- copy 1:literal) - (last-subindex-on-page:integer/space:1 <- copy 1:literal) - (expanded-index:integer/space:1 <- copy 1:literal) - (expanded-children:integer/space:1 <- copy 5:literal) - (to-top 0:space-address/browser-state 2:terminal-address/raw) - (print-page 0:space-address/browser-state 2:terminal-address/raw) - ) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -(when (~screen-contains memory*.4 17 - (+ "- main/ 1 : d e f" - " mem : 1 a " - " mem : 1 b " - " " - " ")) - (prn "F - page-up 3: initial print-page state")) -(run-code main14post - (default-space:space-address <- new space:literal 30:literal/capacity) - (0:space-address/names:browser-state <- copy 3:space-address/raw/browser-state) - (first-index-on-page:integer/space:1 <- copy 0:literal) - (first-subindex-on-page:integer/space:1 <- copy -2:literal) - (last-index-on-page:integer/space:1 <- copy 1:literal) - (last-subindex-on-page:integer/space:1 <- copy 0:literal) - (expanded-index:integer/space:1 <- copy 1:literal) - (expanded-children:integer/space:1 <- copy 5:literal) - (to-top 0:space-address/browser-state 2:terminal-address/raw) - (print-page 0:space-address/browser-state 2:terminal-address/raw) - ) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -(when (~screen-contains memory*.4 17 - (+ "+ main/ 0 : a b c" - "- main/ 1 : d e f" - " mem : 1 a " - " " - " ")) - (prn "F - page-up 3: expected post page-up state")) -;? (quit) ;? 1 -(run-code main14 - (default-space:space-address <- new space:literal 30:literal/capacity) - (0:space-address/names:browser-state <- copy 3:space-address/raw/browser-state) - (first-index-on-page:integer/space:1 <- copy 1:literal) - (first-subindex-on-page:integer/space:1 <- copy -1:literal) - (last-index-on-page:integer/space:1 <- copy 1:literal) - (last-subindex-on-page:integer/space:1 <- copy 1:literal) - (expanded-index:integer/space:1 <- copy 1:literal) - (expanded-children:integer/space:1 <- copy 5:literal) - (s:string-address <- new "K") - (k:keyboard-address <- init-keyboard s:string-address) -;? ($start-tracing) ;? 1 - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - ) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -(when (~screen-contains memory*.4 17 - (+ "+ main/ 0 : a b c" - "- main/ 1 : d e f" - " mem : 1 a " - " " - " ")) - (prn "F - page-up 3")) -;? (quit) ;? 1 - -; page-up scenario 4 -; + run: main 0: a b c -; mem: 0 a -; - run: main 1: d e f -; mem: 1 a -; mem: 1 b -; mem: 1 c <- top of page -; mem: 1 d -; mem: 1 e <- bottom of page -; + run: main 2: g hi -; + run: main 3: j -; mem: 3 a -; + run: main 4: k -; + run: main 5: l -; + run: main 6: m -; + run: main 7: n -(run-code main15 - (default-space:space-address <- new space:literal 30:literal/capacity) - (0:space-address/names:browser-state <- copy 3:space-address/raw/browser-state) - (first-index-on-page:integer/space:1 <- copy 1:literal) - (first-subindex-on-page:integer/space:1 <- copy 2:literal) - (last-index-on-page:integer/space:1 <- copy 1:literal) - (last-subindex-on-page:integer/space:1 <- copy 4:literal) - (expanded-index:integer/space:1 <- copy 1:literal) - (expanded-children:integer/space:1 <- copy 5:literal) - (s:string-address <- new "K") - (k:keyboard-address <- init-keyboard s:string-address) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - ) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -(when (~screen-contains memory*.4 17 - (+ "- main/ 1 : d e f" - " mem : 1 a " - " mem : 1 b " - " " - " ")) - (prn "F - page-up 4")) - -; page-up scenario 5 -; + run: main 0: a b c -; mem: 0 a -; - run: main 1: d e f -; mem: 1 a <- top of page -; mem: 1 b -; mem: 1 c <- bottom of page -; mem: 1 d -; mem: 1 e -; + run: main 2: g hi -; + run: main 3: j -; mem: 3 a -; + run: main 4: k -; + run: main 5: l -; + run: main 6: m -; + run: main 7: n -(run-code main16pre - (default-space:space-address <- new space:literal 30:literal/capacity) - (0:space-address/names:browser-state <- copy 3:space-address/raw/browser-state) - (first-index-on-page:integer/space:1 <- copy 1:literal) - (first-subindex-on-page:integer/space:1 <- copy 0:literal) - (last-index-on-page:integer/space:1 <- copy 1:literal) - (last-subindex-on-page:integer/space:1 <- copy 2:literal) - (expanded-index:integer/space:1 <- copy 1:literal) - (expanded-children:integer/space:1 <- copy 5:literal) -;? ($print cursor-row:integer/space:1) ;? 1 - (to-top 0:space-address/browser-state 2:terminal-address/raw) -;? ($print cursor-row:integer/space:1) ;? 1 - (print-page 0:space-address/browser-state 2:terminal-address/raw) - ) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -(when (~screen-contains memory*.4 17 - (+ " mem : 1 a " - " mem : 1 b " - " mem : 1 c " - " " - " ")) - (prn "F - page-up 5: initial print-page state")) -(run-code main16 - (default-space:space-address <- new space:literal 30:literal/capacity) - (0:space-address/names:browser-state <- copy 3:space-address/raw/browser-state) - (first-index-on-page:integer/space:1 <- copy 1:literal) - (first-subindex-on-page:integer/space:1 <- copy 0:literal) - (last-index-on-page:integer/space:1 <- copy 1:literal) - (last-subindex-on-page:integer/space:1 <- copy 2:literal) - (expanded-index:integer/space:1 <- copy 1:literal) - (expanded-children:integer/space:1 <- copy 5:literal) - (s:string-address <- new "K") - (k:keyboard-address <- init-keyboard s:string-address) -;? ($dump-browser-state 3:space-address/raw/browser-state) ;? 1 - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - ) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -(when (~screen-contains memory*.4 17 - (+ "+ main/ 0 : a b c" - "- main/ 1 : d e f" - " mem : 1 a " - " " - " ")) - (prn "F - page-up 5")) - -; page-up scenario 6 -; + run: main 0: a b c -; mem: 0 a -; - run: main 1: d e f -; mem: 1 a -; mem: 1 b <- top of page -; mem: 1 c -; mem: 1 d <- bottom of page -; mem: 1 e -; + run: main 2: g hi -; + run: main 3: j -; mem: 3 a -; + run: main 4: k -; + run: main 5: l -; + run: main 6: m -; + run: main 7: n -(run-code main17 - (default-space:space-address <- new space:literal 30:literal/capacity) - (0:space-address/names:browser-state <- copy 3:space-address/raw/browser-state) - (first-index-on-page:integer/space:1 <- copy 1:literal) - (first-subindex-on-page:integer/space:1 <- copy 1:literal) - (last-index-on-page:integer/space:1 <- copy 1:literal) - (last-subindex-on-page:integer/space:1 <- copy 3:literal) - (expanded-index:integer/space:1 <- copy 1:literal) - (expanded-children:integer/space:1 <- copy 5:literal) - (s:string-address <- new "K") - (k:keyboard-address <- init-keyboard s:string-address) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - ) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -(when (~screen-contains memory*.4 17 - (+ "+ main/ 0 : a b c" - "- main/ 1 : d e f" - " mem : 1 a " - " " - " ")) - (prn "F - page-up 6")) - -; page-up scenario 7 -; + run: main 0: a b c -; mem: 0 a -; + run: main 1: d e f <- top of page -; mem: 1 a -; mem: 1 b -; mem: 1 c -; mem: 1 d -; mem: 1 e -; + run: main 2: g hi -; - run: main 3: j <- bottom of page -; mem: 3 a -; + run: main 4: k -; + run: main 5: l -; + run: main 6: m -; + run: main 7: n -(run-code main18 - (default-space:space-address <- new space:literal 30:literal/capacity) - (0:space-address/names:browser-state <- copy 3:space-address/raw/browser-state) - (first-index-on-page:integer/space:1 <- copy 1:literal) - (first-subindex-on-page:integer/space:1 <- copy -2:literal) - (last-index-on-page:integer/space:1 <- copy 3:literal) - (last-subindex-on-page:integer/space:1 <- copy -1:literal) - (expanded-index:integer/space:1 <- copy 3:literal) - (expanded-children:integer/space:1 <- copy 1:literal) - (s:string-address <- new "K") - (k:keyboard-address <- init-keyboard s:string-address) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - ) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -(when (~screen-contains memory*.4 17 - (+ "+ main/ 0 : a b c" - "+ main/ 1 : d e f" - "+ main/ 2 : g hi " - " ")) - (prn "F - page-up 7 - expanded index starts below bottom")) -;? (quit) ;? 1 - -; page-up scenario 8 -; + run: main 0: a b c -; mem: 0 a -; + run: main 1: d e f <- top of page -; mem: 1 a -; mem: 1 b -; mem: 1 c -; mem: 1 d -; mem: 1 e -; + run: main 2: g hi -; + run: main 3: j <- bottom of page -; mem: 3 a -; - run: main 4: k -; + run: main 5: l -; + run: main 6: m -; + run: main 7: n -(run-code main19 - (default-space:space-address <- new space:literal 30:literal/capacity) - (0:space-address/names:browser-state <- copy 3:space-address/raw/browser-state) - (first-index-on-page:integer/space:1 <- copy 1:literal) - (first-subindex-on-page:integer/space:1 <- copy -2:literal) - (last-index-on-page:integer/space:1 <- copy 3:literal) - (last-subindex-on-page:integer/space:1 <- copy -1:literal) - (expanded-index:integer/space:1 <- copy 4:literal) - (expanded-children:integer/space:1 <- copy 0:literal) - (s:string-address <- new "K") - (k:keyboard-address <- init-keyboard s:string-address) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - ) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -(when (~screen-contains memory*.4 17 - (+ "+ main/ 0 : a b c" - "+ main/ 1 : d e f" - "+ main/ 2 : g hi " - " ")) - (prn "F - page-up 8 - expanded index starts below top - 2")) - -; page-up scenario 9 -; - run: main 0: a b c -; mem: 0 a -; + run: main 1: d e f -; mem: 1 a -; mem: 1 b -; mem: 1 c -; mem: 1 d -; mem: 1 e -; + run: main 2: g hi -; + run: main 3: j <- top of page -; mem: 3 a -; + run: main 4: k -; + run: main 5: l <- bottom of page -; + run: main 6: m -; + run: main 7: n -(run-code main20 - (default-space:space-address <- new space:literal 30:literal/capacity) - (0:space-address/names:browser-state <- copy 3:space-address/raw/browser-state) - (first-index-on-page:integer/space:1 <- copy 3:literal) - (first-subindex-on-page:integer/space:1 <- copy -2:literal) - (last-index-on-page:integer/space:1 <- copy 5:literal) - (last-subindex-on-page:integer/space:1 <- copy -2:literal) - (expanded-index:integer/space:1 <- copy 0:literal) - (expanded-children:integer/space:1 <- copy 1:literal) - (s:string-address <- new "K") - (k:keyboard-address <- init-keyboard s:string-address) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - ) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -(when (~screen-contains memory*.4 17 - (+ " mem : 0 a " - "+ main/ 1 : d e f" - "+ main/ 2 : g hi " - " ")) - (prn "F - page-up 9 - expanded index overlaps target page")) - -; page-up scenario 10 -; - run: main 0: a b c -; mem: 0 a -; + run: main 1: d e f -; mem: 1 a -; mem: 1 b -; mem: 1 c -; mem: 1 d -; mem: 1 e -; + run: main 2: g hi <- top of page -; + run: main 3: j -; mem: 3 a -; + run: main 4: k <- bottom of page -; + run: main 5: l -; + run: main 6: m -; + run: main 7: n -(run-code main21pre - (default-space:space-address <- new space:literal 30:literal/capacity) - (0:space-address/names:browser-state <- copy 3:space-address/raw/browser-state) - (first-index-on-page:integer/space:1 <- copy 2:literal) - (first-subindex-on-page:integer/space:1 <- copy -2:literal) - (last-index-on-page:integer/space:1 <- copy 4:literal) - (last-subindex-on-page:integer/space:1 <- copy -2:literal) - (expanded-index:integer/space:1 <- copy 0:literal) - (expanded-children:integer/space:1 <- copy 1:literal) - (to-top 0:space-address/browser-state 2:terminal-address/raw) -;? ($start-tracing) ;? 2 - (print-page 0:space-address/browser-state 2:terminal-address/raw) - ) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -(when (~screen-contains memory*.4 17 - (+ "+ main/ 2 : g hi " - "+ main/ 3 : j " - "+ main/ 4 : k " - " " - " ")) - (prn "F - page-up 10: initial print-page state")) -;? (quit) ;? 1 -(run-code main21 - (default-space:space-address <- new space:literal 30:literal/capacity) - (0:space-address/names:browser-state <- copy 3:space-address/raw/browser-state) - (first-index-on-page:integer/space:1 <- copy 2:literal) - (first-subindex-on-page:integer/space:1 <- copy -2:literal) - (last-index-on-page:integer/space:1 <- copy 4:literal) - (last-subindex-on-page:integer/space:1 <- copy -2:literal) - (expanded-index:integer/space:1 <- copy 0:literal) - (expanded-children:integer/space:1 <- copy 1:literal) - (s:string-address <- new "K") - (k:keyboard-address <- init-keyboard s:string-address) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - ) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -(when (~screen-contains memory*.4 17 - (+ "- main/ 0 : a b c" - " mem : 0 a " - "+ main/ 1 : d e f" - " " - " ")) - (prn "F - page-up 10 - expanded index overlaps target page - 2")) -;? (quit) ;? 2 - -(reset2) -(new-trace "trace-paginate2") -; page-up scenario 11 -; + run: main 0: a b c -; mem: 0 a -; + run: main 1: d e f -; - run: main 2: g hi -; mem: 2 a -; + run: main 3: j <- top of page -; mem: 3 a -; + run: main 4: k -; + run: main 5: l <- bottom of page -; + run: main 6: m -; + run: main 7: n -(run-code main22 - (default-space:space-address <- new space:literal 30:literal/capacity) - (x:string-address <- new -"run: main 0: a b c -mem: 0 a -run: main 1: d e f -run: main 2: g hi -mem: 2 a -run: main 3: j -mem: 3 a -run: main 4: k -run: main 5: l -run: main 6: m -run: main 7: n") - (s:stream-address <- init-stream x:string-address) - (traces:instruction-trace-address-array-address <- parse-traces s:stream-address) - (2:terminal-address/raw <- init-fake-terminal 17:literal 15:literal) - (3:space-address/raw/browser-state <- browser-state traces:instruction-trace-address-array-address 3:literal/screen-height) - (0:space-address/names:browser-state <- copy 3:space-address/raw/browser-state) - (4:string-address/raw <- get 2:terminal-address/raw/deref data:offset) - (first-index-on-page:integer/space:1 <- copy 3:literal) - (first-subindex-on-page:integer/space:1 <- copy -2:literal) - (last-index-on-page:integer/space:1 <- copy 5:literal) - (last-subindex-on-page:integer/space:1 <- copy -2:literal) - (expanded-index:integer/space:1 <- copy 2:literal) - (expanded-children:integer/space:1 <- copy 1:literal) - (s:string-address <- new "K") - (k:keyboard-address <- init-keyboard s:string-address) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - ) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -(when (~screen-contains memory*.4 17 - (+ "+ main/ 1 : d e f" - "- main/ 2 : g hi " - " mem : 2 a " - " " - " ")) - (prn "F - page-up 11 - expanded index overlaps target page - 3")) - -; page-up scenario 12 -; + run: main 0: a b c -; mem: 0 a -; + run: main 1: d e f -; - run: main 2: g hi -; mem: 2 a -; + run: main 3: j -; mem: 3 a -; + run: main 4: k <- top of page -; + run: main 5: l -; + run: main 6: m <- bottom of page -; + run: main 7: n -(run-code main23 - (default-space:space-address <- new space:literal 30:literal/capacity) - (0:space-address/names:browser-state <- copy 3:space-address/raw/browser-state) - (first-index-on-page:integer/space:1 <- copy 4:literal) - (first-subindex-on-page:integer/space:1 <- copy -2:literal) - (last-index-on-page:integer/space:1 <- copy 6:literal) - (last-subindex-on-page:integer/space:1 <- copy -2:literal) - (expanded-index:integer/space:1 <- copy 2:literal) - (expanded-children:integer/space:1 <- copy 1:literal) - (s:string-address <- new "K") - (k:keyboard-address <- init-keyboard s:string-address) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - ) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -(when (~screen-contains memory*.4 17 - (+ "- main/ 2 : g hi " - " mem : 2 a " - "+ main/ 3 : j " - " ")) - (prn "F - page-up 12 - expanded index overlaps target page - 4")) - -; page-up scenario 13 -; + run: main 0: a b c -; mem: 0 a -; + run: main 1: d e f -; - run: main 2: g hi -; mem: 2 a -; + run: main 3: j -; mem: 3 a -; + run: main 4: k -; + run: main 5: l -; + run: main 6: m <- top of page -; + run: main 7: n <- bottom of page -(run-code main24 - (default-space:space-address <- new space:literal 30:literal/capacity) - (0:space-address/names:browser-state <- copy 3:space-address/raw/browser-state) - (first-index-on-page:integer/space:1 <- copy 6:literal) - (first-subindex-on-page:integer/space:1 <- copy -2:literal) - (last-index-on-page:integer/space:1 <- copy 7:literal) - (last-subindex-on-page:integer/space:1 <- copy -2:literal) - (expanded-index:integer/space:1 <- copy 2:literal) - (expanded-children:integer/space:1 <- copy 1:literal) - (s:string-address <- new "K") - (k:keyboard-address <- init-keyboard s:string-address) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - ) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -(when (~screen-contains memory*.4 17 - (+ "+ main/ 3 : j " - "+ main/ 4 : k " - "+ main/ 5 : l " - " ")) - (prn "F - page-up 13 - expanded index far above target page")) - -(run-code main25 - (default-space:space-address <- new space:literal 30:literal/capacity) - (0:space-address/names:browser-state <- copy 3:space-address/raw/browser-state) - (s:string-address <- new "kk\n") - (k:keyboard-address <- init-keyboard s:string-address) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - ) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -(when (~screen-contains memory*.4 17 - (+ "+ main/ 3 : j " - "- main/ 4 : k " - "+ main/ 5 : l " - " ")) - (prn "F - process-key expands a trace index on any page")) -(run-code main26 - (replace-character 2:terminal-address/raw ((#\* literal))) -) -(when (~screen-contains memory*.4 17 - (+ "+ main/ 3 : j " - "* main/ 4 : k " - "+ main/ 5 : l " - " ")) - (prn "F - process-key resets the cursor after expand")) -;? (quit) ;? 1 - -(run-code main27 - (default-space:space-address <- new space:literal 30:literal/capacity) - (0:space-address/names:browser-state <- copy 3:space-address/raw/browser-state) - ; reset previous cursor - (replace-character 2:terminal-address/raw ((#\- literal))) - (s:string-address <- new "j\n") - (k:keyboard-address <- init-keyboard s:string-address) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - ) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -(when (~screen-contains memory*.4 17 - (+ "+ main/ 3 : j " - "+ main/ 4 : k " - "- main/ 5 : l " - " ")) - (prn "F - process-key expands a trace index on any page when there's an expanded trace index above it on the same page")) - -; expand scenario -; + run: main 0: a b c -; mem: 0 a -; + run: main 1: d e f -; - run: main 2: g hi -; mem: 2 a <- top of page -; + run: main 3: j -; mem: 3 a -; + run: main 4: k <- bottom of page -; + run: main 5: l -; + run: main 6: m -; + run: main 7: n -(run-code main28 - (default-space:space-address <- new space:literal 30:literal/capacity) - (0:space-address/names:browser-state <- copy 3:space-address/raw/browser-state) - (first-index-on-page:integer/space:1 <- copy 2:literal) - (first-subindex-on-page:integer/space:1 <- copy 0:literal) - (last-index-on-page:integer/space:1 <- copy 4:literal) - (last-subindex-on-page:integer/space:1 <- copy -2:literal) - (expanded-index:integer/space:1 <- copy 2:literal) - (expanded-children:integer/space:1 <- copy 1:literal) - (to-top 0:space-address/browser-state 2:terminal-address/raw) - (print-page 0:space-address/browser-state 2:terminal-address/raw) - (s:string-address <- new "kk\n") - (k:keyboard-address <- init-keyboard s:string-address) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) -;? (replace-character 2:terminal-address/raw ((#\* literal))) ;? 2 - ) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -(when (~screen-contains memory*.4 17 -;? (+ " mem : 2 a " ; after print-page -;? "+ main/ 3 : j " -;? "+ main/ 4 : k " -;? " ")) - (+ "+ main/ 2 : g hi " - "- main/ 3 : j " - " mem : 3 a " - " ")) -;? (+ "- main/ 3 : j " ; alternative interpretation in case the above isn't intuitive -;? " mem : 3 a " -;? (+ "- main/ 4 : k " -;? " ")) - (prn "F - process-key expands trace index on a page that starts with a partial expanded trace")) - -(reset2) -(new-trace "trace-paginate3") -; expand scenario -; + run: main 0: a b c -; mem: 0 a -; + run: main 1: d e f -; mem: 1 a -; mem: 1 b <- top of page -; mem: 1 c -; + run: main 2: g hi <- bottom of page -; mem: 2 a -; + run: main 3: j -; + run: main 4: k -; + run: main 5: l -(run-code main29 - (default-space:space-address <- new space:literal 30:literal/capacity) - (x:string-address <- new -"run: main 0: a b c -mem: 0 a -run: main 1: d e f -mem: 1 a -mem: 1 b -mem: 1 c -run: main 2: g hi -mem: 2 a -run: main 3: j -run: main 4: k -run: main 5: l") - (s:stream-address <- init-stream x:string-address) - (traces:instruction-trace-address-array-address <- parse-traces s:stream-address) - (2:terminal-address/raw <- init-fake-terminal 17:literal 15:literal) - (3:space-address/raw/browser-state <- browser-state traces:instruction-trace-address-array-address 3:literal/screen-height) - (0:space-address/names:browser-state <- copy 3:space-address/raw/browser-state) - (4:string-address/raw <- get 2:terminal-address/raw/deref data:offset) - (first-index-on-page:integer/space:1 <- copy 1:literal) - (first-subindex-on-page:integer/space:1 <- copy 1:literal) - (last-index-on-page:integer/space:1 <- copy 3:literal) - (last-subindex-on-page:integer/space:1 <- copy -2:literal) - (expanded-index:integer/space:1 <- copy 1:literal) - (expanded-children:integer/space:1 <- copy 3:literal) - (to-top 0:space-address/browser-state 2:terminal-address/raw) - (print-page 0:space-address/browser-state 2:terminal-address/raw) -;? (replace-character 2:terminal-address/raw ((#\* literal))) ;? 1 - (s:string-address <- new "k\n") - (k:keyboard-address <- init-keyboard s:string-address) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - ) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -(when (~screen-contains memory*.4 17 -;? (+ " mem : 1 b " ; after print-page -;? " mem : 1 c " -;? "+ main/ 2 : g hi " -;? "* " -;? " ")) - (+ "+ main/ 1 : d e f" - "- main/ 2 : g hi " - " mem : 2 a " - " " - " ")) - (prn "F - process-key expands trace index on a page that starts with a partial expanded trace - 2")) - -; expand scenario -; + run: main 0: a b c -; mem: 0 a -; + run: main 1: d e f -; mem: 1 a <- top of page -; mem: 1 b -; mem: 1 c <- bottom of page -; + run: main 2: g hi -; mem: 2 a -; + run: main 3: j -; + run: main 4: k -; + run: main 5: l -(run-code main30 - (default-space:space-address <- new space:literal 30:literal/capacity) - (0:space-address/names:browser-state <- copy 3:space-address/raw/browser-state) - (first-index-on-page:integer/space:1 <- copy 1:literal) - (first-subindex-on-page:integer/space:1 <- copy 0:literal) - (last-index-on-page:integer/space:1 <- copy 1:literal) - (last-subindex-on-page:integer/space:1 <- copy 2:literal) - (expanded-index:integer/space:1 <- copy 1:literal) - (expanded-children:integer/space:1 <- copy 3:literal) - (to-top 0:space-address/browser-state 2:terminal-address/raw) - (print-page 0:space-address/browser-state 2:terminal-address/raw) - (s:string-address <- new "k\n") - (k:keyboard-address <- init-keyboard s:string-address) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) -;? (replace-character 2:terminal-address/raw ((#\* literal))) ;? 1 - ) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -(when (~screen-contains memory*.4 17 -;? (+ " mem : 1 a " ; after print-page -;? " mem : 1 b " -;? " mem : 1 c " -;? "* ")) - (+ "+ main/ 1 : d e f" - "+ main/ 2 : g hi " - "+ main/ 3 : j ")) - (prn "F - process-key expands trace index on a page with only subindex lines")) - -(run-code main31 - (default-space:space-address <- new space:literal 30:literal/capacity) - (0:space-address/names:browser-state <- copy 3:space-address/raw/browser-state) - ; reinitialize - (first-index-on-page:integer/space:1 <- copy 0:literal) - (first-subindex-on-page:integer/space:1 <- copy -2:literal) - (last-index-on-page:integer/space:1 <- copy 2:literal) - (last-subindex-on-page:integer/space:1 <- copy -2:literal) - (expanded-index:integer/space:1 <- copy -1:literal) - (expanded-children:integer/space:1 <- copy -1:literal) - (to-top 0:space-address/browser-state 2:terminal-address/raw) - (print-page 0:space-address/browser-state 2:terminal-address/raw) -;? (replace-character 2:terminal-address/raw ((#\* literal))) ;? 1 - (s:string-address <- new "Jjj\n") - (k:keyboard-address <- init-keyboard s:string-address) -;? ($print (("test: first subindex " literal))) ;? 1 -;? ($print first-subindex-on-page:integer/space:1) ;? 1 -;? ($print (("\n" literal))) ;? 1 - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) -;? ($print (("test: first subindex 2 " literal))) ;? 1 -;? ($print first-subindex-on-page:integer/space:1) ;? 1 -;? ($print (("\n" literal))) ;? 1 - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) -;? ($print (("test: first subindex 3 " literal))) ;? 1 -;? ($print first-subindex-on-page:integer/space:1) ;? 1 -;? ($print (("\n" literal))) ;? 1 - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) -;? ($print (("test: first subindex 4 " literal))) ;? 1 -;? ($print first-subindex-on-page:integer/space:1) ;? 1 -;? ($print (("\n" literal))) ;? 1 - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - ) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -(when (~screen-contains memory*.4 17 - (+ "+ main/ 3 : j " - "+ main/ 4 : k " - "- main/ 5 : l " - " " - " ")) - (prn "F - process-key expands final index of trace at bottom of page")) - -(run-code main32 - (default-space:space-address <- new space:literal 30:literal/capacity) - (0:space-address/names:browser-state <- copy 3:space-address/raw/browser-state) - ; reinitialize - (first-index-on-page:integer/space:1 <- copy 0:literal) - (first-subindex-on-page:integer/space:1 <- copy -2:literal) - (last-index-on-page:integer/space:1 <- copy 2:literal) - (last-subindex-on-page:integer/space:1 <- copy -2:literal) - (expanded-index:integer/space:1 <- copy -1:literal) - (expanded-children:integer/space:1 <- copy -1:literal) - (to-top 0:space-address/browser-state 2:terminal-address/raw) - (print-page 0:space-address/browser-state 2:terminal-address/raw) -;? (replace-character 2:terminal-address/raw ((#\* literal))) ;? 1 - (s:string-address <- new "kk\nJjj") - (k:keyboard-address <- init-keyboard s:string-address) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw) - (5:integer-address/raw <- get-address 2:terminal-address/raw/deref cursor-row:offset) - ) -(each routine completed-routines* - (awhen rep.routine!error - (prn "error - " it))) -;? (prn (memory* memory*.5)) ;? 1 -(when (~is 3 (memory* memory*.5)) - (prn "F - key movement stays within screen bounds, even when no next trace on page")) - -(reset2) -;? (print-times) ;? 3 |