344 lines
11 KiB
Forth
344 lines
11 KiB
Forth
type gap-buffer {
|
|
left: grapheme-stack
|
|
right: grapheme-stack
|
|
}
|
|
|
|
fn initialize-gap-buffer _self: (addr gap-buffer) {
|
|
var self/esi: (addr gap-buffer) <- copy _self
|
|
var left/eax: (addr grapheme-stack) <- get self, left
|
|
initialize-grapheme-stack left, 0x10/max-word-size
|
|
var right/eax: (addr grapheme-stack) <- get self, right
|
|
initialize-grapheme-stack right, 0x10/max-word-size
|
|
}
|
|
|
|
# just for tests
|
|
fn initialize-gap-buffer-with self: (addr gap-buffer), s: (addr array byte) {
|
|
initialize-gap-buffer self
|
|
var stream-storage: (stream byte 0x10/max-word-size)
|
|
var stream/ecx: (addr stream byte) <- address stream-storage
|
|
write stream, s
|
|
{
|
|
var done?/eax: boolean <- stream-empty? stream
|
|
compare done?, 0/false
|
|
break-if-!=
|
|
var g/eax: code-point-utf8 <- read-code-point-utf8 stream
|
|
add-code-point-utf8-at-gap self, g
|
|
loop
|
|
}
|
|
}
|
|
|
|
fn gap-buffer-to-string self: (addr gap-buffer), out: (addr handle array byte) {
|
|
var s-storage: (stream byte 0x100)
|
|
var s/ecx: (addr stream byte) <- address s-storage
|
|
emit-gap-buffer self, s
|
|
stream-to-array s, out
|
|
}
|
|
|
|
fn emit-gap-buffer _self: (addr gap-buffer), out: (addr stream byte) {
|
|
var self/esi: (addr gap-buffer) <- copy _self
|
|
clear-stream out
|
|
var left/eax: (addr grapheme-stack) <- get self, left
|
|
emit-stack-from-bottom left, out
|
|
var right/eax: (addr grapheme-stack) <- get self, right
|
|
emit-stack-from-top right, out
|
|
}
|
|
|
|
# dump stack from bottom to top
|
|
fn emit-stack-from-bottom _self: (addr grapheme-stack), out: (addr stream byte) {
|
|
var self/esi: (addr grapheme-stack) <- copy _self
|
|
var data-ah/edi: (addr handle array code-point-utf8) <- get self, data
|
|
var _data/eax: (addr array code-point-utf8) <- lookup *data-ah
|
|
var data/edi: (addr array code-point-utf8) <- copy _data
|
|
var top-addr/ecx: (addr int) <- get self, top
|
|
var i/eax: int <- copy 0
|
|
{
|
|
compare i, *top-addr
|
|
break-if->=
|
|
var g/edx: (addr code-point-utf8) <- index data, i
|
|
write-code-point-utf8 out, *g
|
|
i <- increment
|
|
loop
|
|
}
|
|
}
|
|
|
|
# dump stack from top to bottom
|
|
fn emit-stack-from-top _self: (addr grapheme-stack), out: (addr stream byte) {
|
|
var self/esi: (addr grapheme-stack) <- copy _self
|
|
var data-ah/edi: (addr handle array code-point-utf8) <- get self, data
|
|
var _data/eax: (addr array code-point-utf8) <- lookup *data-ah
|
|
var data/edi: (addr array code-point-utf8) <- copy _data
|
|
var top-addr/ecx: (addr int) <- get self, top
|
|
var i/eax: int <- copy *top-addr
|
|
i <- decrement
|
|
{
|
|
compare i, 0
|
|
break-if-<
|
|
var g/edx: (addr code-point-utf8) <- index data, i
|
|
write-code-point-utf8 out, *g
|
|
i <- decrement
|
|
loop
|
|
}
|
|
}
|
|
|
|
fn render-gap-buffer screen: (addr screen), _gap: (addr gap-buffer) {
|
|
var gap/esi: (addr gap-buffer) <- copy _gap
|
|
var left/eax: (addr grapheme-stack) <- get gap, left
|
|
render-stack-from-bottom left, screen
|
|
var right/eax: (addr grapheme-stack) <- get gap, right
|
|
render-stack-from-top right, screen
|
|
}
|
|
|
|
fn gap-buffer-length _gap: (addr gap-buffer) -> _/eax: int {
|
|
var gap/esi: (addr gap-buffer) <- copy _gap
|
|
var left/eax: (addr grapheme-stack) <- get gap, left
|
|
var tmp/eax: (addr int) <- get left, top
|
|
var left-length/ecx: int <- copy *tmp
|
|
var right/esi: (addr grapheme-stack) <- get gap, right
|
|
tmp <- get right, top
|
|
var result/eax: int <- copy *tmp
|
|
result <- add left-length
|
|
return result
|
|
}
|
|
|
|
fn add-code-point-utf8-at-gap _self: (addr gap-buffer), g: code-point-utf8 {
|
|
var self/esi: (addr gap-buffer) <- copy _self
|
|
var left/eax: (addr grapheme-stack) <- get self, left
|
|
push-grapheme-stack left, g
|
|
}
|
|
|
|
fn gap-to-start self: (addr gap-buffer) {
|
|
{
|
|
var curr/eax: code-point-utf8 <- gap-left self
|
|
compare curr, -1
|
|
loop-if-!=
|
|
}
|
|
}
|
|
|
|
fn gap-to-end self: (addr gap-buffer) {
|
|
{
|
|
var curr/eax: code-point-utf8 <- gap-right self
|
|
compare curr, -1
|
|
loop-if-!=
|
|
}
|
|
}
|
|
|
|
fn gap-at-start? _self: (addr gap-buffer) -> _/eax: boolean {
|
|
var self/esi: (addr gap-buffer) <- copy _self
|
|
var left/eax: (addr grapheme-stack) <- get self, left
|
|
var result/eax: boolean <- grapheme-stack-empty? left
|
|
return result
|
|
}
|
|
|
|
fn gap-at-end? _self: (addr gap-buffer) -> _/eax: boolean {
|
|
var self/esi: (addr gap-buffer) <- copy _self
|
|
var right/eax: (addr grapheme-stack) <- get self, right
|
|
var result/eax: boolean <- grapheme-stack-empty? right
|
|
return result
|
|
}
|
|
|
|
fn gap-right _self: (addr gap-buffer) -> _/eax: code-point-utf8 {
|
|
var self/esi: (addr gap-buffer) <- copy _self
|
|
var g/eax: code-point-utf8 <- copy 0
|
|
var right/ecx: (addr grapheme-stack) <- get self, right
|
|
g <- pop-grapheme-stack right
|
|
compare g, -1
|
|
{
|
|
break-if-=
|
|
var left/ecx: (addr grapheme-stack) <- get self, left
|
|
push-grapheme-stack left, g
|
|
}
|
|
return g
|
|
}
|
|
|
|
fn gap-left _self: (addr gap-buffer) -> _/eax: code-point-utf8 {
|
|
var self/esi: (addr gap-buffer) <- copy _self
|
|
var g/eax: code-point-utf8 <- copy 0
|
|
{
|
|
var left/ecx: (addr grapheme-stack) <- get self, left
|
|
g <- pop-grapheme-stack left
|
|
}
|
|
compare g, -1
|
|
{
|
|
break-if-=
|
|
var right/ecx: (addr grapheme-stack) <- get self, right
|
|
push-grapheme-stack right, g
|
|
}
|
|
return g
|
|
}
|
|
|
|
fn gap-index _self: (addr gap-buffer) -> _/eax: int {
|
|
var self/eax: (addr gap-buffer) <- copy _self
|
|
var left/eax: (addr grapheme-stack) <- get self, left
|
|
var top-addr/eax: (addr int) <- get left, top
|
|
var result/eax: int <- copy *top-addr
|
|
return result
|
|
}
|
|
|
|
fn first-code-point-utf8-in-gap-buffer _self: (addr gap-buffer) -> _/eax: code-point-utf8 {
|
|
var self/esi: (addr gap-buffer) <- copy _self
|
|
# try to read from left
|
|
var left/eax: (addr grapheme-stack) <- get self, left
|
|
var top-addr/ecx: (addr int) <- get left, top
|
|
compare *top-addr, 0
|
|
{
|
|
break-if-<=
|
|
var data-ah/eax: (addr handle array code-point-utf8) <- get left, data
|
|
var data/eax: (addr array code-point-utf8) <- lookup *data-ah
|
|
var result-addr/eax: (addr code-point-utf8) <- index data, 0
|
|
return *result-addr
|
|
}
|
|
# try to read from right
|
|
var right/eax: (addr grapheme-stack) <- get self, right
|
|
top-addr <- get right, top
|
|
compare *top-addr, 0
|
|
{
|
|
break-if-<=
|
|
var data-ah/eax: (addr handle array code-point-utf8) <- get right, data
|
|
var data/eax: (addr array code-point-utf8) <- lookup *data-ah
|
|
var top/ecx: int <- copy *top-addr
|
|
top <- decrement
|
|
var result-addr/eax: (addr code-point-utf8) <- index data, top
|
|
return *result-addr
|
|
}
|
|
# give up
|
|
return -1
|
|
}
|
|
|
|
fn code-point-utf8-before-cursor-in-gap-buffer _self: (addr gap-buffer) -> _/eax: code-point-utf8 {
|
|
var self/esi: (addr gap-buffer) <- copy _self
|
|
# try to read from left
|
|
var left/ecx: (addr grapheme-stack) <- get self, left
|
|
var top-addr/edx: (addr int) <- get left, top
|
|
compare *top-addr, 0
|
|
{
|
|
break-if-<=
|
|
var result/eax: code-point-utf8 <- pop-grapheme-stack left
|
|
push-grapheme-stack left, result
|
|
return result
|
|
}
|
|
# give up
|
|
return -1
|
|
}
|
|
|
|
fn delete-before-gap _self: (addr gap-buffer) {
|
|
var self/eax: (addr gap-buffer) <- copy _self
|
|
var left/eax: (addr grapheme-stack) <- get self, left
|
|
var dummy/eax: code-point-utf8 <- pop-grapheme-stack left
|
|
}
|
|
|
|
fn pop-after-gap _self: (addr gap-buffer) -> _/eax: code-point-utf8 {
|
|
var self/eax: (addr gap-buffer) <- copy _self
|
|
var right/eax: (addr grapheme-stack) <- get self, right
|
|
var result/eax: code-point-utf8 <- pop-grapheme-stack right
|
|
return result
|
|
}
|
|
|
|
fn gap-buffer-equal? _self: (addr gap-buffer), s: (addr array byte) -> _/eax: boolean {
|
|
var self/esi: (addr gap-buffer) <- copy _self
|
|
# complication: code-point-utf8s may be multiple bytes
|
|
# so don't rely on length
|
|
# instead turn the expected result into a stream and arrange to read from it in order
|
|
var stream-storage: (stream byte 0x10/max-word-size)
|
|
var expected-stream/ecx: (addr stream byte) <- address stream-storage
|
|
write expected-stream, s
|
|
# compare left
|
|
var left/edx: (addr grapheme-stack) <- get self, left
|
|
var result/eax: boolean <- prefix-match? left, expected-stream
|
|
compare result, 0/false
|
|
{
|
|
break-if-!=
|
|
return result
|
|
}
|
|
# compare right
|
|
var right/edx: (addr grapheme-stack) <- get self, right
|
|
result <- suffix-match? right, expected-stream
|
|
compare result, 0/false
|
|
{
|
|
break-if-!=
|
|
return result
|
|
}
|
|
# ensure there's nothing left over
|
|
result <- stream-empty? expected-stream
|
|
return result
|
|
}
|
|
|
|
fn test-gap-buffer-equal-from-end? {
|
|
var _g: gap-buffer
|
|
var g/esi: (addr gap-buffer) <- address _g
|
|
initialize-gap-buffer g
|
|
#
|
|
var c/eax: code-point-utf8 <- copy 0x61/a
|
|
add-code-point-utf8-at-gap g, c
|
|
add-code-point-utf8-at-gap g, c
|
|
add-code-point-utf8-at-gap g, c
|
|
# gap is at end (right is empty)
|
|
var _result/eax: boolean <- gap-buffer-equal? g, "aaa"
|
|
var result/eax: int <- copy _result
|
|
check-ints-equal result, 1, "F - test-gap-buffer-equal-from-end?"
|
|
}
|
|
|
|
fn test-gap-buffer-equal-from-middle? {
|
|
var _g: gap-buffer
|
|
var g/esi: (addr gap-buffer) <- address _g
|
|
initialize-gap-buffer g
|
|
#
|
|
var c/eax: code-point-utf8 <- copy 0x61/a
|
|
add-code-point-utf8-at-gap g, c
|
|
add-code-point-utf8-at-gap g, c
|
|
add-code-point-utf8-at-gap g, c
|
|
var dummy/eax: code-point-utf8 <- gap-left g
|
|
# gap is in the middle
|
|
var _result/eax: boolean <- gap-buffer-equal? g, "aaa"
|
|
var result/eax: int <- copy _result
|
|
check-ints-equal result, 1, "F - test-gap-buffer-equal-from-middle?"
|
|
}
|
|
|
|
fn test-gap-buffer-equal-from-start? {
|
|
var _g: gap-buffer
|
|
var g/esi: (addr gap-buffer) <- address _g
|
|
initialize-gap-buffer g
|
|
#
|
|
var c/eax: code-point-utf8 <- copy 0x61/a
|
|
add-code-point-utf8-at-gap g, c
|
|
add-code-point-utf8-at-gap g, c
|
|
add-code-point-utf8-at-gap g, c
|
|
var dummy/eax: code-point-utf8 <- gap-left g
|
|
dummy <- gap-left g
|
|
dummy <- gap-left g
|
|
# gap is at the start
|
|
var _result/eax: boolean <- gap-buffer-equal? g, "aaa"
|
|
var result/eax: int <- copy _result
|
|
check-ints-equal result, 1, "F - test-gap-buffer-equal-from-start?"
|
|
}
|
|
|
|
fn copy-gap-buffer _src-ah: (addr handle gap-buffer), _dest-ah: (addr handle gap-buffer) {
|
|
# obtain src-a, dest-a
|
|
var src-ah/eax: (addr handle gap-buffer) <- copy _src-ah
|
|
var _src-a/eax: (addr gap-buffer) <- lookup *src-ah
|
|
var src-a/esi: (addr gap-buffer) <- copy _src-a
|
|
var dest-ah/eax: (addr handle gap-buffer) <- copy _dest-ah
|
|
var _dest-a/eax: (addr gap-buffer) <- lookup *dest-ah
|
|
var dest-a/edi: (addr gap-buffer) <- copy _dest-a
|
|
# copy left grapheme-stack
|
|
var src/ecx: (addr grapheme-stack) <- get src-a, left
|
|
var dest/edx: (addr grapheme-stack) <- get dest-a, left
|
|
copy-grapheme-stack src, dest
|
|
# copy right grapheme-stack
|
|
src <- get src-a, right
|
|
dest <- get dest-a, right
|
|
copy-grapheme-stack src, dest
|
|
}
|
|
|
|
fn gap-buffer-is-decimal-integer? _self: (addr gap-buffer) -> _/eax: boolean {
|
|
var self/esi: (addr gap-buffer) <- copy _self
|
|
var curr/ecx: (addr grapheme-stack) <- get self, left
|
|
var result/eax: boolean <- grapheme-stack-is-decimal-integer? curr
|
|
{
|
|
compare result, 0/false
|
|
break-if-=
|
|
curr <- get self, right
|
|
result <- grapheme-stack-is-decimal-integer? curr
|
|
}
|
|
return result
|
|
}
|