2015-05-08 01:35:33 +00:00
|
|
|
# chessboard program: takes moves in algebraic notation and displays the
|
|
|
|
# position after each
|
|
|
|
|
2015-05-10 20:01:58 +00:00
|
|
|
# recipes are mu's names for functions, and recipes have ingredients
|
|
|
|
recipe main [
|
|
|
|
switch-to-display # take control of screen and keyboard
|
|
|
|
|
|
|
|
# The chessboard recipe takes keyboard and screen objects as 'ingredients'.
|
|
|
|
#
|
|
|
|
# In mu it is good form (though not required) to explicitly show the
|
|
|
|
# hardware you rely on.
|
|
|
|
#
|
|
|
|
# The chessboard also returns the same keyboard and screen objects. In mu it
|
|
|
|
# is good form to not modify ingredients of a recipe unless they are also
|
|
|
|
# results. Here we clearly modify both keyboard and screen, so we return
|
|
|
|
# both.
|
|
|
|
0:literal/real-screen, 0:literal/real-keyboard <- chessboard 0:literal/real-screen, 0:literal/real-keyboard
|
|
|
|
|
|
|
|
return-to-console # cleanup screen and keyboard
|
|
|
|
]
|
|
|
|
|
2015-05-08 01:35:33 +00:00
|
|
|
## a board is an array of files, a file is an array of characters (squares)
|
2015-05-06 19:13:04 +00:00
|
|
|
recipe init-board [
|
|
|
|
default-space:address:array:location <- new location:type, 30:literal
|
|
|
|
initial-position:address:array:integer <- next-ingredient
|
|
|
|
# assert(length(initial-position) == 64)
|
|
|
|
len:integer <- length initial-position:address:array:integer/deref
|
|
|
|
correct-length?:boolean <- equal len:integer, 64:literal
|
|
|
|
assert correct-length?:boolean, [chessboard had incorrect size]
|
|
|
|
# board is an array of pointers to files; file is an array of characters
|
|
|
|
board:address:array:address:array:character <- new location:type, 8:literal
|
|
|
|
col:integer <- copy 0:literal
|
|
|
|
{
|
|
|
|
done?:boolean <- equal col:integer, 8:literal
|
|
|
|
break-if done?:boolean
|
|
|
|
file:address:address:array:character <- index-address board:address:array:address:array:character/deref, col:integer
|
|
|
|
file:address:address:array:character/deref <- init-file initial-position:address:array:integer, col:integer
|
|
|
|
col:integer <- add col:integer, 1:literal
|
|
|
|
loop
|
|
|
|
}
|
|
|
|
reply board:address:array:address:array:character
|
|
|
|
]
|
|
|
|
|
|
|
|
recipe init-file [
|
|
|
|
default-space:address:array:location <- new location:type, 30:literal
|
|
|
|
position:address:array:integer <- next-ingredient
|
|
|
|
index:integer <- next-ingredient
|
|
|
|
index:integer <- multiply index:integer, 8:literal
|
|
|
|
result:address:array:character <- new character:type, 8:literal
|
|
|
|
row:integer <- copy 0:literal
|
|
|
|
{
|
|
|
|
done?:boolean <- equal row:integer, 8:literal
|
|
|
|
break-if done?:boolean
|
|
|
|
dest:address:character <- index-address result:address:array:character/deref, row:integer
|
|
|
|
dest:address:character/deref <- index position:address:array:integer/deref, index:integer
|
|
|
|
row:integer <- add row:integer, 1:literal
|
|
|
|
index:integer <- add index:integer, 1:literal
|
|
|
|
loop
|
|
|
|
}
|
|
|
|
reply result:address:array:character
|
|
|
|
]
|
|
|
|
|
|
|
|
recipe print-board [
|
|
|
|
default-space:address:array:location <- new location:type, 30:literal
|
|
|
|
screen:address <- next-ingredient
|
|
|
|
board:address:array:address:array:character <- next-ingredient
|
|
|
|
row:integer <- copy 7:literal # start printing from the top of the board
|
|
|
|
# print each row
|
|
|
|
{
|
|
|
|
done?:boolean <- lesser-than row:integer, 0:literal
|
|
|
|
break-if done?:boolean
|
|
|
|
# print rank number as a legend
|
|
|
|
rank:integer <- add row:integer, 1:literal
|
|
|
|
print-integer screen:address, rank:integer
|
|
|
|
s:address:array:character <- new [ | ]
|
|
|
|
print-string screen:address, s:address:array:character
|
|
|
|
# print each square in the row
|
|
|
|
col:integer <- copy 0:literal
|
|
|
|
{
|
|
|
|
done?:boolean <- equal col:integer, 8:literal
|
|
|
|
break-if done?:boolean
|
|
|
|
f:address:array:character <- index board:address:array:address:array:character/deref, col:integer
|
|
|
|
s:character <- index f:address:array:character/deref, row:integer
|
|
|
|
print-character screen:address, s:character
|
|
|
|
print-character screen:address, 32:literal # ' '
|
|
|
|
col:integer <- add col:integer, 1:literal
|
|
|
|
loop
|
|
|
|
}
|
|
|
|
row:integer <- subtract row:integer, 1:literal
|
|
|
|
cursor-to-next-line screen:address
|
|
|
|
loop
|
|
|
|
}
|
|
|
|
# print file letters as legend
|
|
|
|
s:address:array:character <- new [ +----------------]
|
|
|
|
print-string screen:address, s:address:array:character
|
|
|
|
screen:address <- cursor-to-next-line screen:address
|
|
|
|
#? screen:address <- print-character screen:address, 97:literal #? 1
|
|
|
|
s:address:array:character <- new [ a b c d e f g h]
|
|
|
|
screen:address <- print-string screen:address, s:address:array:character
|
|
|
|
screen:address <- cursor-to-next-line screen:address
|
|
|
|
]
|
|
|
|
|
2015-05-08 16:11:12 +00:00
|
|
|
# board:address:array:address:array:character <- initial-position
|
|
|
|
recipe initial-position [
|
|
|
|
default-space:address:array:location <- new location:type, 30:literal
|
|
|
|
# layout in memory (in raster order):
|
|
|
|
# R P _ _ _ _ p r
|
|
|
|
# N P _ _ _ _ p n
|
|
|
|
# B P _ _ _ _ p b
|
|
|
|
# Q P _ _ _ _ p q
|
|
|
|
# K P _ _ _ _ p k
|
|
|
|
# B P _ _ _ _ p B
|
|
|
|
# N P _ _ _ _ p n
|
|
|
|
# R P _ _ _ _ p r
|
|
|
|
initial-position:address:array:integer <- init-array 82:literal/R, 80:literal/P, 32:literal/blank, 32:literal/blank, 32:literal/blank, 32:literal/blank, 112:literal/p, 114:literal/r, 78:literal/N, 80:literal/P, 32:literal/blank, 32:literal/blank, 32:literal/blank, 32:literal/blank, 112:literal/p, 110:literal/n, 66:literal/B, 80:literal/P, 32:literal/blank, 32:literal/blank, 32:literal/blank, 32:literal/blank, 112:literal/p, 98:literal/b, 81:literal/Q, 80:literal/P, 32:literal/blank, 32:literal/blank, 32:literal/blank, 32:literal/blank, 112:literal/p, 113:literal/q, 75:literal/K, 80:literal/P, 32:literal/blank, 32:literal/blank, 32:literal/blank, 32:literal/blank, 112:literal/p, 107:literal/k, 66:literal/B, 80:literal/P, 32:literal/blank, 32:literal/blank, 32:literal/blank, 32:literal/blank, 112:literal/p, 98:literal/b, 78:literal/N, 80:literal/P, 32:literal/blank, 32:literal/blank, 32:literal/blank, 32:literal/blank, 112:literal/p, 110:literal/n, 82:literal/R, 80:literal/P, 32:literal/blank, 32:literal/blank, 32:literal/blank, 32:literal/blank, 112:literal/p, 114:literal/r
|
2015-05-06 19:13:04 +00:00
|
|
|
#? 82:literal/R, 80:literal/P, 32:literal/blank, 32:literal/blank, 32:literal/blank, 32:literal/blank, 112:literal/p, 114:literal/r,
|
|
|
|
#? 78:literal/N, 80:literal/P, 32:literal/blank, 32:literal/blank, 32:literal/blank, 32:literal/blank, 112:literal/p, 110:literal/n,
|
|
|
|
#? 66:literal/B, 80:literal/P, 32:literal/blank, 32:literal/blank, 32:literal/blank, 32:literal/blank, 112:literal/p, 98:literal/b,
|
|
|
|
#? 81:literal/Q, 80:literal/P, 32:literal/blank, 32:literal/blank, 32:literal/blank, 32:literal/blank, 112:literal/p, 113:literal/q,
|
|
|
|
#? 75:literal/K, 80:literal/P, 32:literal/blank, 32:literal/blank, 32:literal/blank, 32:literal/blank, 112:literal/p, 107:literal/k,
|
|
|
|
#? 66:literal/B, 80:literal/P, 32:literal/blank, 32:literal/blank, 32:literal/blank, 32:literal/blank, 112:literal/p, 98:literal/b,
|
|
|
|
#? 78:literal/N, 80:literal/P, 32:literal/blank, 32:literal/blank, 32:literal/blank, 32:literal/blank, 112:literal/p, 110:literal/n,
|
|
|
|
#? 82:literal/R, 80:literal/P, 32:literal/blank, 32:literal/blank, 32:literal/blank, 32:literal/blank, 112:literal/p, 114:literal/r
|
2015-05-08 16:11:12 +00:00
|
|
|
board:address:array:address:array:character <- init-board initial-position:address:array:integer
|
|
|
|
reply board:address:array:address:array:character
|
|
|
|
]
|
|
|
|
|
|
|
|
scenario printing-the-board [
|
2015-05-10 19:55:13 +00:00
|
|
|
assume-screen 30:literal/width, 12:literal/height
|
2015-05-08 16:11:12 +00:00
|
|
|
run [
|
|
|
|
1:address:array:address:array:character/board <- initial-position
|
|
|
|
screen:address <- print-board screen:address, 1:address:array:address:array:character/board
|
2015-05-06 19:13:04 +00:00
|
|
|
]
|
|
|
|
screen-should-contain [
|
|
|
|
# 012345678901234567890123456789
|
|
|
|
.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 .
|
|
|
|
. .
|
|
|
|
. .
|
|
|
|
]
|
|
|
|
]
|
2015-05-08 01:35:33 +00:00
|
|
|
|
|
|
|
## data structure: move
|
|
|
|
container move [
|
|
|
|
# valid range: 0-7
|
|
|
|
from-file:integer
|
|
|
|
from-rank:integer
|
|
|
|
to-file:integer
|
|
|
|
to-rank:integer
|
|
|
|
]
|
|
|
|
|
2015-05-10 18:38:18 +00:00
|
|
|
# result:address:move, quit?:boolean, error?:boolean <- read-move stdin:address:channel, screen:address
|
|
|
|
# prints only error messages to screen
|
2015-05-08 01:35:33 +00:00
|
|
|
recipe read-move [
|
|
|
|
default-space:address:array:location <- new location:type, 30:literal
|
|
|
|
stdin:address:channel <- next-ingredient
|
2015-05-10 18:38:18 +00:00
|
|
|
screen:address <- next-ingredient
|
|
|
|
#? $print screen:address #? 1
|
|
|
|
from-file:integer, quit?:boolean, error?:boolean <- read-file stdin:address:channel, screen:address
|
|
|
|
reply-if quit?:boolean, 0:literal/dummy, quit?:boolean, error?:boolean
|
|
|
|
reply-if error?:boolean, 0:literal/dummy, quit?:boolean, error?:boolean
|
2015-05-10 15:34:12 +00:00
|
|
|
#? return-to-console #? 1
|
2015-05-08 01:35:33 +00:00
|
|
|
# construct the move object
|
|
|
|
result:address:move <- new move:literal
|
|
|
|
x:address:integer <- get-address result:address:move/deref, from-file:offset
|
|
|
|
x:address:integer/deref <- copy from-file:integer
|
|
|
|
x:address:integer <- get-address result:address:move/deref, from-rank:offset
|
2015-05-10 18:38:18 +00:00
|
|
|
x:address:integer/deref, quit?:boolean, error?:boolean <- read-rank stdin:address:channel, screen:address
|
|
|
|
reply-if quit?:boolean, 0:literal/dummy, quit?:boolean, error?:boolean
|
|
|
|
reply-if error?:boolean, 0:literal/dummy, quit?:boolean, error?:boolean
|
|
|
|
error?:boolean <- expect-from-channel stdin:address:channel, 45:literal/dash, screen:address
|
|
|
|
reply-if error?:boolean, 0:literal/dummy, 0:literal/quit, error?:boolean
|
2015-05-08 01:35:33 +00:00
|
|
|
x:address:integer <- get-address result:address:move/deref, to-file:offset
|
2015-05-10 18:38:18 +00:00
|
|
|
x:address:integer/deref, quit?:boolean, error?:boolean <- read-file stdin:address:channel, screen:address
|
|
|
|
reply-if quit?:boolean, 0:literal/dummy, quit?:boolean, error?:boolean
|
|
|
|
reply-if error?:boolean, 0:literal/dummy, quit?:boolean, error?:boolean
|
2015-05-08 01:35:33 +00:00
|
|
|
x:address:integer <- get-address result:address:move/deref, to-rank:offset
|
2015-05-10 18:38:18 +00:00
|
|
|
x:address:integer/deref, quit?:boolean, error?:boolean <- read-rank stdin:address:channel, screen:address
|
|
|
|
reply-if quit?:boolean, 0:literal/dummy, quit?:boolean, error?:boolean
|
|
|
|
reply-if error?:boolean, 0:literal/dummy, quit?:boolean, error?:boolean
|
2015-05-10 15:34:12 +00:00
|
|
|
#? $exit #? 1
|
2015-05-10 18:38:18 +00:00
|
|
|
error?:boolean <- expect-from-channel stdin:address:channel, 13:literal/newline, screen:address
|
|
|
|
reply-if error?:boolean, 0:literal/dummy, 0:literal/quit, error?:boolean
|
|
|
|
reply result:address:move, quit?:boolean, error?:boolean
|
2015-05-08 01:35:33 +00:00
|
|
|
]
|
|
|
|
|
2015-05-10 18:38:18 +00:00
|
|
|
# file:integer, quit:boolean, error:boolean <- read-file stdin:address:channel, screen:address
|
|
|
|
# valid values for file: 0-7
|
2015-05-08 01:35:33 +00:00
|
|
|
recipe read-file [
|
|
|
|
default-space:address:array:location <- new location:type, 30:literal
|
|
|
|
stdin:address:channel <- next-ingredient
|
2015-05-10 18:38:18 +00:00
|
|
|
screen:address <- next-ingredient
|
2015-05-08 01:35:33 +00:00
|
|
|
c:character, stdin:address:channel <- read stdin:address:channel
|
|
|
|
{
|
2015-05-08 05:27:30 +00:00
|
|
|
q-pressed?:boolean <- equal c:character, 81:literal # 'Q'
|
|
|
|
break-unless q-pressed?:boolean
|
2015-05-10 18:38:18 +00:00
|
|
|
reply 0:literal/dummy, 1:literal/quit, 0:literal/error
|
2015-05-08 05:27:30 +00:00
|
|
|
}
|
|
|
|
{
|
|
|
|
q-pressed?:boolean <- equal c:character, 113:literal # 'q'
|
2015-05-08 01:35:33 +00:00
|
|
|
break-unless q-pressed?:boolean
|
2015-05-10 18:38:18 +00:00
|
|
|
reply 0:literal/dummy, 1:literal/quit, 0:literal/error
|
2015-05-08 01:35:33 +00:00
|
|
|
}
|
2015-05-10 18:44:33 +00:00
|
|
|
{
|
|
|
|
newline?:boolean <- equal c:character, 13:literal/newline
|
|
|
|
break-unless newline?:boolean
|
|
|
|
error-message:address:array:character <- new [that's not enough]
|
|
|
|
print-string screen:address, error-message:address:array:character
|
|
|
|
reply 0:literal/dummy, 0:literal/quit, 1:literal/error
|
|
|
|
}
|
2015-05-08 01:35:33 +00:00
|
|
|
file:integer <- subtract c:character, 97:literal # 'a'
|
2015-05-10 15:34:12 +00:00
|
|
|
#? $print file:integer, [ #? 1
|
|
|
|
#? ] #? 1
|
2015-05-08 01:35:33 +00:00
|
|
|
# 'a' <= file <= 'h'
|
2015-05-10 18:38:18 +00:00
|
|
|
{
|
|
|
|
above-min:boolean <- greater-or-equal file:integer, 0:literal
|
|
|
|
break-if above-min:boolean
|
|
|
|
error-message:address:array:character <- new [file too low: ]
|
|
|
|
print-string screen:address, error-message:address:array:character
|
|
|
|
print-character screen:address, c:character
|
|
|
|
cursor-to-next-line screen:address
|
|
|
|
reply 0:literal/dummy, 0:literal/quit, 1:literal/error
|
|
|
|
}
|
|
|
|
{
|
|
|
|
below-max:boolean <- lesser-than file:integer, 8:literal
|
|
|
|
break-if below-max:boolean
|
|
|
|
error-message:address:array:character <- new [file too high: ]
|
|
|
|
print-string screen:address, error-message:address:array:character
|
|
|
|
print-character screen:address, c:character
|
|
|
|
reply 0:literal/dummy, 0:literal/quit, 1:literal/error
|
|
|
|
}
|
|
|
|
reply file:integer, 0:literal/quit, 0:literal/error
|
2015-05-08 01:35:33 +00:00
|
|
|
]
|
|
|
|
|
2015-05-10 18:38:18 +00:00
|
|
|
# rank:integer <- read-rank stdin:address:channel, screen:address
|
|
|
|
# valid values: 0-7, -1 (quit), -2 (error)
|
2015-05-08 01:35:33 +00:00
|
|
|
recipe read-rank [
|
|
|
|
default-space:address:array:location <- new location:type, 30:literal
|
|
|
|
stdin:address:channel <- next-ingredient
|
2015-05-10 18:38:18 +00:00
|
|
|
screen:address <- next-ingredient
|
2015-05-08 01:35:33 +00:00
|
|
|
c:character, stdin:address:channel <- read stdin:address:channel
|
|
|
|
{
|
2015-05-08 05:27:30 +00:00
|
|
|
q-pressed?:boolean <- equal c:character, 81:literal # 'Q'
|
|
|
|
break-unless q-pressed?:boolean
|
2015-05-10 18:38:18 +00:00
|
|
|
reply 0:literal/dummy, 1:literal/quit, 0:literal/error
|
2015-05-08 05:27:30 +00:00
|
|
|
}
|
|
|
|
{
|
|
|
|
q-pressed?:boolean <- equal c:character, 113:literal # 'q'
|
2015-05-08 01:35:33 +00:00
|
|
|
break-unless q-pressed?:boolean
|
2015-05-10 18:38:18 +00:00
|
|
|
reply 0:literal/dummy, 1:literal/quit, 0:literal/error
|
2015-05-08 01:35:33 +00:00
|
|
|
}
|
2015-05-10 18:44:33 +00:00
|
|
|
{
|
|
|
|
newline?:boolean <- equal c:character, 13:literal/newline
|
|
|
|
break-unless newline?:boolean
|
|
|
|
error-message:address:array:character <- new [that's not enough]
|
|
|
|
print-string screen:address, error-message:address:array:character
|
|
|
|
reply 0:literal/dummy, 0:literal/quit, 1:literal/error
|
|
|
|
}
|
2015-05-08 01:35:33 +00:00
|
|
|
rank:integer <- subtract c:character, 49:literal # '1'
|
2015-05-10 15:34:12 +00:00
|
|
|
#? $print rank:integer, [ #? 1
|
|
|
|
#? ] #? 1
|
2015-05-08 01:35:33 +00:00
|
|
|
# assert'1' <= rank <= '8'
|
2015-05-10 18:38:18 +00:00
|
|
|
{
|
|
|
|
above-min:boolean <- greater-or-equal rank:integer 0:literal
|
|
|
|
break-if above-min:boolean
|
|
|
|
error-message:address:array:character <- new [rank too low: ]
|
|
|
|
print-string screen:address, error-message:address:array:character
|
|
|
|
print-character screen:address, c:character
|
|
|
|
reply 0:literal/dummy, 0:literal/quit, 1:literal/error
|
|
|
|
}
|
|
|
|
{
|
|
|
|
below-max:boolean <- lesser-or-equal rank:integer 7:literal
|
|
|
|
break-if below-max:boolean
|
|
|
|
error-message:address:array:character <- new [rank too high: ]
|
|
|
|
print-string screen:address, error-message:address:array:character
|
|
|
|
print-character screen:address, c:character
|
|
|
|
reply 0:literal/dummy, 0:literal/quit, 1:literal/error
|
|
|
|
}
|
|
|
|
reply rank:integer, 0:literal/quit, 0:literal/error
|
2015-05-08 01:35:33 +00:00
|
|
|
]
|
|
|
|
|
|
|
|
# read a character from the given channel and check that it's what we expect
|
2015-05-10 18:38:18 +00:00
|
|
|
# return true on error
|
2015-05-08 01:35:33 +00:00
|
|
|
recipe expect-from-channel [
|
|
|
|
default-space:address:array:location <- new location:type, 30:literal
|
|
|
|
stdin:address:channel <- next-ingredient
|
|
|
|
expected:character <- next-ingredient
|
2015-05-10 18:38:18 +00:00
|
|
|
screen:address <- next-ingredient
|
2015-05-08 01:35:33 +00:00
|
|
|
c:character, stdin:address:channel <- read stdin:address:channel
|
|
|
|
match?:boolean <- equal c:character, expected:character
|
2015-05-10 18:38:18 +00:00
|
|
|
{
|
|
|
|
break-if match?:boolean
|
|
|
|
s:address:array:character <- new [expected character not found]
|
|
|
|
print-string screen:address, s:address:array:character
|
|
|
|
}
|
|
|
|
result:boolean <- not match?:boolean
|
|
|
|
reply result:boolean
|
2015-05-08 01:35:33 +00:00
|
|
|
]
|
|
|
|
|
|
|
|
scenario read-move-blocking [
|
2015-05-10 18:38:18 +00:00
|
|
|
assume-screen 20:literal/width, 2:literal/height
|
2015-05-08 01:35:33 +00:00
|
|
|
run [
|
|
|
|
#? $start-tracing #? 1
|
|
|
|
1:address:channel <- init-channel 2:literal
|
|
|
|
#? $print [aaa channel address: ], 1:address:channel, [ #? 1
|
|
|
|
#? ] #? 1
|
2015-05-10 18:38:18 +00:00
|
|
|
2:integer/routine <- start-running read-move:recipe, 1:address:channel, screen:address
|
2015-05-08 01:35:33 +00:00
|
|
|
# 'read-move' is waiting for input
|
|
|
|
wait-for-routine 2:integer
|
|
|
|
#? $print [bbb channel address: ], 1:address:channel, [ #? 1
|
|
|
|
#? ] #? 1
|
|
|
|
3:integer <- routine-state 2:integer/id
|
|
|
|
#? $print [I: routine ], 2:integer, [ state ], 3:integer [ #? 1
|
|
|
|
#? ] #? 1
|
|
|
|
4:boolean/waiting? <- equal 3:integer/routine-state, 2:literal/waiting
|
|
|
|
assert 4:boolean/waiting?, [
|
|
|
|
F read-move-blocking: routine failed to pause after coming up (before any keys were pressed)]
|
|
|
|
# press 'a'
|
|
|
|
#? $print [ccc channel address: ], 1:address:channel, [ #? 1
|
|
|
|
#? ] #? 1
|
|
|
|
#? $exit #? 1
|
|
|
|
1:address:channel <- write 1:address:channel, 97:literal # 'a'
|
|
|
|
restart 2:integer/routine
|
|
|
|
# 'read-move' still waiting for input
|
|
|
|
wait-for-routine 2:integer
|
|
|
|
3:integer <- routine-state 2:integer/id
|
|
|
|
#? $print [II: routine ], 2:integer, [ state ], 3:integer [ #? 1
|
|
|
|
#? ] #? 1
|
|
|
|
4:boolean/waiting? <- equal 3:integer/routine-state, 2:literal/waiting
|
|
|
|
assert 4:boolean/waiting?, [
|
|
|
|
F read-move-blocking: routine failed to pause after rank 'a']
|
|
|
|
# press '2'
|
|
|
|
1:address:channel <- write 1:address:channel, 50:literal # '2'
|
|
|
|
restart 2:integer/routine
|
|
|
|
# 'read-move' still waiting for input
|
|
|
|
wait-for-routine 2:integer
|
|
|
|
3:integer <- routine-state 2:integer/id
|
|
|
|
#? $print [III: routine ], 2:integer, [ state ], 3:integer [ #? 1
|
|
|
|
#? ] #? 1
|
|
|
|
4:boolean/waiting? <- equal 3:integer/routine-state, 2:literal/waiting
|
|
|
|
assert 4:boolean/waiting?, [
|
|
|
|
F read-move-blocking: routine failed to pause after file 'a2']
|
|
|
|
# press '-'
|
|
|
|
1:address:channel <- write 1:address:channel, 45:literal # '-'
|
|
|
|
restart 2:integer/routine
|
|
|
|
# 'read-move' still waiting for input
|
|
|
|
wait-for-routine 2:integer
|
|
|
|
3:integer <- routine-state 2:integer
|
|
|
|
#? $print [IV: routine ], 2:integer, [ state ], 3:integer [ #? 1
|
|
|
|
#? ] #? 1
|
|
|
|
4:boolean/waiting? <- equal 3:integer/routine-state, 2:literal/waiting
|
|
|
|
assert 4:boolean/waiting?/routine-state, [
|
|
|
|
F read-move-blocking: routine failed to pause after hyphen 'a2-']
|
|
|
|
# press 'a'
|
|
|
|
1:address:channel <- write 1:address:channel, 97:literal # 'a'
|
|
|
|
restart 2:integer/routine
|
|
|
|
# 'read-move' still waiting for input
|
|
|
|
wait-for-routine 2:integer
|
|
|
|
3:integer <- routine-state 2:integer
|
|
|
|
#? $print [V: routine ], 2:integer, [ state ], 3:integer [ #? 1
|
|
|
|
#? ] #? 1
|
|
|
|
4:boolean/waiting? <- equal 3:integer/routine-state, 2:literal/waiting
|
|
|
|
assert 4:boolean/waiting?/routine-state, [
|
|
|
|
F read-move-blocking: routine failed to pause after rank 'a2-a']
|
|
|
|
# press '4'
|
|
|
|
1:address:channel <- write 1:address:channel, 52:literal # '4'
|
|
|
|
restart 2:integer/routine
|
|
|
|
# 'read-move' still waiting for input
|
|
|
|
wait-for-routine 2:integer
|
|
|
|
3:integer <- routine-state 2:integer
|
|
|
|
#? $print [VI: routine ], 2:integer, [ state ], 3:integer [ #? 1
|
|
|
|
#? ] #? 1
|
|
|
|
4:boolean/waiting? <- equal 3:integer/routine-state, 2:literal/waiting
|
|
|
|
assert 4:boolean/waiting?, [
|
|
|
|
F read-move-blocking: routine failed to pause after file 'a2-a4']
|
|
|
|
# press 'newline'
|
2015-05-09 17:56:44 +00:00
|
|
|
1:address:channel <- write 1:address:channel, 13:literal # newline
|
2015-05-08 01:35:33 +00:00
|
|
|
restart 2:integer/routine
|
|
|
|
# 'read-move' now completes
|
|
|
|
wait-for-routine 2:integer
|
|
|
|
3:integer <- routine-state 2:integer
|
|
|
|
#? $print [VII: routine ], 2:integer, [ state ], 3:integer [ #? 1
|
|
|
|
#? ] #? 1
|
|
|
|
4:boolean/completed? <- equal 3:integer/routine-state, 1:literal/completed
|
|
|
|
assert 4:boolean/completed?, [
|
|
|
|
F read-move-blocking: routine failed to terminate on newline]
|
|
|
|
trace [test], [reached end]
|
|
|
|
]
|
|
|
|
trace-should-contain [
|
|
|
|
test: reached end
|
|
|
|
]
|
|
|
|
]
|
2015-05-08 05:27:30 +00:00
|
|
|
|
|
|
|
scenario read-move-quit [
|
2015-05-10 18:38:18 +00:00
|
|
|
assume-screen 20:literal/width, 2:literal/height
|
2015-05-08 05:27:30 +00:00
|
|
|
run [
|
|
|
|
1:address:channel <- init-channel 2:literal
|
2015-05-10 18:38:18 +00:00
|
|
|
2:integer/routine <- start-running read-move:recipe, 1:address:channel, screen:address
|
2015-05-08 05:27:30 +00:00
|
|
|
# 'read-move' is waiting for input
|
|
|
|
wait-for-routine 2:integer
|
|
|
|
3:integer <- routine-state 2:integer/id
|
|
|
|
4:boolean/waiting? <- equal 3:integer/routine-state, 2:literal/waiting
|
|
|
|
assert 4:boolean/waiting?, [
|
|
|
|
F read-move-quit: routine failed to pause after coming up (before any keys were pressed)]
|
|
|
|
# press 'q'
|
|
|
|
1:address:channel <- write 1:address:channel, 113:literal # 'q'
|
|
|
|
restart 2:integer/routine
|
|
|
|
# 'read-move' completes
|
|
|
|
wait-for-routine 2:integer
|
|
|
|
3:integer <- routine-state 2:integer/id
|
|
|
|
4:boolean/completed? <- equal 3:integer/routine-state, 1:literal/completed
|
|
|
|
assert 4:boolean/completed?, [
|
|
|
|
F read-move-quit: routine failed to terminate on 'q']
|
|
|
|
trace [test], [reached end]
|
|
|
|
]
|
|
|
|
trace-should-contain [
|
|
|
|
test: reached end
|
|
|
|
]
|
|
|
|
]
|
|
|
|
|
|
|
|
scenario read-move-illegal-file [
|
2015-05-10 18:38:18 +00:00
|
|
|
assume-screen 20:literal/width, 2:literal/height
|
2015-05-08 05:27:30 +00:00
|
|
|
run [
|
|
|
|
1:address:channel <- init-channel 2:literal
|
2015-05-10 18:38:18 +00:00
|
|
|
2:integer/routine <- start-running read-move:recipe, 1:address:channel, screen:address
|
2015-05-08 05:27:30 +00:00
|
|
|
# 'read-move' is waiting for input
|
|
|
|
wait-for-routine 2:integer
|
|
|
|
3:integer <- routine-state 2:integer/id
|
|
|
|
4:boolean/waiting? <- equal 3:integer/routine-state, 2:literal/waiting
|
|
|
|
assert 4:boolean/waiting?, [
|
|
|
|
F read-move-file: routine failed to pause after coming up (before any keys were pressed)]
|
|
|
|
1:address:channel <- write 1:address:channel, 50:literal # '2'
|
|
|
|
restart 2:integer/routine
|
|
|
|
wait-for-routine 2:integer
|
|
|
|
]
|
2015-05-10 18:38:18 +00:00
|
|
|
screen-should-contain [
|
|
|
|
.file too low: 2 .
|
|
|
|
. .
|
2015-05-08 05:27:30 +00:00
|
|
|
]
|
|
|
|
]
|
|
|
|
|
|
|
|
scenario read-move-illegal-rank [
|
2015-05-10 18:38:18 +00:00
|
|
|
assume-screen 20:literal/width, 2:literal/height
|
2015-05-08 05:27:30 +00:00
|
|
|
run [
|
|
|
|
1:address:channel <- init-channel 2:literal
|
2015-05-10 18:38:18 +00:00
|
|
|
2:integer/routine <- start-running read-move:recipe, 1:address:channel, screen:address
|
2015-05-08 05:27:30 +00:00
|
|
|
# 'read-move' is waiting for input
|
|
|
|
wait-for-routine 2:integer
|
|
|
|
3:integer <- routine-state 2:integer/id
|
|
|
|
4:boolean/waiting? <- equal 3:integer/routine-state, 2:literal/waiting
|
|
|
|
assert 4:boolean/waiting?, [
|
|
|
|
F read-move-file: routine failed to pause after coming up (before any keys were pressed)]
|
|
|
|
1:address:channel <- write 1:address:channel, 97:literal # 'a'
|
|
|
|
1:address:channel <- write 1:address:channel, 97:literal # 'a'
|
|
|
|
restart 2:integer/routine
|
|
|
|
wait-for-routine 2:integer
|
|
|
|
]
|
2015-05-10 18:38:18 +00:00
|
|
|
screen-should-contain [
|
|
|
|
.rank too high: a .
|
|
|
|
. .
|
2015-05-10 18:44:33 +00:00
|
|
|
]
|
|
|
|
]
|
|
|
|
|
|
|
|
scenario read-move-empty [
|
|
|
|
assume-screen 20:literal/width, 2:literal/height
|
|
|
|
run [
|
|
|
|
1:address:channel <- init-channel 2:literal
|
|
|
|
2:integer/routine <- start-running read-move:recipe, 1:address:channel, screen:address
|
|
|
|
# 'read-move' is waiting for input
|
|
|
|
wait-for-routine 2:integer
|
|
|
|
3:integer <- routine-state 2:integer/id
|
|
|
|
4:boolean/waiting? <- equal 3:integer/routine-state, 2:literal/waiting
|
|
|
|
assert 4:boolean/waiting?, [
|
|
|
|
F read-move-file: routine failed to pause after coming up (before any keys were pressed)]
|
|
|
|
1:address:channel <- write 1:address:channel, 13:literal/newline
|
|
|
|
1:address:channel <- write 1:address:channel, 97:literal # 'a'
|
|
|
|
restart 2:integer/routine
|
|
|
|
wait-for-routine 2:integer
|
|
|
|
]
|
|
|
|
screen-should-contain [
|
|
|
|
.that's not enough .
|
|
|
|
. .
|
2015-05-08 05:27:30 +00:00
|
|
|
]
|
|
|
|
]
|
2015-05-08 06:18:46 +00:00
|
|
|
|
|
|
|
recipe make-move [
|
|
|
|
default-space:address:array:location <- new location:type, 30:literal
|
|
|
|
b:address:array:address:array:character <- next-ingredient
|
|
|
|
m:address:move <- next-ingredient
|
|
|
|
from-file:integer <- get m:address:move/deref, from-file:offset
|
|
|
|
#? $print from-file:integer, [ #? 1
|
|
|
|
#? ] #? 1
|
|
|
|
from-rank:integer <- get m:address:move/deref, from-rank:offset
|
|
|
|
#? $print from-rank:integer, [ #? 1
|
|
|
|
#? ] #? 1
|
|
|
|
to-file:integer <- get m:address:move/deref, to-file:offset
|
|
|
|
#? $print to-file:integer, [ #? 1
|
|
|
|
#? ] #? 1
|
|
|
|
to-rank:integer <- get m:address:move/deref, to-rank:offset
|
|
|
|
#? $print to-rank:integer, [ #? 1
|
|
|
|
#? ] #? 1
|
|
|
|
f:address:array:character <- index b:address:array:address:array:character/deref, from-file:integer
|
|
|
|
src:address:character/square <- index-address f:address:array:character/deref, from-rank:integer
|
|
|
|
f:address:array:character <- index b:address:array:address:array:character/deref, to-file:integer
|
|
|
|
dest:address:character/square <- index-address f:address:array:character/deref, to-rank:integer
|
|
|
|
#? $print src:address:character/deref, [ #? 1
|
|
|
|
#? ] #? 1
|
|
|
|
dest:address:character/deref/square <- copy src:address:character/deref/square
|
|
|
|
src:address:character/deref/square <- copy 32:literal # ' '
|
|
|
|
reply b:address:array:address:array:character/same-as-ingredient:0
|
|
|
|
]
|
|
|
|
|
|
|
|
scenario making-a-move [
|
2015-05-10 19:55:13 +00:00
|
|
|
assume-screen 30:literal/width, 12:literal/height
|
2015-05-08 06:18:46 +00:00
|
|
|
run [
|
2015-05-08 16:11:12 +00:00
|
|
|
2:address:array:address:array:character/board <- initial-position
|
2015-05-08 06:18:46 +00:00
|
|
|
3:address:move <- new move:type
|
|
|
|
4:address:integer <- get-address 3:address:move/deref, from-file:offset
|
|
|
|
4:address:integer/deref <- copy 6:literal/g
|
|
|
|
5:address:integer <- get-address 3:address:move/deref, from-rank:offset
|
|
|
|
5:address:integer/deref <- copy 1:literal/2
|
|
|
|
6:address:integer <- get-address 3:address:move/deref, to-file:offset
|
|
|
|
6:address:integer/deref <- copy 6:literal/g
|
|
|
|
7:address:integer <- get-address 3:address:move/deref, to-rank:offset
|
|
|
|
7:address:integer/deref <- copy 3:literal/4
|
|
|
|
2:address:array:address:array:character/board <- make-move 2:address:array:address:array:character/board, 3:address:move
|
|
|
|
screen:address <- print-board screen:address, 2:address:array:address:array:character/board
|
|
|
|
]
|
|
|
|
screen-should-contain [
|
|
|
|
# 012345678901234567890123456789
|
|
|
|
.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 .
|
|
|
|
. .
|
|
|
|
. .
|
|
|
|
]
|
|
|
|
]
|
2015-05-09 17:56:44 +00:00
|
|
|
|
|
|
|
recipe chessboard [
|
|
|
|
default-space:address:array:location <- new location:type, 30:literal
|
2015-05-10 19:52:00 +00:00
|
|
|
screen:address <- next-ingredient
|
|
|
|
keyboard:address <- next-ingredient
|
2015-05-09 17:56:44 +00:00
|
|
|
board:address:array:address:array:character <- initial-position
|
|
|
|
# hook up stdin
|
|
|
|
stdin:address:channel <- init-channel 10:literal/capacity
|
2015-05-10 19:52:00 +00:00
|
|
|
start-running send-keys-to-channel:recipe, keyboard:address, stdin:address:channel, screen:address
|
|
|
|
# buffer lines in stdin
|
2015-05-09 18:05:27 +00:00
|
|
|
buffered-stdin:address:channel <- init-channel 10:literal/capacity
|
|
|
|
start-running buffer-lines:recipe, stdin:address:channel, buffered-stdin:address:channel
|
2015-05-09 17:56:44 +00:00
|
|
|
{
|
|
|
|
msg:address:array:character <- new [Stupid text-mode chessboard. White pieces in uppercase; black pieces in lowercase. No checking for legal moves.
|
2015-05-10 19:18:20 +00:00
|
|
|
]
|
2015-05-10 19:52:00 +00:00
|
|
|
print-string screen:address, msg:address:array:character
|
|
|
|
cursor-to-next-line screen:address
|
|
|
|
print-board screen:address, board:address:array:address:array:character
|
|
|
|
cursor-to-next-line screen:address
|
2015-05-09 17:56:44 +00:00
|
|
|
msg:address:array:character <- new [Type in your move as <from square>-<to square>. For example: 'a2-a4'. Then press <enter>.
|
|
|
|
]
|
2015-05-10 19:52:00 +00:00
|
|
|
print-string screen:address, msg:address:array:character
|
|
|
|
cursor-to-next-line screen:address
|
2015-05-09 17:56:44 +00:00
|
|
|
msg:address:array:character <- new [Hit 'q' to exit.
|
|
|
|
]
|
2015-05-10 19:52:00 +00:00
|
|
|
print-string screen:address, msg:address:array:character
|
2015-05-10 18:38:18 +00:00
|
|
|
{
|
2015-05-10 19:52:00 +00:00
|
|
|
cursor-to-next-line screen:address
|
2015-05-10 18:38:18 +00:00
|
|
|
msg:address:array:character <- new [move: ]
|
2015-05-10 19:52:00 +00:00
|
|
|
print-string screen:address, msg:address:array:character
|
|
|
|
m:address:move, quit:boolean, error:boolean <- read-move buffered-stdin:address:channel, screen:address
|
2015-05-10 18:38:18 +00:00
|
|
|
break-if quit:boolean, +quit:offset
|
2015-05-10 18:49:27 +00:00
|
|
|
buffered-stdin:address:channel <- clear-channel buffered-stdin:address:channel # cleanup after error. todo: test this?
|
2015-05-10 18:38:18 +00:00
|
|
|
loop-if error:boolean
|
|
|
|
}
|
2015-05-09 17:56:44 +00:00
|
|
|
board:address:array:address:array:character <- make-move board:address:array:address:array:character, m:address:move
|
2015-05-10 19:52:00 +00:00
|
|
|
clear-screen screen:address
|
2015-05-09 17:56:44 +00:00
|
|
|
loop
|
|
|
|
}
|
2015-05-10 18:38:18 +00:00
|
|
|
+quit
|
|
|
|
#? $print [aaa] #? 1
|
2015-05-09 17:56:44 +00:00
|
|
|
]
|