diff options
Diffstat (limited to 'archive/1.vm.arc/chessboard.arc.t')
| -rw-r--r-- | archive/1.vm.arc/chessboard.arc.t | 239 |
1 files changed, 0 insertions, 239 deletions
diff --git a/archive/1.vm.arc/chessboard.arc.t b/archive/1.vm.arc/chessboard.arc.t deleted file mode 100644 index eb365b69..00000000 --- a/archive/1.vm.arc/chessboard.arc.t +++ /dev/null @@ -1,239 +0,0 @@ -(selective-load "mu.arc" section-level) -(set allow-raw-addresses*) -(add-code:readfile "chessboard.mu") -(freeze function*) -(load-system-functions) - -(reset2) -(new-trace "read-move-legal") -(run-code main - (default-space:space-address <- new space:literal 30:literal/capacity) - (stdin:channel-address <- init-channel 1:literal) - (r:integer/routine <- fork read-move:fn nil:literal/globals 2000:literal/limit stdin:channel-address) - (c:character <- copy ((#\a literal))) - (x:tagged-value <- save-type c:character) - (stdin:channel-address/deref <- write stdin:channel-address x:tagged-value) - (c:character <- copy ((#\2 literal))) - (x:tagged-value <- save-type c:character) - (stdin:channel-address/deref <- write stdin:channel-address x:tagged-value) - (c:character <- copy ((#\- literal))) - (x:tagged-value <- save-type c:character) - (stdin:channel-address/deref <- write stdin:channel-address x:tagged-value) - (c:character <- copy ((#\a literal))) - (x:tagged-value <- save-type c:character) - (stdin:channel-address/deref <- write stdin:channel-address x:tagged-value) - (c:character <- copy ((#\4 literal))) - (x:tagged-value <- save-type c:character) - (stdin:channel-address/deref <- write stdin:channel-address x:tagged-value) - (c:character <- copy ((#\newline literal))) - (x:tagged-value <- save-type c:character) - (stdin:channel-address/deref <- write stdin:channel-address x:tagged-value) - (sleep until-routine-done:literal r:integer/routine) -) -(each routine completed-routines* -;? (prn " " routine) - (awhen rep.routine!error - (prn "error - " it))) -(when (~ran-to-completion 'read-move) - (prn "F - chessboard accepts legal moves (<rank><file>-<rank><file>)")) -; todo: we can't test that keys pressed are printed to screen -; but that's at a lower level -;? (quit) - -(reset2) -(new-trace "read-move-incomplete") -; initialize some variables at specific raw locations -;? (prn "== init") -(run-code test-init - (1:channel-address/raw <- init-channel 1:literal) - (2:terminal-address/raw <- init-fake-terminal 20:literal 10:literal) - (3:string-address/raw <- get 2:terminal-address/raw/deref data:offset)) -(wipe completed-routines*) -; the component under test; we'll be running this repeatedly -(let read-move-routine (make-routine 'read-move memory*.1 memory*.2) -;? (prn "== first key") - (run-code send-first-key - (default-space:space-address <- new space:literal 30:literal/capacity) - (c:character <- copy ((#\a literal))) - (x:tagged-value <- save-type c:character) - (1:channel-address/raw/deref <- write 1:channel-address/raw x:tagged-value)) - (wipe completed-routines*) - ; check that read-move consumes it and then goes to sleep - (enq read-move-routine running-routines*) - (run-more) - (when (ran-to-completion 'read-move) - (prn "F - chessboard waits after first letter of move")) - (wipe completed-routines*) - ; send in a few more letters -;? (prn "== more keys") - (restart read-move-routine) - (run-code send-more-keys - (default-space:space-address <- new space:literal 30:literal/capacity) - (c:character <- copy ((#\2 literal))) - (x:tagged-value <- save-type c:character) - (1:channel-address/raw/deref <- write 1:channel-address/raw x:tagged-value) - (c:character <- copy ((#\- literal))) - (x:tagged-value <- save-type c:character) - (1:channel-address/raw/deref <- write 1:channel-address/raw x:tagged-value) - (c:character <- copy ((#\a literal))) - (x:tagged-value <- save-type c:character) - (1:channel-address/raw/deref <- write 1:channel-address/raw x:tagged-value) - (c:character <- copy ((#\4 literal))) - (x:tagged-value <- save-type c:character) - (1:channel-address/raw/deref <- write 1:channel-address/raw x:tagged-value)) - ; check that read-move consumes them and then goes to sleep - (when (ran-to-completion 'read-move) - (prn "F - chessboard waits after each subsequent letter of move until the last")) - (wipe completed-routines*) - ; send final key -;? (prn "== final key") - (restart read-move-routine) -;? (set dump-trace*) - (run-code send-final-key - (default-space:space-address <- new space:literal 30:literal/capacity) - (c:character <- copy ((#\newline literal))) - (x:tagged-value <- save-type c:character) - (1:channel-address/raw/deref <- write 1:channel-address/raw x:tagged-value)) - ; check that read-move consumes it and -- this time -- returns - (when (~ran-to-completion 'read-move) - (prn "F - 'read-move' completes after final letter of move")) -) - -(reset2) -(new-trace "read-move-quit") -(run-code main - (default-space:space-address <- new space:literal 30:literal/capacity) - (stdin:channel-address <- init-channel 1:literal) - (dummy:terminal-address <- init-fake-terminal 20:literal 10:literal) - (r:integer/routine <- fork-helper read-move:fn nil:literal/globals 2000:literal/limit stdin:channel-address dummy:terminal-address) - (c:character <- copy ((#\q literal))) - (x:tagged-value <- save-type c:character) - (stdin:channel-address/deref <- write stdin:channel-address x:tagged-value) - (sleep until-routine-done:literal r:integer/routine) -) -(when (~ran-to-completion 'read-move) - (prn "F - chessboard quits on move starting with 'q'")) - -(reset2) -(new-trace "read-illegal-file") -(run-code main - (default-space:space-address <- new space:literal 30:literal/capacity) - (stdin:channel-address <- init-channel 1:literal) - (dummy:terminal-address <- init-fake-terminal 20:literal 10:literal) - (r:integer/routine <- fork-helper read-file:fn nil:literal/globals 2000:literal/limit stdin:channel-address dummy:terminal-address) - (c:character <- copy ((#\i literal))) - (x:tagged-value <- save-type c:character) - (stdin:channel-address/deref <- write stdin:channel-address x:tagged-value) - (sleep until-routine-done:literal r:integer/routine) -) -;? (each routine completed-routines* -;? (prn " " routine)) -(when (or (ran-to-completion 'read-file) - (let routine routine-running!read-file - (~posmatch "file too high" rep.routine!error))) - (prn "F - 'read-file' checks that file lies between 'a' and 'h'")) - -(reset2) -(new-trace "read-illegal-rank") -(run-code main - (default-space:space-address <- new space:literal 30:literal/capacity) - (stdin:channel-address <- init-channel 1:literal) - (dummy:terminal-address <- init-fake-terminal 20:literal 10:literal) - (r:integer/routine <- fork-helper read-rank:fn nil:literal/globals 2000:literal/limit stdin:channel-address dummy:terminal-address) - (c:character <- copy ((#\9 literal))) - (x:tagged-value <- save-type c:character) - (stdin:channel-address/deref <- write stdin:channel-address x:tagged-value) - (sleep until-routine-done:literal r:integer/routine) -) -(when (or (ran-to-completion 'read-rank) - (let routine routine-running!read-rank - (~posmatch "rank too high" rep.routine!error))) - (prn "F - 'read-rank' checks that rank lies between '1' and '8'")) - -(reset2) -(new-trace "print-board") -(run-code main - (default-space:space-address <- new space:literal 30:literal/capacity) -;? ($print (("init-array\n" literal))) ;? 1 - (initial-position:integer-array-address <- init-array ((#\R literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\r literal)) - ((#\N literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\n literal)) - ((#\B literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\b literal)) - ((#\Q literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\q literal)) - ((#\K literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\k literal)) - ((#\B literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\b literal)) - ((#\N literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\n literal)) - ((#\R literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\r literal))) -;? ($print (("init-board\n" literal))) ;? 1 - (b:board-address <- init-board initial-position:integer-array-address) - (screen:terminal-address <- init-fake-terminal 20:literal 10:literal) - (print-board screen:terminal-address b:board-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 20 - (+ "8 | r n b q k b n r " - "7 | p p p p p p p p " - "6 | _ _ _ _ _ _ _ _ " - "5 | _ _ _ _ _ _ _ _ " - "4 | _ _ _ _ _ _ _ _ " - "3 | _ _ _ _ _ _ _ _ " - "2 | P P P P P P P P " - "1 | R N B Q K B N R " - " +---------------- " - " a b c d e f g h ")) - (prn "F - print-board works; chessboard begins at @memory*.1")) - -; todo: how to fold this more elegantly with the previous test? -(reset2) -(new-trace "make-move") -(run-code main - (default-space:space-address <- new space:literal 30:literal/capacity) - ; fake screen - (screen:terminal-address <- init-fake-terminal 20:literal 10:literal) - ; initial position - (initial-position:integer-array-address <- init-array ((#\R literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\r literal)) - ((#\N literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\n literal)) - ((#\B literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\b literal)) - ((#\Q literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\q literal)) - ((#\K literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\k literal)) - ((#\B literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\b literal)) - ((#\N literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\n literal)) - ((#\R literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\r literal))) - (b:board-address <- init-board initial-position:integer-array-address) - ; move: a2-a4 - (m:move-address <- new move:literal) - (f:integer-integer-pair-address <- get-address m:move-address/deref from:offset) - (dest:integer-address <- get-address f:integer-integer-pair-address/deref 0:offset) - (dest:integer-address/deref <- copy 0:literal) ; from-file: a - (dest:integer-address <- get-address f:integer-integer-pair-address/deref 1:offset) - (dest:integer-address/deref <- copy 1:literal) ; from-rank: 2 - (t0:integer-integer-pair-address <- get-address m:move-address/deref to:offset) - (dest:integer-address <- get-address t0:integer-integer-pair-address/deref 0:offset) - (dest:integer-address/deref <- copy 0:literal) ; to-file: a - (dest:integer-address <- get-address t0:integer-integer-pair-address/deref 1:offset) - (dest:integer-address/deref <- copy 3:literal) ; to-rank: 4 - (b:board-address <- make-move b:board-address m:move-address) - (print-board screen:terminal-address b:board-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 20 - (+ "8 | r n b q k b n r " - "7 | p p p p p p p p " - "6 | _ _ _ _ _ _ _ _ " - "5 | _ _ _ _ _ _ _ _ " - "4 | P _ _ _ _ _ _ _ " - "3 | _ _ _ _ _ _ _ _ " - "2 | _ P P P P P P P " - "1 | R N B Q K B N R " - " +---------------- " - " a b c d e f g h ")) - (prn "F - make-move works; chessboard begins at @memory*.1")) - -(reset2) |