def editor-event-loop screen:&:screen, console:&:console, editor:&:editor -> screen:&:screen, console:&:console, editor:&:editor [
local-scope
load-ingredients
{
+next-event
cursor-row:num <- get *editor, cursor-row:offset
cursor-column:num <- get *editor, cursor-column:offset
screen <- move-cursor screen, cursor-row, cursor-column
e:event, found?:bool, quit?:bool, console <- read-event console
loop-unless found?
break-if quit?
trace 10, [app], [next-event]
t:touch-event, is-touch?:bool <- maybe-convert e, touch:variant
{
break-unless is-touch?
move-cursor-in-editor screen, editor, t
loop +next-event
}
{
break-if is-touch?
handle-keyboard-event screen, editor, e
screen <- editor-render screen, editor
}
loop
}
]
def handle-keyboard-event screen:&:screen, editor:&:editor, e:event -> screen:&:screen, editor:&:editor [
local-scope
load-ingredients
return-unless editor, 0/don't-render
screen-width:num <- screen-width screen
screen-height:num <- screen-height screen
left:num <- get *editor, left:offset
right:num <- get *editor, right:offset
before-cursor:&:duplex-list:char <- get *editor, before-cursor:offset
cursor-row:num <- get *editor, cursor-row:offset
cursor-column:num <- get *editor, cursor-column:offset
save-row:num <- copy cursor-row
save-column:num <- copy cursor-column
{
c:char, is-unicode?:bool <- maybe-convert e, text:variant
break-unless is-unicode?
trace 10, [app], [handle-keyboard-event: special character]
<handle-special-character>
regular-character?:bool <- greater-or-equal c, 32/space
return-unless regular-character?, 0/don't-render
<insert-character-begin>
insert-at-cursor editor, c, screen
<insert-character-end>
return
}
k:num, is-keycode?:bool <- maybe-convert e:event, keycode:variant
assert is-keycode?, [event was of unknown type; neither keyboard nor mouse]
<handle-special-key>
]
def insert-at-cursor editor:&:editor, c:char, screen:&:screen -> editor:&:editor, screen:&:screen [
local-scope
load-ingredients
before-cursor:&:duplex-list:char <- get *editor, before-cursor:offset
insert c, before-cursor
before-cursor <- next before-cursor
*editor <- put *editor, before-cursor:offset, before-cursor
cursor-row:num <- get *editor, cursor-row:offset
cursor-column:num <- get *editor, cursor-column:offset
left:num <- get *editor, left:offset
right:num <- get *editor, right:offset
save-row:num <- copy cursor-row
save-column:num <- copy cursor-column
screen-width:num <- screen-width screen
screen-height:num <- screen-height screen
<insert-character-special-case>
cursor-column <- add cursor-column, 1
*editor <- put *editor, cursor-column:offset, cursor-column
]
scenario editor-handles-mouse-clicks [
local-scope
assume-screen 10/width, 5/height
e:&:editor <- new-editor [abc], 0/left, 10/right
editor-render screen, e
$clear-trace
assume-console [
left-click 1, 1
]
run [
editor-event-loop screen, console, e
3:num/raw <- get *e, cursor-row:offset
4:num/raw <- get *e, cursor-column:offset
]
screen-should-contain [
. .
.abc .
.┈┈┈┈┈┈┈┈┈┈.
. .
]
memory-should-contain [
3 <- 1
4 <- 1
]
]
scenario editor-handles-mouse-clicks-outside-text [
local-scope
assume-screen 10/width, 5/height
e:&:editor <- new-editor [abc], 0/left, 10/right
$clear-trace
assume-console [
left-click 1, 7
]
run [
editor-event-loop screen, console, e
3:num/raw <- get *e, cursor-row:offset
4:num/raw <- get *e, cursor-column:offset
]
memory-should-contain [
3 <- 1
4 <- 3
]
]
scenario editor-handles-mouse-clicks-outside-text-2 [
local-scope
assume-screen 10/width, 5/height
s:text <- new [abc
def]
e:&:editor <- new-editor s, 0/left, 10/right
$clear-trace
assume-console [
left-click 1, 7
]
run [
editor-event-loop screen, console, e
3:num/raw <- get *e, cursor-row:offset
4:num/raw <- get *e, cursor-column:offset
]
memory-should-contain [
3 <- 1
4 <- 3
]
]
scenario editor-handles-mouse-clicks-outside-text-3 [
local-scope
assume-screen 10/width, 5/height
s:text <- new [abc
def]
e:&:editor <- new-editor s, 0/left, 10/right
$clear-trace
assume-console [
left-click 3, 7
]
run [
editor-event-loop screen, console, e
3:num/raw <- get *e, cursor-row:offset
4:num/raw <- get *e, cursor-column:offset
]
memory-should-contain [
3 <- 2
4 <- 3
]
]
scenario editor-handles-mouse-clicks-outside-column [
local-scope
assume-screen 10/width, 5/height
e:&:editor <- new-editor [abc], 0/left, 5/right
editor-render screen, e
$clear-trace
assume-console [
left-click 3, 8
]
run [
editor-event-loop screen, console, e
3:num/raw <- get *e, cursor-row:offset
4:num/raw <- get *e, cursor-column:offset
]
screen-should-contain [
. .
.abc .
.┈┈┈┈┈ .
. .
]
memory-should-contain [
3 <- 1
4 <- 0
]
]
scenario editor-inserts-characters-into-empty-editor [
local-scope
assume-screen 10/width, 5/height
e:&:editor <- new-editor [], 0/left, 5/right
editor-render screen, e
$clear-trace
assume-console [
type [abc]
]
run [
editor-event-loop screen, console, e
]
screen-should-contain [
. .
.abc .
.┈┈┈┈┈ .
. .
]
]
scenario editor-inserts-characters-at-cursor [
local-scope
assume-screen 10/width, 5/height
e:&:editor <- new-editor [abc], 0/left, 10/right
editor-render screen, e
$clear-trace
assume-console [
type [0]
left-click 1, 2
type [d]
]
run [
editor-event-loop screen, console, e
]
screen-should-contain [
. .
.0adbc .
.┈┈┈┈┈┈┈┈┈┈.
. .
]
]
scenario editor-inserts-characters-at-cursor-2 [
local-scope
assume-screen 10/width, 5/height
e:&:editor <- new-editor [abc], 0/left, 10/right
editor-render screen, e
$clear-trace
assume-console [
left-click 1, 5
type [d]
]
run [
editor-event-loop screen, console, e
]
screen-should-contain [
. .
.abcd .
.┈┈┈┈┈┈┈┈┈┈.
. .
]
]
scenario editor-inserts-characters-at-cursor-5 [
local-scope
assume-screen 10/width, 5/height
s:text <- new [abc
d]
e:&:editor <- new-editor s, 0/left, 10/right
editor-render screen, e
$clear-trace
assume-console [
left-click 1, 5
type [e]
]
run [
editor-event-loop screen, console, e
]
screen-should-contain [
. .
.abce .
.d .
.┈┈┈┈┈┈┈┈┈┈.
. .
]
]
scenario editor-inserts-characters-at-cursor-3 [
local-scope
assume-screen 10/width, 5/height
e:&:editor <- new-editor [abc], 0/left, 10/right
editor-render screen, e
$clear-trace
assume-console [
left-click 3, 5
type [d]
]
run [
editor-event-loop screen, console, e
]
screen-should-contain [
. .
.abcd .
.┈┈┈┈┈┈┈┈┈┈.
. .
]
]
scenario editor-inserts-characters-at-cursor-4 [
local-scope
assume-screen 10/width, 5/height
s:text <- new [abc
d]
e:&:editor <- new-editor s, 0/left, 10/right
editor-render screen, e
$clear-trace
assume-console [
left-click 3, 5
type [e]
]
run [
editor-event-loop screen, console, e
]
screen-should-contain [
. .
.abc .
.de .
.┈┈┈┈┈┈┈┈┈┈.
. .
]
]
scenario editor-inserts-characters-at-cursor-6 [
local-scope
assume-screen 10/width, 5/height
s:text <- new [abc
d]
e:&:editor <- new-editor s, 0/left, 10/right
editor-render screen, e
$clear-trace
assume-console [
left-click 3, 5
type [ef]
]
run [
editor-event-loop screen, console, e
]
screen-should-contain [
. .
.abc .
.def .
.┈┈┈┈┈┈┈┈┈┈.
. .
]
]
after <insert-character-special-case> [
{
wrap-column:num <- copy right
before-wrap-column:num <- subtract wrap-column, 1
at-wrap?:bool <- greater-or-equal cursor-column, wrap-column
just-before-wrap?:bool <- greater-or-equal cursor-column, before-wrap-column
next:&:duplex-list:char <- next before-cursor
at-end-of-line?:bool <- equal next, 0
{
break-if at-end-of-line?
next-character:char <- get *next, value:offset
at-end-of-line? <- equal next-character, 10/newline
}
move-cursor-to-next-line?:bool <- copy 0/false
{
break-if at-end-of-line?
move-cursor-to-next-line? <- copy just-before-wrap?
potential-new-cursor-column:num <- copy left
}
{
break-unless at-end-of-line?
move-cursor-to-next-line? <- copy at-wrap?
potential-new-cursor-column:num <- add left, 1/make-room-for-wrap-indicator
}
break-unless move-cursor-to-next-line?
cursor-column <- copy potential-new-cursor-column
*editor <- put *editor, cursor-column:offset, cursor-column
cursor-row <- add cursor-row, 1
*editor <- put *editor, cursor-row:offset, cursor-row
{
below-screen?:bool <- greater-or-equal cursor-row, screen-height
break-unless below-screen?
<scroll-down>
}
return
}
]
after <handle-special-character> [
{
newline?:bool <- equal c, 10/newline
break-unless newline?
<insert-enter-begin>
insert-new-line-and-indent editor, screen
<insert-enter-end>
return
}
]
after <handle-special-key> [
{
paste-start?:bool <- equal k, 65507/paste-start
break-unless paste-start?
*editor <- put *editor, indent?:offset, 0/false
return
}
]
after <handle-special-key> [
{
paste-end?:bool <- equal k, 65506/paste-end
break-unless paste-end?
*editor <- put *editor, indent?:offset, 1/true
return
}
]