<!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 : -->