diff options
Diffstat (limited to 'html/064list.mu.html')
| -rw-r--r-- | html/064list.mu.html | 349 |
1 files changed, 349 insertions, 0 deletions
diff --git a/html/064list.mu.html b/html/064list.mu.html new file mode 100644 index 00000000..3b81c73b --- /dev/null +++ b/html/064list.mu.html @@ -0,0 +1,349 @@ +<!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 - 064list.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; } +.muRecipe { color: #ff8700; } +.muData { color: #ffff00; } +.muScenario { color: #00af00; } +.Delimiter { color: #800080; } +.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 list links up multiple objects together to make them easier to manage.</span> +<span class="Comment">#</span> +<span class="Comment"># The objects must be of the same type. If you want to store multiple types in</span> +<span class="Comment"># a single list, use an exclusive-container.</span> + +<span class="muData">container</span> list:_elem [ + value:_elem + next:address:list:_elem +] + +<span class="muRecipe">def</span> push x:_elem, in:address:list:_elem<span class="muRecipe"> -> </span>result:address:list:_elem [ + <span class="Constant">local-scope</span> + <span class="Constant">load-ingredients</span> + result<span class="Special"> <- </span>new <span class="Delimiter">{</span>(list _elem): type<span class="Delimiter">}</span> + *result<span class="Special"> <- </span>merge x, in +] + +<span class="muRecipe">def</span> first in:address:list:_elem<span class="muRecipe"> -> </span>result:_elem [ + <span class="Constant">local-scope</span> + <span class="Constant">load-ingredients</span> + result<span class="Special"> <- </span>get *in, <span class="Constant">value:offset</span> +] + +<span class="muRecipe">def</span> rest in:address:list:_elem<span class="muRecipe"> -> </span>result:address:list:_elem/contained-in:in [ + <span class="Constant">local-scope</span> + <span class="Constant">load-ingredients</span> + result<span class="Special"> <- </span>get *in, <span class="Constant">next:offset</span> +] + +<span class="muScenario">scenario</span> list-handling [ + run [ + <span class="Constant">local-scope</span> + x:address:list:number<span class="Special"> <- </span>push <span class="Constant">3</span>, <span class="Constant">0</span> + x<span class="Special"> <- </span>push <span class="Constant">4</span>, x + x<span class="Special"> <- </span>push <span class="Constant">5</span>, x + <span class="Constant">10</span>:number/<span class="Special">raw <- </span>first x + x<span class="Special"> <- </span>rest x + <span class="Constant">11</span>:number/<span class="Special">raw <- </span>first x + x<span class="Special"> <- </span>rest x + <span class="Constant">12</span>:number/<span class="Special">raw <- </span>first x + <span class="Constant">20</span>:address:list:number/<span class="Special">raw <- </span>rest x + ] + memory-should-contain [ + <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">5</span> + <span class="Constant">11</span><span class="Special"> <- </span><span class="Constant">4</span> + <span class="Constant">12</span><span class="Special"> <- </span><span class="Constant">3</span> + <span class="Constant">20</span><span class="Special"> <- </span><span class="Constant">0</span> <span class="Comment"># nothing left</span> + ] +] + +<span class="muRecipe">def</span> length l:address:list:_elem<span class="muRecipe"> -> </span>result:number [ + <span class="Constant">local-scope</span> + <span class="Constant">load-ingredients</span> + <span class="muControl">return-unless</span> l, <span class="Constant">0</span> + rest:address:list:_elem<span class="Special"> <- </span>rest l + length-of-rest:number<span class="Special"> <- </span>length rest + result<span class="Special"> <- </span>add length-of-rest, <span class="Constant">1</span> +] + +<span class="Comment"># insert 'x' after 'in'</span> +<span class="muRecipe">def</span> insert x:_elem, in:address:list:_elem<span class="muRecipe"> -> </span>in:address:list:_elem [ + <span class="Constant">local-scope</span> + <span class="Constant">load-ingredients</span> + new-node:address:list:_elem<span class="Special"> <- </span>new <span class="Delimiter">{</span>(list _elem): type<span class="Delimiter">}</span> + *new-node<span class="Special"> <- </span>put *new-node, <span class="Constant">value:offset</span>, x + next-node:address:list:_elem<span class="Special"> <- </span>get *in, <span class="Constant">next:offset</span> + *in<span class="Special"> <- </span>put *in, <span class="Constant">next:offset</span>, new-node + *new-node<span class="Special"> <- </span>put *new-node, <span class="Constant">next:offset</span>, next-node +] + +<span class="muScenario">scenario</span> inserting-into-list [ + run [ + <span class="Constant">local-scope</span> + list:address:list:character<span class="Special"> <- </span>push <span class="Constant">3</span>, <span class="Constant">0</span> + list<span class="Special"> <- </span>push <span class="Constant">4</span>, list + list<span class="Special"> <- </span>push <span class="Constant">5</span>, list + list2:address:list:character<span class="Special"> <- </span>rest list <span class="Comment"># inside list</span> + list2<span class="Special"> <- </span>insert <span class="Constant">6</span>, list2 + <span class="Comment"># check structure</span> + list2<span class="Special"> <- </span>copy list + <span class="Constant">10</span>:character/<span class="Special">raw <- </span>first list2 + list2<span class="Special"> <- </span>rest list2 + <span class="Constant">11</span>:character/<span class="Special">raw <- </span>first list2 + list2<span class="Special"> <- </span>rest list2 + <span class="Constant">12</span>:character/<span class="Special">raw <- </span>first list2 + list2<span class="Special"> <- </span>rest list2 + <span class="Constant">13</span>:character/<span class="Special">raw <- </span>first list2 + ] + memory-should-contain [ + <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">5</span> <span class="Comment"># scanning next</span> + <span class="Constant">11</span><span class="Special"> <- </span><span class="Constant">4</span> + <span class="Constant">12</span><span class="Special"> <- </span><span class="Constant">6</span> <span class="Comment"># inserted element</span> + <span class="Constant">13</span><span class="Special"> <- </span><span class="Constant">3</span> + ] +] + +<span class="muScenario">scenario</span> inserting-at-end-of-list [ + run [ + <span class="Constant">local-scope</span> + list:address:list:character<span class="Special"> <- </span>push <span class="Constant">3</span>, <span class="Constant">0</span> + list<span class="Special"> <- </span>push <span class="Constant">4</span>, list + list<span class="Special"> <- </span>push <span class="Constant">5</span>, list + list2:address:list:character<span class="Special"> <- </span>rest list <span class="Comment"># inside list</span> + list2<span class="Special"> <- </span>rest list2 <span class="Comment"># now at end of list</span> + list2<span class="Special"> <- </span>insert <span class="Constant">6</span>, list2 + <span class="Comment"># check structure like before</span> + list2<span class="Special"> <- </span>copy list + <span class="Constant">10</span>:character/<span class="Special">raw <- </span>first list2 + list2<span class="Special"> <- </span>rest list2 + <span class="Constant">11</span>:character/<span class="Special">raw <- </span>first list2 + list2<span class="Special"> <- </span>rest list2 + <span class="Constant">12</span>:character/<span class="Special">raw <- </span>first list2 + list2<span class="Special"> <- </span>rest list2 + <span class="Constant">13</span>:character/<span class="Special">raw <- </span>first list2 + ] + memory-should-contain [ + <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">5</span> <span class="Comment"># scanning next</span> + <span class="Constant">11</span><span class="Special"> <- </span><span class="Constant">4</span> + <span class="Constant">12</span><span class="Special"> <- </span><span class="Constant">3</span> + <span class="Constant">13</span><span class="Special"> <- </span><span class="Constant">6</span> <span class="Comment"># inserted element</span> + ] +] + +<span class="muScenario">scenario</span> inserting-after-start-of-list [ + run [ + <span class="Constant">local-scope</span> + list:address:list:character<span class="Special"> <- </span>push <span class="Constant">3</span>, <span class="Constant">0</span> + list<span class="Special"> <- </span>push <span class="Constant">4</span>, list + list<span class="Special"> <- </span>push <span class="Constant">5</span>, list + list<span class="Special"> <- </span>insert <span class="Constant">6</span>, list + <span class="Comment"># check structure like before</span> + list2:address:list:character<span class="Special"> <- </span>copy list + <span class="Constant">10</span>:character/<span class="Special">raw <- </span>first list2 + list2<span class="Special"> <- </span>rest list2 + <span class="Constant">11</span>:character/<span class="Special">raw <- </span>first list2 + list2<span class="Special"> <- </span>rest list2 + <span class="Constant">12</span>:character/<span class="Special">raw <- </span>first list2 + list2<span class="Special"> <- </span>rest list2 + <span class="Constant">13</span>:character/<span class="Special">raw <- </span>first list2 + ] + memory-should-contain [ + <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">5</span> <span class="Comment"># scanning next</span> + <span class="Constant">11</span><span class="Special"> <- </span><span class="Constant">6</span> <span class="Comment"># inserted element</span> + <span class="Constant">12</span><span class="Special"> <- </span><span class="Constant">4</span> + <span class="Constant">13</span><span class="Special"> <- </span><span class="Constant">3</span> + ] +] + +<span class="Comment"># remove 'x' from its surrounding list 'in'</span> +<span class="Comment">#</span> +<span class="Comment"># Returns null if and only if list is empty. Beware: in that case any other</span> +<span class="Comment"># pointers to the head are now invalid.</span> +<span class="muRecipe">def</span> remove x:address:list:_elem/contained-in:in, in:address:list:_elem<span class="muRecipe"> -> </span>in:address:list:_elem [ + <span class="Constant">local-scope</span> + <span class="Constant">load-ingredients</span> + <span class="Comment"># if 'x' is null, return</span> + <span class="muControl">return-unless</span> x + next-node:address:list:_elem<span class="Special"> <- </span>rest x + <span class="Comment"># clear next pointer of 'x'</span> + *x<span class="Special"> <- </span>put *x, <span class="Constant">next:offset</span>, <span class="Constant">0</span> + <span class="Comment"># if 'x' is at the head of 'in', return the new head</span> + at-head?:boolean<span class="Special"> <- </span>equal x, in + <span class="muControl">return-if</span> at-head?, next-node + <span class="Comment"># compute prev-node</span> + prev-node:address:list:_elem<span class="Special"> <- </span>copy in + curr:address:list:_elem<span class="Special"> <- </span>rest prev-node + <span class="Delimiter">{</span> + <span class="muControl">return-unless</span> curr + found?:boolean<span class="Special"> <- </span>equal curr, x + <span class="muControl">break-if</span> found? + prev-node<span class="Special"> <- </span>copy curr + curr<span class="Special"> <- </span>rest curr + <span class="Delimiter">}</span> + <span class="Comment"># set its next pointer to skip 'x'</span> + *prev-node<span class="Special"> <- </span>put *prev-node, <span class="Constant">next:offset</span>, next-node +] + +<span class="muScenario">scenario</span> removing-from-list [ + run [ + <span class="Constant">local-scope</span> + list:address:list:character<span class="Special"> <- </span>push <span class="Constant">3</span>, <span class="Constant">0</span> + list<span class="Special"> <- </span>push <span class="Constant">4</span>, list + list<span class="Special"> <- </span>push <span class="Constant">5</span>, list + list2:address:list:character<span class="Special"> <- </span>rest list <span class="Comment"># second element</span> + list<span class="Special"> <- </span>remove list2, list + <span class="Constant">10</span>:boolean/<span class="Special">raw <- </span>equal list2, <span class="Constant">0</span> + <span class="Comment"># check structure like before</span> + list2<span class="Special"> <- </span>copy list + <span class="Constant">11</span>:character/<span class="Special">raw <- </span>first list2 + list2<span class="Special"> <- </span>rest list2 + <span class="Constant">12</span>:character/<span class="Special">raw <- </span>first list2 + <span class="Constant">20</span>:address:list:character/<span class="Special">raw <- </span>rest list2 + ] + memory-should-contain [ + <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">0</span> <span class="Comment"># remove returned non-null</span> + <span class="Constant">11</span><span class="Special"> <- </span><span class="Constant">5</span> <span class="Comment"># scanning next, skipping deleted element</span> + <span class="Constant">12</span><span class="Special"> <- </span><span class="Constant">3</span> + <span class="Constant">20</span><span class="Special"> <- </span><span class="Constant">0</span> <span class="Comment"># no more elements</span> + ] +] + +<span class="muScenario">scenario</span> removing-from-start-of-list [ + run [ + <span class="Constant">local-scope</span> + list:address:list:character<span class="Special"> <- </span>push <span class="Constant">3</span>, <span class="Constant">0</span> + list<span class="Special"> <- </span>push <span class="Constant">4</span>, list + list<span class="Special"> <- </span>push <span class="Constant">5</span>, list + list<span class="Special"> <- </span>remove list, list + <span class="Comment"># check structure like before</span> + list2:address:list:character<span class="Special"> <- </span>copy list + <span class="Constant">10</span>:character/<span class="Special">raw <- </span>first list2 + list2<span class="Special"> <- </span>rest list2 + <span class="Constant">11</span>:character/<span class="Special">raw <- </span>first list2 + <span class="Constant">20</span>:address:list:character/<span class="Special">raw <- </span>rest list2 + ] + memory-should-contain [ + <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">4</span> <span class="Comment"># scanning next, skipping deleted element</span> + <span class="Constant">11</span><span class="Special"> <- </span><span class="Constant">3</span> + <span class="Constant">20</span><span class="Special"> <- </span><span class="Constant">0</span> <span class="Comment"># no more elements</span> + ] +] + +<span class="muScenario">scenario</span> removing-from-end-of-list [ + run [ + <span class="Constant">local-scope</span> + list:address:list:character<span class="Special"> <- </span>push <span class="Constant">3</span>, <span class="Constant">0</span> + list<span class="Special"> <- </span>push <span class="Constant">4</span>, list + list<span class="Special"> <- </span>push <span class="Constant">5</span>, list + <span class="Comment"># delete last element</span> + list2:address:list:character<span class="Special"> <- </span>rest list + list2<span class="Special"> <- </span>rest list2 + list<span class="Special"> <- </span>remove list2, list + <span class="Constant">10</span>:boolean/<span class="Special">raw <- </span>equal list2, <span class="Constant">0</span> + <span class="Comment"># check structure like before</span> + list2<span class="Special"> <- </span>copy list + <span class="Constant">11</span>:character/<span class="Special">raw <- </span>first list2 + list2<span class="Special"> <- </span>rest list2 + <span class="Constant">12</span>:character/<span class="Special">raw <- </span>first list2 + <span class="Constant">20</span>:address:list:character/<span class="Special">raw <- </span>rest list2 + ] + memory-should-contain [ + <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">0</span> <span class="Comment"># remove returned non-null</span> + <span class="Constant">11</span><span class="Special"> <- </span><span class="Constant">5</span> <span class="Comment"># scanning next, skipping deleted element</span> + <span class="Constant">12</span><span class="Special"> <- </span><span class="Constant">4</span> + <span class="Constant">20</span><span class="Special"> <- </span><span class="Constant">0</span> <span class="Comment"># no more elements</span> + ] +] + +<span class="muScenario">scenario</span> removing-from-singleton-list [ + run [ + <span class="Constant">local-scope</span> + list:address:list:character<span class="Special"> <- </span>push <span class="Constant">3</span>, <span class="Constant">0</span> + list<span class="Special"> <- </span>remove list, list + <span class="Constant">1</span>:number/<span class="Special">raw <- </span>copy list + ] + memory-should-contain [ + <span class="Constant">1</span><span class="Special"> <- </span><span class="Constant">0</span> <span class="Comment"># back to an empty list</span> + ] +] + +<span class="muRecipe">def</span> to-text in:address:list:_elem<span class="muRecipe"> -> </span>result:address:array:character [ + <span class="Constant">local-scope</span> + <span class="Constant">load-ingredients</span> + buf:address:buffer<span class="Special"> <- </span>new-buffer <span class="Constant">80</span> + buf<span class="Special"> <- </span>to-buffer in, buf + result<span class="Special"> <- </span>buffer-to-array buf +] + +<span class="Comment"># variant of 'to-text' which stops printing after a few elements (and so is robust to cycles)</span> +<span class="muRecipe">def</span> to-text-line in:address:list:_elem<span class="muRecipe"> -> </span>result:address:array:character [ + <span class="Constant">local-scope</span> + <span class="Constant">load-ingredients</span> + buf:address:buffer<span class="Special"> <- </span>new-buffer <span class="Constant">80</span> + buf<span class="Special"> <- </span>to-buffer in, buf, <span class="Constant">6</span> <span class="Comment"># max elements to display</span> + result<span class="Special"> <- </span>buffer-to-array buf +] + +<span class="muRecipe">def</span> to-buffer in:address:list:_elem, buf:address:buffer<span class="muRecipe"> -> </span>buf:address:buffer [ + <span class="Constant">local-scope</span> + <span class="Constant">load-ingredients</span> + <span class="Delimiter">{</span> + <span class="muControl">break-if</span> in + buf<span class="Special"> <- </span>append buf, <span class="Constant">48/0</span> + <span class="muControl">return</span> + <span class="Delimiter">}</span> + <span class="Comment"># append in.value to buf</span> + val:_elem<span class="Special"> <- </span>get *in, <span class="Constant">value:offset</span> + buf<span class="Special"> <- </span>append buf, val + <span class="Comment"># now prepare next</span> + next:address:list:_elem<span class="Special"> <- </span>rest in + nextn:number<span class="Special"> <- </span>copy next + <span class="muControl">return-unless</span> next + buf<span class="Special"> <- </span>append buf, <span class="Constant">[ -> ]</span> + <span class="Comment"># and recurse</span> + remaining:number, optional-ingredient-found?:boolean<span class="Special"> <- </span><span class="Constant">next-ingredient</span> + <span class="Delimiter">{</span> + <span class="muControl">break-if</span> optional-ingredient-found? + <span class="Comment"># unlimited recursion</span> + buf<span class="Special"> <- </span>to-buffer next, buf + <span class="muControl">return</span> + <span class="Delimiter">}</span> + <span class="Delimiter">{</span> + <span class="muControl">break-unless</span> remaining + <span class="Comment"># limited recursion</span> + remaining<span class="Special"> <- </span>subtract remaining, <span class="Constant">1</span> + buf<span class="Special"> <- </span>to-buffer next, buf, remaining + <span class="muControl">return</span> + <span class="Delimiter">}</span> + <span class="Comment"># past recursion depth; insert ellipses and stop</span> + append buf, <span class="Constant">[...]</span> +] +</pre> +</body> +</html> +<!-- vim: set foldmethod=manual : --> |