scenario editor-inserts-two-spaces-on-tab [
assume-screen 10/width, 5/height
1:address:array:character <- new [ab
cd]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 5/right
assume-console [
press tab
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
. ab .
.cd .
]
]
after <handle-special-character> [
{
tab?:boolean <- equal *c, 9/tab
break-unless tab?
<insert-character-begin>
editor, screen, go-render?:boolean <- insert-at-cursor editor, 32/space, screen
editor, screen, go-render?:boolean <- insert-at-cursor editor, 32/space, screen
<insert-character-end>
go-render? <- copy 1/true
reply
}
]
scenario editor-handles-backspace-key [
assume-screen 10/width, 5/height
1:address:array:character <- new [abc]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
editor-render screen, 2:address:editor-data
$clear-trace
assume-console [
left-click 1, 1
press backspace
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
4:number <- get *2:address:editor-data, cursor-row:offset
5:number <- get *2:address:editor-data, cursor-column:offset
]
screen-should-contain [
. .
.bc .
.┈┈┈┈┈┈┈┈┈┈.
. .
]
memory-should-contain [
4 <- 1
5 <- 0
]
check-trace-count-for-label 3, [print-character]
]
after <handle-special-character> [
{
delete-previous-character?:boolean <- equal *c, 8/backspace
break-unless delete-previous-character?
<backspace-character-begin>
editor, screen, go-render?:boolean, backspaced-cell:address:duplex-list:character <- delete-before-cursor editor, screen
<backspace-character-end>
reply
}
]
recipe delete-before-cursor editor:address:editor-data, screen:address:screen -> editor:address:editor-data, screen:address:screen, go-render?:boolean, backspaced-cell:address:duplex-list:character [
local-scope
load-ingredients
before-cursor:address:address:duplex-list:character <- get-address *editor, before-cursor:offset
prev:address:duplex-list:character <- prev-duplex *before-cursor
go-render?, backspaced-cell <- copy 0/no-more-render, 0/nothing-deleted
reply-unless prev
trace 10, [app], [delete-before-cursor]
original-row:number <- get *editor, cursor-row:offset
editor, scroll?:boolean <- move-cursor-coordinates-left editor
backspaced-cell:address:duplex-list:character <- copy *before-cursor
remove-duplex *before-cursor
*before-cursor <- copy prev
go-render? <- copy 1/true
reply-if scroll?
screen-width:number <- screen-width screen
cursor-row:number <- get *editor, cursor-row:offset
cursor-column:number <- get *editor, cursor-column:offset
same-row?:boolean <- equal cursor-row, original-row
go-render? <- copy 1/true
reply-unless same-row?
left:number <- get *editor, left:offset
right:number <- get *editor, right:offset
curr:address:duplex-list:character <- next-duplex *before-cursor
screen <- move-cursor screen, cursor-row, cursor-column
curr-column:number <- copy cursor-column
{
at-right?:boolean <- greater-or-equal curr-column, right
go-render? <- copy 1/true
reply-if at-right?
break-unless curr
currc:character <- get *curr, value:offset
at-newline?:boolean <- equal currc, 10/newline
break-if at-newline?
screen <- print-character screen, currc
curr-column <- add curr-column, 1
curr <- next-duplex curr
loop
}
screen <- print-character screen, 32/space
go-render? <- copy 0/false
]
recipe move-cursor-coordinates-left editor:address:editor-data -> editor:address:editor-data, go-render?:boolean [
local-scope
load-ingredients
before-cursor:address:duplex-list:character <- get *editor, before-cursor:offset
cursor-row:address:number <- get-address *editor, cursor-row:offset
cursor-column:address:number <- get-address *editor, cursor-column:offset
left:number <- get *editor, left:offset
{
at-left-margin?:boolean <- equal *cursor-column, left
break-if at-left-margin?
trace 10, [app], [decrementing cursor column]
*cursor-column <- subtract *cursor-column, 1
go-render? <- copy 0/false
reply
}
top-of-screen?:boolean <- equal *cursor-row, 1
go-render?:boolean <- copy 0/false
{
break-if top-of-screen?
*cursor-row <- subtract *cursor-row, 1
}
{
break-unless top-of-screen?
<scroll-up>
go-render? <- copy 1/true
}
{
previous-character:character <- get *before-cursor, value:offset
previous-character-is-newline?:boolean <- equal previous-character, 10/newline
break-unless previous-character-is-newline?
trace 10, [app], [switching to previous line]
d:address:duplex-list:character <- get *editor, data:offset
end-of-line:number <- previous-line-length before-cursor, d
*cursor-column <- add left, end-of-line
reply
}
trace 10, [app], [wrapping to previous line]
right:number <- get *editor, right:offset
*cursor-column <- subtract right, 1
]
recipe previous-line-length curr:address:duplex-list:character, start:address:duplex-list:character -> result:number [
local-scope
load-ingredients
result:number <- copy 0
reply-unless curr
at-start?:boolean <- equal curr, start
reply-if at-start?
{
curr <- prev-duplex curr
break-unless curr
at-start?:boolean <- equal curr, start
break-if at-start?
c:character <- get *curr, value:offset
at-newline?:boolean <- equal c, 10/newline
break-if at-newline?
result <- add result, 1
loop
}
]
scenario editor-clears-last-line-on-backspace [
assume-screen 10/width, 5/height
1:address:array:character <- new [ab
cd]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
assume-console [
left-click 2, 0
press backspace
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
4:number <- get *2:address:editor-data, cursor-row:offset
5:number <- get *2:address:editor-data, cursor-column:offset
]
screen-should-contain [
. .
.abcd .
.┈┈┈┈┈┈┈┈┈┈.
. .
]
memory-should-contain [
4 <- 1
5 <- 2
]
]
scenario editor-joins-and-wraps-lines-on-backspace [
assume-screen 10/width, 5/height
1:address:array:character <- new [abc def
ghi jkl]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
editor-render screen, 2:address:editor-data
$clear-trace
assume-console [
left-click 2, 0
press backspace
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.abc defgh↩.
.i jkl .
.┈┈┈┈┈┈┈┈┈┈.
. .
]
]
scenario editor-wraps-long-lines-on-backspace [
assume-screen 10/width, 5/height
1:address:array:character <- new [abc def ghij]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 8/right
editor-render screen, 2:address:editor-data
screen-should-contain [
. .
.abc def↩ .
. ghij .
.┈┈┈┈┈┈┈┈ .
]
$clear-trace
assume-console [
left-click 1, 4
press backspace
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.abcdef ↩ .
.ghij .
.┈┈┈┈┈┈┈┈ .
. .
]
]
scenario editor-handles-delete-key [
assume-screen 10/width, 5/height
1:address:array:character <- new [abc]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
editor-render screen, 2:address:editor-data
$clear-trace
assume-console [
press delete
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.bc .
.┈┈┈┈┈┈┈┈┈┈.
. .
]
check-trace-count-for-label 3, [print-character]
$clear-trace
assume-console [
press delete
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.c .
.┈┈┈┈┈┈┈┈┈┈.
. .
]
check-trace-count-for-label 2, [print-character]
]
after <handle-special-key> [
{
delete-next-character?:boolean <- equal *k, 65522/delete
break-unless delete-next-character?
<delete-character-begin>
editor, screen, go-render?:boolean, deleted-cell:address:duplex-list:character <- delete-at-cursor editor, screen
<delete-character-end>
reply
}
]
recipe delete-at-cursor editor:address:editor-data, screen:address:screen -> editor:address:editor-data, screen:address:screen, go-render?:boolean, deleted-cell:address:duplex-list:character [
local-scope
load-ingredients
before-cursor:address:address:duplex-list:character <- get-address *editor, before-cursor:offset
deleted-cell:address:duplex-list:character <- next-duplex *before-cursor
go-render? <- copy 0/false
reply-unless deleted-cell
currc:character <- get *deleted-cell, value:offset
remove-duplex deleted-cell
deleted-newline?:boolean <- equal currc, 10/newline
go-render? <- copy 1/true
reply-if deleted-newline?
curr:address:duplex-list:character <- next-duplex *before-cursor
cursor-row:address:number <- get-address *editor, cursor-row:offset
cursor-column:address:number <- get-address *editor, cursor-column:offset
screen <- move-cursor screen, *cursor-row, *cursor-column
curr-column:number <- copy *cursor-column
screen-width:number <- screen-width screen
{
at-right?:boolean <- greater-or-equal curr-column, screen-width
go-render? <- copy 1/true
reply-if at-right?
break-unless curr
currc:character <- get *curr, value:offset
at-newline?:boolean <- equal currc, 10/newline
break-if at-newline?
screen <- print-character screen, currc
curr-column <- add curr-column, 1
curr <- next-duplex curr
loop
}
screen <- print-character screen, 32/space
go-render? <- copy 0/false
]
scenario editor-moves-cursor-right-with-key [
assume-screen 10/width, 5/height
1:address:array:character <- new [abc]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
editor-render screen, 2:address:editor-data
$clear-trace
assume-console [
press right-arrow
type [0]
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.a0bc .
.┈┈┈┈┈┈┈┈┈┈.
. .
]
check-trace-count-for-label 3, [print-character]
]
after <handle-special-key> [
{
move-to-next-character?:boolean <- equal *k, 65514/right-arrow
break-unless move-to-next-character?
next-cursor:address:duplex-list:character <- next-duplex *before-cursor
break-unless next-cursor
<move-cursor-begin>
*before-cursor <- copy next-cursor
editor, go-render?:boolean <- move-cursor-coordinates-right editor, screen-height
screen <- move-cursor screen, *cursor-row, *cursor-column
undo-coalesce-tag:number <- copy 2/right-arrow
<move-cursor-end>
reply
}
]
recipe move-cursor-coordinates-right editor:address:editor-data, screen-height:number -> editor:address:editor-data, go-render?:boolean [
local-scope
load-ingredients
before-cursor:address:duplex-list:character <- get *editor before-cursor:offset
cursor-row:address:number <- get-address *editor, cursor-row:offset
cursor-column:address:number <- get-address *editor, cursor-column:offset
left:number <- get *editor, left:offset
right:number <- get *editor, right:offset
{
old-cursor-character:character <- get *before-cursor, value:offset
was-at-newline?:boolean <- equal old-cursor-character, 10/newline
break-unless was-at-newline?
*cursor-row <- add *cursor-row, 1
*cursor-column <- copy left
below-screen?:boolean <- greater-or-equal *cursor-row, screen-height
go-render? <- copy 0/false
reply-unless below-screen?
<scroll-down>
*cursor-row <- subtract *cursor-row, 1
go-render? <- copy 1/true
reply
}
{
wrap-column:number <- subtract right, 1
at-wrap?:boolean <- equal *cursor-column, wrap-column
break-unless at-wrap?
next:address:duplex-list:character <- next-duplex before-cursor
break-unless next
next-character:character <- get *next, value:offset
newline?:boolean <- equal next-character, 10/newline
break-if newline?
*cursor-row <- add *cursor-row, 1
*cursor-column <- copy left
below-screen?:boolean <- greater-or-equal *cursor-row, screen-height
reply-unless below-screen?, editor/same-as-ingredient:0, 0/no-more-render
<scroll-down>
*cursor-row <- subtract *cursor-row, 1
go-render? <- copy 1/true
reply
}
*cursor-column <- add *cursor-column, 1
go-render? <- copy 0/false
]
scenario editor-moves-cursor-to-next-line-with-right-arrow [
assume-screen 10/width, 5/height
1:address:array:character <- new [abc
d]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
editor-render screen, 2:address:editor-data
$clear-trace
assume-console [
press right-arrow
press right-arrow
press right-arrow
press right-arrow
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
check-trace-count-for-label 0, [print-character]
assume-console [
type [0]
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.abc .
.0d .
.┈┈┈┈┈┈┈┈┈┈.
. .
]
check-trace-count-for-label 2, [print-character]
]
scenario editor-moves-cursor-to-next-line-with-right-arrow-2 [
assume-screen 10/width, 5/height
1:address:array:character <- new [abc
d]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 1/left, 10/right
editor-render screen, 2:address:editor-data
assume-console [
press right-arrow
press right-arrow
press right-arrow
press right-arrow
type [0]
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
. abc .
. 0d .
. ┈┈┈┈┈┈┈┈┈.
. .
]
]
scenario editor-moves-cursor-to-next-wrapped-line-with-right-arrow [
assume-screen 10/width, 5/height
1:address:array:character <- new [abcdef]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 5/right
editor-render screen, 2:address:editor-data
$clear-trace
assume-console [
left-click 1, 3
press right-arrow
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
3:number <- get *2:address:editor-data, cursor-row:offset
4:number <- get *2:address:editor-data, cursor-column:offset
]
screen-should-contain [
. .
.abcd↩ .
.ef .
.┈┈┈┈┈ .
. .
]
memory-should-contain [
3 <- 2
4 <- 0
]
check-trace-count-for-label 0, [print-character]
]
scenario editor-moves-cursor-to-next-wrapped-line-with-right-arrow-2 [
assume-screen 10/width, 5/height
1:address:array:character <- new [abcde]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 5/right
editor-render screen, 2:address:editor-data
$clear-trace
assume-console [
left-click 1, 3
press right-arrow
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
3:number <- get *2:address:editor-data, cursor-row:offset
4:number <- get *2:address:editor-data, cursor-column:offset
]
memory-should-contain [
3 <- 2
4 <- 0
]
assume-console [
press right-arrow
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
3:number <- get *2:address:editor-data, cursor-row:offset
4:number <- get *2:address:editor-data, cursor-column:offset
]
memory-should-contain [
3 <- 2
4 <- 1
]
check-trace-count-for-label 0, [print-character]
]
scenario editor-moves-cursor-to-next-wrapped-line-with-right-arrow-3 [
assume-screen 10/width, 5/height
1:address:array:character <- new [abcdef]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 1/left, 6/right
editor-render screen, 2:address:editor-data
$clear-trace
assume-console [
left-click 1, 4
press right-arrow
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
3:number <- get *2:address:editor-data, cursor-row:offset
4:number <- get *2:address:editor-data, cursor-column:offset
]
screen-should-contain [
. .
. abcd↩ .
. ef .
. ┈┈┈┈┈ .
. .
]
memory-should-contain [
3 <- 2
4 <- 1
]
check-trace-count-for-label 0, [print-character]
]
scenario editor-moves-cursor-to-next-line-with-right-arrow-at-end-of-line [
assume-screen 10/width, 5/height
1:address:array:character <- new [abc
d]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
editor-render screen, 2:address:editor-data
$clear-trace
assume-console [
left-click 1, 3
press right-arrow
type [0]
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.abc .
.0d .
.┈┈┈┈┈┈┈┈┈┈.
. .
]
check-trace-count-for-label 2, [print-character]
]
scenario editor-moves-cursor-left-with-key [
assume-screen 10/width, 5/height
1:address:array:character <- new [abc]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
editor-render screen, 2:address:editor-data
$clear-trace
assume-console [
left-click 1, 2
press left-arrow
type [0]
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.a0bc .
.┈┈┈┈┈┈┈┈┈┈.
. .
]
check-trace-count-for-label 3, [print-character]
]
after <handle-special-key> [
{
move-to-previous-character?:boolean <- equal *k, 65515/left-arrow
break-unless move-to-previous-character?
trace 10, [app], [left arrow]
prev:address:duplex-list:character <- prev-duplex *before-cursor
go-render? <- copy 0/false
reply-unless prev
<move-cursor-begin>
editor, go-render? <- move-cursor-coordinates-left editor
*before-cursor <- copy prev
undo-coalesce-tag:number <- copy 1/left-arrow
<move-cursor-end>
reply
}
]
scenario editor-moves-cursor-to-previous-line-with-left-arrow-at-start-of-line [
assume-screen 10/width, 5/height
1:address:array:character <- new [abc
d]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
editor-render screen, 2:address:editor-data
$clear-trace
assume-console [
left-click 2, 0
press left-arrow
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
3:number <- get *2:address:editor-data, cursor-row:offset
4:number <- get *2:address:editor-data, cursor-column:offset
]
memory-should-contain [
3 <- 1
4 <- 3
]
check-trace-count-for-label 0, [print-character]
]
scenario editor-moves-cursor-to-previous-line-with-left-arrow-at-start-of-line-2 [
assume-screen 10/width, 5/height
1:address:array:character <- new [abc
def
g]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
editor-render screen, 2:address:editor-data
$clear-trace
assume-console [
left-click 3, 0
press left-arrow
type [0]
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.abc .
.def0 .
.g .
.┈┈┈┈┈┈┈┈┈┈.
]
check-trace-count-for-label 1, [print-character]
]
scenario editor-moves-cursor-to-previous-line-with-left-arrow-at-start-of-line-3 [
assume-screen 10/width, 5/height
1:address:array:character <- new [abc
def
g]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
editor-render screen, 2:address:editor-data
$clear-trace
assume-console [
left-click 1, 0
press left-arrow
type [0]
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.0abc .
.def .
.g .
.┈┈┈┈┈┈┈┈┈┈.
]
check-trace-count-for-label 4, [print-character]
]
scenario editor-moves-cursor-to-previous-line-with-left-arrow-at-start-of-line-4 [
assume-screen 10/width, 5/height
1:address:array:character <- new [abc
d]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
editor-render screen, 2:address:editor-data
$clear-trace
assume-console [
left-click 3, 0
press left-arrow
type [0]
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.abc .
.0 .
.d .
.┈┈┈┈┈┈┈┈┈┈.
]
check-trace-count-for-label 1, [print-character]
]
scenario editor-moves-across-screen-lines-across-wrap-with-left-arrow [
assume-screen 10/width, 5/height
1:address:array:character <- new [abcdef]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 5/right
editor-render screen, 2:address:editor-data
$clear-trace
screen-should-contain [
. .
.abcd↩ .
.ef .
.┈┈┈┈┈ .
. .
]
assume-console [
left-click 2, 0
press left-arrow
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
3:number <- get *2:address:editor-data, cursor-row:offset
4:number <- get *2:address:editor-data, cursor-column:offset
]
memory-should-contain [
3 <- 1
4 <- 3
]
check-trace-count-for-label 0, [print-character]
]
scenario editor-moves-to-previous-line-with-up-arrow [
assume-screen 10/width, 5/height
1:address:array:character <- new [abc
def]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
editor-render screen, 2:address:editor-data
$clear-trace
assume-console [
left-click 2, 1
press up-arrow
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
3:number <- get *2:address:editor-data, cursor-row:offset
4:number <- get *2:address:editor-data, cursor-column:offset
]
memory-should-contain [
3 <- 1
4 <- 1
]
check-trace-count-for-label 0, [print-character]
assume-console [
type [0]
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.a0bc .
.def .
.┈┈┈┈┈┈┈┈┈┈.
. .
]
]
after <handle-special-key> [
{
move-to-previous-line?:boolean <- equal *k, 65517/up-arrow
break-unless move-to-previous-line?
<move-cursor-begin>
editor, go-render? <- move-to-previous-line editor
undo-coalesce-tag:number <- copy 3/up-arrow
<move-cursor-end>
reply
}
]
recipe move-to-previous-line editor:address:editor-data -> editor:address:editor-data, go-render?:boolean [
local-scope
load-ingredients
cursor-row:address:number <- get-address *editor, cursor-row:offset
cursor-column:address:number <- get-address *editor, cursor-column:offset
before-cursor:address:address:duplex-list:character <- get-address *editor, before-cursor:offset
left:number <- get *editor, left:offset
right:number <- get *editor, right:offset
already-at-top?:boolean <- lesser-or-equal *cursor-row, 1/top
{
break-if already-at-top?
curr:address:duplex-list:character <- copy *before-cursor
{
old:address:duplex-list:character <- copy curr
c2:character <- get *curr, value:offset
at-newline?:boolean <- equal c2, 10/newline
break-if at-newline?
curr:address:duplex-list:character <- before-previous-line curr, editor
no-motion?:boolean <- equal curr, old
go-render? <- copy 0/false
reply-if no-motion?
}
{
old <- copy curr
curr <- before-previous-line curr, editor
no-motion?:boolean <- equal curr, old
go-render? <- copy 0/false
reply-if no-motion?
}
*before-cursor <- copy curr
*cursor-row <- subtract *cursor-row, 1
target-column:number <- copy *cursor-column
*cursor-column <- copy left
{
done?:boolean <- greater-or-equal *cursor-column, target-column
break-if done?
curr:address:duplex-list:character <- next-duplex *before-cursor
break-unless curr
currc:character <- get *curr, value:offset
at-newline?:boolean <- equal currc, 10/newline
break-if at-newline?
*before-cursor <- copy curr
*cursor-column <- add *cursor-column, 1
loop
}
go-render? <- copy 0/false
reply
}
{
break-unless already-at-top?
<scroll-up>
go-render? <- copy 1/true
reply
}
]
scenario editor-adjusts-column-at-previous-line [
assume-screen 10/width, 5/height
1:address:array:character <- new [ab
def]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
editor-render screen, 2:address:editor-data
$clear-trace
assume-console [
left-click 2, 3
press up-arrow
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
3:number <- get *2:address:editor-data, cursor-row:offset
4:number <- get *2:address:editor-data, cursor-column:offset
]
memory-should-contain [
3 <- 1
4 <- 2
]
check-trace-count-for-label 0, [print-character]
assume-console [
type [0]
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.ab0 .
.def .
.┈┈┈┈┈┈┈┈┈┈.
. .
]
]
scenario editor-adjusts-column-at-empty-line [
assume-screen 10/width, 5/height
1:address:array:character <- new [
def]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
editor-render screen, 2:address:editor-data
$clear-trace
assume-console [
left-click 2, 3
press up-arrow
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
3:number <- get *2:address:editor-data, cursor-row:offset
4:number <- get *2:address:editor-data, cursor-column:offset
]
memory-should-contain [
3 <- 1
4 <- 0
]
check-trace-count-for-label 0, [print-character]
assume-console [
type [0]
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.0 .
.def .
.┈┈┈┈┈┈┈┈┈┈.
. .
]
]
scenario editor-moves-to-previous-line-from-left-margin [
assume-screen 10/width, 5/height
1:address:array:character <- new [abc
def
ghi]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
editor-render screen, 2:address:editor-data
$clear-trace
assume-console [
left-click 3, 0
press up-arrow
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
3:number <- get *2:address:editor-data, cursor-row:offset
4:number <- get *2:address:editor-data, cursor-column:offset
]
memory-should-contain [
3 <- 2
4 <- 0
]
check-trace-count-for-label 0, [print-character]
assume-console [
type [0]
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.abc .
.0def .
.ghi .
.┈┈┈┈┈┈┈┈┈┈.
]
]
scenario editor-moves-to-next-line-with-down-arrow [
assume-screen 10/width, 5/height
1:address:array:character <- new [abc
def]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
editor-render screen, 2:address:editor-data
$clear-trace
assume-console [
press down-arrow
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
3:number <- get *2:address:editor-data, cursor-row:offset
4:number <- get *2:address:editor-data, cursor-column:offset
]
memory-should-contain [
3 <- 2
4 <- 0
]
check-trace-count-for-label 0, [print-character]
assume-console [
type [0]
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.abc .
.0def .
.┈┈┈┈┈┈┈┈┈┈.
. .
]
]
after <handle-special-key> [
{
move-to-next-line?:boolean <- equal *k, 65516/down-arrow
break-unless move-to-next-line?
<move-cursor-begin>
editor, go-render? <- move-to-next-line editor, screen-height
undo-coalesce-tag:number <- copy 4/down-arrow
<move-cursor-end>
reply
}
]
recipe move-to-next-line editor:address:editor-data, screen-height:number -> editor:address:editor-data, go-render?:boolean [
local-scope
load-ingredients
cursor-row:address:number <- get-address *editor, cursor-row:offset
cursor-column:address:number <- get-address *editor, cursor-column:offset
before-cursor:address:address:duplex-list:character <- get-address *editor, before-cursor:offset
left:number <- get *editor, left:offset
right:number <- get *editor, right:offset
last-line:number <- subtract screen-height, 1
already-at-bottom?:boolean <- greater-or-equal *cursor-row, last-line
{
break-if already-at-bottom?
max:number <- subtract right, left
next-line:address:duplex-list:character <- before-start-of-next-line *before-cursor, max
{
no-motion?:boolean <- equal next-line, *before-cursor
break-unless no-motion?
scroll?:boolean <- greater-than *cursor-row, 1
break-if scroll?, +try-to-scroll:label
go-render? <- copy 0/false
reply
}
*cursor-row <- add *cursor-row, 1
*before-cursor <- copy next-line
target-column:number <- copy *cursor-column
*cursor-column <- copy left
{
done?:boolean <- greater-or-equal *cursor-column, target-column
break-if done?
curr:address:duplex-list:character <- next-duplex *before-cursor
break-unless curr
currc:character <- get *curr, value:offset
at-newline?:boolean <- equal currc, 10/newline
break-if at-newline?
*before-cursor <- copy curr
*cursor-column <- add *cursor-column, 1
loop
}
go-render? <- copy 0/false
reply
}
+try-to-scroll
<scroll-down>
go-render? <- copy 1/true
]
scenario editor-adjusts-column-at-next-line [
assume-screen 10/width, 5/height
1:address:array:character <- new [abc
de]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
editor-render screen, 2:address:editor-data
$clear-trace
assume-console [
left-click 1, 3
press down-arrow
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
3:number <- get *2:address:editor-data, cursor-row:offset
4:number <- get *2:address:editor-data, cursor-column:offset
]
memory-should-contain [
3 <- 2
4 <- 2
]
check-trace-count-for-label 0, [print-character]
assume-console [
type [0]
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.abc .
.de0 .
.┈┈┈┈┈┈┈┈┈┈.
. .
]
]
scenario editor-moves-to-start-of-line-with-ctrl-a [
assume-screen 10/width, 5/height
1:address:array:character <- new [123
456]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
editor-render screen, 2:address:editor-data
$clear-trace
assume-console [
left-click 2, 3
press ctrl-a
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
4:number <- get *2:address:editor-data, cursor-row:offset
5:number <- get *2:address:editor-data, cursor-column:offset
]
memory-should-contain [
4 <- 2
5 <- 0
]
check-trace-count-for-label 0, [print-character]
]
after <handle-special-character> [
{
move-to-start-of-line?:boolean <- equal *c, 1/ctrl-a
break-unless move-to-start-of-line?
<move-cursor-begin>
move-to-start-of-line editor
undo-coalesce-tag:number <- copy 0/never
<move-cursor-end>
go-render? <- copy 0/false
reply
}
]
after <handle-special-key> [
{
move-to-start-of-line?:boolean <- equal *k, 65521/home
break-unless move-to-start-of-line?
<move-cursor-begin>
move-to-start-of-line editor
undo-coalesce-tag:number <- copy 0/never
<move-cursor-end>
go-render? <- copy 0/false
reply
}
]
recipe move-to-start-of-line editor:address:editor-data [
local-scope
load-ingredients
left:number <- get *editor, left:offset
cursor-column:address:number <- get-address *editor, cursor-column:offset
*cursor-column <- copy left
before-cursor:address:address:duplex-list:character <- get-address *editor, before-cursor:offset
init:address:duplex-list:character <- get *editor, data:offset
{
at-start-of-text?:boolean <- equal *before-cursor, init
break-if at-start-of-text?
prev:character <- get **before-cursor, value:offset
at-start-of-line?:boolean <- equal prev, 10/newline
break-if at-start-of-line?
*before-cursor <- prev-duplex *before-cursor
assert *before-cursor, [move-to-start-of-line tried to move before start of text]
loop
}
]
scenario editor-moves-to-start-of-line-with-ctrl-a-2 [
assume-screen 10/width, 5/height
1:address:array:character <- new [123
456]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
editor-render screen, 2:address:editor-data
$clear-trace
assume-console [
left-click 1, 3
press ctrl-a
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
4:number <- get *2:address:editor-data, cursor-row:offset
5:number <- get *2:address:editor-data, cursor-column:offset
]
memory-should-contain [
4 <- 1
5 <- 0
]
check-trace-count-for-label 0, [print-character]
]
scenario editor-moves-to-start-of-line-with-home [
assume-screen 10/width, 5/height
1:address:array:character <- new [123
456]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
$clear-trace
assume-console [
left-click 2, 3
press home
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
3:number <- get *2:address:editor-data, cursor-row:offset
4:number <- get *2:address:editor-data, cursor-column:offset
]
memory-should-contain [
3 <- 2
4 <- 0
]
check-trace-count-for-label 0, [print-character]
]
scenario editor-moves-to-start-of-line-with-home-2 [
assume-screen 10/width, 5/height
1:address:array:character <- new [123
456]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
editor-render screen, 2:address:editor-data
$clear-trace
assume-console [
left-click 1, 3
press home
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
3:number <- get *2:address:editor-data, cursor-row:offset
4:number <- get *2:address:editor-data, cursor-column:offset
]
memory-should-contain [
3 <- 1
4 <- 0
]
check-trace-count-for-label 0, [print-character]
]
scenario editor-moves-to-end-of-line-with-ctrl-e [
assume-screen 10/width, 5/height
1:address:array:character <- new [123
456]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
editor-render screen, 2:address:editor-data
$clear-trace
assume-console [
left-click 1, 1
press ctrl-e
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
4:number <- get *2:address:editor-data, cursor-row:offset
5:number <- get *2:address:editor-data, cursor-column:offset
]
memory-should-contain [
4 <- 1
5 <- 3
]
check-trace-count-for-label 0, [print-character]
assume-console [
type [z]
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
4:number <- get *2:address:editor-data, cursor-row:offset
5:number <- get *2:address:editor-data, cursor-column:offset
]
memory-should-contain [
4 <- 1
5 <- 4
]
screen-should-contain [
. .
.123z .
.456 .
.┈┈┈┈┈┈┈┈┈┈.
. .
]
check-trace-count-for-label 1, [print-character]
]
after <handle-special-character> [
{
move-to-end-of-line?:boolean <- equal *c, 5/ctrl-e
break-unless move-to-end-of-line?
<move-cursor-begin>
move-to-end-of-line editor
undo-coalesce-tag:number <- copy 0/never
<move-cursor-end>
go-render? <- copy 0/false
reply
}
]
after <handle-special-key> [
{
move-to-end-of-line?:boolean <- equal *k, 65520/end
break-unless move-to-end-of-line?
<move-cursor-begin>
move-to-end-of-line editor
undo-coalesce-tag:number <- copy 0/never
<move-cursor-end>
go-render? <- copy 0/false
reply
}
]
recipe move-to-end-of-line editor:address:editor-data [
local-scope
load-ingredients
before-cursor:address:address:duplex-list:character <- get-address *editor, before-cursor:offset
cursor-column:address:number <- get-address *editor, cursor-column:offset
{
next:address:duplex-list:character <- next-duplex *before-cursor
break-unless next
nextc:character <- get *next, value:offset
at-end-of-line?:boolean <- equal nextc, 10/newline
break-if at-end-of-line?
*before-cursor <- copy next
*cursor-column <- add *cursor-column, 1
loop
}
]
scenario editor-moves-to-end-of-line-with-ctrl-e-2 [
assume-screen 10/width, 5/height
1:address:array:character <- new [123
456]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
editor-render screen, 2:address:editor-data
$clear-trace
assume-console [
left-click 2, 1
press ctrl-e
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
4:number <- get *2:address:editor-data, cursor-row:offset
5:number <- get *2:address:editor-data, cursor-column:offset
]
memory-should-contain [
4 <- 2
5 <- 3
]
check-trace-count-for-label 0, [print-character]
]
scenario editor-moves-to-end-of-line-with-end [
assume-screen 10/width, 5/height
1:address:array:character <- new [123
456]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
editor-render screen, 2:address:editor-data
$clear-trace
assume-console [
left-click 1, 1
press end
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
3:number <- get *2:address:editor-data, cursor-row:offset
4:number <- get *2:address:editor-data, cursor-column:offset
]
memory-should-contain [
3 <- 1
4 <- 3
]
check-trace-count-for-label 0, [print-character]
]
scenario editor-moves-to-end-of-line-with-end-2 [
assume-screen 10/width, 5/height
1:address:array:character <- new [123
456]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
editor-render screen, 2:address:editor-data
$clear-trace
assume-console [
left-click 2, 1
press end
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
3:number <- get *2:address:editor-data, cursor-row:offset
4:number <- get *2:address:editor-data, cursor-column:offset
]
memory-should-contain [
3 <- 2
4 <- 3
]
check-trace-count-for-label 0, [print-character]
]
scenario editor-deletes-to-start-of-line-with-ctrl-u [
assume-screen 10/width, 5/height
1:address:array:character <- new [123
456]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
assume-console [
left-click 2, 2
press ctrl-u
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.123 .
.6 .
.┈┈┈┈┈┈┈┈┈┈.
. .
]
]
after <handle-special-character> [
{
delete-to-start-of-line?:boolean <- equal *c, 21/ctrl-u
break-unless delete-to-start-of-line?
<delete-to-start-of-line-begin>
deleted-cells:address:duplex-list:character <- delete-to-start-of-line editor
<delete-to-start-of-line-end>
go-render? <- copy 1/true
reply
}
]
recipe delete-to-start-of-line editor:address:editor-data -> result:address:duplex-list:character [
local-scope
load-ingredients
init:address:duplex-list:character <- get *editor, data:offset
before-cursor:address:address:duplex-list:character <- get-address *editor, before-cursor:offset
start:address:duplex-list:character <- copy *before-cursor
end:address:duplex-list:character <- next-duplex *before-cursor
{
at-start-of-text?:boolean <- equal start, init
break-if at-start-of-text?
curr:character <- get *start, value:offset
at-start-of-line?:boolean <- equal curr, 10/newline
break-if at-start-of-line?
start <- prev-duplex start
assert start, [delete-to-start-of-line tried to move before start of text]
loop
}
result:address:duplex-list:character <- next-duplex start
remove-duplex-between start, end
*before-cursor <- copy start
left:number <- get *editor, left:offset
cursor-column:address:number <- get-address *editor, cursor-column:offset
*cursor-column <- copy left
]
scenario editor-deletes-to-start-of-line-with-ctrl-u-2 [
assume-screen 10/width, 5/height
1:address:array:character <- new [123
456]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
assume-console [
left-click 1, 2
press ctrl-u
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.3 .
.456 .
.┈┈┈┈┈┈┈┈┈┈.
. .
]
]
scenario editor-deletes-to-start-of-line-with-ctrl-u-3 [
assume-screen 10/width, 5/height
1:address:array:character <- new [123
456]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
assume-console [
left-click 1, 3
press ctrl-u
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
. .
.456 .
.┈┈┈┈┈┈┈┈┈┈.
. .
]
]
scenario editor-deletes-to-start-of-final-line-with-ctrl-u [
assume-screen 10/width, 5/height
1:address:array:character <- new [123
456]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
assume-console [
left-click 2, 3
press ctrl-u
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.123 .
. .
.┈┈┈┈┈┈┈┈┈┈.
. .
]
]
scenario editor-deletes-to-end-of-line-with-ctrl-k [
assume-screen 10/width, 5/height
1:address:array:character <- new [123
456]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
assume-console [
left-click 1, 1
press ctrl-k
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.1 .
.456 .
.┈┈┈┈┈┈┈┈┈┈.
. .
]
]
after <handle-special-character> [
{
delete-to-end-of-line?:boolean <- equal *c, 11/ctrl-k
break-unless delete-to-end-of-line?
<delete-to-end-of-line-begin>
deleted-cells:address:duplex-list:character <- delete-to-end-of-line editor
<delete-to-end-of-line-end>
go-render? <- copy 1/true
reply
}
]
recipe delete-to-end-of-line editor:address:editor-data -> result:address:duplex-list:character [
local-scope
load-ingredients
start:address:duplex-list:character <- get *editor, before-cursor:offset
end:address:duplex-list:character <- next-duplex start
{
at-end-of-text?:boolean <- equal end, 0/null
break-if at-end-of-text?
curr:character <- get *end, value:offset
at-end-of-line?:boolean <- equal curr, 10/newline
break-if at-end-of-line?
end <- next-duplex end
loop
}
result <- next-duplex start
remove-duplex-between start, end
]
scenario editor-deletes-to-end-of-line-with-ctrl-k-2 [
assume-screen 10/width, 5/height
1:address:array:character <- new [123
456]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
assume-console [
left-click 2, 1
press ctrl-k
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.123 .
.4 .
.┈┈┈┈┈┈┈┈┈┈.
. .
]
]
scenario editor-deletes-to-end-of-line-with-ctrl-k-3 [
assume-screen 10/width, 5/height
1:address:array:character <- new [123
456]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
assume-console [
left-click 1, 2
press ctrl-k
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.12 .
.456 .
.┈┈┈┈┈┈┈┈┈┈.
. .
]
]
scenario editor-deletes-to-end-of-line-with-ctrl-k-4 [
assume-screen 10/width, 5/height
1:address:array:character <- new [123
456]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
assume-console [
left-click 1, 3
press ctrl-k
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.123 .
.456 .
.┈┈┈┈┈┈┈┈┈┈.
. .
]
]
scenario editor-deletes-to-end-of-line-with-ctrl-k-5 [
assume-screen 10/width, 5/height
1:address:array:character <- new [123
456]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
assume-console [
left-click 2, 2
press ctrl-k
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.123 .
.45 .
.┈┈┈┈┈┈┈┈┈┈.
. .
]
]
scenario editor-deletes-to-end-of-line-with-ctrl-k-6 [
assume-screen 10/width, 5/height
1:address:array:character <- new [123
456]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
assume-console [
left-click 2, 3
press ctrl-k
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.123 .
.456 .
.┈┈┈┈┈┈┈┈┈┈.
. .
]
]
scenario editor-can-scroll-down-using-arrow-keys [
assume-screen 10/width, 4/height
1:address:array:character <- new [a
b
c
d]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
screen-should-contain [
. .
.a .
.b .
.c .
]
assume-console [
left-click 3, 0
press down-arrow
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.b .
.c .
.d .
]
]
after <scroll-down> [
trace 10, [app], [scroll down]
top-of-screen:address:address:duplex-list:character <- get-address *editor, top-of-screen:offset
left:number <- get *editor, left:offset
right:number <- get *editor, right:offset
max:number <- subtract right, left
old-top:address:duplex-list:character <- copy *top-of-screen
*top-of-screen <- before-start-of-next-line *top-of-screen, max
no-movement?:boolean <- equal old-top, *top-of-screen
go-render? <- copy 0/false
reply-if no-movement?
]
recipe before-start-of-next-line original:address:duplex-list:character, max:number -> curr:address:duplex-list:character [
local-scope
load-ingredients
count:number <- copy 0
curr:address:duplex-list:character <- copy original
{
c:character <- get *curr, value:offset
at-newline?:boolean <- equal c, 10/newline
break-unless at-newline?
curr <- next-duplex curr
count <- add count, 1
}
{
reply-unless curr, original
done?:boolean <- greater-or-equal count, max
break-if done?
c:character <- get *curr, value:offset
at-newline?:boolean <- equal c, 10/newline
break-if at-newline?
curr <- next-duplex curr
count <- add count, 1
loop
}
reply-unless curr, original
reply curr
]
scenario editor-scrolls-down-past-wrapped-line-using-arrow-keys [
assume-screen 10/width, 4/height
1:address:array:character <- new [abcdef
g
h
i]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 5/right
screen-should-contain [
. .
.abcd↩ .
.ef .
.g .
]
assume-console [
left-click 3, 0
press down-arrow
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.ef .
.g .
.h .
]
]
scenario editor-scrolls-down-past-wrapped-line-using-arrow-keys-2 [
assume-screen 10/width, 4/height
1:address:array:character <- new [abcdefghij
k
l
m]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 5/right
assume-console [
left-click 3, 0
press down-arrow
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.efgh↩ .
.ij .
.k .
]
assume-console [
press down-arrow
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.ij .
.k .
.l .
]
]
scenario editor-scrolls-down-when-line-wraps [
assume-screen 5/width, 4/height
1:address:array:character <- new [a
b
cdef]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 5/right
assume-console [
left-click 3, 4
type [g]
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
3:number <- get *2:address:editor-data, cursor-row:offset
4:number <- get *2:address:editor-data, cursor-column:offset
]
screen-should-contain [
. .
.b .
.cdef↩.
.g .
]
memory-should-contain [
3 <- 3
4 <- 1
]
]
scenario editor-scrolls-down-on-newline [
assume-screen 5/width, 4/height
1:address:array:character <- new [a
b
c]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 5/right
assume-console [
left-click 3, 4
type [
]
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
3:number <- get *2:address:editor-data, cursor-row:offset
4:number <- get *2:address:editor-data, cursor-column:offset
]
screen-should-contain [
. .
.b .
.c .
. .
]
memory-should-contain [
3 <- 3
4 <- 0
]
]
scenario editor-scrolls-down-on-right-arrow [
assume-screen 5/width, 4/height
1:address:array:character <- new [a
b
cdefgh]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 5/right
assume-console [
left-click 3, 3
press right-arrow
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
3:number <- get *2:address:editor-data, cursor-row:offset
4:number <- get *2:address:editor-data, cursor-column:offset
]
screen-should-contain [
. .
.b .
.cdef↩.
.gh .
]
memory-should-contain [
3 <- 3
4 <- 0
]
]
scenario editor-scrolls-down-on-right-arrow-2 [
assume-screen 5/width, 4/height
1:address:array:character <- new [a
b
c
d]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 5/right
assume-console [
left-click 3, 3
press right-arrow
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
3:number <- get *2:address:editor-data, cursor-row:offset
4:number <- get *2:address:editor-data, cursor-column:offset
]
screen-should-contain [
. .
.b .
.c .
.d .
]
memory-should-contain [
3 <- 3
4 <- 0
]
]
scenario editor-scrolls-at-end-on-down-arrow [
assume-screen 10/width, 5/height
1:address:array:character <- new [abc
de]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
editor-render screen, 2:address:editor-data
$clear-trace
assume-console [
left-click 2, 0
press down-arrow
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
3:number <- get *2:address:editor-data, cursor-row:offset
4:number <- get *2:address:editor-data, cursor-column:offset
]
memory-should-contain [
3 <- 1
4 <- 2
]
assume-console [
type [0]
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.de0 .
.┈┈┈┈┈┈┈┈┈┈.
. .
]
$clear-trace
assume-console [
left-click 2, 0
press down-arrow
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
3:number <- get *2:address:editor-data, cursor-row:offset
4:number <- get *2:address:editor-data, cursor-column:offset
]
memory-should-contain [
3 <- 1
4 <- 3
]
check-trace-count-for-label 0, [print-character]
assume-console [
type [1]
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.de01 .
.┈┈┈┈┈┈┈┈┈┈.
. .
]
]
scenario editor-combines-page-and-line-scroll [
assume-screen 10/width, 4/height
1:address:array:character <- new [a
b
c
d
e
f
g]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 5/right
assume-console [
press page-down
left-click 3, 0
press down-arrow
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.d .
.e .
.f .
]
]
scenario editor-can-scroll-up-using-arrow-keys [
assume-screen 10/width, 4/height
1:address:array:character <- new [a
b
c
d]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
screen-should-contain [
. .
.a .
.b .
.c .
]
assume-console [
press page-down
press up-arrow
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.b .
.c .
.d .
]
]
after <scroll-up> [
trace 10, [app], [scroll up]
top-of-screen:address:address:duplex-list:character <- get-address *editor, top-of-screen:offset
old-top:address:duplex-list:character <- copy *top-of-screen
*top-of-screen <- before-previous-line *top-of-screen, editor
no-movement?:boolean <- equal old-top, *top-of-screen
go-render? <- copy 0/false
reply-if no-movement?
]
recipe before-previous-line curr:address:duplex-list:character, editor:address:editor-data -> curr:address:duplex-list:character [
local-scope
load-ingredients
c:character <- get *curr, value:offset
left:number <- get *editor, left:offset
right:number <- get *editor, right:offset
max-line-length:number <- subtract right, left, -1/exclusive-right, 1/wrap-icon
sentinel:address:duplex-list:character <- get *editor, data:offset
len:number <- previous-line-length curr, sentinel
{
break-if len
prev:address:duplex-list:character <- prev-duplex curr
reply-unless prev, curr
reply prev
}
_, max:number <- divide-with-remainder len, max-line-length
{
break-if max
max <- copy max-line-length
}
max <- add max, 1
count:number <- copy 0
{
done?:boolean <- greater-or-equal count, max
break-if done?
prev:address:duplex-list:character <- prev-duplex curr
break-unless prev
curr <- copy prev
count <- add count, 1
loop
}
reply curr
]
scenario editor-scrolls-up-past-wrapped-line-using-arrow-keys [
assume-screen 10/width, 4/height
1:address:array:character <- new [abcdef
g
h
i]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 5/right
screen-should-contain [
. .
.abcd↩ .
.ef .
.g .
]
assume-console [
press page-down
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.g .
.h .
.i .
]
assume-console [
press up-arrow
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.ef .
.g .
.h .
]
]
scenario editor-scrolls-up-past-wrapped-line-using-arrow-keys-2 [
assume-screen 10/width, 5/height
1:address:array:character <- new [abcdefghij
k
l
m]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 5/right
assume-console [
press page-down
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.k .
.l .
.m .
.┈┈┈┈┈ .
]
assume-console [
press up-arrow
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.ij .
.k .
.l .
.m .
]
assume-console [
press up-arrow
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.efgh↩ .
.ij .
.k .
.l .
]
assume-console [
press up-arrow
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.abcd↩ .
.efgh↩ .
.ij .
.k .
]
]
scenario editor-scrolls-up-past-wrapped-line-using-arrow-keys-3 [
assume-screen 10/width, 4/height
1:address:array:character <- new [abcdef
g
h
i]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 6/right
screen-should-contain [
. .
.abcde↩ .
.f .
.g .
]
assume-console [
press page-down
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.g .
.h .
.i .
]
assume-console [
press up-arrow
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.f .
.g .
.h .
]
]
scenario editor-scrolls-up-past-wrapped-line-using-arrow-keys-4 [
assume-screen 10/width, 4/height
1:address:array:character <- new [a
b
c
d
e]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 6/right
assume-console [
press page-down
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
. .
.c .
.d .
]
assume-console [
press page-down
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.d .
.e .
.┈┈┈┈┈┈ .
]
assume-console [
press page-up
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
. .
.c .
.d .
]
]
scenario editor-scrolls-up-on-left-arrow [
assume-screen 5/width, 4/height
1:address:array:character <- new [a
b
c
d
e]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 5/right
assume-console [
press page-down
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.c .
.d .
.e .
]
assume-console [
press left-arrow
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
3:number <- get *2:address:editor-data, cursor-row:offset
4:number <- get *2:address:editor-data, cursor-column:offset
]
screen-should-contain [
. .
.b .
.c .
.d .
]
memory-should-contain [
3 <- 1
4 <- 1
]
]
scenario editor-can-scroll-up-to-start-of-file [
assume-screen 10/width, 4/height
1:address:array:character <- new [a
b
c
d]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
screen-should-contain [
. .
.a .
.b .
.c .
]
assume-console [
press page-down
press up-arrow
press up-arrow
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.a .
.b .
.c .
]
assume-console [
press up-arrow
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.a .
.b .
.c .
]
]
scenario editor-can-scroll [
assume-screen 10/width, 4/height
1:address:array:character <- new [a
b
c
d]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
screen-should-contain [
. .
.a .
.b .
.c .
]
assume-console [
press page-down
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.c .
.d .
.┈┈┈┈┈┈┈┈┈┈.
]
]
after <handle-special-character> [
{
page-down?:boolean <- equal *c, 6/ctrl-f
break-unless page-down?
top-of-screen:address:address:duplex-list:character <- get-address *editor, top-of-screen:offset
old-top:address:duplex-list:character <- copy *top-of-screen
<move-cursor-begin>
page-down editor
undo-coalesce-tag:number <- copy 0/never
<move-cursor-end>
no-movement?:boolean <- equal *top-of-screen, old-top
go-render? <- not no-movement?
reply
}
]
after <handle-special-key> [
{
page-down?:boolean <- equal *k, 65518/page-down
break-unless page-down?
top-of-screen:address:address:duplex-list:character <- get-address *editor, top-of-screen:offset
old-top:address:duplex-list:character <- copy *top-of-screen
<move-cursor-begin>
page-down editor
undo-coalesce-tag:number <- copy 0/never
<move-cursor-end>
no-movement?:boolean <- equal *top-of-screen, old-top
go-render? <- not no-movement?
reply
}
]
recipe page-down editor:address:editor-data -> editor:address:editor-data [
local-scope
load-ingredients
bottom-of-screen:address:duplex-list:character <- get *editor, bottom-of-screen:offset
reply-unless bottom-of-screen
before-cursor:address:address:duplex-list:character <- get-address *editor, before-cursor:offset
*before-cursor <- prev-duplex bottom-of-screen
{
last:character <- get **before-cursor, value:offset
newline?:boolean <- equal last, 10/newline
break-unless newline?:boolean
*before-cursor <- prev-duplex *before-cursor
}
move-to-start-of-line editor
top-of-screen:address:address:duplex-list:character <- get-address *editor, top-of-screen:offset
*top-of-screen <- copy *before-cursor
]
scenario editor-does-not-scroll-past-end [
assume-screen 10/width, 4/height
1:address:array:character <- new [a
b]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
editor-render screen, 2:address:editor-data
screen-should-contain [
. .
.a .
.b .
.┈┈┈┈┈┈┈┈┈┈.
]
assume-console [
press page-down
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.a .
.b .
.┈┈┈┈┈┈┈┈┈┈.
]
]
scenario editor-starts-next-page-at-start-of-wrapped-line [
assume-screen 10/width, 4/height
1:address:array:character <- new [a
b
cdefgh]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 4/right
screen-should-contain [
. .
.a .
.b .
.cde↩ .
]
assume-console [
press page-down
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.cde↩ .
.fgh .
.┈┈┈┈ .
]
]
scenario editor-starts-next-page-at-start-of-wrapped-line-2 [
assume-screen 10/width, 4/height
1:address:array:character <- new [a
bcdefgh]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 4/right
screen-should-contain [
. .
.a .
.bcd↩ .
.efg↩ .
]
assume-console [
press page-down
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.bcd↩ .
.efg↩ .
.h .
]
]
scenario editor-can-scroll-up [
assume-screen 10/width, 4/height
1:address:array:character <- new [a
b
c
d]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
screen-should-contain [
. .
.a .
.b .
.c .
]
assume-console [
press page-down
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.c .
.d .
.┈┈┈┈┈┈┈┈┈┈.
]
assume-console [
press page-up
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.a .
.b .
.c .
]
]
after <handle-special-character> [
{
page-up?:boolean <- equal *c, 2/ctrl-b
break-unless page-up?
top-of-screen:address:address:duplex-list:character <- get-address *editor, top-of-screen:offset
old-top:address:duplex-list:character <- copy *top-of-screen
<move-cursor-begin>
editor <- page-up editor, screen-height
undo-coalesce-tag:number <- copy 0/never
<move-cursor-end>
no-movement?:boolean <- equal *top-of-screen, old-top
go-render? <- not no-movement?
reply
}
]
after <handle-special-key> [
{
page-up?:boolean <- equal *k, 65519/page-up
break-unless page-up?
top-of-screen:address:address:duplex-list:character <- get-address *editor, top-of-screen:offset
old-top:address:duplex-list:character <- copy *top-of-screen
<move-cursor-begin>
editor <- page-up editor, screen-height
undo-coalesce-tag:number <- copy 0/never
<move-cursor-end>
no-movement?:boolean <- equal *top-of-screen, old-top
go-render? <- not no-movement?
reply
}
]
recipe page-up editor:address:editor-data, screen-height:number -> editor:address:editor-data [
local-scope
load-ingredients
max:number <- subtract screen-height, 1/menu-bar, 1/overlapping-line
count:number <- copy 0
top-of-screen:address:address:duplex-list:character <- get-address *editor, top-of-screen:offset
{
done?:boolean <- greater-or-equal count, max
break-if done?
prev:address:duplex-list:character <- before-previous-line *top-of-screen, editor
break-unless prev
*top-of-screen <- copy prev
count <- add count, 1
loop
}
]
scenario editor-can-scroll-up-multiple-pages [
assume-screen 10/width, 4/height
1:address:array:character <- new [a
b
c
d
e
f
g
h]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 10/right
screen-should-contain [
. .
.a .
.b .
.c .
]
assume-console [
press page-down
press page-down
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.e .
.f .
.g .
]
assume-console [
press page-up
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.c .
.d .
.e .
]
assume-console [
press page-up
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.a .
.b .
.c .
]
]
scenario editor-can-scroll-up-wrapped-lines [
assume-screen 10/width, 6/height
1:address:array:character <- new [a
b
cdefgh
i
j
k
l
m
n
o]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 4/right
screen-should-contain [
. .
.a .
.b .
.cde↩ .
.fgh .
.i .
]
assume-console [
press page-down
left-click 5, 0
press down-arrow
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.j .
.k .
.l .
.m .
.n .
]
assume-console [
press page-up
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.b .
.cde↩ .
.fgh .
.i .
.j .
]
]
scenario editor-can-scroll-up-wrapped-lines-2 [
assume-screen 10/width, 4/height
1:address:array:character <- new [a
bcdefgh]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 4/right
screen-should-contain [
. .
.a .
.bcd↩ .
.efg↩ .
]
assume-console [
press page-down
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.bcd↩ .
.efg↩ .
.h .
]
assume-console [
press page-up
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.a .
.bcd↩ .
.efg↩ .
]
]
scenario editor-can-scroll-up-past-nonempty-lines [
assume-screen 10/width, 4/height
1:address:array:character <- new [axx
bxx
cxx
dxx
exx
fxx
gxx
hxx
]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 4/right
screen-should-contain [
. .
.axx .
.bxx .
.cxx .
]
assume-console [
press page-down
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.cxx .
.dxx .
.exx .
]
assume-console [
press page-down
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.exx .
.fxx .
.gxx .
]
assume-console [
press page-up
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.cxx .
.dxx .
.exx .
]
]
scenario editor-can-scroll-up-past-empty-lines [
assume-screen 10/width, 4/height
1:address:array:character <- new [axy
bxy
cxy
dxy
exy
fxy
gxy
]
2:address:editor-data <- new-editor 1:address:array:character, screen:address:screen, 0/left, 4/right
screen-should-contain [
. .
.axy .
.bxy .
.cxy .
]
assume-console [
press page-down
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.cxy .
. .
.dxy .
]
assume-console [
press page-down
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.dxy .
.exy .
.fxy .
]
assume-console [
press page-up
]
run [
editor-event-loop screen:address:screen, console:address:console, 2:address:editor-data
]
screen-should-contain [
. .
.cxy .
. .
.dxy .
]
]