From 725f6702ff90a2da35ce83b298fbc7f991ebd9d1 Mon Sep 17 00:00:00 2001 From: Kartik Agaram Date: Fri, 5 Jun 2020 23:47:50 -0700 Subject: 6488 --- prototypes/browse/26-headers/README.md | 1 + prototypes/browse/26-headers/file-state.mu | 44 ++++++ prototypes/browse/26-headers/main.mu | 161 +++++++++++++++++++ .../browse/26-headers/screen-position-state.mu | 171 +++++++++++++++++++++ 4 files changed, 377 insertions(+) create mode 100644 prototypes/browse/26-headers/README.md create mode 100644 prototypes/browse/26-headers/file-state.mu create mode 100644 prototypes/browse/26-headers/main.mu create mode 100644 prototypes/browse/26-headers/screen-position-state.mu diff --git a/prototypes/browse/26-headers/README.md b/prototypes/browse/26-headers/README.md new file mode 100644 index 00000000..6abb7af9 --- /dev/null +++ b/prototypes/browse/26-headers/README.md @@ -0,0 +1 @@ +Support headers. diff --git a/prototypes/browse/26-headers/file-state.mu b/prototypes/browse/26-headers/file-state.mu new file mode 100644 index 00000000..35f40229 --- /dev/null +++ b/prototypes/browse/26-headers/file-state.mu @@ -0,0 +1,44 @@ +type file-state { + source: (handle buffered-file) + eof?: boolean +} + +fn init-file-state _self: (addr file-state), filename: (addr array byte) { + var self/eax: (addr file-state) <- copy _self + load-file self, filename + var eof/eax: (addr boolean) <- get self, eof? + copy-to *eof, 0 # false +} + +fn load-file _self: (addr file-state), filename: (addr array byte) { + var self/eax: (addr file-state) <- copy _self + var out/esi: (addr handle buffered-file) <- get self, source + open filename, 0, out # 0 = read mode +} + +fn next-char _self: (addr file-state) -> result/eax: byte { + var self/ecx: (addr file-state) <- copy _self + var source/eax: (addr handle buffered-file) <- get self, source + var in/eax: (addr buffered-file) <- lookup *source + result <- read-byte-buffered in + # if result == EOF, set eof? + compare result, 0xffffffff # EOF marker + { + var eof/ecx: (addr boolean) <- get self, eof? + copy-to *eof, 1 # true + } +} + +fn done-reading? _self: (addr file-state) -> result/eax: boolean { + var self/eax: (addr file-state) <- copy _self + var eof/eax: (addr boolean) <- get self, eof? + result <- copy *eof +} + +fn dump in: (addr buffered-file) { + var c/eax: byte <- read-byte-buffered in + compare c, 0xffffffff # EOF marker + break-if-= + print-byte c + loop +} diff --git a/prototypes/browse/26-headers/main.mu b/prototypes/browse/26-headers/main.mu new file mode 100644 index 00000000..ec573e9a --- /dev/null +++ b/prototypes/browse/26-headers/main.mu @@ -0,0 +1,161 @@ +fn main args: (addr array (addr array byte)) -> exit-status/ebx: int { + # initialize fs from args[1] + var filename/eax: (addr array byte) <- first-arg args + var file-state-storage: file-state + var fs/esi: (addr file-state) <- address file-state-storage + init-file-state fs, filename + # + enable-screen-grid-mode + enable-keyboard-immediate-mode + # initialize screen state from screen size + var screen-position-state-storage: screen-position-state + var screen-position-state/eax: (addr screen-position-state) <- address screen-position-state-storage + init-screen-position-state screen-position-state + normal-text + { + render fs, screen-position-state + var key/eax: byte <- read-key + compare key, 0x71 # 'q' + loop-if-!= + } + enable-keyboard-type-mode + enable-screen-type-mode + exit-status <- copy 0 +} + +fn render fs: (addr file-state), state: (addr screen-position-state) { + start-drawing state + render-normal fs, state +} + +fn render-normal fs: (addr file-state), state: (addr screen-position-state) { + var newline-seen?/esi: boolean <- copy 0 # false +$render-normal:loop: { + # if done-drawing?(state) break + var done?/eax: boolean <- done-drawing? state + compare done?, 0 # false + break-if-!= + # + var c/eax: byte <- next-char fs + # if (c == EOF) break + compare c, 0xffffffff # EOF marker + break-if-= + # if (c == newline) + compare c, 0xa # newline + { + break-if-!= + # if it's the first newline, buffer it + compare newline-seen?, 0 + { + break-if-!= + newline-seen? <- copy 1 # true + loop $render-normal:loop + } + # otherwise render two newlines + { + break-if-= + add-char state, 0xa # newline + add-char state, 0xa # newline + newline-seen? <- copy 0 # false + loop $render-normal:loop + } + } + # if c is unprintable (particularly a '\r' CR), skip it + compare c, 0x20 + loop-if-< + # If there's a newline buffered and c is a space, print the buffered + # newline (hard newline). + # If there's a newline buffered and c is not a newline or space, print a + # space (soft newline). + compare newline-seen?, 0 # false +$render-normal:flush-buffered-newline: { + break-if-= + newline-seen? <- copy 0 # false + { + compare c, 0x20 + break-if-!= + add-char state, 0xa # newline + break $render-normal:flush-buffered-newline + } + add-char state, 0x20 # space + # fall through to print c + } + # if (c == '*') switch to bold + compare c, 0x2a # '*' + { + break-if-!= + start-bold + render-until-asterisk fs, state + normal-text + loop $render-normal:loop + } + # if (c == '_') switch to bold + compare c, 0x5f # '_' + { + break-if-!= + start-color 0xec, 7 # 236 = darkish gray + start-bold + render-until-underscore fs, state + reset-formatting + start-color 0xec, 7 # 236 = darkish gray + loop $render-normal:loop + } + # + add-char state, c + # + loop + } +} + +fn render-until-asterisk fs: (addr file-state), state: (addr screen-position-state) { + { + # if done-drawing?(state) break + var done?/eax: boolean <- done-drawing? state + compare done?, 0 # false + break-if-!= + # + var c/eax: byte <- next-char fs + # if (c == EOF) break + compare c, 0xffffffff # EOF marker + break-if-= + # if (c == '*') break + compare c, 0x2a # '*' + break-if-= + # + add-char state, c + # + loop + } +} + +fn render-until-underscore fs: (addr file-state), state: (addr screen-position-state) { + { + # if done-drawing?(state) break + var done?/eax: boolean <- done-drawing? state + compare done?, 0 # false + break-if-!= + # + var c/eax: byte <- next-char fs + # if (c == EOF) break + compare c, 0xffffffff # EOF marker + break-if-= + # if (c == '_') break + compare c, 0x5f # '_' + break-if-= + # + add-char state, c + # + loop + } +} + +fn first-arg args-on-stack: (addr array (addr array byte)) -> out/eax: (addr array byte) { + var args/eax: (addr array (addr array byte)) <- copy args-on-stack + var result/eax: (addr addr array byte) <- index args, 1 + out <- copy *result +} + +fn normal-text { + reset-formatting + start-color 0xec, 7 # 236 = darkish gray +} diff --git a/prototypes/browse/26-headers/screen-position-state.mu b/prototypes/browse/26-headers/screen-position-state.mu new file mode 100644 index 00000000..dcf3722a --- /dev/null +++ b/prototypes/browse/26-headers/screen-position-state.mu @@ -0,0 +1,171 @@ +type screen-position-state { + nrows: int # const + ncols: int # const + toprow: int + botrow: int + leftcol: int + rightcol: int + row: int + col: int +} + +fn init-screen-position-state _self: (addr screen-position-state) { + # hardcoded parameters: + # top-margin + # page-margin + # page-width + var self/esi: (addr screen-position-state) <- copy _self + var nrows/eax: int <- copy 0xa + var ncols/ecx: int <- copy 0x20 + nrows, ncols <- screen-size # Comment this out to debug with a tiny page. You'll also need to adjust rightcol below. + var dest/edx: (addr int) <- copy 0 + # self->nrows = nrows + dest <- get self, nrows + copy-to *dest, nrows + # self->ncols = ncols + dest <- get self, ncols + copy-to *dest, ncols + # self->toprow = top-margin + dest <- get self, toprow + copy-to *dest, 2 # top-margin + # self->botrow = nrows + dest <- get self, botrow + copy-to *dest, nrows + # + start-drawing self +} + +fn start-drawing _self: (addr screen-position-state) { + var self/esi: (addr screen-position-state) <- copy _self + var tmp/eax: (addr int) <- copy 0 + var tmp2/ecx: int <- copy 0 + clear-screen + # self->leftcol = page-margin + tmp <- get self, leftcol + copy-to *tmp, 5 # left-margin + # self->rightcol = self->leftcol + page-width + tmp <- get self, rightcol +#? copy-to *tmp, 0x1f # ncols - 1 + copy-to *tmp, 0x45 # left-margin + page-width + # self->row = self->toprow + tmp <- get self, toprow + tmp2 <- copy *tmp + tmp <- get self, row + copy-to *tmp, tmp2 + # self->col = self->leftcol + tmp <- get self, leftcol + tmp2 <- copy *tmp + tmp <- get self, col + copy-to *tmp, tmp2 + # + reposition-cursor self +} + +fn add-char _self: (addr screen-position-state), c: byte { +$add-char:body: { + var self/esi: (addr screen-position-state) <- copy _self + { + compare c, 0xa # newline + break-if-!= + next-line self + reposition-cursor self + break $add-char:body + } + # print c + print-byte c + # self->col++ + var tmp/eax: (addr int) <- get self, col + increment *tmp + # if (self->col > self->rightcol) next-line(self) + var tmp2/ecx: int <- copy *tmp + tmp <- get self, rightcol + compare tmp2, *tmp + { + break-if-<= + next-line self + reposition-cursor self + } +} +} + +fn next-line _self: (addr screen-position-state) { + var self/esi: (addr screen-position-state) <- copy _self + var tmp/eax: (addr int) <- copy 0 + var tmp2/ecx: int <- copy 0 + # self->col = self->leftcol + tmp <- get self, leftcol + tmp2 <- copy *tmp + tmp <- get self, col + copy-to *tmp, tmp2 + # self->row++ + tmp <- get self, row + increment *tmp + # if (self->row > self->botrow) next-page(self) + tmp2 <- copy *tmp + tmp <- get self, botrow + compare tmp2, *tmp + { + break-if-<= + next-page self + } +} + +fn next-page _self: (addr screen-position-state) { + var self/esi: (addr screen-position-state) <- copy _self + var tmp/eax: (addr int) <- copy 0 + var tmp2/ecx: int <- copy 0 +#? # temporary: stop +#? tmp <- get self, ncols +#? tmp2 <- copy *tmp +#? tmp <- get self, rightcol +#? copy-to *tmp, tmp2 + # real: multiple pages + # self->leftcol = self->rightcol + page-margin + tmp <- get self, rightcol + tmp2 <- copy *tmp + tmp2 <- add 5 # page-margin + tmp <- get self, leftcol + copy-to *tmp, tmp2 + # self->rightcol = self->leftcol + page-width + tmp2 <- copy *tmp + tmp2 <- add 0x40 # page-width + tmp <- get self, rightcol + copy-to *tmp, tmp2 + # self->row = self->toprow + tmp <- get self, toprow + tmp2 <- copy *tmp + tmp <- get self, row + copy-to *tmp, tmp2 + # self->col = self->leftcol + tmp <- get self, leftcol + tmp2 <- copy *tmp + tmp <- get self, col + copy-to *tmp, tmp2 +} + +fn done-drawing? _self: (addr screen-position-state) -> result/eax: boolean { +$done-drawing?:body: { + # return self->rightcol >= self->ncols + var self/esi: (addr screen-position-state) <- copy _self + var max/ecx: (addr int) <- get self, ncols + var tmp/eax: (addr int) <- get self, rightcol + var right/eax: int <- copy *tmp + compare right, *max + { + break-if->= + result <- copy 0 # false + break $done-drawing?:body + } + { + break-if-< + result <- copy 1 # true + } +} +} + +fn reposition-cursor _self: (addr screen-position-state) { + var self/esi: (addr screen-position-state) <- copy _self + var r/eax: (addr int) <- get self, row + var c/ecx: (addr int) <- get self, col + move-cursor *r *c +} -- cgit 1.4.1-2-gfad0