recipe main [
default-space:address:array:location <- new location:type, 30:literal
switch-to-display
msg:address:array:character <- new [ready! type in an instruction, then hit enter. ctrl-d exits.
]
0:literal/real-screen <- print-string 0:literal/real-screen, msg:address:array:character
{
inst:address:array:character, 0:literal/real-keyboard, 0:literal/real-screen <- read-instruction 0:literal/real-keyboard, 0:literal/real-screen
break-unless inst:address:array:character
0:literal/real-screen <- print-string 0:literal/real-screen, inst:address:array:character
loop
}
return-to-console
]
scenario read-instruction1 [
assume-screen 30:literal/width, 5:literal/height
assume-keyboard [x <- copy y
]
run [
1:address:array:character <- read-instruction keyboard:address, screen:address
2:address:array:character <- new [=> ]
print-string screen:address, 2:address:array:character
print-string screen:address, 1:address:array:character
]
screen-should-contain [
.x <- copy y .
.=> x <- copy y .
. .
]
screen-should-contain-in-color 7:literal/white, [
.x <- copy y .
.=> x <- copy y .
. .
]
]
recipe read-instruction [
default-space:address:array:location <- new location:type, 60:literal
k:address:keyboard <- next-ingredient
x:address:screen <- next-ingredient
result:address:buffer <- init-buffer 10:literal
trace [app], [read-instruction]
complete:continuation <- current-continuation
len:number <- get result:address:buffer/deref, length:offset
completed?:boolean <- greater-than len:number, 0:literal
jump-if completed?:boolean, +completed:label
result:address:buffer, k:address:keyboard, x:address:screen <- slurp-regular-characters result:address:buffer, k:address:keyboard, x:address:screen, complete:continuation
trace [error], [slurp-regular-characters should never return normally]
+completed
result2:address:array:character <- buffer-to-array result:address:buffer
trace [app], [exiting read-instruction]
reply result2:address:array:character, k:address:keyboard/same-as-ingredient:0, x:address:screen/same-as-ingredient:1
]
recipe slurp-regular-characters [
default-space:address:array:location <- new location:type, 60:literal
result:address:buffer <- next-ingredient
k:address:keyboard <- next-ingredient
x:address:screen <- next-ingredient
complete:continuation <- next-ingredient
trace [app], [slurp-regular-characters]
characters-slurped:number <- copy 0:literal
{
+next-character
c:character, k:address:keyboard <- wait-for-key k:address:keyboard
{
ctrl-d?:boolean <- equal c:character, 4:literal/ctrl-d/eof
break-unless ctrl-d?:boolean
trace [app], [slurp-regular-characters: ctrl-d]
reply 0:literal, k:address:keyboard/same-as-ingredient:1, x:address:screen/same-as-ingredient:2
}
{
null?:boolean <- equal c:character, 0:literal/null
break-unless null?:boolean
trace [app], [slurp-regular-characters: null]
reply 0:literal, k:address:keyboard/same-as-ingredient:1, x:address:screen/same-as-ingredient:2
}
{
comment?:boolean <- equal c:character, 35:literal/hash
break-unless comment?:boolean
print-character x:address:screen, c:character, 4:literal/blue
result:address:buffer <- buffer-append result:address:buffer, c:character
result:address:buffer, k:address:keyboard, x:address:screen <- slurp-comment result:address:buffer, k:address:keyboard, x:address:screen, complete:continuation
loop +next-character:label
}
{
string?:boolean <- equal c:character, 91:literal/open-bracket
break-unless string?:boolean
print-character x:address:screen, c:character, 6:literal/cyan
result:address:buffer <- buffer-append result:address:buffer, c:character
result:address:buffer, _, k:address:keyboard, x:address:screen <- slurp-string result:address:buffer, k:address:keyboard, x:address:screen, complete:continuation
loop +next-character:label
}
print-character x:address:screen, c:character
result:address:buffer <- buffer-append result:address:buffer, c:character
{
backspace?:boolean <- equal c:character, 8:literal/backspace
break-unless backspace?:boolean
characters-slurped:number <- subtract characters-slurped:number, 1:literal
{
done?:boolean <- lesser-or-equal characters-slurped:number, 0:literal
break-unless done?:boolean
trace [app], [slurp-regular-characters: too many backspaces; returning]
reply result:address:buffer, k:address:keyboard/same-as-ingredient:1, x:address:screen/same-as-ingredient:2
}
loop +next-character:label
}
characters-slurped:number <- add characters-slurped:number, 1:literal
done?:boolean <- equal c:character, 10:literal/newline
break-if done?:boolean
loop
}
trace [app], [slurp-regular-characters: newline encountered; unwinding stack]
continue-from complete:continuation
]
recipe slurp-comment [
default-space:address:array:location <- new location:type, 60:literal
result:address:buffer <- next-ingredient
k:address:keyboard <- next-ingredient
x:address:screen <- next-ingredient
complete:continuation <- next-ingredient
trace [app], [slurp-comment]
characters-slurped:number <- copy 1:literal
{
+next-character
c:character, k:address:keyboard <- wait-for-key k:address:keyboard
{
ctrl-d?:boolean <- equal c:character, 4:literal/ctrl-d/eof
break-unless ctrl-d?:boolean
trace [app], [slurp-comment: ctrl-d]
reply 0:literal, k:address:keyboard/same-as-ingredient:1, x:address:screen/same-as-ingredient:2
}
{
null?:boolean <- equal c:character, 0:literal/null
break-unless null?:boolean
trace [app], [slurp-comment: null]
reply 0:literal, k:address:keyboard/same-as-ingredient:1, x:address:screen/same-as-ingredient:2
}
print-character x:address:screen, c:character, 4:literal/blue
result:address:buffer <- buffer-append result:address:buffer, c:character
{
backspace?:boolean <- equal c:character, 8:literal/backspace
break-unless backspace?:boolean
characters-slurped:number <- subtract characters-slurped:number, 1:literal
{
reset-color?:boolean <- lesser-or-equal characters-slurped:number, 0:literal
break-unless reset-color?:boolean
trace [app], [slurp-comment: too many backspaces; returning]
reply result:address:buffer, k:address:keyboard/same-as-ingredient:1, x:address:screen/same-as-ingredient:2
}
loop +next-character:label
}
characters-slurped:number <- add characters-slurped:number, 1:literal
done?:boolean <- equal c:character, 10:literal/newline
break-if done?:boolean
loop
}
trace [app], [slurp-regular-characters: newline encountered; returning]
reply result:address:buffer, k:address:keyboard/same-as-ingredient:1, x:address:screen/same-as-ingredient:2
]
recipe slurp-string [
default-space:address:array:location <- new location:type, 60:literal
result:address:buffer <- next-ingredient
k:address:keyboard <- next-ingredient
x:address:screen <- next-ingredient
complete:continuation <- next-ingredient
nested-string?:boolean <- next-ingredient
trace [app], [slurp-string]
characters-slurped:number <- copy 1:literal
{
+next-character
c:character, k:address:keyboard <- wait-for-key k:address:keyboard
{
ctrl-d?:boolean <- equal c:character, 4:literal/ctrl-d/eof
break-unless ctrl-d?:boolean
trace [app], [slurp-string: ctrl-d]
reply 0:literal, 0:literal, k:address:keyboard/same-as-ingredient:1, x:address:screen/same-as-ingredient:2
}
{
null?:boolean <- equal c:character, 0:literal/null
break-unless null?:boolean
trace [app], [slurp-string: null]
reply 0:literal, 0:literal, k:address:keyboard/same-as-ingredient:1, x:address:screen/same-as-ingredient:2
}
{
string?:boolean <- equal c:character, 91:literal/open-bracket
break-unless string?:boolean
trace [app], [slurp-string: open-bracket encountered; recursing]
print-character x:address:screen, c:character, 6:literal/cyan
result:address:buffer <- buffer-append result:address:buffer, c:character
result:address:buffer, tmp:number, k:address:keyboard, x:address:screen <- slurp-string result:address:buffer, k:address:keyboard, x:address:screen, complete:continuation, 1:literal/nested?
characters-slurped:number <- add characters-slurped:number, tmp:number, 1:literal
loop +next-character:label
}
print-character x:address:screen, c:character, 6:literal/cyan
result:address:buffer <- buffer-append result:address:buffer, c:character
{
backspace?:boolean <- equal c:character, 8:literal/backspace
break-unless backspace?:boolean
characters-slurped:number <- subtract characters-slurped:number, 1:literal
{
reset-color?:boolean <- lesser-or-equal characters-slurped:number, 0:literal
break-unless reset-color?:boolean
trace [app], [slurp-string: too many backspaces; returning]
reply result:address:buffer/same-as-ingredient:0, 0:literal, k:address:keyboard/same-as-ingredient:1, x:address:screen/same-as-ingredient:2
}
loop +next-character:label
}
characters-slurped:number <- add characters-slurped:number, 1:literal
done?:boolean <- equal c:character, 93:literal/close-bracket
break-if done?:boolean
loop
}
{
break-unless nested-string?:boolean
reply result:address:buffer, characters-slurped:number, k:address:keyboard, x:address:screen
}
trace [app], [slurp-string: close-bracket encountered; recursing to regular characters]
result:address:buffer, k:address:keyboard, x:address:screen <- slurp-regular-characters result:address:buffer, k:address:keyboard, x:address:screen, complete:continuation
trace [app], [slurp-string: backspaced back into string; restarting]
jump +next-character:label
]
scenario read-instruction-color-comment [
assume-screen 30:literal/width, 5:literal/height
assume-keyboard [# comment
]
run [
read-instruction keyboard:address, screen:address
]
screen-should-contain-in-color 4:literal/blue, [
.# comment .
. .
]
screen-should-contain-in-color 7:literal/white, [
. .
. .
]
]
scenario read-instruction-cancel-comment-on-backspace [
assume-screen 30:literal/width, 5:literal/height
assume-keyboard [#a««z
]
replace-in-keyboard 171:literal/«, 8:literal/backspace
run [
read-instruction keyboard:address, screen:address
]
screen-should-contain-in-color 4:literal/blue, [
. .
. .
]
screen-should-contain-in-color 7:literal/white, [
.z .
. .
]
]
scenario read-instruction-cancel-comment-on-backspace2 [
assume-screen 30:literal/width, 5:literal/height
assume-keyboard [#ab«««z
]
replace-in-keyboard 171:literal/«, 8:literal/backspace
run [
read-instruction keyboard:address, screen:address
]
screen-should-contain-in-color 4:literal/blue, [
. .
. .
]
screen-should-contain-in-color 7:literal/white, [
.z .
. .
]
]
scenario read-instruction-cancel-comment-on-backspace3 [
assume-screen 30:literal/width, 5:literal/height
assume-keyboard [#a«z
]
replace-in-keyboard 171:literal/«, 8:literal/backspace
run [
read-instruction keyboard:address, screen:address
]
screen-should-contain-in-color 4:literal/blue, [
.#z .
. .
]
screen-should-contain-in-color 7:literal/white, [
. .
. .
]
]
scenario read-instruction-color-string [
assume-screen 30:literal/width, 5:literal/height
assume-keyboard [abc [string]
]
run [
read-instruction keyboard:address, screen:address
]
screen-should-contain [
.abc [string] .
. .
]
screen-should-contain-in-color 6:literal/cyan, [
. [string] .
. .
]
screen-should-contain-in-color 7:literal/white, [
.abc .
. .
]
]
scenario read-instruction-color-string-multiline [
assume-screen 30:literal/width, 5:literal/height
assume-keyboard [abc [line1
line2]
]
run [
read-instruction keyboard:address, screen:address
]
screen-should-contain [
.abc [line1 .
.line2] .
. .
]
screen-should-contain-in-color 6:literal/cyan, [
. [line1 .
.line2] .
. .
]
screen-should-contain-in-color 7:literal/white, [
.abc .
. .
. .
]
]
scenario read-instruction-color-string-and-comment [
assume-screen 30:literal/width, 5:literal/height
assume-keyboard [abc [string]
]
run [
read-instruction keyboard:address, screen:address
]
screen-should-contain [
.abc [string] # comment .
. .
]
screen-should-contain-in-color 4:literal/blue, [
. # comment .
. .
]
screen-should-contain-in-color 6:literal/cyan, [
. [string] .
. .
]
screen-should-contain-in-color 7:literal/white, [
.abc .
. .
]
]
scenario read-instruction-ignore-comment-inside-string [
assume-screen 30:literal/width, 5:literal/height
assume-keyboard [abc [string # not a comment]
]
run [
read-instruction keyboard:address, screen:address
]
screen-should-contain [
.abc [string # not a comment] .
. .
]
screen-should-contain-in-color 6:literal/cyan, [
. [string # not a comment] .
. .
]
screen-should-contain-in-color 7:literal/white, [
.abc .
. .
]
screen-should-contain-in-color 4:literal/blue, [
. .
. .
]
]
scenario read-instruction-ignore-string-inside-comment [
assume-screen 30:literal/width, 5:literal/height
assume-keyboard [abc # comment [not a string]
]
run [
read-instruction keyboard:address, screen:address
]
screen-should-contain [
.abc # comment [not a string] .
. .
]
screen-should-contain-in-color 6:literal/cyan, [
. .
. .
]
screen-should-contain-in-color 7:literal/white, [
.abc .
. .
]
screen-should-contain-in-color 4:literal/blue, [
. # comment [not a string] .
. .
]
]
scenario read-instruction-color-string-inside-string [
assume-screen 30:literal/width, 5:literal/height
assume-keyboard [abc [string [inner string]]
]
run [
read-instruction keyboard:address, screen:address
]
screen-should-contain [
.abc [string [inner string]] .
. .
]
screen-should-contain-in-color 6:literal/cyan, [
. [string [inner string]] .
. .
]
screen-should-contain-in-color 7:literal/white, [
.abc .
. .
]
]
scenario read-instruction-cancel-string-on-backspace [
assume-screen 30:literal/width, 5:literal/height
assume-keyboard [\\\[a««z
]
replace-in-keyboard 171:literal/«, 8:literal/backspace
run [
read-instruction keyboard:address, screen:address
]
screen-should-contain-in-color 6:literal/cyan, [
. .
. .
]
screen-should-contain-in-color 7:literal/white, [
.z .
. .
]
]
scenario read-instruction-cancel-string-inside-string-on-backspace [
assume-screen 30:literal/width, 5:literal/height
assume-keyboard [[a[b]«««b]
]
replace-in-keyboard 171:literal/«, 8:literal/backspace
run [
read-instruction keyboard:address, screen:address
]
screen-should-contain-in-color 6:literal/cyan, [
.[ab] .
. .
]
screen-should-contain-in-color 7:literal/white, [
. .
. .
]
]
scenario read-instruction-backspace-back-into-string [
assume-screen 30:literal/width, 5:literal/height
assume-keyboard [[a]«b
]
replace-in-keyboard 171:literal/«, 8:literal/backspace
run [
read-instruction keyboard:address, screen:address
]
screen-should-contain [
.\\\[ab .
. .
]
screen-should-contain-in-color 6:literal/cyan, [
.\\\[ab .
. .
]
screen-should-contain-in-color 7:literal/white, [
. .
. .
]
]