<!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.3"> <meta name="plugin-version" content="vim7.3_v6"> <meta name="syntax" content="none"> <meta name="settings" content="use_css"> <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .muControl { color: #c0a020; } .muRecipe { color: #ff8700; } .muData { color: #ffff00; } .Delimiter { color: #800080; } .Special { color: #c00000; } .Constant { color: #00a0a0; } .muScenario { color: #00af00; } .Comment { color: #9090ff; } --> </style> </head> <body> <pre> <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>