diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-03-26 23:59:59 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-03-27 17:43:41 -0700 |
| commit | a654e4ecace2d506d1b10f1dde2c287ebe84ef37 (patch) | |
| tree | 1e34a3ad99a56e32bdf9ee03ecfe7d339e7942ae /html/079table.mu.html | |
| parent | 859f35fbe2f6a78157b875e12eb7dc8cd95c1152 (diff) | |
| download | mu-a654e4ecace2d506d1b10f1dde2c287ebe84ef37.tar.gz | |
2812
Diffstat (limited to 'html/079table.mu.html')
| -rw-r--r-- | html/079table.mu.html | 124 |
1 files changed, 124 insertions, 0 deletions
diff --git a/html/079table.mu.html b/html/079table.mu.html new file mode 100644 index 00000000..ab009967 --- /dev/null +++ b/html/079table.mu.html @@ -0,0 +1,124 @@ +<!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 - 079table.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">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="muScenario">scenario</span> table-read-write-non-integer [ + run [ + <span class="Constant">1</span>:address:shared:array:character<span class="Special"> <- </span>new <span class="Constant">[abc def]</span> + <span class="Delimiter">{</span><span class="Constant">2</span>: (address shared table (address shared array character) number)<span class="Delimiter">}</span><span class="Special"> <- </span>new-table <span class="Constant">30</span> + put <span class="Delimiter">{</span><span class="Constant">2</span>: (address shared table (address shared array character) number)<span class="Delimiter">}</span>, <span class="Constant">1</span>:address:shared:array:character, <span class="Constant">34</span> + <span class="Constant">3</span>:number<span class="Special"> <- </span>index <span class="Delimiter">{</span><span class="Constant">2</span>: (address shared table (address shared array character) number)<span class="Delimiter">}</span>, <span class="Constant">1</span>:address:shared:array:character + ] + memory-should-contain [ + <span class="Constant">3</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">def</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">def</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 + 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: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">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: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 + 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:shared: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 : --> |