diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-07-27 22:51:11 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-07-27 22:51:11 -0700 |
| commit | c842d90bbc5ab8f4fb88fb89ebb02c0c12051396 (patch) | |
| tree | 12f5b94028df14b2927299271c16c3aa5e1b1e93 /html/070table.mu.html | |
| parent | 0c44f591f4370ce7c06ef4b8ccbee513f3552b05 (diff) | |
| download | mu-c842d90bbc5ab8f4fb88fb89ebb02c0c12051396.tar.gz | |
3158
Diffstat (limited to 'html/070table.mu.html')
| -rw-r--r-- | html/070table.mu.html | 125 |
1 files changed, 125 insertions, 0 deletions
diff --git a/html/070table.mu.html b/html/070table.mu.html new file mode 100644 index 00000000..baa33458 --- /dev/null +++ b/html/070table.mu.html @@ -0,0 +1,125 @@ +<!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 - 070table.mu</title> +<meta name="Generator" content="Vim/7.4"> +<meta name="plugin-version" content="vim7.4_v2"> +<meta name="syntax" content="none"> +<meta name="settings" content="use_css,pre_wrap,no_foldcolumn,expand_tabs,prevent_copy="> +<meta name="colorscheme" content="minimal"> +<style type="text/css"> +<!-- +pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } +* { font-size: 12pt; font-size: 1em; } +.muScenario { color: #00af00; } +.muData { color: #ffff00; } +.Delimiter { color: #800080; } +.muRecipe { color: #ff8700; } +.Comment { color: #9090ff; } +.Constant { color: #00a0a0; } +.Special { color: #c00000; } +.muControl { color: #c0a020; } +--> +</style> + +<script type='text/javascript'> +<!-- + +--> +</script> +</head> +<body> +<pre id='vimCodeElement'> +<span class="Comment"># A table is like an array, except that its keys are not integers but</span> +<span class="Comment"># arbitrary types.</span> + +<span class="muScenario">scenario</span> table-read-write [ + run [ + <span class="Constant">local-scope</span> + tab:address:table:number:number<span class="Special"> <- </span>new-table <span class="Constant">30</span> + put-index tab, <span class="Constant">12</span>, <span class="Constant">34</span> + <span class="Constant">1</span>:number/<span class="Special">raw <- </span>index tab, <span class="Constant">12</span> + ] + memory-should-contain [ + <span class="Constant">1</span><span class="Special"> <- </span><span class="Constant">34</span> + ] +] + +<span class="muScenario">scenario</span> table-read-write-non-integer [ + run [ + <span class="Constant">local-scope</span> + key:address:array:character<span class="Special"> <- </span>new <span class="Constant">[abc def]</span> + <span class="Delimiter">{</span>tab: (address table (address array character) number)<span class="Delimiter">}</span><span class="Special"> <- </span>new-table <span class="Constant">30</span> + put-index tab, key, <span class="Constant">34</span> + <span class="Constant">1</span>:number/<span class="Special">raw <- </span>index tab, key + ] + memory-should-contain [ + <span class="Constant">1</span><span class="Special"> <- </span><span class="Constant">34</span> + ] +] + +<span class="muData">container</span> table:_key:_value [ + length:number + capacity:number + data:address:array:table_row:_key:_value +] + +<span class="muData">container</span> table_row:_key:_value [ + occupied?:boolean + key:_key + value:_value +] + +<span class="muRecipe">def</span> new-table capacity:number<span class="muRecipe"> -> </span>result:address:table:_key:_value [ + <span class="Constant">local-scope</span> + <span class="Constant">load-ingredients</span> + result<span class="Special"> <- </span>new <span class="Delimiter">{</span>(table _key _value): type<span class="Delimiter">}</span> + data:address:array:table_row:_key:_value<span class="Special"> <- </span>new <span class="Delimiter">{</span>(table_row _key _value): type<span class="Delimiter">}</span>, capacity + *result<span class="Special"> <- </span>merge <span class="Constant">0/length</span>, capacity, data +] + +<span class="muRecipe">def</span> put-index table:address:table:_key:_value, key:_key, value:_value<span class="muRecipe"> -> </span>table:address:table:_key:_value [ + <span class="Constant">local-scope</span> + <span class="Constant">load-ingredients</span> + hash:number<span class="Special"> <- </span>hash key + hash<span class="Special"> <- </span>abs hash + capacity:number<span class="Special"> <- </span>get *table, <span class="Constant">capacity:offset</span> + _, hash<span class="Special"> <- </span>divide-with-remainder hash, capacity + hash<span class="Special"> <- </span>abs hash <span class="Comment"># in case hash overflows into a negative integer</span> + table-data:address:array:table_row:_key:_value<span class="Special"> <- </span>get *table, <span class="Constant">data:offset</span> + x:table_row:_key:_value<span class="Special"> <- </span>index *table-data, hash + occupied?:boolean<span class="Special"> <- </span>get x, <span class="Constant">occupied?:offset</span> + not-occupied?:boolean<span class="Special"> <- </span>not occupied?:boolean + assert not-occupied?, <span class="Constant">[can't handle collisions yet]</span> + new-row:table_row:_key:_value<span class="Special"> <- </span>merge <span class="Constant">1/true</span>, key, value + *table-data<span class="Special"> <- </span>put-index *table-data, hash, new-row +] + +<span class="muRecipe">def</span> abs n:number<span class="muRecipe"> -> </span>result:number [ + <span class="Constant">local-scope</span> + <span class="Constant">load-ingredients</span> + positive?:boolean<span class="Special"> <- </span>greater-or-equal n, <span class="Constant">0</span> + <span class="muControl">return-if</span> positive?, n + result<span class="Special"> <- </span>multiply n, <span class="Constant">-1</span> +] + +<span class="muRecipe">def</span> index table:address:table:_key:_value, key:_key<span class="muRecipe"> -> </span>result:_value [ + <span class="Constant">local-scope</span> + <span class="Constant">load-ingredients</span> + hash:number<span class="Special"> <- </span>hash key + hash<span class="Special"> <- </span>abs hash + capacity:number<span class="Special"> <- </span>get *table, <span class="Constant">capacity:offset</span> + _, hash<span class="Special"> <- </span>divide-with-remainder hash, capacity + hash<span class="Special"> <- </span>abs hash <span class="Comment"># in case hash overflows into a negative integer</span> + table-data:address:array:table_row:_key:_value<span class="Special"> <- </span>get *table, <span class="Constant">data:offset</span> + x:table_row:_key:_value<span class="Special"> <- </span>index *table-data, hash + occupied?:boolean<span class="Special"> <- </span>get x, <span class="Constant">occupied?:offset</span> + assert occupied?, <span class="Constant">[can't handle missing elements yet]</span> + result<span class="Special"> <- </span>get x, <span class="Constant">value:offset</span> +] +</pre> +</body> +</html> +<!-- vim: set foldmethod=manual : --> |