// So far instructions can only contain linear lists of properties. Now we add
// support for more complex trees of properties in dilated reagents. This will
// come in handy later for expressing complex types, like "a dictionary from
// (address to array of charaters) to (list of numbers)".
:(scenarios load)
:(scenario dilated_reagent_with_nested_brackets)
def main [
{1: number, foo: (bar (baz quux))} <- copy 34
]
+parse: product: {1: "number", "foo": ("bar" ("baz" "quux"))}
:(before "End Parsing Reagent Property(value)")
value = parse_string_tree(value);
:(before "End Parsing Reagent Type Property(value)")
value = parse_string_tree(value);
:(code)
string_tree* parse_string_tree(string_tree* s) {
assert(!s->left && !s->right);
if (s->value.at(0) != '(') return s;
string_tree* result = parse_string_tree(s->value);
delete s;
return result;
}
string_tree* parse_string_tree(const string& s) {
istringstream in(s);
in >> std::noskipws;
return parse_string_tree(in);
}
string_tree* parse_string_tree(istream& in) {
skip_whitespace_but_not_newline(in);
if (!has_data(in)) return NULL;
if (in.peek() == ')') {
in.get();
return NULL;
}
if (in.peek() != pre { line-height: 125%; }
td.linenos .normal { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
span.linenos { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
td.linenos .special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
span.linenos.special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
.highlight .hll { background-color: #ffffcc }
.highlight .c { color: #888888 } /* Comment */
.highlight .err { color: #a61717; background-color: #e3d2d2 } /* Error */
.highlight .k { color: #008800; font-weight: bold } /* Keyword */
.highlight .ch { color: #888888 } /* Comment.Hashbang */
.highlight .cm { color: #888888 } /* Comment.Multiline */
.highlight .cp { color: #cc0000; font-weight: bold } /* Comment.Preproc */
.highlight .cpf { color: #888888 } /* Comment.PreprocFile */
.highlight .c1 { color: #888888 } /* Comment.Single */
.highlight .cs { color: #cc0000; font-weight: bold; background-color: #fff0f0 } /* Comment.Special */
.highlight .gd { color: #000000; background-color: #ffdddd } /* Generic.Deleted */
.highlight .ge { font-style: italic } /* Generic.Emph */
.highlight .ges { font-weight: bold; font-style: italic } /* Generic.EmphStrong */
.highlight .gr { color: #aa0000 } /* Generic.Error */
.highlight .gh { color: #333333 } /* Generic.Heading */
.highlight .gi { color: #000000; background-color: #ddffdd } /* Generic.Inserted */
.highlight .go { color: #888888 } /* Generic.Output */
.highlight .gp { color: #555555 } /* Generic.Prompt */
.highlight .gs { font-weight: bold } /* Generic.Strong */
.highlight .gu { color: #666666 } /* Generic.Subheading */
.highlight .gt { color: #aa0000 } /* Generic.Traceback */
.highlight .kc { color: #008800; font-weight: bold } /* Keyword.Constant */
.highlight .kd { color: #008800; font-weight: bold } /* Keyword.Declaration */
.highlight .kn { color: #008800; font-weight: bold } /* Keyword.Namespace */
.highlight .kp { color: #008800 } /* Keyword.Pseudo */
.highlight .kr { color: #008800; font-weight: bold } /* Keyword.Reserved */
.highlight .kt { color: #888888; font-weight: bold } /* Keyword.Type */
.highlight .m { color: #0000DD; font-weight: bold } /* Literal.Number */
.highlight .s { color: #dd2200; background-color: #fff0f0 } /* Literal.String */
.highlight .na { color: #336699 } /* Name.Attribute */
.highlight .nb { color: #003388 } /* Name.Builtin */
.highlight .nc { color: #bb0066; font-weight: bold } /* Name.Class */
.highlight .no { color: #003366; font-weight: bold } /* Name.Constant */
.highlight .nd { color: #555555 } /* Name.Decorator */
.highlight .ne { color: #bb0066; font-weight: bold } /* Name.Exception */
.highlight .nf { color: #0066bb; font-weight: bold } /* Name.Function */
.highlight .nl { color: #336699; font-style: italic } /* Name.Label */
.highlight .nn { color: #bb0066; font-weight: bold } /* Name.Namespace */
.highlight .py { color: #336699; font-weight: bold } /* Name.Property */
.highlight .nt { color: #bb0066; font-weight: bold } /* Name.Tag */
.highlight .nv { color: #336699 } /* Name.Variable */
.highlight .ow { color: #008800 } /* Operator.Word */
.highlight .w { color: #bbbbbb } /* Text.Whitespace */
.highlight .mb { color: #0000DD; font-weight: bold } /* Literal.Number.Bin */
.highlight .mf { color: #0000DD; font-weight: bold } /* Literal.Number.Float */
.highlight .mh { color: #0000DD; font-weight: bold } /* Literal.Number.Hex */
.highlight .mi { color: #0000DD; font-weight: bold } /* Literal.Number.Integer */
.highlight .mo { color: #0000DD; font-weight: bold } /* Literal.Number.Oct */
.highlight .sa { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Affix */
.highlight .sb { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Backtick */
.highlight .sc { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Char */
.highlight .dl { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Delimiter */
.highlight .sd { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Doc */
.highlight .s2 { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Double */
.highlight .se { color: #0044dd; background-color: #fff0f0 } /* Literal.String.Escape */
.highlight .sh { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Heredoc */
.highlight .si { color: #3333bb; background-color: #fff0f0 } /* Literal.String.Interpol */
.highlight .sx { color: #22bb22; background-color: #f0fff0 } /* Literal.String.Other */
.highlight .sr { color: #008800; background-color: #fff0ff } /* Literal.String.Regex */
.highlight .s1 { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Single */
.highlight .ss { color: #aa6600; background-color: #fff0f0 } /* Literal.String.Symbol */
.highlight .bp { color: #003388 } /* Name.Builtin.Pseudo */
.highlight .fm { color: #0066bb; font-weight: bold } /* Name.Function.Magic */
.highlight .vc { color: #336699 } /* Name.Variable.Class */
.highlight .vg { color: #dd7700 } /* Name.Variable.Global */
.highlight .vi { color: #3333bb } /* Name.Variable.Instance */
.highlight .vm { color: #336699 } /* Name.Variable.Magic */
.highlight .il { color: #0000DD; font-weight: bold } /* Literal.Number.Integer.Long */<!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 - 102keyboard.subx</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-light">
<style type="text/css">
<!--
pre { white-space: pre-wrap; font-family: monospace; color: #000000; background-color: #ffffd7; }
body { font-size:12pt; font-family: monospace; color: #000000; background-color: #ffffd7; }
a { color:inherit; }
* { font-size:12pt; font-size: 1em; }
.subxComment { color: #005faf; }
.LineNr { }
.SpecialChar { color: #d70000; }
.subxS1Comment { color: #0000af; }
.subxFunction { color: #af5f00; text-decoration: underline; }
.Constant { color: #008787; }
-->
</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/102keyboard.subx'>https://github.com/akkartik/mu/blob/main/102keyboard.subx</a>
<pre id='vimCodeElement'>
<span id="L1" class="LineNr"> 1 </span><span class="subxComment"># check keyboard for a key</span>
<span id="L2" class="LineNr"> 2 </span><span class="subxComment"># return 0 on no keypress or unrecognized key</span>
<span id="L3" class="LineNr"> 3 </span><span class="subxComment">#</span>
<span id="L4" class="LineNr"> 4 </span><span class="subxComment"># We need to do this in machine code because Mu doesn't have global variables</span>
<span id="L5" class="LineNr"> 5 </span><span class="subxComment"># yet (for the keyboard buffer).</span>
<span id="L6" class="LineNr"> 6 </span>
<span id="L7" class="LineNr"> 7 </span>== code
<span id="L8" class="LineNr"> 8 </span>
<span id="L9" class="LineNr"> 9 </span><span class="subxComment"># Most keys correspond to their ASCII/Unicode values.</span>
<span id="L10" class="LineNr">10 </span><span class="subxComment"># TODO: Support for international keyboards and multi-byte Unicode.</span>
<span id="L11" class="LineNr">11 </span><span class="subxComment">#</span>
<span id="L12" class="LineNr">12 </span><span class="subxComment"># However there are some exceptions that have no assigned place in Unicode</span>
<span id="L13" class="LineNr">13 </span><span class="subxComment"># (and with good reason):</span>
<span id="L14" class="LineNr">14 </span><span class="subxComment"># 0x80 = left arrow ←</span>
<span id="L15" class="LineNr">15 </span><span class="subxComment"># 0x81 = down arrow ↓</span>
<span id="L16" class="LineNr">16 </span><span class="subxComment"># 0x82 = up arrow ↑</span>
<span id="L17" class="LineNr">17 </span><span class="subxComment"># 0x83 = right arrow →</span>
<span id="L18" class="LineNr">18 </span><span class="subxComment"># These code points are not used by Unicode and their semantics are agreed to</span>
<span id="L19" class="LineNr">19 </span><span class="subxComment"># be context-sensitive: <a href="https://en.wikipedia.org/wiki/C0_and_C1_control_codes#C1_controls.">https://en.wikipedia.org/wiki/C0_and_C1_control_codes#C1_controls.</a></span>
<span id="L20" class="LineNr">20 </span><span class="subxComment"># Mu cannibalizes them in yet another non-standard way.</span>
<span id="L21" class="LineNr">21 </span><span class="subxFunction">read-key</span>: <span class="subxComment"># kbd: (addr keyboard) -> result/eax: byte</span>
<span id="L22" class="LineNr">22 </span> <span class="subxS1Comment"># . prologue</span>
<span id="L23" class="LineNr">23 </span> 55/push-ebp
<span id="L24" class="LineNr">24 </span> 89/<- %ebp 4/r32/esp
<span id="L25" class="LineNr">25 </span> <span class="subxS1Comment"># . save registers</span>
<span id="L26" class="LineNr">26 </span> 51/push-ecx
<span id="L27" class="LineNr">27 </span> <span class="subxComment"># result = 0</span>
<span id="L28" class="LineNr">28 </span> b8/copy-to-eax 0/imm32
<span id="L29" class="LineNr">29 </span> <span class="subxComment"># ecx = keyboard</span>
<span id="L30" class="LineNr">30 </span> 8b/-> *(ebp+8) 1/r32/ecx
<span id="L31" class="LineNr">31 </span> 81 7/subop/compare %ecx 0/imm32
<span id="L32" class="LineNr">32 </span> {
<span id="L33" class="LineNr">33 </span> 75/jump-if-!= <span class="Constant">break</span>/disp8
<span id="L34" class="LineNr">34 </span> <span class="subxComment"># var buffer-byte-addr/ecx: (addr byte)</span>
<span id="L35" class="LineNr">35 </span> 8b/-> *<span class="SpecialChar">Keyboard-buffer</span>:read 1/r32/CL
<span id="L36" class="LineNr">36 </span> 81 0/subop/add %ecx <span class="SpecialChar">Keyboard-buffer</span>:data/imm32
<span id="L37" class="LineNr">37 </span> <span class="subxComment"># var next-key/eax: byte = *buffer-byte-addr</span>
<span id="L38" class="LineNr">38 </span> 8a/byte-> *ecx 0/r32/AL
<span id="L39" class="LineNr">39 </span> <span class="subxComment"># if (next-key != 0) lock and remove from keyboard buffer</span>
<span id="L40" class="LineNr">40 </span> 3d/compare-eax-with 0/imm32
<span id="L41" class="LineNr">41 </span> {
<span id="L42" class="LineNr">42 </span> 74/jump-if-= <span class="Constant">break</span>/disp8
<span id="L43" class="LineNr">43 </span> fa/disable-interrupts
<span id="L44" class="LineNr">44 </span> c6 0/subop/copy-byte *ecx 0/imm8
<span id="L45" class="LineNr">45 </span> ff 0/subop/increment *<span class="SpecialChar">Keyboard-buffer</span>:read
<span id="L46" class="LineNr">46 </span> 81 4/subop/and *<span class="SpecialChar">Keyboard-buffer</span>:read 0x0f/imm32
<span id="L47" class="LineNr">47 </span> fb/enable-interrupts
<span id="L48" class="LineNr">48 </span> }
<span id="L49" class="LineNr">49 </span> <span class="subxComment"># return</span>
<span id="L50" class="LineNr">50 </span> eb $read-key:end/disp8
<span id="L51" class="LineNr">51 </span> }
<span id="L52" class="LineNr">52 </span> <span class="subxComment"># TODO: fake keyboard</span>
<span id="L53" class="LineNr">53 </span><span class="Constant">$read-key:end</span>:
<span id="L54" class="LineNr">54 </span> <span class="subxS1Comment"># . restore registers</span>
<span id="L55" class="LineNr">55 </span> 59/pop-to-ecx
<span id="L56" class="LineNr">56 </span> <span class="subxS1Comment"># . epilogue</span>
<span id="L57" class="LineNr">57 </span> 89/<- %esp 5/r32/ebp
<span id="L58" class="LineNr">58 </span> 5d/pop-to-ebp
<span id="L59" class="LineNr">59 </span> c3/return
</pre>
</body>
</html>
<!-- vim: set foldmethod=manual : -->