about summary refs log tree commit diff stats
path: root/html/chessboard.mu.html
diff options
context:
space:
mode:
Diffstat (limited to 'html/chessboard.mu.html')
-rw-r--r--html/chessboard.mu.html30
1 files changed, 15 insertions, 15 deletions
diff --git a/html/chessboard.mu.html b/html/chessboard.mu.html
index 0b583444..95eea356 100644
--- a/html/chessboard.mu.html
+++ b/html/chessboard.mu.html
@@ -404,7 +404,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
     source:address:source:character, sink:address:sink:character<span class="Special"> &lt;- </span>new-channel <span class="Constant">2/capacity</span>
     read-move-routine:number/routine<span class="Special"> &lt;- </span>start-running read-move, source, screen:address:screen
     <span class="Comment"># 'read-move' is waiting for input</span>
-    wait-for-routine read-move-routine
+    wait-for-routine-to-block read-move-routine
     read-move-state:number<span class="Special"> &lt;- </span>routine-state read-move-routine
     waiting?:boolean<span class="Special"> &lt;- </span>equal read-move-state, <span class="Constant">3/waiting</span>
     assert waiting?, <span class="Constant">[ </span>
@@ -413,7 +413,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
     sink<span class="Special"> &lt;- </span>write sink, <span class="Constant">97/a</span>
     restart read-move-routine
     <span class="Comment"># 'read-move' still waiting for input</span>
-    wait-for-routine read-move-routine
+    wait-for-routine-to-block read-move-routine
     read-move-state<span class="Special"> &lt;- </span>routine-state read-move-routine
     waiting?<span class="Special"> &lt;- </span>equal read-move-state, <span class="Constant">3/waiting</span>
     assert waiting?, <span class="Constant">[ </span>
@@ -422,7 +422,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
     sink<span class="Special"> &lt;- </span>write sink, <span class="Constant">50/'2'</span>
     restart read-move-routine
     <span class="Comment"># 'read-move' still waiting for input</span>
-    wait-for-routine read-move-routine
+    wait-for-routine-to-block read-move-routine
     read-move-state<span class="Special"> &lt;- </span>routine-state read-move-routine
     waiting?<span class="Special"> &lt;- </span>equal read-move-state, <span class="Constant">3/waiting</span>
     assert waiting?, <span class="Constant">[ </span>
@@ -431,7 +431,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
     sink<span class="Special"> &lt;- </span>write sink, <span class="Constant">45/'-'</span>
     restart read-move-routine
     <span class="Comment"># 'read-move' still waiting for input</span>
-    wait-for-routine read-move-routine
+    wait-for-routine-to-block read-move-routine
     read-move-state<span class="Special"> &lt;- </span>routine-state read-move-routine
     waiting?<span class="Special"> &lt;- </span>equal read-move-state, <span class="Constant">3/waiting</span>
     assert waiting?, <span class="Constant">[ </span>
@@ -440,7 +440,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
     sink<span class="Special"> &lt;- </span>write sink, <span class="Constant">97/a</span>
     restart read-move-routine
     <span class="Comment"># 'read-move' still waiting for input</span>
-    wait-for-routine read-move-routine
+    wait-for-routine-to-block read-move-routine
     read-move-state<span class="Special"> &lt;- </span>routine-state read-move-routine
     waiting?<span class="Special"> &lt;- </span>equal read-move-state, <span class="Constant">3/waiting</span>
     assert waiting?, <span class="Constant">[ </span>
@@ -449,7 +449,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
     sink<span class="Special"> &lt;- </span>write sink, <span class="Constant">52/'4'</span>
     restart read-move-routine
     <span class="Comment"># 'read-move' still waiting for input</span>
-    wait-for-routine read-move-routine
+    wait-for-routine-to-block read-move-routine
     read-move-state<span class="Special"> &lt;- </span>routine-state read-move-routine
     waiting?<span class="Special"> &lt;- </span>equal read-move-state, <span class="Constant">3/waiting</span>
     assert waiting?, <span class="Constant">[ </span>
@@ -458,7 +458,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
     sink<span class="Special"> &lt;- </span>write sink, <span class="Constant">10</span>  <span class="Comment"># newline</span>
     restart read-move-routine
     <span class="Comment"># 'read-move' now completes</span>
-    wait-for-routine read-move-routine
+    wait-for-routine-to-block read-move-routine
     read-move-state<span class="Special"> &lt;- </span>routine-state read-move-routine
     completed?:boolean<span class="Special"> &lt;- </span>equal read-move-state, <span class="Constant">1/completed</span>
     assert completed?, <span class="Constant">[ </span>
@@ -477,7 +477,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
     source:address:source:character, sink:address:sink:character<span class="Special"> &lt;- </span>new-channel <span class="Constant">2/capacity</span>
     read-move-routine:number<span class="Special"> &lt;- </span>start-running read-move, source, screen:address:screen
     <span class="Comment"># 'read-move' is waiting for input</span>
-    wait-for-routine read-move-routine
+    wait-for-routine-to-block read-move-routine
     read-move-state:number<span class="Special"> &lt;- </span>routine-state read-move-routine
     waiting?:boolean<span class="Special"> &lt;- </span>equal read-move-state, <span class="Constant">3/waiting</span>
     assert waiting?, <span class="Constant">[ </span>
@@ -486,7 +486,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
     sink<span class="Special"> &lt;- </span>write sink, <span class="Constant">113/q</span>
     restart read-move-routine
     <span class="Comment"># 'read-move' completes</span>
-    wait-for-routine read-move-routine
+    wait-for-routine-to-block read-move-routine
     read-move-state<span class="Special"> &lt;- </span>routine-state read-move-routine
     completed?:boolean<span class="Special"> &lt;- </span>equal read-move-state, <span class="Constant">1/completed</span>
     assert completed?, <span class="Constant">[ </span>
@@ -505,14 +505,14 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
     source:address:source:character, sink:address:sink:character<span class="Special"> &lt;- </span>new-channel <span class="Constant">2/capacity</span>
     read-move-routine:number<span class="Special"> &lt;- </span>start-running read-move, source, screen:address:screen
     <span class="Comment"># 'read-move' is waiting for input</span>
-    wait-for-routine read-move-routine
+    wait-for-routine-to-block read-move-routine
     read-move-state:number<span class="Special"> &lt;- </span>routine-state read-move-routine
     waiting?:boolean<span class="Special"> &lt;- </span>equal read-move-state, <span class="Constant">3/waiting</span>
     assert waiting?, <span class="Constant">[ </span>
 <span class="Constant">F read-move-file: routine failed to pause after coming up (before any keys were pressed)]</span>
     sink<span class="Special"> &lt;- </span>write sink, <span class="Constant">50/'2'</span>
     restart read-move-routine
-    wait-for-routine read-move-routine
+    wait-for-routine-to-block read-move-routine
   ]
   screen-should-contain [
    <span class="Constant"> .file too low: 2     .</span>
@@ -527,7 +527,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
     source:address:source:character, sink:address:sink:character<span class="Special"> &lt;- </span>new-channel <span class="Constant">2/capacity</span>
     read-move-routine:number<span class="Special"> &lt;- </span>start-running read-move, source, screen:address:screen
     <span class="Comment"># 'read-move' is waiting for input</span>
-    wait-for-routine read-move-routine
+    wait-for-routine-to-block read-move-routine
     read-move-state:number<span class="Special"> &lt;- </span>routine-state read-move-routine
     waiting?:boolean<span class="Special"> &lt;- </span>equal read-move-state, <span class="Constant">3/waiting</span>
     assert waiting?, <span class="Constant">[ </span>
@@ -535,7 +535,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
     sink<span class="Special"> &lt;- </span>write sink, <span class="Constant">97/a</span>
     sink<span class="Special"> &lt;- </span>write sink, <span class="Constant">97/a</span>
     restart read-move-routine
-    wait-for-routine read-move-routine
+    wait-for-routine-to-block read-move-routine
   ]
   screen-should-contain [
    <span class="Constant"> .rank too high: a    .</span>
@@ -550,7 +550,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
     source:address:source:character, sink:address:sink:character<span class="Special"> &lt;- </span>new-channel <span class="Constant">2/capacity</span>
     read-move-routine:number<span class="Special"> &lt;- </span>start-running read-move, source, screen:address:screen
     <span class="Comment"># 'read-move' is waiting for input</span>
-    wait-for-routine read-move-routine
+    wait-for-routine-to-block read-move-routine
     read-move-state:number<span class="Special"> &lt;- </span>routine-state read-move-routine
     waiting?:boolean<span class="Special"> &lt;- </span>equal read-move-state, <span class="Constant">3/waiting</span>
     assert waiting?, <span class="Constant">[ </span>
@@ -558,7 +558,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
     sink<span class="Special"> &lt;- </span>write sink, <span class="Constant">10/newline</span>
     sink<span class="Special"> &lt;- </span>write sink, <span class="Constant">97/a</span>
     restart read-move-routine
-    wait-for-routine read-move-routine
+    wait-for-routine-to-block read-move-routine
   ]
   screen-should-contain [
    <span class="Constant"> .that's not enough   .</span>