container screen [
num-rows:number
num-columns:number
cursor-row:number
cursor-column:number
data:address:array:screen-cell
]
container screen-cell [
contents:character
color:number
]
def new-fake-screen w:number, h:number -> result:address:screen [
local-scope
load-ingredients
result <- new screen:type
bufsize:number <- multiply w, h
data:address:array:screen-cell <- new screen-cell:type, bufsize
*result <- merge h/num-rows, w/num-columns, 0/cursor-row, 0/cursor-column, data
result <- clear-screen result
]
def clear-screen screen:address:screen -> screen:address:screen [
local-scope
load-ingredients
{
break-unless screen
buf:address:array:screen-cell <- get *screen, data:offset
max:number <- length *buf
i:number <- copy 0
{
done?:boolean <- greater-or-equal i, max
break-if done?
curr:screen-cell <- merge 0/empty, 7/white
*buf <- put-index *buf, i, curr
i <- add i, 1
loop
}
*screen <- put *screen, cursor-row:offset, 0
*screen <- put *screen, cursor-column:offset, 0
return
}
clear-display
]
def sync-screen screen:address:screen -> screen:address:screen [
local-scope
load-ingredients
{
break-if screen
sync-display
}
]
def fake-screen-is-empty? screen:address:screen -> result:boolean [
local-scope
load-ingredients
return-unless screen, 1/true
buf:address:array:screen-cell <- get *screen, data:offset
i:number <- copy 0
len:number <- length *buf
{
done?:boolean <- greater-or-equal i, len
break-if done?
curr:screen-cell <- index *buf, i
curr-contents:character <- get curr, contents:offset
i <- add i, 1
loop-unless curr-contents
return 0/false
}
return 1/true
]
def print screen:address:screen, c:character -> screen:address:screen [
local-scope
load-ingredients
color:number, color-found?:boolean <- next-ingredient
{
break-if color-found?
color <- copy 7/white
}
bg-color:number, bg-color-found?:boolean <- next-ingredient
{
break-if bg-color-found?
bg-color <- copy 0/black
}
trace 90, [print-character], c
{
break-unless screen
width:number <- get *screen, num-columns:offset
height:number <- get *screen, num-rows:offset
row:number <- get *screen, cursor-row:offset
legal?:boolean <- greater-or-equal row, 0
return-unless legal?
legal? <- lesser-than row, height
return-unless legal?
column:number <- get *screen, cursor-column:offset
legal? <- greater-or-equal column, 0
return-unless legal?
legal? <- lesser-than column, width
return-unless legal?
{
newline?:boolean <- equal c, 10/newline
break-unless newline?
{
bottom:number <- subtract height, 1
at-bottom?:boolean <- greater-or-equal row, bottom
break-if at-bottom?
column <- copy 0
*screen <- put *screen, cursor-column:offset, column
row <- add row, 1
*screen <- put *screen, cursor-row:offset, row
}
return
}
index:number <- multiply row, width
index <- add index, column
buf:address:array:screen-cell <- get *screen, data:offset
len:number <- length *buf
{
backspace?:boolean <- equal c, 8
break-unless backspace?
{
at-left?:boolean <- lesser-or-equal column, 0
break-if at-left?
column <- subtract column, 1
*screen <- put *screen, cursor-column:offset, column
index <- subtract index, 1
cursor:screen-cell <- merge 32/space, 7/white
*buf <- put-index *buf, index, cursor
}
return
}
cursor:screen-cell <- merge c, color
*buf <- put-index *buf, index, cursor
{
right:number <- subtract width, 1
at-right?:boolean <- greater-or-equal column, right
break-if at-right?
column <- add column, 1
*screen <- put *screen, cursor-column:offset, column
}
return
}
print-character-to-display c, color, bg-color
]
scenario print-character-at-top-left [
run [
local-scope
fake-screen:address:screen <- new-fake-screen 3/width, 2/height
a:character <- copy 97/a
fake-screen <- print fake-screen, a:character
cell:address:array:screen-cell <- get *fake-screen, data:offset
1:array:screen-cell/raw <- copy *cell
]
memory-should-contain [
1 <- 6
2 <- 97
3 <- 7
4 <- 0
]
]
scenario print-character-in-color [
run [
local-scope
fake-screen:address:screen <- new-fake-screen 3/width, 2/height
a:character <- copy 97/a
fake-screen <- print fake-screen, a:character, 1/red
cell:address:array:screen-cell <- get *fake-screen, data:offset
1:array:screen-cell/raw <- copy *cell
]
memory-should-contain [
1 <- 6
2 <- 97
3 <- 1
4 <- 0
]
]
scenario print-backspace-character [
run [
local-scope
fake-screen:address:screen <- new-fake-screen 3/width, 2/height
a:character <- copy 97/a
fake-screen <- print fake-screen, a
backspace:character <- copy 8/backspace
fake-screen <- print fake-screen, backspace
10:number/raw <- get *fake-screen, cursor-column:offset
cell:address:array:screen-cell <- get *fake-screen, data:offset
11:array:screen-cell/raw <- copy *cell
]
memory-should-contain [
10 <- 0
11 <- 6
12 <- 32
13 <- 7
14 <- 0
]
]
scenario print-extra-backspace-character [
run [
local-scope
fake-screen:address:screen <- new-fake-screen 3/width, 2/height
a:character <- copy 97/a
fake-screen <- print fake-screen, a
backspace:character <- copy 8/backspace
fake-screen <- print fake-screen, backspace
fake-screen <- print fake-screen, backspace
1:number/raw <- get *fake-screen, cursor-column:offset
cell:address:array:screen-cell <- get *fake-screen, data:offset
3:array:screen-cell/raw <- copy *cell
]
memory-should-contain [
1 <- 0
3 <- 6
4 <- 32
5 <- 7
6 <- 0
]
]
scenario print-character-at-right-margin [
run [
local-scope
fake-screen:address:screen <- new-fake-screen 2/width, 2/height
a:character <- copy 97/a
fake-screen <- print fake-screen, a
b:character <- copy 98/b
fake-screen <- print fake-screen, b
c:character <- copy 99/c
fake-screen <- print fake-screen, c
10:number/raw <- get *fake-screen, cursor-column:offset
cell:address:array:screen-cell <- get *fake-screen, data:offset
11:array:screen-cell/raw <- copy *cell
]
memory-should-contain [
10 <- 1
11 <- 4
12 <- 97
13 <- 7
14 <- 99
15 <- 7
16 <- 0
]
]
scenario print-newline-character [
run [
local-scope
fake-screen:address:screen <- new-fake-screen 3/width, 2/height
newline:character <- copy 10/newline
a:character <- copy 97/a
fake-screen <- print fake-screen, a
fake-screen <- print fake-screen, newline
10:number/raw <- get *fake-screen, cursor-row:offset
11:number/raw <- get *fake-screen, cursor-column:offset
cell:address:array:screen-cell <- get *fake-screen, data:offset
12:array:screen-cell/raw <- copy *cell
]
memory-should-contain [
10 <- 1
11 <- 0
12 <- 6
13 <- 97
14 <- 7
15 <- 0
]
]
scenario print-newline-at-bottom-line [
run [
local-scope
fake-screen:address:screen <- new-fake-screen 3/width, 2/height
newline:character <- copy 10/newline
fake-screen <- print fake-screen, newline
fake-screen <- print fake-screen, newline
fake-screen <- print fake-screen, newline
10:number/raw <- get *fake-screen, cursor-row:offset
11:number/raw <- get *fake-screen, cursor-column:offset
]
memory-should-contain [
10 <- 1
11 <- 0
]
]
scenario print-character-at-bottom-right [
run [
local-scope
fake-screen:address:screen <- new-fake-screen 2/width, 2/height
newline:character <- copy 10/newline
fake-screen <- print fake-screen, newline
a:character <- copy 97/a
fake-screen <- print fake-screen, a
b:character <- copy 98/b
fake-screen <- print fake-screen, b
c:character <- copy 99/c
fake-screen <- print fake-screen, c
fake-screen <- print fake-screen, newline
d:character <- copy 100/d
fake-screen <- print fake-screen, d
10:number/raw <- get *fake-screen, cursor-row:offset
11:number/raw <- get *fake-screen, cursor-column:offset
cell:address:array:screen-cell <- get *fake-screen, data:offset
20:array:screen-cell/raw <- copy *cell
]
memory-should-contain [
10 <- 1
11 <- 1
20 <- 4
21 <- 0
22 <- 7
23 <- 0
24 <- 7
25 <- 97
26 <- 7
27 <- 100
28 <- 7
29 <- 0
]
]
def clear-line screen:address:screen -> screen:address:screen [
local-scope
load-ingredients
space:character <- copy 0/nul
{
break-unless screen
width:number <- get *screen, num-columns:offset
column:number <- get *screen, cursor-column:offset
original-column:number <- copy column
{
right:number <- subtract width, 1
done?:boolean <- greater-or-equal column, right
break-if done?
print screen, space
column <- add column, 1
loop
}
*screen <- put *screen, cursor-column:offset, original-column
return
}
clear-line-on-display
]
def clear-line-until screen:address:screen, right:number/inclusive -> screen:address:screen [
local-scope
load-ingredients
_, column:number <- cursor-position screen
space:character <- copy 32/space
bg-color:number, bg-color-found?:boolean <- next-ingredient
{
break-if bg-color-found?
bg-color <- copy 0/black
}
{
done?:boolean <- greater-than column, right
break-if done?
screen <- print screen, space, 7/white, bg-color
column <- add column, 1
loop
}
]
def cursor-position screen:address:screen -> row:number, column:number [
local-scope
load-ingredients
{
break-unless screen
row:number <- get *screen, cursor-row:offset
column:number <- get *screen, cursor-column:offset
return
}
row, column <- cursor-position-on-display
]
def move-cursor screen:address:screen, new-row:number, new-column:number -> screen:address:screen [
local-scope
load-ingredients
{
break-unless screen
*screen <- put *screen, cursor-row:offset, new-row
*screen <- put *screen, cursor-column:offset, new-column
return
}
move-cursor-on-display new-row, new-column
]
scenario clear-line-erases-printed-characters [
run [
local-scope
fake-screen:address:screen <- new-fake-screen 3/width, 2/height
a:character <- copy 97/a
fake-screen <- print fake-screen, a
fake-screen <- move-cursor fake-screen, 0/row, 0/column
fake-screen <- clear-line fake-screen
cell:address:array:screen-cell <- get *fake-screen, data:offset
10:array:screen-cell/raw <- copy *cell
]
memory-should-contain [
10 <- 6
11 <- 0
12 <- 7
13 <- 0
14 <- 7
15 <- 0
16 <- 7
17 <- 0
18 <- 7
19 <- 0
20 <- 7
21 <- 0
22 <- 7
]
]
def cursor-down screen:address:screen -> screen:address:screen [
local-scope
load-ingredients
{
break-unless screen
{
height:number <- get *screen, num-rows:offset
row:number <- get *screen, cursor-row:offset
max:number <- subtract height, 1
at-bottom?:boolean <- greater-or-equal row, max
break-if at-bottom?
row <- add row, 1
*screen <- put *screen, cursor-row:offset, row
}
return
}
move-cursor-down-on-display
]
def cursor-up screen:address:screen -> screen:address:screen [
local-scope
load-ingredients
{
break-unless screen
{
row:number <- get *screen, cursor-row:offset
at-top?:boolean <- lesser-or-equal row, 0
break-if at-top?
row <- subtract row, 1
*screen <- put *screen, cursor-row:offset, row
}
return
}
move-cursor-up-on-display
]
def cursor-right screen:address:screen -> screen:address:screen [
local-scope
load-ingredients
{
break-unless screen
{
width:number <- get *screen, num-columns:offset
column:number <- get *screen, cursor-column:offset
max:number <- subtract width, 1
at-bottom?:boolean <- greater-or-equal column, max
break-if at-bottom?
column <- add column, 1
*screen <- put *screen, cursor-column:offset, column
}
return
}
move-cursor-right-on-display
]
def cursor-left screen:address:screen -> screen:address:screen [
local-scope
load-ingredients
{
break-unless screen
{
column:number <- get *screen, cursor-column:offset
at-top?:boolean <- lesser-or-equal column, 0
break-if at-top?
column <- subtract column, 1
*screen <- put *screen, cursor-column:offset, column
}
return
}
move-cursor-left-on-display
]
def cursor-to-start-of-line screen:address:screen -> screen:address:screen [
local-scope
load-ingredients
row:number <- cursor-position screen
column:number <- copy 0
screen <- move-cursor screen, row, column
]
def cursor-to-next-line screen:address:screen -> screen:address:screen [
local-scope
load-ingredients
screen <- cursor-down screen
screen <- cursor-to-start-of-line screen
]
def move-cursor-to-column screen:address:screen, column:number -> screen:address:screen [
local-scope
load-ingredients
row:number, _ <- cursor-position screen
move-cursor screen, row, column
]
def screen-width screen:address:screen -> width:number [
local-scope
load-ingredients
{
break-unless screen
width <- get *screen, num-columns:offset
return
}
width <- display-width
]
def screen-height screen:address:screen -> height:number [
local-scope
load-ingredients
{
break-unless screen
height <- get *screen, num-rows:offset
return
}
height <- display-height
]
def hide-cursor screen:address:screen -> screen:address:screen [
local-scope
load-ingredients
{
break-unless screen
return
}
hide-cursor-on-display
]
def show-cursor screen:address:screen -> screen:address:screen [
local-scope
load-ingredients
{
break-unless screen
return
}
show-cursor-on-display
]
def hide-screen screen:address:screen -> screen:address:screen [
local-scope
load-ingredients
{
break-unless screen
return
}
hide-display
]
def show-screen screen:address:screen -> screen:address:screen [
local-scope
load-ingredients
{
break-unless screen
return
}
show-display
]
def print screen:address:screen, s:text -> screen:address:screen [
local-scope
load-ingredients
color:number, color-found?:boolean <- next-ingredient
{
break-if color-found?
color <- copy 7/white
}
bg-color:number, bg-color-found?:boolean <- next-ingredient
{
break-if bg-color-found?
bg-color <- copy 0/black
}
len:number <- length *s
i:number <- copy 0
{
done?:boolean <- greater-or-equal i, len
break-if done?
c:character <- index *s, i
print screen, c, color, bg-color
i <- add i, 1
loop
}
]
scenario print-text-stops-at-right-margin [
run [
local-scope
fake-screen:address:screen <- new-fake-screen 3/width, 2/height
s:text <- new [abcd]
fake-screen <- print fake-screen, s:text
cell:address:array:screen-cell <- get *fake-screen, data:offset
10:array:screen-cell/raw <- copy *cell
]
memory-should-contain [
10 <- 6
11 <- 97
12 <- 7
13 <- 98
14 <- 7
15 <- 100
16 <- 7
17 <- 0
]
]
def print-integer screen:address:screen, n:number -> screen:address:screen [
local-scope
load-ingredients
color:number, color-found?:boolean <- next-ingredient
{
break-if color-found?
color <- copy 7/white
}
bg-color:number, bg-color-found?:boolean <- next-ingredient
{
break-if bg-color-found?
bg-color <- copy 0/black
}
s:text <- to-text n
screen <- print screen, s, color, bg-color
]
def print screen:address:screen, n:number -> screen:address:screen [
local-scope
load-ingredients
color:number, color-found?:boolean <- next-ingredient
{
break-if color-found?
color <- copy 7/white
}
bg-color:number, bg-color-found?:boolean <- next-ingredient
{
break-if bg-color-found?
bg-color <- copy 0/black
}
screen <- print-integer screen, n, color, bg-color
]
def print screen:address:screen, n:address:_elem -> screen:address:screen [
local-scope
load-ingredients
color:number, color-found?:boolean <- next-ingredient
{
break-if color-found?
color <- copy 7/white
}
bg-color:number, bg-color-found?:boolean <- next-ingredient
{
break-if bg-color-found?
bg-color <- copy 0/black
}
n2:number <- copy n
screen <- print-integer screen, n2, color, bg-color
]