diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-09-07 10:37:27 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-09-07 10:37:27 -0700 |
commit | f5465e1220d73e237c51897b7d1211ec53b0dc04 (patch) | |
tree | 939ee8e57241b8515aede8106c6420e330ace75a /html/chessboard.mu.html | |
parent | 5ccf2653fb7d31b013f77df4e92e964e45c54f8a (diff) | |
download | mu-f5465e1220d73e237c51897b7d1211ec53b0dc04.tar.gz |
2177
Diffstat (limited to 'html/chessboard.mu.html')
-rw-r--r-- | html/chessboard.mu.html | 850 |
1 files changed, 427 insertions, 423 deletions
diff --git a/html/chessboard.mu.html b/html/chessboard.mu.html index 75e01db0..56b4842e 100644 --- a/html/chessboard.mu.html +++ b/html/chessboard.mu.html @@ -13,12 +13,16 @@ pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; } body { font-family: monospace; color: #eeeeee; background-color: #080808; } * { font-size: 1.05em; } +.muRecipe { color: #ff8700; } +.muData { color: #ffff00; } .SalientComment { color: #00ffff; } -.CommentedCode { color: #6c6c6c; } -.Underlined { color: #c000c0; text-decoration: underline; } +.muScenario { color: #00af00; } .Comment { color: #9090ff; } +.Constant { color: #00a0a0; } .Special { color: #ff6060; } -.Identifier { color: #804000; } +.CommentedCode { color: #6c6c6c; } +.Delimiter { color: #a04060; } +.muControl { color: #c0a020; } --> </style> @@ -34,195 +38,195 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } <span class="Comment"># display the position after each move.</span> <span class="Comment"># recipes are mu's names for functions</span> -recipe main [ +<span class="muRecipe">recipe</span> main [ open-console <span class="Comment"># take control of screen, keyboard and mouse</span> <span class="Comment"># The chessboard recipe takes keyboard and screen objects as 'ingredients'.</span> - # + <span class="Comment">#</span> <span class="Comment"># In mu it is good form (though not required) to explicitly show the</span> <span class="Comment"># hardware you rely on.</span> - # + <span class="Comment">#</span> <span class="Comment"># The chessboard also returns the same keyboard and screen objects. In mu it</span> <span class="Comment"># is good form to not modify ingredients of a recipe unless they are also</span> <span class="Comment"># results. Here we clearly modify both keyboard and screen, so we return</span> <span class="Comment"># both.</span> - # + <span class="Comment">#</span> <span class="Comment"># Here the console and screen are both 0, which usually indicates real</span> <span class="Comment"># hardware rather than a fake for testing as you'll see below.</span> - 0/screen, 0/console<span class="Special"> <- </span>chessboard 0/screen, 0/console + <span class="Constant">0/screen</span>, <span class="Constant">0/console</span><span class="Special"> <- </span>chessboard <span class="Constant">0/screen</span>, <span class="Constant">0/console</span> close-console <span class="Comment"># cleanup screen, keyboard and mouse</span> ] <span class="SalientComment">## But enough about mu. Here's what it looks like to run the chessboard program.</span> -scenario <span class="Identifier">print</span>-board-and-<span class="Identifier">read</span>-move [ +<span class="muScenario">scenario</span> print-board-and-read-move [ $close-trace <span class="Comment"># administrivia: most scenarios save and check traces, but this one gets too large/slow</span> <span class="Comment"># we'll make the screen really wide because the program currently prints out a long line</span> - <span class="Identifier">assume</span>-screen 120/width, 20/height + assume-screen <span class="Constant">120/width</span>, <span class="Constant">20/height</span> <span class="Comment"># initialize keyboard to type in a move</span> - <span class="Identifier">assume</span>-console [ - <span class="Identifier">type</span> [a2-a4 -] + assume-console [ + type <span class="Constant">[a2-a4</span> +<span class="Constant">]</span> ] run [ screen:address, console:address<span class="Special"> <- </span>chessboard screen:address, console:address <span class="Comment"># icon for the cursor</span> - screen<span class="Special"> <- </span><span class="Identifier">print</span>-character screen, 9251/␣ + screen<span class="Special"> <- </span>print-character screen, <span class="Constant">9251/␣</span> ] screen-should-contain [ <span class="Comment"># 1 2 3 4 5 6 7 8 9 10 11</span> <span class="Comment"># 012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789</span> - .Stupid text-mode chessboard. White pieces <span class="Identifier">in</span> uppercase; black pieces <span class="Identifier">in</span> lowercase. No checking for legal moves. . - . . - .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 . - . . - .Type <span class="Identifier">in</span> your move as <from square>-<to square>. For example: 'a2-a4'. Then press <enter>. . - . . - .Hit 'q' to exit. . - . . - .move: ␣ . - . . - . . + <span class="Constant"> .Stupid text-mode chessboard. White pieces in uppercase; black pieces in lowercase. No checking for legal moves. .</span> + <span class="Constant"> . .</span> + <span class="Constant"> .8 | r n b q k b n r .</span> + <span class="Constant"> .7 | p p p p p p p p .</span> + <span class="Constant"> .6 | .</span> + <span class="Constant"> .5 | .</span> + <span class="Constant"> .4 | P .</span> + <span class="Constant"> .3 | .</span> + <span class="Constant"> .2 | P P P P P P P .</span> + <span class="Constant"> .1 | R N B Q K B N R .</span> + <span class="Constant"> . +---------------- .</span> + <span class="Constant"> . a b c d e f g h .</span> + <span class="Constant"> . .</span> + <span class="Constant"> .Type in your move as <from square>-<to square>. For example: 'a2-a4'. Then press <enter>. .</span> + <span class="Constant"> . .</span> + <span class="Constant"> .Hit 'q' to exit. .</span> + <span class="Constant"> . .</span> + <span class="Constant"> .move: ␣ .</span> + <span class="Constant"> . .</span> + <span class="Constant"> . .</span> ] ] <span class="SalientComment">## Here's how 'chessboard' is implemented.</span> -recipe chessboard [ - <span class="Underlined">local</span>-scope - screen:address<span class="Special"> <- </span>next-ingredient - console:address<span class="Special"> <- </span>next-ingredient - board:address:<span class="Identifier">array</span>:address:<span class="Identifier">array</span>:character<span class="Special"> <- </span>initial-position +<span class="muRecipe">recipe</span> chessboard [ + <span class="Constant">local-scope</span> + screen:address<span class="Special"> <- </span><span class="Constant">next-ingredient</span> + console:address<span class="Special"> <- </span><span class="Constant">next-ingredient</span> + board:address:array:address:array:character<span class="Special"> <- </span>initial-position <span class="Comment"># hook up stdin</span> - stdin:address:channel<span class="Special"> <- </span><span class="Identifier">new</span>-channel 10/capacity - start-running send-keys-to-channel:recipe, console, stdin, screen + stdin:address:channel<span class="Special"> <- </span>new-channel <span class="Constant">10/capacity</span> + start-running <span class="Constant">send-keys-to-channel:recipe</span>, console, stdin, screen <span class="Comment"># buffer lines in stdin</span> - buffered-stdin:address:channel<span class="Special"> <- </span><span class="Identifier">new</span>-channel 10/capacity - start-running buffer-lines:recipe, stdin, buffered-stdin - { - msg:address:<span class="Identifier">array</span>:character<span class="Special"> <- </span><span class="Identifier">new</span> [Stupid text-mode chessboard. White pieces <span class="Identifier">in</span> uppercase; black pieces <span class="Identifier">in</span> lowercase. No checking for legal moves. -] - <span class="Identifier">print</span>-string screen, msg + buffered-stdin:address:channel<span class="Special"> <- </span>new-channel <span class="Constant">10/capacity</span> + start-running <span class="Constant">buffer-lines:recipe</span>, stdin, buffered-stdin + <span class="Delimiter">{</span> + msg:address:array:character<span class="Special"> <- </span>new <span class="Constant">[Stupid text-mode chessboard. White pieces in uppercase; black pieces in lowercase. No checking for legal moves.</span> +<span class="Constant">]</span> + print-string screen, msg cursor-to-next-line screen - <span class="Identifier">print</span>-board screen, board + print-board screen, board cursor-to-next-line screen - msg<span class="Special"> <- </span><span class="Identifier">new</span> [Type <span class="Identifier">in</span> your move as <from square>-<to square>. For example: 'a2-a4'. Then press <enter>. -] - <span class="Identifier">print</span>-string screen, msg + msg<span class="Special"> <- </span>new <span class="Constant">[Type in your move as <from square>-<to square>. For example: 'a2-a4'. Then press <enter>.</span> +<span class="Constant">]</span> + print-string screen, msg cursor-to-next-line screen - msg<span class="Special"> <- </span><span class="Identifier">new</span> [Hit 'q' to exit. -] - <span class="Identifier">print</span>-string screen, msg - { + msg<span class="Special"> <- </span>new <span class="Constant">[Hit 'q' to exit.</span> +<span class="Constant">]</span> + print-string screen, msg + <span class="Delimiter">{</span> cursor-to-next-line screen - msg<span class="Special"> <- </span><span class="Identifier">new</span> [move: ] - <span class="Identifier">print</span>-string screen, msg - m:address:move, <span class="Identifier">quit</span>:boolean, <span class="Identifier">error</span>:boolean<span class="Special"> <- </span><span class="Identifier">read</span>-move buffered-stdin, screen - break-if <span class="Identifier">quit</span>, +<span class="Identifier">quit</span>:label + msg<span class="Special"> <- </span>new <span class="Constant">[move: ]</span> + print-string screen, msg + m:address:move, quit:boolean, error:boolean<span class="Special"> <- </span>read-move buffered-stdin, screen + <span class="muControl">break-if</span> quit, <span class="Constant">+quit:label</span> buffered-stdin<span class="Special"> <- </span>clear-channel buffered-stdin <span class="Comment"># cleanup after error. todo: test this?</span> - loop-if <span class="Identifier">error</span> - } + <span class="muControl">loop-if</span> error + <span class="Delimiter">}</span> board<span class="Special"> <- </span>make-move board, m clear-screen screen - loop - } - +<span class="Identifier">quit</span> + <span class="muControl">loop</span> + <span class="Delimiter">}</span> +<span class="Constant"> +quit</span> ] <span class="SalientComment">## a board is an array of files, a file is an array of characters (squares)</span> -recipe <span class="Identifier">new</span>-board [ - <span class="Underlined">local</span>-scope - initial-position:address:<span class="Identifier">array</span>:number<span class="Special"> <- </span>next-ingredient +<span class="muRecipe">recipe</span> new-board [ + <span class="Constant">local-scope</span> + initial-position:address:array:number<span class="Special"> <- </span><span class="Constant">next-ingredient</span> <span class="Comment"># assert(length(initial-position) == 64)</span> - len:number<span class="Special"> <- </span><span class="Identifier">length</span> *initial-position - correct-<span class="Identifier">length</span>?:boolean<span class="Special"> <- </span>equal len, 64 - <span class="Identifier">assert</span> correct-<span class="Identifier">length</span>?, [chessboard had incorrect size] + len:number<span class="Special"> <- </span>length *initial-position + correct-length?:boolean<span class="Special"> <- </span>equal len, <span class="Constant">64</span> + assert correct-length?, <span class="Constant">[chessboard had incorrect size]</span> <span class="Comment"># board is an array of pointers to files; file is an array of characters</span> - board:address:<span class="Identifier">array</span>:address:<span class="Identifier">array</span>:character<span class="Special"> <- </span><span class="Identifier">new</span> location:<span class="Identifier">type</span>, 8 - col:number<span class="Special"> <- </span><span class="Identifier">copy</span> 0 - { - done?:boolean<span class="Special"> <- </span>equal col, 8 - break-if done? - file:address:address:<span class="Identifier">array</span>:character<span class="Special"> <- </span>index-address *board, col - *file<span class="Special"> <- </span><span class="Identifier">new</span>-file initial-position, col - col<span class="Special"> <- </span>add col, 1 - loop - } - reply board + board:address:array:address:array:character<span class="Special"> <- </span>new <span class="Constant">location:type</span>, <span class="Constant">8</span> + col:number<span class="Special"> <- </span>copy <span class="Constant">0</span> + <span class="Delimiter">{</span> + done?:boolean<span class="Special"> <- </span>equal col, <span class="Constant">8</span> + <span class="muControl">break-if</span> done? + file:address:address:array:character<span class="Special"> <- </span>index-address *board, col + *file<span class="Special"> <- </span>new-file initial-position, col + col<span class="Special"> <- </span>add col, <span class="Constant">1</span> + <span class="muControl">loop</span> + <span class="Delimiter">}</span> + <span class="muControl">reply</span> board ] -recipe <span class="Identifier">new</span>-file [ - <span class="Underlined">local</span>-scope - position:address:<span class="Identifier">array</span>:number<span class="Special"> <- </span>next-ingredient - index:number<span class="Special"> <- </span>next-ingredient - index<span class="Special"> <- </span>multiply index, 8 - result:address:<span class="Identifier">array</span>:character<span class="Special"> <- </span><span class="Identifier">new</span> character:<span class="Identifier">type</span>, 8 - row:number<span class="Special"> <- </span><span class="Identifier">copy</span> 0 - { - done?:boolean<span class="Special"> <- </span>equal row, 8 - break-if done? +<span class="muRecipe">recipe</span> new-file [ + <span class="Constant">local-scope</span> + position:address:array:number<span class="Special"> <- </span><span class="Constant">next-ingredient</span> + index:number<span class="Special"> <- </span><span class="Constant">next-ingredient</span> + index<span class="Special"> <- </span>multiply index, <span class="Constant">8</span> + result:address:array:character<span class="Special"> <- </span>new <span class="Constant">character:type</span>, <span class="Constant">8</span> + row:number<span class="Special"> <- </span>copy <span class="Constant">0</span> + <span class="Delimiter">{</span> + done?:boolean<span class="Special"> <- </span>equal row, <span class="Constant">8</span> + <span class="muControl">break-if</span> done? dest:address:character<span class="Special"> <- </span>index-address *result, row *dest<span class="Special"> <- </span>index *position, index - row<span class="Special"> <- </span>add row, 1 - index<span class="Special"> <- </span>add index, 1 - loop - } - reply result + row<span class="Special"> <- </span>add row, <span class="Constant">1</span> + index<span class="Special"> <- </span>add index, <span class="Constant">1</span> + <span class="muControl">loop</span> + <span class="Delimiter">}</span> + <span class="muControl">reply</span> result ] -recipe <span class="Identifier">print</span>-board [ - <span class="Underlined">local</span>-scope - screen:address<span class="Special"> <- </span>next-ingredient - board:address:<span class="Identifier">array</span>:address:<span class="Identifier">array</span>:character<span class="Special"> <- </span>next-ingredient - row:number<span class="Special"> <- </span><span class="Identifier">copy</span> 7 <span class="Comment"># start printing from the top of the board</span> +<span class="muRecipe">recipe</span> print-board [ + <span class="Constant">local-scope</span> + screen:address<span class="Special"> <- </span><span class="Constant">next-ingredient</span> + board:address:array:address:array:character<span class="Special"> <- </span><span class="Constant">next-ingredient</span> + row:number<span class="Special"> <- </span>copy <span class="Constant">7</span> <span class="Comment"># start printing from the top of the board</span> <span class="Comment"># print each row</span> - { - done?:boolean<span class="Special"> <- </span>lesser-than row, 0 - break-if done? + <span class="Delimiter">{</span> + done?:boolean<span class="Special"> <- </span>lesser-than row, <span class="Constant">0</span> + <span class="muControl">break-if</span> done? <span class="Comment"># print rank number as a legend</span> - rank:number<span class="Special"> <- </span>add row, 1 - <span class="Identifier">print</span>-integer screen, rank - s:address:<span class="Identifier">array</span>:character<span class="Special"> <- </span><span class="Identifier">new</span> [ | ] - <span class="Identifier">print</span>-string screen, s + rank:number<span class="Special"> <- </span>add row, <span class="Constant">1</span> + print-integer screen, rank + s:address:array:character<span class="Special"> <- </span>new <span class="Constant">[ | ]</span> + print-string screen, s <span class="Comment"># print each square in the row</span> - col:number<span class="Special"> <- </span><span class="Identifier">copy</span> 0 - { - done?:boolean<span class="Special"> <- </span>equal col:number, 8 - break-if done?:boolean - f:address:<span class="Identifier">array</span>:character<span class="Special"> <- </span>index *board, col + col:number<span class="Special"> <- </span>copy <span class="Constant">0</span> + <span class="Delimiter">{</span> + done?:boolean<span class="Special"> <- </span>equal col:number, <span class="Constant">8</span> + <span class="muControl">break-if</span> done?:boolean + f:address:array:character<span class="Special"> <- </span>index *board, col c:character<span class="Special"> <- </span>index *f, row - <span class="Identifier">print</span>-character screen, c - <span class="Identifier">print</span>-character screen, 32/space - col<span class="Special"> <- </span>add col, 1 - loop - } - row<span class="Special"> <- </span>subtract row, 1 + print-character screen, c + print-character screen, <span class="Constant">32/space</span> + col<span class="Special"> <- </span>add col, <span class="Constant">1</span> + <span class="muControl">loop</span> + <span class="Delimiter">}</span> + row<span class="Special"> <- </span>subtract row, <span class="Constant">1</span> cursor-to-next-line screen - loop - } + <span class="muControl">loop</span> + <span class="Delimiter">}</span> <span class="Comment"># print file letters as legend</span> - s<span class="Special"> <- </span><span class="Identifier">new</span> [ +----------------] - <span class="Identifier">print</span>-string screen, s + s<span class="Special"> <- </span>new <span class="Constant">[ +----------------]</span> + print-string screen, s screen<span class="Special"> <- </span>cursor-to-next-line screen - s<span class="Special"> <- </span><span class="Identifier">new</span> [ a b c d e f g h] - screen<span class="Special"> <- </span><span class="Identifier">print</span>-string screen, s + s<span class="Special"> <- </span>new <span class="Constant">[ a b c d e f g h]</span> + screen<span class="Special"> <- </span>print-string screen, s screen<span class="Special"> <- </span>cursor-to-next-line screen ] <span class="Comment"># board:address:array:address:array:character <- initial-position</span> -recipe initial-position [ - <span class="Underlined">local</span>-scope +<span class="muRecipe">recipe</span> initial-position [ + <span class="Constant">local-scope</span> <span class="Comment"># layout in memory (in raster order):</span> <span class="Comment"># R P _ _ _ _ p r</span> <span class="Comment"># N P _ _ _ _ p n</span> @@ -232,7 +236,7 @@ recipe initial-position [ <span class="Comment"># B P _ _ _ _ p B</span> <span class="Comment"># N P _ _ _ _ p n</span> <span class="Comment"># R P _ _ _ _ p r</span> - initial-position:address:<span class="Identifier">array</span>:number<span class="Special"> <- </span><span class="Identifier">new</span>-<span class="Identifier">array</span> 82/R, 80/P, 32/blank, 32/blank, 32/blank, 32/blank, 112/p, 114/r, 78/N, 80/P, 32/blank, 32/blank, 32/blank, 32/blank, 112/p, 110/n, 66/B, 80/P, 32/blank, 32/blank, 32/blank, 32/blank, 112/p, 98/b, 81/Q, 80/P, 32/blank, 32/blank, 32/blank, 32/blank, 112/p, 113/q, 75/K, 80/P, 32/blank, 32/blank, 32/blank, 32/blank, 112/p, 107/k, 66/B, 80/P, 32/blank, 32/blank, 32/blank, 32/blank, 112/p, 98/b, 78/N, 80/P, 32/blank, 32/blank, 32/blank, 32/blank, 112/p, 110/n, 82/R, 80/P, 32/blank, 32/blank, 32/blank, 32/blank, 112/p, 114/r + initial-position:address:array:number<span class="Special"> <- </span>new-array <span class="Constant">82/R</span>, <span class="Constant">80/P</span>, <span class="Constant">32/blank</span>, <span class="Constant">32/blank</span>, <span class="Constant">32/blank</span>, <span class="Constant">32/blank</span>, <span class="Constant">112/p</span>, <span class="Constant">114/r</span>, <span class="Constant">78/N</span>, <span class="Constant">80/P</span>, <span class="Constant">32/blank</span>, <span class="Constant">32/blank</span>, <span class="Constant">32/blank</span>, <span class="Constant">32/blank</span>, <span class="Constant">112/p</span>, <span class="Constant">110/n</span>, <span class="Constant">66/B</span>, <span class="Constant">80/P</span>, <span class="Constant">32/blank</span>, <span class="Constant">32/blank</span>, <span class="Constant">32/blank</span>, <span class="Constant">32/blank</span>, <span class="Constant">112/p</span>, <span class="Constant">98/b</span>, <span class="Constant">81/Q</span>, <span class="Constant">80/P</span>, <span class="Constant">32/blank</span>, <span class="Constant">32/blank</span>, <span class="Constant">32/blank</span>, <span class="Constant">32/blank</span>, <span class="Constant">112/p</span>, <span class="Constant">113/q</span>, <span class="Constant">75/K</span>, <span class="Constant">80/P</span>, <span class="Constant">32/blank</span>, <span class="Constant">32/blank</span>, <span class="Constant">32/blank</span>, <span class="Constant">32/blank</span>, <span class="Constant">112/p</span>, <span class="Constant">107/k</span>, <span class="Constant">66/B</span>, <span class="Constant">80/P</span>, <span class="Constant">32/blank</span>, <span class="Constant">32/blank</span>, <span class="Constant">32/blank</span>, <span class="Constant">32/blank</span>, <span class="Constant">112/p</span>, <span class="Constant">98/b</span>, <span class="Constant">78/N</span>, <span class="Constant">80/P</span>, <span class="Constant">32/blank</span>, <span class="Constant">32/blank</span>, <span class="Constant">32/blank</span>, <span class="Constant">32/blank</span>, <span class="Constant">112/p</span>, <span class="Constant">110/n</span>, <span class="Constant">82/R</span>, <span class="Constant">80/P</span>, <span class="Constant">32/blank</span>, <span class="Constant">32/blank</span>, <span class="Constant">32/blank</span>, <span class="Constant">32/blank</span>, <span class="Constant">112/p</span>, <span class="Constant">114/r</span> <span class="CommentedCode">#? 82/R, 80/P, 32/blank, 32/blank, 32/blank, 32/blank, 112/p, 114/r,</span> <span class="CommentedCode">#? 78/N, 80/P, 32/blank, 32/blank, 32/blank, 32/blank, 112/p, 110/n,</span> <span class="CommentedCode">#? 66/B, 80/P, 32/blank, 32/blank, 32/blank, 32/blank, 112/p, 98/b, </span> @@ -241,36 +245,36 @@ recipe initial-position [ <span class="CommentedCode">#? 66/B, 80/P, 32/blank, 32/blank, 32/blank, 32/blank, 112/p, 98/b,</span> <span class="CommentedCode">#? 78/N, 80/P, 32/blank, 32/blank, 32/blank, 32/blank, 112/p, 110/n,</span> <span class="CommentedCode">#? 82/R, 80/P, 32/blank, 32/blank, 32/blank, 32/blank, 112/p, 114/r</span> - board:address:<span class="Identifier">array</span>:address:<span class="Identifier">array</span>:character<span class="Special"> <- </span><span class="Identifier">new</span>-board initial-position - reply board + board:address:array:address:array:character<span class="Special"> <- </span>new-board initial-position + <span class="muControl">reply</span> board ] -scenario printing-the-board [ - <span class="Identifier">assume</span>-screen 30/width, 12/height +<span class="muScenario">scenario</span> printing-the-board [ + assume-screen <span class="Constant">30/width</span>, <span class="Constant">12/height</span> run [ - 1:address:<span class="Identifier">array</span>:address:<span class="Identifier">array</span>:character/board<span class="Special"> <- </span>initial-position - screen:address<span class="Special"> <- </span><span class="Identifier">print</span>-board screen:address, 1:address:<span class="Identifier">array</span>:address:<span class="Identifier">array</span>:character/board + <span class="Constant">1</span>:address:array:address:array:character/board<span class="Special"> <- </span>initial-position + screen:address<span class="Special"> <- </span>print-board screen:address, <span class="Constant">1</span>:address:array:address:array:character/board ] screen-should-contain [ <span class="Comment"># 012345678901234567890123456789</span> - .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 . - . . - . . + <span class="Constant"> .8 | r n b q k b n r .</span> + <span class="Constant"> .7 | p p p p p p p p .</span> + <span class="Constant"> .6 | .</span> + <span class="Constant"> .5 | .</span> + <span class="Constant"> .4 | .</span> + <span class="Constant"> .3 | .</span> + <span class="Constant"> .2 | P P P P P P P P .</span> + <span class="Constant"> .1 | R N B Q K B N R .</span> + <span class="Constant"> . +---------------- .</span> + <span class="Constant"> . a b c d e f g h .</span> + <span class="Constant"> . .</span> + <span class="Constant"> . .</span> ] ] <span class="SalientComment">## data structure: move</span> -container move [ +<span class="muData">container</span> move [ <span class="Comment"># valid range: 0-7</span> from-file:number from-rank:number @@ -280,360 +284,360 @@ container move [ <span class="Comment"># result:address:move, quit?:boolean, error?:boolean <- read-move stdin:address:channel, screen:address</span> <span class="Comment"># prints only error messages to screen</span> -recipe <span class="Identifier">read</span>-move [ - <span class="Underlined">local</span>-scope - stdin:address:channel<span class="Special"> <- </span>next-ingredient - screen:address<span class="Special"> <- </span>next-ingredient - from-file:number, <span class="Identifier">quit</span>?:boolean, <span class="Identifier">error</span>?:boolean<span class="Special"> <- </span><span class="Identifier">read</span>-file stdin, screen - reply-if <span class="Identifier">quit</span>?, 0/dummy, <span class="Identifier">quit</span>?, <span class="Identifier">error</span>? - reply-if <span class="Identifier">error</span>?, 0/dummy, <span class="Identifier">quit</span>?, <span class="Identifier">error</span>? +<span class="muRecipe">recipe</span> read-move [ + <span class="Constant">local-scope</span> + stdin:address:channel<span class="Special"> <- </span><span class="Constant">next-ingredient</span> + screen:address<span class="Special"> <- </span><span class="Constant">next-ingredient</span> + from-file:number, quit?:boolean, error?:boolean<span class="Special"> <- </span>read-file stdin, screen + <span class="muControl">reply-if</span> quit?, <span class="Constant">0/dummy</span>, quit?, error? + <span class="muControl">reply-if</span> error?, <span class="Constant">0/dummy</span>, quit?, error? <span class="Comment"># construct the move object</span> - result:address:move<span class="Special"> <- </span><span class="Identifier">new</span> move:<span class="Identifier">type</span> - x:address:number<span class="Special"> <- </span>get-address *result, from-file:offset - *x<span class="Special"> <- </span><span class="Identifier">copy</span> from-file - x<span class="Special"> <- </span>get-address *result, from-rank:offset - *x, <span class="Identifier">quit</span>?, <span class="Identifier">error</span>?<span class="Special"> <- </span><span class="Identifier">read</span>-rank stdin, screen - reply-if <span class="Identifier">quit</span>?, 0/dummy, <span class="Identifier">quit</span>?, <span class="Identifier">error</span>? - reply-if <span class="Identifier">error</span>?, 0/dummy, <span class="Identifier">quit</span>?, <span class="Identifier">error</span>? - <span class="Identifier">error</span>?<span class="Special"> <- </span>expect-from-channel stdin, 45/dash, screen - reply-if <span class="Identifier">error</span>?, 0/dummy, 0/<span class="Identifier">quit</span>, <span class="Identifier">error</span>? - x<span class="Special"> <- </span>get-address *result, to-file:offset - *x, <span class="Identifier">quit</span>?, <span class="Identifier">error</span>?<span class="Special"> <- </span><span class="Identifier">read</span>-file stdin, screen - reply-if <span class="Identifier">quit</span>?:boolean, 0/dummy, <span class="Identifier">quit</span>?:boolean, <span class="Identifier">error</span>?:boolean - reply-if <span class="Identifier">error</span>?:boolean, 0/dummy, <span class="Identifier">quit</span>?:boolean, <span class="Identifier">error</span>?:boolean - x:address:number<span class="Special"> <- </span>get-address *result, to-rank:offset - *x, <span class="Identifier">quit</span>?, <span class="Identifier">error</span>?<span class="Special"> <- </span><span class="Identifier">read</span>-rank stdin, screen - reply-if <span class="Identifier">quit</span>?, 0/dummy, <span class="Identifier">quit</span>?, <span class="Identifier">error</span>? - reply-if <span class="Identifier">error</span>?, 0/dummy, <span class="Identifier">quit</span>?, <span class="Identifier">error</span>? - <span class="Identifier">error</span>?<span class="Special"> <- </span>expect-from-channel stdin, 10/newline, screen - reply-if <span class="Identifier">error</span>?, 0/dummy, 0/<span class="Identifier">quit</span>, <span class="Identifier">error</span>? - reply result, <span class="Identifier">quit</span>?, <span class="Identifier">error</span>? + result:address:move<span class="Special"> <- </span>new <span class="Constant">move:type</span> + x:address:number<span class="Special"> <- </span>get-address *result, <span class="Constant">from-file:offset</span> + *x<span class="Special"> <- </span>copy from-file + x<span class="Special"> <- </span>get-address *result, <span class="Constant">from-rank:offset</span> + *x, quit?, error?<span class="Special"> <- </span>read-rank stdin, screen + <span class="muControl">reply-if</span> quit?, <span class="Constant">0/dummy</span>, quit?, error? + <span class="muControl">reply-if</span> error?, <span class="Constant">0/dummy</span>, quit?, error? + error?<span class="Special"> <- </span>expect-from-channel stdin, <span class="Constant">45/dash</span>, screen + <span class="muControl">reply-if</span> error?, <span class="Constant">0/dummy</span>, <span class="Constant">0/quit</span>, error? + x<span class="Special"> <- </span>get-address *result, <span class="Constant">to-file:offset</span> + *x, quit?, error?<span class="Special"> <- </span>read-file stdin, screen + <span class="muControl">reply-if</span> quit?:boolean, <span class="Constant">0/dummy</span>, quit?:boolean, error?:boolean + <span class="muControl">reply-if</span> error?:boolean, <span class="Constant">0/dummy</span>, quit?:boolean, error?:boolean + x:address:number<span class="Special"> <- </span>get-address *result, <span class="Constant">to-rank:offset</span> + *x, quit?, error?<span class="Special"> <- </span>read-rank stdin, screen + <span class="muControl">reply-if</span> quit?, <span class="Constant">0/dummy</span>, quit?, error? + <span class="muControl">reply-if</span> error?, <span class="Constant">0/dummy</span>, quit?, error? + error?<span class="Special"> <- </span>expect-from-channel stdin, <span class="Constant">10/newline</span>, screen + <span class="muControl">reply-if</span> error?, <span class="Constant">0/dummy</span>, <span class="Constant">0/quit</span>, error? + <span class="muControl">reply</span> result, quit?, error? ] <span class="Comment"># file:number, quit:boolean, error:boolean <- read-file stdin:address:channel, screen:address</span> <span class="Comment"># valid values for file: 0-7</span> -recipe <span class="Identifier">read</span>-file [ - <span class="Underlined">local</span>-scope - stdin:address:channel<span class="Special"> <- </span>next-ingredient - screen:address<span class="Special"> <- </span>next-ingredient - c:character, stdin<span class="Special"> <- </span><span class="Identifier">read</span> stdin - { - q-pressed?:boolean<span class="Special"> <- </span>equal c, 81/Q - break-unless q-pressed? - reply 0/dummy, 1/<span class="Identifier">quit</span>, 0/<span class="Identifier">error</span> - } - { - q-pressed?<span class="Special"> <- </span>equal c, 113/q - break-unless q-pressed? - reply 0/dummy, 1/<span class="Identifier">quit</span>, 0/<span class="Identifier">error</span> - } - { - empty-fake-keyboard?:boolean<span class="Special"> <- </span>equal c, 0/eof - break-unless empty-fake-keyboard? - reply 0/dummy, 1/<span class="Identifier">quit</span>, 0/<span class="Identifier">error</span> - } - { - newline?:boolean<span class="Special"> <- </span>equal c, 10/newline - break-unless newline? - <span class="Identifier">error</span>-message:address:<span class="Identifier">array</span>:character<span class="Special"> <- </span><span class="Identifier">new</span> [that's not enough] - <span class="Identifier">print</span>-string screen, <span class="Identifier">error</span>-message - reply 0/dummy, 0/<span class="Identifier">quit</span>, 1/<span class="Identifier">error</span> - } - file:number<span class="Special"> <- </span>subtract c, 97/a +<span class="muRecipe">recipe</span> read-file [ + <span class="Constant">local-scope</span> + stdin:address:channel<span class="Special"> <- </span><span class="Constant">next-ingredient</span> + screen:address<span class="Special"> <- </span><span class="Constant">next-ingredient</span> + c:character, stdin<span class="Special"> <- </span>read stdin + <span class="Delimiter">{</span> + q-pressed?:boolean<span class="Special"> <- </span>equal c, <span class="Constant">81/Q</span> + <span class="muControl">break-unless</span> q-pressed? + <span class="muControl">reply</span> <span class="Constant">0/dummy</span>, <span class="Constant">1/quit</span>, <span class="Constant">0/error</span> + <span class="Delimiter">}</span> + <span class="Delimiter">{</span> + q-pressed?<span class="Special"> <- </span>equal c, <span class="Constant">113/q</span> + <span class="muControl">break-unless</span> q-pressed? + <span class="muControl">reply</span> <span class="Constant">0/dummy</span>, <span class="Constant">1/quit</span>, <span class="Constant">0/error</span> + <span class="Delimiter">}</span> + <span class="Delimiter">{</span> + empty-fake-keyboard?:boolean<span class="Special"> <- </span>equal c, <span class="Constant">0/eof</span> + <span class="muControl">break-unless</span> empty-fake-keyboard? + <span class="muControl">reply</span> <span class="Constant">0/dummy</span>, <span class="Constant">1/quit</span>, <span class="Constant">0/error</span> + <span class="Delimiter">}</span> + <span class="Delimiter">{</span> + newline?:boolean<span class="Special"> <- </span>equal c, <span class="Constant">10/newline</span> + <span class="muControl">break-unless</span> newline? + error-message:address:array:character<span class="Special"> <- </span>new <span class="Constant">[that's not enough]</span> + print-string screen, error-message + <span class="muControl">reply</span> <span class="Constant">0/dummy</span>, <span class="Constant">0/quit</span>, <span class="Constant">1/error</span> + <span class="Delimiter">}</span> + file:number<span class="Special"> <- </span>subtract c, <span class="Constant">97/a</span> <span class="Comment"># 'a' <= file <= 'h'</span> - { - above-<span class="Identifier">min</span>:boolean<span class="Special"> <- </span>greater-or-equal file, 0 - break-if above-<span class="Identifier">min</span> - <span class="Identifier">error</span>-message:address:<span class="Identifier">array</span>:character<span class="Special"> <- </span><span class="Identifier">new</span> [file too low: ] - <span class="Identifier">print</span>-string screen, <span class="Identifier">error</span>-message - <span class="Identifier">print</span>-character screen, c + <span class="Delimiter">{</span> + above-min:boolean<span class="Special"> <- </span>greater-or-equal file, <span class="Constant">0</span> + <span class="muControl">break-if</span> above-min + error-message:address:array:character<span class="Special"> <- </span>new <span class="Constant">[file too low: ]</span> + print-string screen, error-message + print-character screen, c cursor-to-next-line screen - reply 0/dummy, 0/<span class="Identifier">quit</span>, 1/<span class="Identifier">error</span> - } - { - below-<span class="Identifier">max</span>:boolean<span class="Special"> <- </span>lesser-than file, 8 - break-if below-<span class="Identifier">max</span> - <span class="Identifier">error</span>-message<span class="Special"> <- </span><span class="Identifier">new</span> [file too high: ] - <span class="Identifier">print</span>-string screen, <span class="Identifier">error</span>-message - <span class="Identifier">print</span>-character screen, c - reply 0/dummy, 0/<span class="Identifier">quit</span>, 1/<span class="Identifier">error</span> - } - reply file, 0/<span class="Identifier">quit</span>, 0/<span class="Identifier">error</span> + <span class="muControl">reply</span> <span class="Constant">0/dummy</span>, <span class="Constant">0/quit</span>, <span class="Constant">1/error</span> + <span class="Delimiter">}</span> + <span class="Delimiter">{</span> + below-max:boolean<span class="Special"> <- </span>lesser-than file, <span class="Constant">8</span> + <span class="muControl">break-if</span> below-max + error-message<span class="Special"> <- </span>new <span class="Constant">[file too high: ]</span> + print-string screen, error-message + print-character screen, c + <span class="muControl">reply</span> <span class="Constant">0/dummy</span>, <span class="Constant">0/quit</span>, <span class="Constant">1/error</span> + <span class="Delimiter">}</span> + <span class="muControl">reply</span> file, <span class="Constant">0/quit</span>, <span class="Constant">0/error</span> ] <span class="Comment"># rank:number <- read-rank stdin:address:channel, screen:address</span> <span class="Comment"># valid values: 0-7, -1 (quit), -2 (error)</span> -recipe <span class="Identifier">read</span>-rank [ - <span class="Underlined">local</span>-scope - stdin:address:channel<span class="Special"> <- </span>next-ingredient - screen:address<span class="Special"> <- </span>next-ingredient - c:character, stdin<span class="Special"> <- </span><span class="Identifier">read</span> stdin - { - q-pressed?:boolean<span class="Special"> <- </span>equal c, 8/Q - break-unless q-pressed? - reply 0/dummy, 1/<span class="Identifier">quit</span>, 0/<span class="Identifier">error</span> - } - { - q-pressed?<span class="Special"> <- </span>equal c, 113/q - break-unless q-pressed? - reply 0/dummy, 1/<span class="Identifier">quit</span>, 0/<span class="Identifier">error</span> - } - { - newline?:boolean<span class="Special"> <- </span>equal c, 10 <span class="Comment"># newline</span> - break-unless newline? - <span class="Identifier">error</span>-message:address:<span class="Identifier">array</span>:character<span class="Special"> <- </span><span class="Identifier">new</span> [that's not enough] - <span class="Identifier">print</span>-string screen, <span class="Identifier">error</span>-message - reply 0/dummy, 0/<span class="Identifier">quit</span>, 1/<span class="Identifier">error</span> - } - rank:number<span class="Special"> <- </span>subtract c, 49/'1' +<span class="muRecipe">recipe</span> read-rank [ + <span class="Constant">local-scope</span> + stdin:address:channel<span class="Special"> <- </span><span class="Constant">next-ingredient</span> + screen:address<span class="Special"> <- </span><span class="Constant">next-ingredient</span> + c:character, stdin<span class="Special"> <- </span>read stdin + <span class="Delimiter">{</span> + q-pressed?:boolean<span class="Special"> <- </span>equal c, <span class="Constant">8/Q</span> + <span class="muControl">break-unless</span> q-pressed? + <span class="muControl">reply</span> <span class="Constant">0/dummy</span>, <span class="Constant">1/quit</span>, <span class="Constant">0/error</span> + <span class="Delimiter">}</span> + <span class="Delimiter">{</span> + q-pressed?<span class="Special"> <- </span>equal c, <span class="Constant">113/q</span> + <span class="muControl">break-unless</span> q-pressed? + <span class="muControl">reply</span> <span class="Constant">0/dummy</span>, <span class="Constant">1/quit</span>, <span class="Constant">0/error</span> + <span class="Delimiter">}</span> + <span class="Delimiter">{</span> + newline?:boolean<span class="Special"> <- </span>equal c, <span class="Constant">10</span> <span class="Comment"># newline</span> + <span class="muControl">break-unless</span> newline? + error-message:address:array:character<span class="Special"> <- </span>new <span class="Constant">[that's not enough]</span> + print-string screen, error-message + <span class="muControl">reply</span> <span class="Constant">0/dummy</span>, <span class="Constant">0/quit</span>, <span class="Constant">1/error</span> + <span class="Delimiter">}</span> + rank:number<span class="Special"> <- </span>subtract c, <span class="Constant">49/'1'</span> <span class="Comment"># assert'1' <= rank <= '8'</span> - { - above-<span class="Identifier">min</span>:boolean<span class="Special"> <- </span>greater-or-equal rank, 0 - break-if above-<span class="Identifier">min</span> - <span class="Identifier">error</span>-message<span class="Special"> <- </span><span class="Identifier">new</span> [rank too low: ] - <span class="Identifier">print</span>-string screen, <span class="Identifier">error</span>-message - <span class="Identifier">print</span>-character screen, c - reply 0/dummy, 0/<span class="Identifier">quit</span>, 1/<span class="Identifier">error</span> - } - { - below-<span class="Identifier">max</span>:boolean<span class="Special"> <- </span>lesser-or-equal rank, 7 - break-if below-<span class="Identifier">max</span> - <span class="Identifier">error</span>-message<span class="Special"> <- </span><span class="Identifier">new</span> [rank too high: ] - <span class="Identifier">print</span>-string screen, <span class="Identifier">error</span>-message - <span class="Identifier">print</span>-character screen, c - reply 0/dummy, 0/<span class="Identifier">quit</span>, 1/<span class="Identifier">error</span> - } - reply rank, 0/<span class="Identifier">quit</span>, 0/<span class="Identifier">error</span> + <span class="Delimiter">{</span> + above-min:boolean<span class="Special"> <- </span>greater-or-equal rank, <span class="Constant">0</span> + <span class="muControl">break-if</span> above-min + error-message<span class="Special"> <- </span>new <span class="Constant">[rank too low: ]</span> + print-string screen, error-message + print-character screen, c + <span class="muControl">reply</span> <span class="Constant">0/dummy</span>, <span class="Constant">0/quit</span>, <span class="Constant">1/error</span> + <span class="Delimiter">}</span> + <span class="Delimiter">{</span> + below-max:boolean<span class="Special"> <- </span>lesser-or-equal rank, <span class="Constant">7</span> + <span class="muControl">break-if</span> below-max + error-message<span class="Special"> <- </span>new <span class="Constant">[rank too high: ]</span> + print-string screen, error-message + print-character screen, c + <span class="muControl">reply</span> <span class="Constant">0/dummy</span>, <span class="Constant">0/quit</span>, <span class="Constant">1/error</span> + <span class="Delimiter">}</span> + <span class="muControl">reply</span> rank, <span class="Constant">0/quit</span>, <span class="Constant">0/error</span> ] <span class="Comment"># read a character from the given channel and check that it's what we expect</span> <span class="Comment"># return true on error</span> -recipe expect-from-channel [ - <span class="Underlined">local</span>-scope - stdin:address:channel<span class="Special"> <- </span>next-ingredient - expected:character<span class="Special"> <- </span>next-ingredient - screen:address<span class="Special"> <- </span>next-ingredient - c:character, stdin<span class="Special"> <- </span><span class="Identifier">read</span> stdin - { - <span class="Identifier">match</span>?:boolean<span class="Special"> <- </span>equal c, expected - break-if <span class="Identifier">match</span>? - s:address:<span class="Identifier">array</span>:character<span class="Special"> <- </span><span class="Identifier">new</span> [expected character not found] - <span class="Identifier">print</span>-string screen, s - } - result:boolean<span class="Special"> <- </span>not <span class="Identifier">match</span>? - reply result +<span class="muRecipe">recipe</span> expect-from-channel [ + <span class="Constant">local-scope</span> + stdin:address:channel<span class="Special"> <- </span><span class="Constant">next-ingredient</span> + expected:character<span class="Special"> <- </span><span class="Constant">next-ingredient</span> + screen:address<span class="Special"> <- </span><span class="Constant">next-ingredient</span> + c:character, stdin<span class="Special"> <- </span>read stdin + <span class="Delimiter">{</span> + match?:boolean<span class="Special"> <- </span>equal c, expected + <span class="muControl">break-if</span> match? + s:address:array:character<span class="Special"> <- </span>new <span class="Constant">[expected character not found]</span> + print-string screen, s + <span class="Delimiter">}</span> + result:boolean<span class="Special"> <- </span>not match? + <span class="muControl">reply</span> result ] -scenario <span class="Identifier">read</span>-move-blocking [ - <span class="Identifier">assume</span>-screen 20/width, 2/height +<span class="muScenario">scenario</span> read-move-blocking [ + assume-screen <span class="Constant">20/width</span>, <span class="Constant">2/height</span> run [ - 1:address:channel<span class="Special"> <- </span><span class="Identifier">new</span>-channel 2 - 2:number/routine<span class="Special"> <- </span>start-running <span class="Identifier">read</span>-move:recipe, 1:address:channel, screen:address + <span class="Constant">1</span>:address:channel<span class="Special"> <- </span>new-channel <span class="Constant">2</span> + <span class="Constant">2</span>:number/routine<span class="Special"> <- </span>start-running <span class="Constant">read-move:recipe</span>, <span class="Constant">1</span>:address:channel, screen:address <span class="Comment"># 'read-move' is waiting for input</span> - wait-for-routine 2:number - 3:number<span class="Special"> <- </span>routine-state 2:number/<span class="Identifier">id</span> - 4:boolean/waiting?<span class="Special"> <- </span>equal 3:number/routine-state, 3/waiting - <span class="Identifier">assert</span> 4:boolean/waiting?, [ -F <span class="Identifier">read</span>-move-blocking: routine failed to pause after coming up (before any keys were pressed)] + wait-for-routine <span class="Constant">2</span>:number + <span class="Constant">3</span>:number<span class="Special"> <- </span>routine-state <span class="Constant">2</span>:number/id + <span class="Constant">4</span>:boolean/waiting?<span class="Special"> <- </span>equal <span class="Constant">3</span>:number/routine-state, <span class="Constant">3/waiting</span> + assert <span class="Constant">4</span>:boolean/waiting?, [ +F read-move-blocking: routine failed to pause <span class="muRecipe">after</span> coming up (<span class="muRecipe">before</span> any keys were pressed)] <span class="Comment"># press 'a'</span> - 1:address:channel<span class="Special"> <- </span><span class="Identifier">write</span> 1:address:channel, 97/a - restart 2:number/routine + <span class="Constant">1</span>:address:channel<span class="Special"> <- </span>write <span class="Constant">1</span>:address:channel, <span class="Constant">97/a</span> + restart <span class="Constant">2</span>:number/routine <span class="Comment"># 'read-move' still waiting for input</span> - wait-for-routine 2:number - 3:number<span class="Special"> <- </span>routine-state 2:number/<span class="Identifier">id</span> - 4:boolean/waiting?<span class="Special"> <- </span>equal 3:number/routine-state, 3/waiting - <span class="Identifier">assert</span> 4:boolean/waiting?, [ -F <span class="Identifier">read</span>-move-blocking: routine failed to pause after rank 'a'] + wait-for-routine <span class="Constant">2</span>:number + <span class="Constant">3</span>:number<span class="Special"> <- </span>routine-state <span class="Constant">2</span>:number/id + <span class="Constant">4</span>:boolean/waiting?<span class="Special"> <- </span>equal <span class="Constant">3</span>:number/routine-state, <span class="Constant">3/waiting</span> + assert <span class="Constant">4</span>:boolean/waiting?, [ +F read-move-blocking: routine failed to pause <span class="muRecipe">after</span> rank 'a'] <span class="Comment"># press '2'</span> - 1:address:channel<span class="Special"> <- </span><span class="Identifier">write</span> 1:address:channel, 50/'2' - restart 2:number/routine + <span class="Constant">1</span>:address:channel<span class="Special"> <- </span>write <span class="Constant">1</span>:address:channel, <span class="Constant">50/'2'</span> + restart <span class="Constant">2</span>:number/routine <span class="Comment"># 'read-move' still waiting for input</span> - wait-for-routine 2:number - 3:number<span class="Special"> <- </span>routine-state 2:number/<span class="Identifier">id</span> - 4:boolean/waiting?<span class="Special"> <- </span>equal 3:number/routine-state, 3/waiting - <span class="Identifier">assert</span> 4:boolean/waiting?, [ -F <span class="Identifier">read</span>-move-blocking: routine failed to pause after file 'a2'] + wait-for-routine <span class="Constant">2</span>:number + <span class="Constant">3</span>:number<span class="Special"> <- </span>routine-state <span class="Constant">2</span>:number/id + <span class="Constant">4</span>:boolean/waiting?<span class="Special"> <- </span>equal <span class="Constant">3</span>:number/routine-state, <span class="Constant">3/waiting</span> + assert <span class="Constant">4</span>:boolean/waiting?, [ +F read-move-blocking: routine failed to pause <span class="muRecipe">after</span> file 'a2'] <span class="Comment"># press '-'</span> - 1:address:channel<span class="Special"> <- </span><span class="Identifier">write</span> 1:address:channel, 45/'-' - restart 2:number/routine + <span class="Constant">1</span>:address:channel<span class="Special"> <- </span>write <span class="Constant">1</span>:address:channel, <span class="Constant">45/'-'</span> + restart <span class="Constant">2</span>:number/routine <span class="Comment"># 'read-move' still waiting for input</span> - wait-for-routine 2:number - 3:number<span class="Special"> <- </span>routine-state 2:number - 4:boolean/waiting?<span class="Special"> <- </span>equal 3:number/routine-state, 3/waiting - <span class="Identifier">assert</span> 4:boolean/waiting?/routine-state, [ -F <span class="Identifier">read</span>-move-blocking: routine failed to pause after hyphen 'a2-'] + wait-for-routine <span class="Constant">2</span>:number + <span class="Constant">3</span>:number<span class="Special"> <- </span>routine-state <span class="Constant">2</span>:number + <span class="Constant">4</span>:boolean/waiting?<span class="Special"> <- </span>equal <span class="Constant">3</span>:number/routine-state, <span class="Constant">3/waiting</span> + assert <span class="Constant">4</span>:boolean/waiting?/routine-state, [ +F read-move-blocking: routine failed to pause <span class="muRecipe">after</span> hyphen 'a2-'] <span class="Comment"># press 'a'</span> - 1:address:channel<span class="Special"> <- </span><span class="Identifier">write</span> 1:address:channel, 97/a - restart 2:number/routine + <span class="Constant">1</span>:address:channel<span class="Special"> <- </span>write <span class="Constant">1</span>:address:channel, <span class="Constant">97/a</span> + restart <span class="Constant">2</span>:number/routine <span class="Comment"># 'read-move' still waiting for input</span> - wait-for-routine 2:number - 3:number<span class="Special"> <- </span>routine-state 2:number - 4:boolean/waiting?<span class="Special"> <- </span>equal 3:number/routine-state, 3/waiting - <span class="Identifier">assert</span> 4:boolean/waiting?/routine-state, [ -F <span class="Identifier">read</span>-move-blocking: routine failed to pause after rank 'a2-a'] + wait-for-routine <span class="Constant">2</span>:number + <span class="Constant">3</span>:number<span class="Special"> <- </span>routine-state <span class="Constant">2</span>:number + <span class="Constant">4</span>:boolean/waiting?<span class="Special"> <- </span>equal <span class="Constant">3</span>:number/routine-state, <span class="Constant">3/waiting</span> + assert <span class="Constant">4</span>:boolean/waiting?/routine-state, [ +F read-move-blocking: routine failed to pause <span class="muRecipe">after</span> rank 'a2-a'] <span class="Comment"># press '4'</span> - 1:address:channel<span class="Special"> <- </span><span class="Identifier">write</span> 1:address:channel, 52/'4' - restart 2:number/routine + <span class="Constant">1</span>:address:channel<span class="Special"> <- </span>write <span class="Constant">1</span>:address:channel, <span class="Constant">52/'4'</span> + restart <span class="Constant">2</span>:number/routine <span class="Comment"># 'read-move' still waiting for input</span> - wait-for-routine 2:number - 3:number<span class="Special"> <- </span>routine-state 2:number - 4:boolean/waiting?<span class="Special"> <- </span>equal 3:number/routine-state, 3/waiting - <span class="Identifier">assert</span> 4:boolean/waiting?, [ -F <span class="Identifier">read</span>-move-blocking: routine failed to pause after file 'a2-a4'] + wait-for-routine <span class="Constant">2</span>:number + <span class="Constant">3</span>:number<span class="Special"> <- </span>routine-state <span class="Constant">2</span>:number + <span class="Constant">4</span>:boolean/waiting?<span class="Special"> <- </span>equal <span class="Constant">3</span>:number/routine-state, <span class="Constant">3/waiting</span> + assert <span class="Constant">4</span>:boolean/waiting?, [ +F read-move-blocking: routine failed to pause <span class="muRecipe">after</span> file 'a2-a4'] <span class="Comment"># press 'newline'</span> - 1:address:channel<span class="Special"> <- </span><span class="Identifier">write</span> 1:address:channel, 10 <span class="Comment"># newline</span> - restart 2:number/routine + <span class="Constant">1</span>:address:channel<span class="Special"> <- </span>write <span class="Constant">1</span>:address:channel, <span class="Constant">10</span> <span class="Comment"># newline</span> + restart <span class="Constant">2</span>:number/routine <span class="Comment"># 'read-move' now completes</span> - wait-for-routine 2:number - 3:number<span class="Special"> <- </span>routine-state 2:number - 4:boolean/completed?<span class="Special"> <- </span>equal 3:number/routine-state, 1/completed - <span class="Identifier">assert</span> 4:boolean/completed?, [ -F <span class="Identifier">read</span>-move-blocking: routine failed to terminate on newline] - trace 1, [test], [reached end] + wait-for-routine <span class="Constant">2</span>:number + <span class="Constant">3</span>:number<span class="Special"> <- </span>routine-state <span class="Constant">2</span>:number + <span class="Constant">4</span>:boolean/completed?<span class="Special"> <- </span>equal <span class="Constant">3</span>:number/routine-state, <span class="Constant">1/completed</span> + assert <span class="Constant">4</span>:boolean/completed?, [ +F read-move-blocking: routine failed to terminate on newline] + trace <span class="Constant">1</span>, <span class="Constant">[test]</span>, <span class="Constant">[reached end]</span> ] trace-should-contain [ test: reached end ] ] -scenario <span class="Identifier">read</span>-move-<span class="Identifier">quit</span> [ - <span class="Identifier">assume</span>-screen 20/width, 2/height +<span class="muScenario">scenario</span> read-move-quit [ + assume-screen <span class="Constant">20/width</span>, <span class="Constant">2/height</span> run [ - 1:address:channel<span class="Special"> <- </span><span class="Identifier">new</span>-channel 2 - 2:number/routine<span class="Special"> <- </span>start-running <span class="Identifier">read</span>-move:recipe, 1:address:channel, screen:address + <span class="Constant">1</span>:address:channel<span class="Special"> <- </span>new-channel <span class="Constant">2</span> + <span class="Constant">2</span>:number/routine<span class="Special"> <- </span>start-running <span class="Constant">read-move:recipe</span>, <span class="Constant">1</span>:address:channel, screen:address <span class="Comment"># 'read-move' is waiting for input</span> - wait-for-routine 2:number - 3:number<span class="Special"> <- </span>routine-state 2:number/<span class="Identifier">id</span> - 4:boolean/waiting?<span class="Special"> <- </span>equal 3:number/routine-state, 3/waiting - <span class="Identifier">assert</span> 4:boolean/waiting?, [ -F <span class="Identifier">read</span>-move-<span class="Identifier">quit</span>: routine failed to pause after coming up (before any keys were pressed)] + wait-for-routine <span class="Constant">2</span>:number + <span class="Constant">3</span>:number<span class="Special"> <- </span>routine-state <span class="Constant">2</span>:number/id + <span class="Constant">4</span>:boolean/waiting?<span class="Special"> <- </span>equal <span class="Constant">3</span>:number/routine-state, <span class="Constant">3/waiting</span> + assert <span class="Constant">4</span>:boolean/waiting?, [ +F read-move-quit: routine failed to pause <span class="muRecipe">after</span> coming up (<span class="muRecipe">before</span> any keys were pressed)] <span class="Comment"># press 'q'</span> - 1:address:channel<span class="Special"> <- </span><span class="Identifier">write</span> 1:address:channel, 113/q - restart 2:number/routine + <span class="Constant">1</span>:address:channel<span class="Special"> <- </span>write <span class="Constant">1</span>:address:channel, <span class="Constant">113/q</span> + restart <span class="Constant">2</span>:number/routine <span class="Comment"># 'read-move' completes</span> - wait-for-routine 2:number - 3:number<span class="Special"> <- </span>routine-state 2:number/<span class="Identifier">id</span> - 4:boolean/completed?<span class="Special"> <- </span>equal 3:number/routine-state, 1/completed - <span class="Identifier">assert</span> 4:boolean/completed?, [ -F <span class="Identifier">read</span>-move-<span class="Identifier">quit</span>: routine failed to terminate on 'q'] - trace 1, [test], [reached end] + wait-for-routine <span class="Constant">2</span>:number + <span class="Constant">3</span>:number<span class="Special"> <- </span>routine-state <span class="Constant">2</span>:number/id + <span class="Constant">4</span>:boolean/completed?<span class="Special"> <- </span>equal <span class="Constant">3</span>:number/routine-state, <span class="Constant">1/completed</span> + assert <span class="Constant">4</span>:boolean/completed?, [ +F read-move-quit: routine failed to terminate on 'q'] + trace <span class="Constant">1</span>, <span class="Constant">[test]</span>, <span class="Constant">[reached end]</span> ] trace-should-contain [ test: reached end ] ] -scenario <span class="Identifier">read</span>-move-illegal-file [ - <span class="Identifier">assume</span>-screen 20/width, 2/height +<span class="muScenario">scenario</span> read-move-illegal-file [ + assume-screen <span class="Constant">20/width</span>, <span class="Constant">2/height</span> run [ - 1:address:channel<span class="Special"> <- </span><span class="Identifier">new</span>-channel 2 - 2:number/routine<span class="Special"> <- </span>start-running <span class="Identifier">read</span>-move:recipe, 1:address:channel, screen:address + <span class="Constant">1</span>:address:channel<span class="Special"> <- </span>new-channel <span class="Constant">2</span> + <span class="Constant">2</span>:number/routine<span class="Special"> <- </span>start-running <span class="Constant">read-move:recipe</span>, <span class="Constant">1</span>:address:channel, screen:address <span class="Comment"># 'read-move' is waiting for input</span> - wait-for-routine 2:number - 3:number<span class="Special"> <- </span>routine-state 2:number/<span class="Identifier">id</span> - 4:boolean/waiting?<span class="Special"> <- </span>equal 3:number/routine-state, 3/waiting - <span class="Identifier">assert</span> 4:boolean/waiting?, [ -F <span class="Identifier">read</span>-move-file: routine failed to pause after coming up (before any keys were pressed)] - 1:address:channel<span class="Special"> <- </span><span class="Identifier">write</span> 1:address:channel, 50/'2' - restart 2:number/routine - wait-for-routine 2:number + wait-for-routine <span class="Constant">2</span>:number + <span class="Constant">3</span>:number<span class="Special"> <- </span>routine-state <span class="Constant">2</span>:number/id + <span class="Constant">4</span>:boolean/waiting?<span class="Special"> <- </span>equal <span class="Constant">3</span>:number/routine-state, <span class="Constant">3/waiting</span> + assert <span class="Constant">4</span>:boolean/waiting?, [ +F read-move-file: routine failed to pause <span class="muRecipe">after</span> coming up (<span class="muRecipe">before</span> any keys were pressed)] + <span class="Constant">1</span>:address:channel<span class="Special"> <- </span>write <span class="Constant">1</span>:address:channel, <span class="Constant">50/'2'</span> + restart <span class="Constant">2</span>:number/routine + wait-for-routine <span class="Constant">2</span>:number ] screen-should-contain [ - .file too low: 2 . - . . + <span class="Constant"> .file too low: 2 .</span> + <span class="Constant"> . .</span> ] ] -scenario <span class="Identifier">read</span>-move-illegal-rank [ - <span class="Identifier">assume</span>-screen 20/width, 2/height +<span class="muScenario">scenario</span> read-move-illegal-rank [ + assume-screen <span class="Constant">20/width</span>, <span class="Constant">2/height</span> run [ - 1:address:channel<span class="Special"> <- </span><span class="Identifier">new</span>-channel 2 - 2:number/routine<span class="Special"> <- </span>start-running <span class="Identifier">read</span>-move:recipe, 1:address:channel, screen:address + <span class="Constant">1</span>:address:channel<span class="Special"> <- </span>new-channel <span class="Constant">2</span> + <span class="Constant">2</span>:number/routine<span class="Special"> <- </span>start-running <span class="Constant">read-move:recipe</span>, <span class="Constant">1</span>:address:channel, screen:address <span class="Comment"># 'read-move' is waiting for input</span> - wait-for-routine 2:number - 3:number<span class="Special"> <- </span>routine-state 2:number/<span class="Identifier">id</span> - 4:boolean/waiting?<span class="Special"> <- </span>equal 3:number/routine-state, 3/waiting - <span class="Identifier">assert</span> 4:boolean/waiting?, [ -F <span class="Identifier">read</span>-move-file: routine failed to pause after coming up (before any keys were pressed)] - 1:address:channel<span class="Special"> <- </span><span class="Identifier">write</span> 1:address:channel, 97/a - 1:address:channel<span class="Special"> <- </span><span class="Identifier">write</span> 1:address:channel, 97/a - restart 2:number/routine - wait-for-routine 2:number + wait-for-routine <span class="Constant">2</span>:number + <span class="Constant">3</span>:number<span class="Special"> <- </span>routine-state <span class="Constant">2</span>:number/id + <span class="Constant">4</span>:boolean/waiting?<span class="Special"> <- </span>equal <span class="Constant">3</span>:number/routine-state, <span class="Constant">3/waiting</span> + assert <span class="Constant">4</span>:boolean/waiting?, [ +F read-move-file: routine failed to pause <span class="muRecipe">after</span> coming up (<span class="muRecipe">before</span> any keys were pressed)] + <span class="Constant">1</span>:address:channel<span class="Special"> <- </span>write <span class="Constant">1</span>:address:channel, <span class="Constant">97/a</span> + <span class="Constant">1</span>:address:channel<span class="Special"> <- </span>write <span class="Constant">1</span>:address:channel, <span class="Constant">97/a</span> + restart <span class="Constant">2</span>:number/routine + wait-for-routine <span class="Constant">2</span>:number ] screen-should-contain [ - .rank too high: a . - . . + <span class="Constant"> .rank too high: a .</span> + <span class="Constant"> . .</span> ] ] -scenario <span class="Identifier">read</span>-move-empty [ - <span class="Identifier">assume</span>-screen 20/width, 2/height +<span class="muScenario">scenario</span> read-move-empty [ + assume-screen <span class="Constant">20/width</span>, <span class="Constant">2/height</span> run [ - 1:address:channel<span class="Special"> <- </span><span class="Identifier">new</span>-channel 2 - 2:number/routine<span class="Special"> <- </span>start-running <span class="Identifier">read</span>-move:recipe, 1:address:channel, screen:address + <span class="Constant">1</span>:address:channel<span class="Special"> <- </span>new-channel <span class="Constant">2</span> + <span class="Constant">2</span>:number/routine<span class="Special"> <- </span>start-running <span class="Constant">read-move:recipe</span>, <span class="Constant">1</span>:address:channel, screen:address <span class="Comment"># 'read-move' is waiting for input</span> - wait-for-routine 2:number - 3:number<span class="Special"> <- </span>routine-state 2:number/<span class="Identifier">id</span> - 4:boolean/waiting?<span class="Special"> <- </span>equal 3:number/routine-state, 3/waiting - <span class="Identifier">assert</span> 4:boolean/waiting?, [ -F <span class="Identifier">read</span>-move-file: routine failed to pause after coming up (before any keys were pressed)] - 1:address:channel<span class="Special"> <- </span><span class="Identifier">write</span> 1:address:channel, 10/newline - 1:address:channel<span class="Special"> <- </span><span class="Identifier">write</span> 1:address:channel, 97/a - restart 2:number/routine - wait-for-routine 2:number + wait-for-routine <span class="Constant">2</span>:number + <span class="Constant">3</span>:number<span class="Special"> <- </span>routine-state <span class="Constant">2</span>:number/id + <span class="Constant">4</span>:boolean/waiting?<span class="Special"> <- </span>equal <span class="Constant">3</span>:number/routine-state, <span class="Constant">3/waiting</span> + assert <span class="Constant">4</span>:boolean/waiting?, [ +F read-move-file: routine failed to pause <span class="muRecipe">after</span> coming up (<span class="muRecipe">before</span> any keys were pressed)] + <span class="Constant">1</span>:address:channel<span class="Special"> <- </span>write <span class="Constant">1</span>:address:channel, <span class="Constant">10/newline</span> + <span class="Constant">1</span>:address:channel<span class="Special"> <- </span>write <span class="Constant">1</span>:address:channel, <span class="Constant">97/a</span> + restart <span class="Constant">2</span>:number/routine + wait-for-routine <span class="Constant">2</span>:number ] screen-should-contain [ - .that's not enough . - . . + <span class="Constant"> .that's not enough .</span> + <span class="Constant"> . .</span> ] ] -recipe make-move [ - <span class="Underlined">local</span>-scope - b:address:<span class="Identifier">array</span>:address:<span class="Identifier">array</span>:character<span class="Special"> <- </span>next-ingredient - m:address:move<span class="Special"> <- </span>next-ingredient - from-file:number<span class="Special"> <- </span>get *m, from-file:offset - from-rank:number<span class="Special"> <- </span>get *m, from-rank:offset - to-file:number<span class="Special"> <- </span>get *m, to-file:offset - to-rank:number<span class="Special"> <- </span>get *m, to-rank:offset - f:address:<span class="Identifier">array</span>:character<span class="Special"> <- </span>index *b, from-file +<span class="muRecipe">recipe</span> make-move [ + <span class="Constant">local-scope</span> + b:address:array:address:array:character<span class="Special"> <- </span><span class="Constant">next-ingredient</span> + m:address:move<span class="Special"> <- </span><span class="Constant">next-ingredient</span> + from-file:number<span class="Special"> <- </span>get *m, <span class="Constant">from-file:offset</span> + from-rank:number<span class="Special"> <- </span>get *m, <span class="Constant">from-rank:offset</span> + to-file:number<span class="Special"> <- </span>get *m, <span class="Constant">to-file:offset</span> + to-rank:number<span class="Special"> <- </span>get *m, <span class="Constant">to-rank:offset</span> + f:address:array:character<span class="Special"> <- </span>index *b, from-file src:address:character/square<span class="Special"> <- </span>index-address *f, from-rank f<span class="Special"> <- </span>index *b, to-file dest:address:character/square<span class="Special"> <- </span>index-address *f, to-rank - *dest<span class="Special"> <- </span><span class="Identifier">copy</span> *src - *src<span class="Special"> <- </span><span class="Identifier">copy</span> 32/space - reply b/same-as-ingredient:0 + *dest<span class="Special"> <- </span>copy *src + *src<span class="Special"> <- </span>copy <span class="Constant">32/space</span> + <span class="muControl">reply</span> b/same-as-ingredient:<span class="Constant">0</span> ] -scenario making-a-move [ - <span class="Identifier">assume</span>-screen 30/width, 12/height +<span class="muScenario">scenario</span> making-a-move [ + assume-screen <span class="Constant">30/width</span>, <span class="Constant">12/height</span> run [ - 2:address:<span class="Identifier">array</span>:address:<span class="Identifier">array</span>:character/board<span class="Special"> <- </span>initial-position - 3:address:move<span class="Special"> <- </span><span class="Identifier">new</span> move:<span class="Identifier">type</span> - 4:address:number<span class="Special"> <- </span>get-address *3:address:move, from-file:offset - *4:address:number<span class="Special"> <- </span><span class="Identifier">copy</span> 6/g - 5:address:number<span class="Special"> <- </span>get-address *3:address:move, from-rank:offset - *5:address:number<span class="Special"> <- </span><span class="Identifier">copy</span> 1/'2' - 6:address:number<span class="Special"> <- </span>get-address *3:address:move, to-file:offset - *6:address:number<span class="Special"> <- </span><span class="Identifier">copy</span> 6/g - 7:address:number<span class="Special"> <- </span>get-address *3:address:move, to-rank:offset - *7:address:number<span class="Special"> <- </span><span class="Identifier">copy</span> 3/'4' - 2:address:<span class="Identifier">array</span>:address:<span class="Identifier">array</span>:character/board<span class="Special"> <- </span>make-move 2:address:<span class="Identifier">array</span>:address:<span class="Identifier">array</span>:character/board, 3:address:move - screen:address<span class="Special"> <- </span><span class="Identifier">print</span>-board screen:address, 2:address:<span class="Identifier">array</span>:address:<span class="Identifier">array</span>:character/board + <span class="Constant">2</span>:address:array:address:array:character/board<span class="Special"> <- </span>initial-position + <span class="Constant">3</span>:address:move<span class="Special"> <- </span>new <span class="Constant">move:type</span> + <span class="Constant">4</span>:address:number<span class="Special"> <- </span>get-address *<span class="Constant">3</span>:address:move, <span class="Constant">from-file:offset</span> + *<span class="Constant">4</span>:address:number<span class="Special"> <- </span>copy <span class="Constant">6/g</span> + <span class="Constant">5</span>:address:number<span class="Special"> <- </span>get-address *<span class="Constant">3</span>:address:move, <span class="Constant">from-rank:offset</span> + *<span class="Constant">5</span>:address:number<span class="Special"> <- </span>copy <span class="Constant">1/'2'</span> + <span class="Constant">6</span>:address:number<span class="Special"> <- </span>get-address *<span class="Constant">3</span>:address:move, <span class="Constant">to-file:offset</span> + *<span class="Constant">6</span>:address:number<span class="Special"> <- </span>copy <span class="Constant">6/g</span> + <span class="Constant">7</span>:address:number<span class="Special"> <- </span>get-address *<span class="Constant">3</span>:address:move, <span class="Constant">to-rank:offset</span> + *<span class="Constant">7</span>:address:number<span class="Special"> <- </span>copy <span class="Constant">3/'4'</span> + <span class="Constant">2</span>:address:array:address:array:character/board<span class="Special"> <- </span>make-move <span class="Constant">2</span>:address:array:address:array:character/board, <span class="Constant">3</span>:address:move + screen:address<span class="Special"> <- </span>print-board screen:address, <span class="Constant">2</span>:address:array:address:array:character/board ] screen-should-contain [ <span class="Comment"># 012345678901234567890123456789</span> - .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 . - . . + <span class="Constant"> .8 | r n b q k b n r .</span> + <span class="Constant"> .7 | p p p p p p p p .</span> + <span class="Constant"> .6 | .</span> + <span class="Constant"> .5 | .</span> + <span class="Constant"> .4 | P .</span> + <span class="Constant"> .3 | .</span> + <span class="Constant"> .2 | P P P P P P P .</span> + <span class="Constant"> .1 | R N B Q K B N R .</span> + <span class="Constant"> . +---------------- .</span> + <span class="Constant"> . a b c d e f g h .</span> + <span class="Constant"> . .</span> ] ] </pre> |