about summary refs log blame commit diff stats
path: root/html/linux/tui.mu.html
blob: 38e3393925325a3e02ef83d4da41931817f28be5 (plain) (tree) 
3350c34a ^









a8fb537a ^

3350c34a ^


a8fb537a ^


3350c34a ^


















































































1
2
3
4
5
6
7
8
9

10

11
12

13
14

15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96









                                                                                                               
                                                

                       

                                                                                                 

















































































                                                                                                                                                                                                                                                     
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<title>Mu - linux/tui.mu</title>
<meta name="Generator" content="Vim/8.1">
<meta name="plugin-version" content="vim8.1_v1">
<meta name="syntax" content="none">
<meta name="settings" content="number_lines,use_css,pre_wrap,no_foldcolumn,expand_tabs,line_ids,prevent_copy=">
<meta name="colorscheme" content="minimal-dark">
<style type="text/css">
<!--
pre { white-space: pre-wrap; font-family: monospace; color: #000000; background-color: #a8a8a8; }
body { font-size:12pt; font-family: monospace; color: #000000; background-color: #a8a8a8; }
a { color:inherit; }
* { font-size:12pt; font-size: 1em; }
.PreProc { color: #c000c0; }
.Special { color: #ff6060; }
.LineNr { }
.Delimiter { color: #c000c0; }
.Constant { color: #008787; }
.muFunction { color: #af5f00; text-decoration: underline; }
.muComment { color: #005faf; }
-->
</style>

<script type='text/javascript'>
<!--

/* function to open any folds containing a jumped-to line before jumping to it */
function JumpToLine()
{
  var lineNum;
  lineNum = window.location.hash;
  lineNum = lineNum.substr(1); /* strip off '#' */

  if (lineNum.indexOf('L') == -1) {
    lineNum = 'L'+lineNum;
  }
  var lineElem = document.getElementById(lineNum);
  /* Always jump to new location even if the line was hidden inside a fold, or
   * we corrected the raw number to a line ID.
   */
  if (lineElem) {
    lineElem.scrollIntoView(true);
  }
  return true;
}
if ('onhashchange' in window) {
  window.onhashchange = JumpToLine;
}

-->
</script>
</head>
<body onload='JumpToLine();'>
<a href='https://github.com/akkartik/mu/blob/main/linux/tui.mu'>https://github.com/akkartik/mu/blob/main/linux/tui.mu</a>
<pre id='vimCodeElement'>
<span id="L1" class="LineNr"> 1 </span><span class="muComment"># Test some primitives for text-mode.</span>
<span id="L2" class="LineNr"> 2 </span><span class="muComment">#</span>
<span id="L3" class="LineNr"> 3 </span><span class="muComment"># To run:</span>
<span id="L4" class="LineNr"> 4 </span><span class="muComment">#   $ ./translate tui.mu</span>
<span id="L5" class="LineNr"> 5 </span><span class="muComment">#   $ ./a.elf</span>
<span id="L6" class="LineNr"> 6 </span>
<span id="L7" class="LineNr"> 7 </span><span class="PreProc">fn</span> <span class="muFunction"><a href='tui.mu.html#L7'>main</a></span><span class="PreProc"> -&gt; </span>_/<span class="Constant">ebx</span>: int <span class="Delimiter">{</span>
<span id="L8" class="LineNr"> 8 </span>  <span class="PreProc">var</span> nrows/<span class="Constant">eax</span>: int <span class="Special">&lt;-</span> copy <span class="Constant">0</span>
<span id="L9" class="LineNr"> 9 </span>  <span class="PreProc">var</span> ncols/<span class="Constant">ecx</span>: int <span class="Special">&lt;-</span> copy <span class="Constant">0</span>
<span id="L10" class="LineNr">10 </span>  nrows, ncols <span class="Special">&lt;-</span> <a href='405screen.mu.html#L60'>screen-size</a> <span class="Constant">0</span>
<span id="L11" class="LineNr">11 </span>  <a href='304screen.subx.html#L6'>enable-screen-grid-mode</a>
<span id="L12" class="LineNr">12 </span>  <a href='405screen.mu.html#L109'>move-cursor</a> <span class="Constant">0</span>/screen, <span class="Constant">5</span>/row, <span class="Constant">0x22</span>/col
<span id="L13" class="LineNr">13 </span>  <a href='405screen.mu.html#L523'>start-color</a> <span class="Constant">0</span>/screen, <span class="Constant">1</span>/fg, <span class="Constant">0x7a</span>/bg
<span id="L14" class="LineNr">14 </span>  <a href='405screen.mu.html#L583'>start-blinking</a> <span class="Constant">0</span>/screen
<span id="L15" class="LineNr">15 </span>  <a href='405screen.mu.html#L169'>print-string</a> <span class="Constant">0</span>/screen, <span class="Constant">&quot;Hello world!&quot;</span>
<span id="L16" class="LineNr">16 </span>  <a href='405screen.mu.html#L506'>reset-formatting</a> <span class="Constant">0</span>/screen
<span id="L17" class="LineNr">17 </span>  <a href='405screen.mu.html#L109'>move-cursor</a> <span class="Constant">0</span>/screen, <span class="Constant">6</span>/row, <span class="Constant">0x22</span>/col
<span id="L18" class="LineNr">18 </span>  <a href='405screen.mu.html#L169'>print-string</a> <span class="Constant">0</span>/screen, <span class="Constant">&quot;tty dimensions: &quot;</span>
<span id="L19" class="LineNr">19 </span>  <a href='405screen.mu.html#L440'>print-int32-hex</a> <span class="Constant">0</span>/screen, nrows
<span id="L20" class="LineNr">20 </span>  <a href='405screen.mu.html#L169'>print-string</a> <span class="Constant">0</span>/screen, <span class="Constant">&quot; rows, &quot;</span>
<span id="L21" class="LineNr">21 </span>  <a href='405screen.mu.html#L440'>print-int32-hex</a> <span class="Constant">0</span>/screen, ncols
<span id="L22" class="LineNr">22 </span>  <a href='405screen.mu.html#L169'>print-string</a> <span class="Constant">0</span>/screen, <span class="Constant">&quot; rows\n&quot;</span>
<span id="L23" class="LineNr">23 </span>
<span id="L24" class="LineNr">24 </span>  <a href='405screen.mu.html#L169'>print-string</a> <span class="Constant">0</span>/screen, <span class="Constant">&quot;press a key to see its code: &quot;</span>
<span id="L25" class="LineNr">25 </span>  <a href='305keyboard.subx.html#L6'>enable-keyboard-immediate-mode</a>
<span id="L26" class="LineNr">26 </span>  <span class="PreProc">var</span> x/<span class="Constant">eax</span>: grapheme <span class="Special">&lt;-</span> <a href='305keyboard.subx.html#L132'>read-key-from-real-keyboard</a>
<span id="L27" class="LineNr">27 </span>  <a href='305keyboard.subx.html#L72'>enable-keyboard-type-mode</a>
<span id="L28" class="LineNr">28 </span>  <a href='304screen.subx.html#L24'>enable-screen-type-mode</a>
<span id="L29" class="LineNr">29 </span>  <a href='405screen.mu.html#L169'>print-string</a> <span class="Constant">0</span>/screen, <span class="Constant">&quot;You pressed &quot;</span>
<span id="L30" class="LineNr">30 </span>  <span class="PreProc">var</span> x-int/<span class="Constant">eax</span>: int <span class="Special">&lt;-</span> copy x
<span id="L31" class="LineNr">31 </span>  <a href='405screen.mu.html#L440'>print-int32-hex</a> <span class="Constant">0</span>/screen, x-int
<span id="L32" class="LineNr">32 </span>  <a href='405screen.mu.html#L169'>print-string</a> <span class="Constant">0</span>/screen, <span class="Constant">&quot;\n&quot;</span>
<span id="L33" class="LineNr">33 </span>  <span class="PreProc">return</span> <span class="Constant">0</span>
<span id="L34" class="LineNr">34 </span><span class="Delimiter">}</span>
</pre>
</body>
</html>
<!-- vim: set foldmethod=manual : -->
generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-11-17 12:50:10 +0000
class="o"><- maybe-convert e:event, resize:variant break-unless is-resize? env, screen <- resize screen, env screen <- render-all screen, env, render-without-moving-cursor loop +next-event } # if it's not global and not a touch event, send to appropriate editor { sandbox-in-focus?:bool <- get *env, sandbox-in-focus?:offset { break-if sandbox-in-focus? render?:bool <- handle-keyboard-event screen, recipes, e:event render-recipes-on-no-more-events? <- or render?, render-recipes-on-no-more-events? } { break-unless sandbox-in-focus? render?:bool <- handle-keyboard-event screen, current-sandbox, e:event render-sandboxes-on-no-more-events? <- or render?, render-sandboxes-on-no-more-events? } more-events?:bool <- has-more-events? console { break-if more-events? { break-unless render-recipes-on-no-more-events? render-recipes-on-no-more-events? <- copy false screen <- render-recipes screen, env, render } { break-unless render-sandboxes-on-no-more-events? render-sandboxes-on-no-more-events? <- copy false screen <- render-sandbox-side screen, env, render } } screen <- update-cursor screen, recipes, current-sandbox, sandbox-in-focus?, env } loop } ] def resize screen:&:screen, env:&:environment -> env:&:environment, screen:&:screen [ local-scope load-inputs clear-screen screen # update screen dimensions width:num <- screen-width screen divider:num, _ <- divide-with-remainder width, 2 # update recipe editor recipes:&:editor <- get *env, recipes:offset right:num <- subtract divider, 1 *recipes <- put *recipes, right:offset, right # reset cursor (later we'll try to preserve its position) *recipes <- put *recipes, cursor-row:offset, 1 *recipes <- put *recipes, cursor-column:offset, 0 # update sandbox editor current-sandbox:&:editor <- get *env, current-sandbox:offset left:num <- add divider, 1 *current-sandbox <- put *current-sandbox, left:offset, left right:num <- subtract width, 1 *current-sandbox <- put *current-sandbox, right:offset, right # reset cursor (later we'll try to preserve its position) *current-sandbox <- put *current-sandbox, cursor-row:offset, 1 *current-sandbox <- put *current-sandbox, cursor-column:offset, left ] # Variant of 'render' that updates cursor-row and cursor-column based on # before-cursor (rather than the other way around). If before-cursor moves # off-screen, it resets cursor-row and cursor-column. def render-without-moving-cursor screen:&:screen, editor:&:editor -> last-row:num, last-column:num, screen:&:screen, editor:&:editor [ local-scope load-inputs return-unless editor, 1/top, 0/left left:num <- get *editor, left:offset screen-height:num <- screen-height screen right:num <- get *editor, right:offset curr:&:duplex-list:char <- get *editor, top-of-screen:offset prev:&:duplex-list:char <- copy curr # just in case curr becomes null and we can't compute prev curr <- next curr color:num <- copy 7/white row:num <- copy 1/top column:num <- copy left # save before-cursor old-before-cursor:&:duplex-list:char <- get *editor, before-cursor:offset # initialze cursor-row/cursor-column/before-cursor to the top of the screen # by default *editor <- put *editor, cursor-row:offset, row *editor <- put *editor, cursor-column:offset, column top-of-screen:&:duplex-list:char <- get *editor, top-of-screen:offset *editor <- put *editor, before-cursor:offset, top-of-screen screen <- move-cursor screen, row, column { +next-character break-unless curr off-screen?:bool <- greater-or-equal row, screen-height break-if off-screen? # if we find old-before-cursor still on the new resized screen, update # editor.cursor-row and editor.cursor-column based on # old-before-cursor { at-cursor?:bool <- equal old-before-cursor, prev break-unless at-cursor? *editor <- put *editor, cursor-row:offset, row *editor <- put *editor, cursor-column:offset, column *editor <- put *editor, before-cursor:offset, old-before-cursor } c:char <- get *curr, value:offset <character-c-received> { # newline? move to left rather than 0 newline?:bool <- equal c, 10/newline break-unless newline? # clear rest of line in this window clear-line-until screen, right # skip to next line row <- add row, 1 column <- copy left screen <- move-cursor screen, row, column curr <- next curr prev <- next prev loop +next-character } { # at right? wrap. even if there's only one more letter left; we need # room for clicking on the cursor after it. at-right?:bool <- equal column, right break-unless at-right? # print wrap icon wrap-icon:char <- 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 # don't increment curr loop +next-character } print screen, c, color curr <- next curr prev <- next prev column <- add column, 1 loop } # save first character off-screen *editor <- put *editor, bottom-of-screen:offset, curr *editor <- put *editor, bottom:offset, row return row, column ] scenario point-at-multiple-editors [ local-scope trace-until 100/app # trace too long assume-screen 30/width, 5/height # initialize both halves of screen assume-resources [ [lesson/recipes.mu] <- [ |abc| ] ] env:&:environment <- new-programming-environment resources, screen, [def] # contents of sandbox editor # focus on both sides assume-console [ left-click 1, 1 left-click 1, 17 ] # check cursor column in each run [ event-loop screen, console, env, resources recipes:&:editor <- get *env, recipes:offset 5:num/raw <- get *recipes, cursor-column:offset sandbox:&:editor <- get *env, current-sandbox:offset 7:num/raw <- get *sandbox, cursor-column:offset ] memory-should-contain [ 5 <- 1 7 <- 17 ] ] scenario edit-multiple-editors [ local-scope trace-until 100/app # trace too long assume-screen 30/width, 5/height # initialize both halves of screen assume-resources [ [lesson/recipes.mu] <- [ |abc| ] ] env:&:environment <- new-programming-environment resources, screen, [def] # contents of sandbox render-all screen, env, render # type one letter in each of them assume-console [ left-click 1, 1 type [0] left-click 1, 17 type [1] ] run [ event-loop screen, console, env, resources recipes:&:editor <- get *env, recipes:offset 5:num/raw <- get *recipes, cursor-column:offset sandbox:&:editor <- get *env, current-sandbox:offset 7:num/raw <- get *sandbox, 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 # cursor column of recipe editor 7 <- 18 # cursor column of sandbox editor ] # show the cursor at the right window run [ cursor:char <- copy 9251/␣ print screen, cursor ] screen-should-contain [ . run (F4) . .a0bc ┊d1␣f . . ┊──────────────. .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊ . . ┊ . ] ] scenario editor-in-focus-keeps-cursor [ local-scope trace-until 100/app # trace too long assume-screen 30/width, 5/height assume-resources [ [lesson/recipes.mu] <- [ |abc| ] ] env:&:environment <- new-programming-environment resources, screen, [def] render-all screen, env, render # initialize programming environment and highlight cursor assume-console [] run [ event-loop screen, console, env, resources cursor:char <- copy 9251/␣ print screen, cursor ] # is cursor at the right place? screen-should-contain [ . run (F4) . .␣bc ┊def . . ┊──────────────. .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊ . . ┊ . ] # now try typing a letter assume-console [ type [z] ] run [ event-loop screen, console, env, resources cursor:char <- copy 9251/␣ print screen, cursor ] # cursor should still be right screen-should-contain [ . run (F4) . .z␣bc ┊def . . ┊──────────────. .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊ . . ┊ . ] ] scenario backspace-in-sandbox-editor-joins-lines [ local-scope trace-until 100/app # trace too long assume-screen 30/width, 5/height assume-resources [ ] # initialize sandbox side with two lines test-sandbox-editor-contents:text <- new [abc def] env:&:environment <- new-programming-environment resources, screen, test-sandbox-editor-contents render-all screen, env, render screen-should-contain [ . run (F4) . . ┊abc . .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊def . . ┊──────────────. . ┊ . ] # position cursor at start of second line and hit backspace assume-console [ left-click 2, 16 press backspace ] run [ event-loop screen, console, env, resources cursor:char <- copy 9251/␣ print screen, cursor ] # cursor moves to end of old line screen-should-contain [ . run (F4) . . ┊abc␣ef . .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊──────────────. . ┊ . ] ] type render-recipe = (recipe (address screen) (address editor) -> number number (address screen) (address editor)) def render-all screen:&:screen, env:&:environment, render-editor:render-recipe -> screen:&:screen, env:&:environment [ local-scope load-inputs trace 10, [app], [render all] # top menu trace 11, [app], [render top menu] width:num <- screen-width screen draw-horizontal screen, 0, 0/left, width, 32/space, 0/black, 238/grey button-start:num <- subtract width, 20 button-on-screen?:bool <- greater-or-equal button-start, 0 assert button-on-screen?, [screen too narrow for menu] screen <- move-cursor screen, 0/row, button-start print screen, [ run (F4) ], 255/white, 161/reddish # dotted line down the middle trace 11, [app], [render divider] divider:num, _ <- divide-with-remainder width, 2 height:num <- screen-height screen draw-vertical screen, divider, 1/top, height, 9482/vertical-dotted # screen <- render-recipes screen, env, render-editor screen <- render-sandbox-side screen, env, render-editor <end-render-components> # no early returns permitted # recipes:&:editor <- get *env, recipes:offset current-sandbox:&:editor <- get *env, current-sandbox:offset sandbox-in-focus?:bool <- get *env, sandbox-in-focus?:offset screen <- update-cursor screen, recipes, current-sandbox, sandbox-in-focus?, env ] def render-recipes screen:&:screen, env:&:environment, render-editor:render-recipe -> screen:&:screen, env:&:environment [ local-scope load-inputs trace 11, [app], [render recipes] old-top-idx:num <- save-top-idx screen recipes:&:editor <- get *env, recipes:offset # render recipes left:num <- get *recipes, left:offset right:num <- get *recipes, right:offset row:num, column:num, screen <- call render-editor, screen, recipes <end-render-recipe-components> # draw dotted line after recipes draw-horizontal screen, row, left, right, 9480/horizontal-dotted row <- add row, 1 clear-screen-from screen, row, left, left, right # assert-no-scroll screen, old-top-idx ] # replaced in a later layer def render-sandbox-side screen:&:screen, env:&:environment, render-editor:render-recipe -> screen:&:screen, env:&:environment [ local-scope load-inputs trace 11, [app], [render sandboxes] old-top-idx:num <- save-top-idx screen current-sandbox:&:editor <- get *env, current-sandbox:offset left:num <- get *current-sandbox, left:offset right:num <- get *current-sandbox, right:offset row:num, column:num, screen, current-sandbox <- call render-editor, screen, current-sandbox # draw solid line after code (you'll see why in later layers) draw-horizontal screen, row, left, right row <- add row, 1 clear-screen-from screen, row, left, left, right # assert-no-scroll screen, old-top-idx ] def update-cursor screen:&:screen, recipes:&:editor, current-sandbox:&:editor, sandbox-in-focus?:bool, env:&:environment -> screen:&:screen [ local-scope load-inputs <update-cursor-special-cases> { break-if sandbox-in-focus? cursor-row:num <- get *recipes, cursor-row:offset cursor-column:num <- get *recipes, cursor-column:offset } { break-unless sandbox-in-focus? cursor-row:num <- get *current-sandbox, cursor-row:offset cursor-column:num <- get *current-sandbox, cursor-column:offset } screen <- move-cursor screen, cursor-row, cursor-column ] # ctrl-n - switch focus # todo: test this after <global-type> [ { switch-side?:bool <- equal c, 14/ctrl-n break-unless switch-side? sandbox-in-focus?:bool <- get *env, sandbox-in-focus?:offset sandbox-in-focus? <- not sandbox-in-focus? *env <- put *env, sandbox-in-focus?:offset, sandbox-in-focus? screen <- update-cursor screen, recipes, current-sandbox, sandbox-in-focus?, env loop +next-event } ] ## helpers def draw-vertical screen:&:screen, col:num, y:num, bottom:num -> screen:&:screen [ local-scope load-inputs style:char, style-found?:bool <- next-input { break-if style-found? style <- copy 9474/vertical } color:num, color-found?:bool <- next-input { # default color to white break-if color-found? color <- copy 245/grey } { continue?:bool <- lesser-than y, bottom break-unless continue? screen <- move-cursor screen, y, col print screen, style, color y <- add y, 1 loop } ] scenario backspace-over-text [ local-scope trace-until 100/app # trace too long assume-screen 50/width, 15/height # recipes.mu is empty assume-resources [ ] # sandbox editor contains an instruction without storing outputs env:&:environment <- new-programming-environment resources, screen, [] # run the code in the editors assume-console [ type [a] press backspace ] run [ event-loop screen, console, env, resources 10:num/raw <- get *screen, cursor-row:offset 11:num/raw <- get *screen, cursor-column:offset ] memory-should-contain [ 10 <- 1 11 <- 0 ] ]
generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-11-17 12:50:08 +0000