def! main [
local-scope
open-console
initial-recipe:address:shared:array:character <- restore [recipes.mu]
initial-sandbox:address:shared:array:character <- new []
hide-screen 0/screen
env:address:shared:programming-environment-data <- new-programming-environment 0/screen, initial-recipe, initial-sandbox
render-all 0/screen, env
event-loop 0/screen, 0/console, env
]
container programming-environment-data [
recipes:address:shared:editor-data
current-sandbox:address:shared:editor-data
sandbox-in-focus?:boolean
]
def new-programming-environment screen:address:shared:screen, initial-recipe-contents:address:shared:array:character, initial-sandbox-contents:address:shared:array:character -> result:address:shared:programming-environment-data, screen:address:shared:screen [
local-scope
load-ingredients
width:number <- screen-width screen
height:number <- screen-height screen
result <- new programming-environment-data:type
draw-horizontal screen, 0, 0/left, width, 32/space, 0/black, 238/grey
button-start:number <- subtract width, 20
button-on-screen?:boolean <- greater-or-equal button-start, 0
assert button-on-screen?, [screen too narrow for menu]
screen <- move-cursor screen, 0/row, button-start
run-button:address:shared:array:character <- new [ run (F4) ]
print screen, run-button, 255/white, 161/reddish
divider:number, _ <- divide-with-remainder width, 2
draw-vertical screen, divider, 1/top, height, 9482/vertical-dotted
recipes:address:address:shared:editor-data <- get-address *result, recipes:offset
*recipes <- new-editor initial-recipe-contents, screen, 0/left, divider/right
new-left:number <- add divider, 1
current-sandbox:address:address:shared:editor-data <- get-address *result, current-sandbox:offset
*current-sandbox <- new-editor initial-sandbox-contents, screen, new-left, width/right
<programming-environment-initialization>
]
def event-loop screen:address:shared:screen, console:address:shared:console, env:address:shared:programming-environment-data -> screen:address:shared:screen, console:address:shared:console, env:address:shared:programming-environment-data [
local-scope
load-ingredients
recipes:address:shared:editor-data <- get *env, recipes:offset
current-sandbox:address:shared:editor-data <- get *env, current-sandbox:offset
sandbox-in-focus?:address:boolean <- get-address *env, sandbox-in-focus?:offset
render-all-on-no-more-events?:boolean <- copy 0/false
{
+next-event
e:event, console, found?:boolean, quit?:boolean <- read-event console
loop-unless found?
break-if quit?
trace 10, [app], [next-event]
<handle-event>
{
k:address:number <- maybe-convert e:event, keycode:variant
break-unless k
<global-keypress>
}
{
c:address:character <- maybe-convert e:event, text:variant
break-unless c
<global-type>
}
{
t:address:touch-event <- maybe-convert e:event, touch:variant
break-unless t
touch-type:number <- get *t, type:offset
is-left-click?:boolean <- equal touch-type, 65513/mouse-left
loop-unless is-left-click?, +next-event:label
<global-touch>
_ <- move-cursor-in-editor screen, recipes, *t
*sandbox-in-focus? <- move-cursor-in-editor screen, current-sandbox, *t
screen <- update-cursor screen, recipes, current-sandbox, *sandbox-in-focus?, env
loop +next-event:label
}
{
r:address:resize-event <- maybe-convert e:event, resize:variant
break-unless r
more-events?:boolean <- has-more-events? console
{
break-unless more-events?
render-all-on-no-more-events? <- copy 1/true
}
{
break-if more-events?
env, screen <- resize screen, env
screen <- render-all screen, env
render-all-on-no-more-events? <- copy 0/false
}
loop +next-event:label
}
{
hide-screen screen
{
break-if *sandbox-in-focus?
screen, recipes, render?:boolean <- handle-keyboard-event screen, recipes, e:event
more-events?:boolean <- has-more-events? console
{
break-unless more-events?
render-all-on-no-more-events? <- copy 1/true
jump +finish-event:label
}
{
break-if more-events?
{
break-unless render-all-on-no-more-events?
screen <- render-all screen, env
render-all-on-no-more-events? <- copy 0/false
jump +finish-event:label
}
{
break-unless render?
screen <- render-recipes screen, env
jump +finish-event:label
}
}
}
{
break-unless *sandbox-in-focus?
screen, current-sandbox, render?:boolean <- handle-keyboard-event screen, current-sandbox, e:event
more-events?:boolean <- has-more-events? console
{
break-unless more-events?
render-all-on-no-more-events? <- copy 1/true
jump +finish-event:label
}
{
break-if more-events?
{
break-unless render-all-on-no-more-events?
screen <- render-all screen, env
render-all-on-no-more-events? <- copy 0/false
jump +finish-event:label
}
{
break-unless render?
screen <- render-sandbox-side screen, env
jump +finish-event:label
}
}
}
+finish-event
screen <- update-cursor screen, recipes, current-sandbox, *sandbox-in-focus?, env
show-screen screen
}
loop
}
]
def resize screen:address:shared:screen, env:address:shared:programming-environment-data -> env:address:shared:programming-environment-data, screen:address:shared:screen [
local-scope
load-ingredients
clear-screen screen
width:number <- screen-width screen
divider:number, _ <- divide-with-remainder width, 2
recipes:address:shared:editor-data <- get *env, recipes:offset
right:address:number <- get-address *recipes, right:offset
*right <- subtract divider, 1
cursor-row:address:number <- get-address *recipes, cursor-row:offset
*cursor-row <- copy 1
cursor-column:address:number <- get-address *recipes, cursor-column:offset
*cursor-column <- copy 0
current-sandbox:address:shared:editor-data <- get *env, current-sandbox:offset
left:address:number <- get-address *current-sandbox, left:offset
right:address:number <- get-address *current-sandbox, right:offset
*left <- add divider, 1
*right <- subtract width, 1
cursor-row:address:number <- get-address *current-sandbox, cursor-row:offset
*cursor-row <- copy 1
cursor-column:address:number <- get-address *current-sandbox, cursor-column:offset
*cursor-column <- copy *left
]
scenario point-at-multiple-editors [
trace-until 100/app
assume-screen 30/width, 5/height
1:address:shared:array:character <- new [abc]
2:address:shared:array:character <- new [def]
3:address:shared:programming-environment-data <- new-programming-environment screen:address:shared:screen, 1:address:shared:array:character, 2:address:shared:array:character
assume-console [
left-click 1, 1
left-click 1, 17
]
run [
event-loop screen:address:shared:screen, console:address:shared:console, 3:address:shared:programming-environment-data
4:address:shared:editor-data <- get *3:address:shared:programming-environment-data, recipes:offset
5:number <- get *4:address:shared:editor-data, cursor-column:offset
6:address:shared:editor-data <- get *3:address:shared:programming-environment-data, current-sandbox:offset
7:number <- get *6:address:shared:editor-data, cursor-column:offset
]
memory-should-contain [
5 <- 1
7 <- 17
]
]
scenario edit-multiple-editors [
trace-until 100/app
assume-screen 30/width, 5/height
1:address:shared:array:character <- new [abc]
2:address:shared:array:character <- new [def]
3:address:shared:programming-environment-data <- new-programming-environment screen:address:shared:screen, 1:address:shared:array:character, 2:address:shared:array:character
render-all screen, 3:address:shared:programming-environment-data
assume-console [
left-click 1, 1
type [0]
left-click 1, 17
type [1]
]
run [
event-loop screen:address:shared:screen, console:address:shared:console, 3:address:shared:programming-environment-data
4:address:shared:editor-data <- get *3:address:shared:programming-environment-data, recipes:offset
5:number <- get *4:address:shared:editor-data, cursor-column:offset
6:address:shared:editor-data <- get *3:address:shared:programming-environment-data, current-sandbox:offset
7:number <- get *6:address:shared:editor-data, cursor-column:offset
]
screen-should-contain [
. run (F4) . # this line has a different background, but we don't test that yet
.a0bc ┊d1ef .
.┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━.
. ┊ .
]
memory-should-contain [
5 <- 2
7 <- 18
]
run [
8:character/cursor <- copy 9251/␣
print screen:address:shared:screen, 8:character/cursor
]
screen-should-contain [
. run (F4) .
.a0bc ┊d1␣f .
.┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━.
. ┊ .
]
]
scenario multiple-editors-cover-only-their-own-areas [
trace-until 100/app
assume-screen 60/width, 10/height
run [
1:address:shared:array:character <- new [abc]
2:address:shared:array:character <- new [def]
3:address:shared:programming-environment-data <- new-programming-environment screen:address:shared:screen, 1:address:shared:array:character, 2:address:shared:array:character
render-all screen, 3:address:shared:programming-environment-data
]
screen-should-contain [
. run (F4) .
.abc ┊def .
.┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.
. ┊ .
. ┊ .
]
]
scenario editor-in-focus-keeps-cursor [
trace-until 100/app
assume-screen 30/width, 5/height
1:address:shared:array:character <- new [abc]
2:address:shared:array:character <- new [def]
3:address:shared:programming-environment-data <- new-programming-environment screen:address:shared:screen, 1:address:shared:array:character, 2:address:shared:array:character
render-all screen, 3:address:shared:programming-environment-data
assume-console []
run [
event-loop screen:address:shared:screen, console:address:shared:console, 3:address:shared:programming-environment-data
4:character/cursor <- copy 9251/␣
print screen:address:shared:screen, 4:character/cursor
]
screen-should-contain [
. run (F4) .
.␣bc ┊def .
.┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━.
. ┊ .
]
assume-console [
type [z]
]
run [
event-loop screen:address:shared:screen, console:address:shared:console, 3:address:shared:programming-environment-data
4:character/cursor <- copy 9251/␣
print screen:address:shared:screen, 4:character/cursor
]
screen-should-contain [
. run (F4) .
.z␣bc ┊def .
.┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━.
. ┊ .
]
]
scenario backspace-in-sandbox-editor-joins-lines [
trace-until 100/app
assume-screen 30/width, 5/height
1:address:shared:array:character <- new []
2:address:shared:array:character <- new [abc
def]
3:address:shared:programming-environment-data <- new-programming-environment screen:address:shared:screen, 1:address:shared:array:character, 2:address:shared:array:character
render-all screen, 3:address:shared:programming-environment-data
screen-should-contain [
. run (F4) .
. ┊abc .
.┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊def .
. ┊━━━━━━━━━━━━━━.
. ┊ .
]
assume-console [
left-click 2, 16
press backspace
]
run [
event-loop screen:address:shared:screen, console:address:shared:console, 3:address:shared:programming-environment-data
4:character/cursor <- copy 9251/␣
print screen:address:shared:screen, 4:character/cursor
]
screen-should-contain [
. run (F4) .
. ┊abc␣ef .
.┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━.
. ┊ .
]
]
def render-all screen:address:shared:screen, env:address:shared:programming-environment-data -> screen:address:shared:screen, env:address:shared:programming-environment-data [
local-scope
load-ingredients
trace 10, [app], [render all]
hide-screen screen
trace 11, [app], [render top menu]
width:number <- screen-width screen
draw-horizontal screen, 0, 0/left, width, 32/space, 0/black, 238/grey
button-start:number <- subtract width, 20
button-on-screen?:boolean <- greater-or-equal button-start, 0
assert button-on-screen?, [screen too narrow for menu]
screen <- move-cursor screen, 0/row, button-start
run-button:address:shared:array:character <- new [ run (F4) ]
print screen, run-button, 255/white, 161/reddish
trace 11, [app], [render divider]
divider:number, _ <- divide-with-remainder width, 2
height:number <- screen-height screen
draw-vertical screen, divider, 1/top, height, 9482/vertical-dotted
screen <- render-recipes screen, env
screen <- render-sandbox-side screen, env
<render-components-end>
recipes:address:shared:editor-data <- get *env, recipes:offset
current-sandbox:address:shared:editor-data <- get *env, current-sandbox:offset
sandbox-in-focus?:boolean <- get *env, sandbox-in-focus?:offset
screen <- update-cursor screen, recipes, current-sandbox, sandbox-in-focus?, env
show-screen screen
]
def render-recipes screen:address:shared:screen, env:address:shared:programming-environment-data -> screen:address:shared:screen, env:address:shared:programming-environment-data [
local-scope
load-ingredients
trace 11, [app], [render recipes]
recipes:address:shared:editor-data <- get *env, recipes:offset
left:number <- get *recipes, left:offset
right:number <- get *recipes, right:offset
row:number, column:number, screen <- render screen, recipes
clear-line-delimited screen, column, right
row <- add row, 1
<render-recipe-components-end>
draw-horizontal screen, row, left, right, 9480/horizontal-dotted
row <- add row, 1
clear-screen-from screen, row, left, left, right
]
def render-sandbox-side screen:address:shared:screen, env:address:shared:programming-environment-data -> screen:address:shared:screen, env:address:shared:programming-environment-data [
local-scope
load-ingredients
current-sandbox:address:shared:editor-data <- get *env, current-sandbox:offset
left:number <- get *current-sandbox, left:offset
right:number <- get *current-sandbox, right:offset
row:number, column:number, screen, current-sandbox <- render screen, current-sandbox
clear-line-delimited screen, column, right
row <- add row, 1
draw-horizontal screen, row, left, right, 9473/horizontal
row <- add row, 1
clear-screen-from screen, row, left, left, right
]
def update-cursor screen:address:shared:screen, recipes:address:shared:editor-data, current-sandbox:address:shared:editor-data, sandbox-in-focus?:boolean, env:address:shared:programming-environment-data -> screen:address:shared:screen [
local-scope
load-ingredients
<update-cursor-special-cases>
{
break-if sandbox-in-focus?
cursor-row:number <- get *recipes, cursor-row:offset
cursor-column:number <- get *recipes, cursor-column:offset
}
{
break-unless sandbox-in-focus?
cursor-row:number <- get *current-sandbox, cursor-row:offset
cursor-column:number <- get *current-sandbox, cursor-column:offset
}
screen <- move-cursor screen, cursor-row, cursor-column
]
def render screen:address:shared:screen, s:address:shared:array:character, left:number, right:number, color:number, row:number -> row:number, screen:address:shared:screen [
local-scope
load-ingredients
return-unless s
column:number <- copy left
screen <- move-cursor screen, row, column
screen-height:number <- screen-height screen
i:number <- copy 0
len:number <- length *s
{
+next-character
done?:boolean <- greater-or-equal i, len
break-if done?
done? <- greater-or-equal row, screen-height
break-if done?
c:character <- index *s, i
{
at-right?:boolean <- equal column, right
break-unless at-right?
wrap-icon:character <- copy 8617/loop-back-to-left
print screen, wrap-icon, 245/grey
column <- copy left
row <- add row, 1
screen <- move-cursor screen, row, column
loop +next-character:label
}
i <- add i, 1
{
newline?:boolean <- equal c, 10/newline
break-unless newline?
{
done?:boolean <- greater-than column, right
break-if done?
space:character <- copy 32/space
print screen, space
column <- add column, 1
loop
}
row <- add row, 1
column <- copy left
screen <- move-cursor screen, row, column
loop +next-character:label
}
print screen, c, color
column <- add column, 1
loop
}
was-at-left?:boolean <- equal column, left
clear-line-delimited screen, column, right
{
break-if was-at-left?
row <- add row, 1
}
move-cursor screen, row, left
]
def render-code screen:address:shared:screen, s:address:shared:array:character, left:number, right:number, row:number -> row:number, screen:address:shared:screen [
local-scope
load-ingredients
return-unless s
color:number <- copy 7/white
column:number <- copy left
screen <- move-cursor screen, row, column
screen-height:number <- screen-height screen
i:number <- copy 0
len:number <- length *s
{
+next-character
done?:boolean <- greater-or-equal i, len
break-if done?
done? <- greater-or-equal row, screen-height
break-if done?
c:character <- index *s, i
<character-c-received>
{
at-right?:boolean <- equal column, right
break-unless at-right?
wrap-icon:character <- copy 8617/loop-back-to-left
print screen, wrap-icon, 245/grey
column <- copy left
row <- add row, 1
screen <- move-cursor screen, row, column
loop +next-character:label
}
i <- add i, 1
{
newline?:boolean <- equal c, 10/newline
break-unless newline?
{
done?:boolean <- greater-than column, right
break-if done?
space:character <- copy 32/space
print screen, space
column <- add column, 1
loop
}
row <- add row, 1
column <- copy left
screen <- move-cursor screen, row, column
loop +next-character:label
}
print screen, c, color
column <- add column, 1
loop
}
was-at-left?:boolean <- equal column, left
clear-line-delimited screen, column, right
{
break-if was-at-left?
row <- add row, 1
}
move-cursor screen, row, left
]
after <global-type> [
{
redraw-screen?:boolean <- equal *c, 12/ctrl-l
break-unless redraw-screen?
screen <- render-all screen, env:address:shared:programming-environment-data
sync-screen screen
loop +next-event:label
}
]
after <global-type> [
{
switch-side?:boolean <- equal *c, 14/ctrl-n
break-unless switch-side?
*sandbox-in-focus? <- not *sandbox-in-focus?
screen <- update-cursor screen, recipes, current-sandbox, *sandbox-in-focus?, env
loop +next-event:label
}
]
def draw-vertical screen:address:shared:screen, col:number, y:number, bottom:number -> screen:address:shared:screen [
local-scope
load-ingredients
style:character, style-found?:boolean <- next-ingredient
{
break-if style-found?
style <- copy 9474/vertical
}
color:number, color-found?:boolean <- next-ingredient
{
break-if color-found?
color <- copy 245/grey
}
{
continue?:boolean <- lesser-than y, bottom
break-unless continue?
screen <- move-cursor screen, y, col
print screen, style, color
y <- add y, 1
loop
}
]