diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-02-25 17:17:20 -0800 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-02-25 17:17:20 -0800 |
| commit | dcc060c7d4ef56b978beb34ddce8d8ffcec94fa6 (patch) | |
| tree | 7cbb9cd1d8544c7c6c65725fa195ca3821b04b07 /html/078table.mu.html | |
| parent | 0f5a2f4e21046e319ce0fadec32cc5e89d2f4620 (diff) | |
| download | mu-dcc060c7d4ef56b978beb34ddce8d8ffcec94fa6.tar.gz | |
2706 - update html
Diffstat (limited to 'html/078table.mu.html')
| -rw-r--r-- | html/078table.mu.html | 99 |
1 files changed, 99 insertions, 0 deletions
diff --git a/html/078table.mu.html b/html/078table.mu.html new file mode 100644 index 00000000..6efef6d2 --- /dev/null +++ b/html/078table.mu.html @@ -0,0 +1,99 @@ +<!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 - 078table.mu</title> +<meta name="Generator" content="Vim/7.4"> +<meta name="plugin-version" content="vim7.4_v1"> +<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-family: monospace; color: #eeeeee; background-color: #080808; } +* { font-size: 1.05em; } +.muRecipe { color: #ff8700; } +.muScenario { color: #00af00; } +.muData { color: #ffff00; } +.Comment { color: #9090ff; } +.Constant { color: #00a0a0; } +.Special { color: #ff6060; } +.Delimiter { color: #a04060; } +--> +</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">1</span>:address:shared:table:number:number<span class="Special"> <- </span>new-table <span class="Constant">30</span> + put <span class="Constant">1</span>:address:shared:table:number:number, <span class="Constant">12</span>, <span class="Constant">34</span> + <span class="Constant">2</span>:number<span class="Special"> <- </span>index <span class="Constant">1</span>:address:shared:table:number:number, <span class="Constant">12</span> + ] + memory-should-contain [ + <span class="Constant">2</span><span class="Special"> <- </span><span class="Constant">34</span> + ] +] + +<span class="muData">container</span> table:_key:_value [ + length:number + capacity:number + data:address:shared:array:table_row:_key:_value +] + +<span class="muData">container</span> table_row:_key:_value [ + occupied?:boolean + key:_key + value:_value +] + +<span class="muRecipe">recipe</span> new-table capacity:number<span class="muRecipe"> -> </span>result:address:shared: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> + tmp:address:number<span class="Special"> <- </span>get-address *result, <span class="Constant">capacity:offset</span> + *tmp<span class="Special"> <- </span>copy capacity + data:address:address:shared:array:table_row:_key:_value<span class="Special"> <- </span>get-address *result, <span class="Constant">data:offset</span> + *data<span class="Special"> <- </span>new <span class="Delimiter">{</span>(table_row _key _value): type<span class="Delimiter">}</span>, capacity +] + +<span class="muRecipe">recipe</span> put table:address:shared:table:_key:_value, key:_key, value:_value<span class="muRecipe"> -> </span>table:address:shared:table:_key:_value [ + <span class="Constant">local-scope</span> + <span class="Constant">load-ingredients</span> + hash:number<span class="Special"> <- </span>hash key + capacity:number<span class="Special"> <- </span>get *table, <span class="Constant">capacity:offset</span> + _, hash<span class="Special"> <- </span>divide-with-remainder hash, capacity + table-data:address:shared:array:table_row:_key:_value<span class="Special"> <- </span>get *table, <span class="Constant">data:offset</span> + x:address:table_row:_key:_value<span class="Special"> <- </span>index-address *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> + *x<span class="Special"> <- </span>merge <span class="Constant">1/true</span>, key, value +] + +<span class="muRecipe">recipe</span> index table:address:shared: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 + capacity:number<span class="Special"> <- </span>get *table, <span class="Constant">capacity:offset</span> + _, hash<span class="Special"> <- </span>divide-with-remainder hash, capacity + table-data:address:shared:array:table_row:_key:_value<span class="Special"> <- </span>get *table, <span class="Constant">data:offset</span> + x:address:table_row:_key:_value<span class="Special"> <- </span>index-address *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 : --> |