diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-07-05 01:08:00 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-07-05 01:08:00 -0700 |
| commit | 298f8065857630e414d84e4ee785a6d17e5f99bb (patch) | |
| tree | 8880a092ab59850a6f821ba892f3904ab464431c /html/070text.mu.html | |
| parent | f28f2636c6707e1a33bebacafd0486f4965978ea (diff) | |
| download | mu-298f8065857630e414d84e4ee785a6d17e5f99bb.tar.gz | |
3102
Diffstat (limited to 'html/070text.mu.html')
| -rw-r--r-- | html/070text.mu.html | 1307 |
1 files changed, 0 insertions, 1307 deletions
diff --git a/html/070text.mu.html b/html/070text.mu.html deleted file mode 100644 index 7b1c40d7..00000000 --- a/html/070text.mu.html +++ /dev/null @@ -1,1307 +0,0 @@ -<!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 - 070text.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"># Some useful helpers for dealing with text (arrays of characters)</span> - -<span class="Comment"># to-text-line gets called implicitly in various places</span> -<span class="Comment"># define it to be identical to 'to-text' by default</span> -<span class="muRecipe">def</span> to-text-line x:_elem<span class="muRecipe"> -> </span>y:address:array:character [ - <span class="Constant">local-scope</span> - <span class="Constant">load-ingredients</span> - y<span class="Special"> <- </span>to-text x -] - -<span class="Comment"># variant for arrays (since we can't pass them around otherwise)</span> -<span class="muRecipe">def</span> array-to-text-line x:address:array:_elem<span class="muRecipe"> -> </span>y:address:array:character [ - <span class="Constant">local-scope</span> - <span class="Constant">load-ingredients</span> - y<span class="Special"> <- </span>to-text *x -] - -<span class="muRecipe">def</span> equal a:address:array:character, b:address:array:character<span class="muRecipe"> -> </span>result:boolean [ - <span class="Constant">local-scope</span> - <span class="Constant">load-ingredients</span> - a-len:number<span class="Special"> <- </span>length *a - b-len:number<span class="Special"> <- </span>length *b - <span class="Comment"># compare lengths</span> - <span class="Delimiter">{</span> - trace <span class="Constant">99</span>, <span class="Constant">[text-equal]</span>, <span class="Constant">[comparing lengths]</span> - length-equal?:boolean<span class="Special"> <- </span>equal a-len, b-len - <span class="muControl">break-if</span> length-equal? - <span class="muControl">return</span> <span class="Constant">0</span> - <span class="Delimiter">}</span> - <span class="Comment"># compare each corresponding character</span> - trace <span class="Constant">99</span>, <span class="Constant">[text-equal]</span>, <span class="Constant">[comparing characters]</span> - i:number<span class="Special"> <- </span>copy <span class="Constant">0</span> - <span class="Delimiter">{</span> - done?:boolean<span class="Special"> <- </span>greater-or-equal i, a-len - <span class="muControl">break-if</span> done? - a2:character<span class="Special"> <- </span>index *a, i - b2:character<span class="Special"> <- </span>index *b, i - <span class="Delimiter">{</span> - chars-match?:boolean<span class="Special"> <- </span>equal a2, b2 - <span class="muControl">break-if</span> chars-match? - <span class="muControl">return</span> <span class="Constant">0</span> - <span class="Delimiter">}</span> - i<span class="Special"> <- </span>add i, <span class="Constant">1</span> - <span class="muControl">loop</span> - <span class="Delimiter">}</span> - <span class="muControl">return</span> <span class="Constant">1</span> -] - -<span class="muScenario">scenario</span> text-equal-reflexive [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[abc]</span> - <span class="Constant">10</span>:boolean/<span class="Special">raw <- </span>equal x, x - ] - memory-should-contain [ - <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">1</span> <span class="Comment"># x == x for all x</span> - ] -] - -<span class="muScenario">scenario</span> text-equal-identical [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[abc]</span> - y:address:array:character<span class="Special"> <- </span>new <span class="Constant">[abc]</span> - <span class="Constant">10</span>:boolean/<span class="Special">raw <- </span>equal x, y - ] - memory-should-contain [ - <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">1</span> <span class="Comment"># abc == abc</span> - ] -] - -<span class="muScenario">scenario</span> text-equal-distinct-lengths [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[abc]</span> - y:address:array:character<span class="Special"> <- </span>new <span class="Constant">[abcd]</span> - <span class="Constant">10</span>:boolean/<span class="Special">raw <- </span>equal x, y - ] - memory-should-contain [ - <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">0</span> <span class="Comment"># abc != abcd</span> - ] - trace-should-contain [ - text-equal: comparing lengths - ] - trace-should-not-contain [ - text-equal: comparing characters - ] -] - -<span class="muScenario">scenario</span> text-equal-with-empty [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[]</span> - y:address:array:character<span class="Special"> <- </span>new <span class="Constant">[abcd]</span> - <span class="Constant">10</span>:boolean/<span class="Special">raw <- </span>equal x, y - ] - memory-should-contain [ - <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">0</span> <span class="Comment"># "" != abcd</span> - ] -] - -<span class="muScenario">scenario</span> text-equal-common-lengths-but-distinct [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[abc]</span> - y:address:array:character<span class="Special"> <- </span>new <span class="Constant">[abd]</span> - <span class="Constant">10</span>:boolean/<span class="Special">raw <- </span>equal x, y - ] - memory-should-contain [ - <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">0</span> <span class="Comment"># abc != abd</span> - ] -] - -<span class="Comment"># A new type to help incrementally construct texts.</span> -<span class="muData">container</span> buffer [ - length:number - data:address:array:character -] - -<span class="muRecipe">def</span> new-buffer capacity:number<span class="muRecipe"> -> </span>result:address:buffer [ - <span class="Constant">local-scope</span> - <span class="Constant">load-ingredients</span> - result<span class="Special"> <- </span>new <span class="Constant">buffer:type</span> - *result<span class="Special"> <- </span>put *result, <span class="Constant">length:offset</span>, <span class="Constant">0</span> - data:address:array:character<span class="Special"> <- </span>new <span class="Constant">character:type</span>, capacity - *result<span class="Special"> <- </span>put *result, <span class="Constant">data:offset</span>, data - <span class="muControl">return</span> result -] - -<span class="muRecipe">def</span> grow-buffer in:address:buffer<span class="muRecipe"> -> </span>in:address:buffer [ - <span class="Constant">local-scope</span> - <span class="Constant">load-ingredients</span> - <span class="Comment"># double buffer size</span> - olddata:address:array:character<span class="Special"> <- </span>get *in, <span class="Constant">data:offset</span> - oldlen:number<span class="Special"> <- </span>length *olddata - newlen:number<span class="Special"> <- </span>multiply oldlen, <span class="Constant">2</span> - newdata:address:array:character<span class="Special"> <- </span>new <span class="Constant">character:type</span>, newlen - *in<span class="Special"> <- </span>put *in, <span class="Constant">data:offset</span>, newdata - <span class="Comment"># copy old contents</span> - i:number<span class="Special"> <- </span>copy <span class="Constant">0</span> - <span class="Delimiter">{</span> - done?:boolean<span class="Special"> <- </span>greater-or-equal i, oldlen - <span class="muControl">break-if</span> done? - src:character<span class="Special"> <- </span>index *olddata, i - *newdata<span class="Special"> <- </span>put-index *newdata, i, src - i<span class="Special"> <- </span>add i, <span class="Constant">1</span> - <span class="muControl">loop</span> - <span class="Delimiter">}</span> -] - -<span class="muRecipe">def</span> buffer-full? in:address:buffer<span class="muRecipe"> -> </span>result:boolean [ - <span class="Constant">local-scope</span> - <span class="Constant">load-ingredients</span> - len:number<span class="Special"> <- </span>get *in, <span class="Constant">length:offset</span> - s:address:array:character<span class="Special"> <- </span>get *in, <span class="Constant">data:offset</span> - capacity:number<span class="Special"> <- </span>length *s - result<span class="Special"> <- </span>greater-or-equal len, capacity -] - -<span class="Comment"># most broadly applicable definition of append to a buffer: just call to-text</span> -<span class="muRecipe">def</span> append buf:address:buffer, x:_elem<span class="muRecipe"> -> </span>buf:address:buffer [ - <span class="Constant">local-scope</span> - <span class="Constant">load-ingredients</span> - text:address:array:character<span class="Special"> <- </span>to-text x - len:number<span class="Special"> <- </span>length *text - i:number<span class="Special"> <- </span>copy <span class="Constant">0</span> - <span class="Delimiter">{</span> - done?:boolean<span class="Special"> <- </span>greater-or-equal i, len - <span class="muControl">break-if</span> done? - c:character<span class="Special"> <- </span>index *text, i - buf<span class="Special"> <- </span>append buf, c - i<span class="Special"> <- </span>add i, <span class="Constant">1</span> - <span class="muControl">loop</span> - <span class="Delimiter">}</span> -] - -<span class="muRecipe">def</span> append in:address:buffer, c:character<span class="muRecipe"> -> </span>in:address:buffer [ - <span class="Constant">local-scope</span> - <span class="Constant">load-ingredients</span> - len:number<span class="Special"> <- </span>get *in, <span class="Constant">length:offset</span> - <span class="Delimiter">{</span> - <span class="Comment"># backspace? just drop last character if it exists and return</span> - backspace?:boolean<span class="Special"> <- </span>equal c, <span class="Constant">8/backspace</span> - <span class="muControl">break-unless</span> backspace? - empty?:boolean<span class="Special"> <- </span>lesser-or-equal len, <span class="Constant">0</span> - <span class="muControl">return-if</span> empty? - len<span class="Special"> <- </span>subtract len, <span class="Constant">1</span> - *in<span class="Special"> <- </span>put *in, <span class="Constant">length:offset</span>, len - <span class="muControl">return</span> - <span class="Delimiter">}</span> - <span class="Delimiter">{</span> - <span class="Comment"># grow buffer if necessary</span> - full?:boolean<span class="Special"> <- </span>buffer-full? in - <span class="muControl">break-unless</span> full? - in<span class="Special"> <- </span>grow-buffer in - <span class="Delimiter">}</span> - s:address:array:character<span class="Special"> <- </span>get *in, <span class="Constant">data:offset</span> - *s<span class="Special"> <- </span>put-index *s, len, c - len<span class="Special"> <- </span>add len, <span class="Constant">1</span> - *in<span class="Special"> <- </span>put *in, <span class="Constant">length:offset</span>, len -] - -<span class="muScenario">scenario</span> buffer-append-works [ - run [ - <span class="Constant">local-scope</span> - x:address:buffer<span class="Special"> <- </span>new-buffer <span class="Constant">3</span> - s1:address:array:character<span class="Special"> <- </span>get *x, <span class="Constant">data:offset</span> - c:character<span class="Special"> <- </span>copy <span class="Constant">97/a</span> - x<span class="Special"> <- </span>append x, c - c:character<span class="Special"> <- </span>copy <span class="Constant">98/b</span> - x<span class="Special"> <- </span>append x, c - c:character<span class="Special"> <- </span>copy <span class="Constant">99/c</span> - x<span class="Special"> <- </span>append x, c - s2:address:array:character<span class="Special"> <- </span>get *x, <span class="Constant">data:offset</span> - <span class="Constant">10</span>:boolean/<span class="Special">raw <- </span>equal s1, s2 - <span class="Constant">11</span>:array:character/<span class="Special">raw <- </span>copy *s2 -<span class="Constant"> +buffer-filled</span> - c:character<span class="Special"> <- </span>copy <span class="Constant">100/d</span> - x<span class="Special"> <- </span>append x, c - s3:address:array:character<span class="Special"> <- </span>get *x, <span class="Constant">data:offset</span> - <span class="Constant">20</span>:boolean/<span class="Special">raw <- </span>equal s1, s3 - <span class="Constant">21</span>:number/<span class="Special">raw <- </span>get *x, <span class="Constant">length:offset</span> - <span class="Constant">30</span>:array:character/<span class="Special">raw <- </span>copy *s3 - ] - memory-should-contain [ - <span class="Comment"># before +buffer-filled</span> - <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">1</span> <span class="Comment"># no change in data pointer</span> - <span class="Constant">11</span><span class="Special"> <- </span><span class="Constant">3</span> <span class="Comment"># size of data</span> - <span class="Constant">12</span><span class="Special"> <- </span><span class="Constant">97</span> <span class="Comment"># data</span> - <span class="Constant">13</span><span class="Special"> <- </span><span class="Constant">98</span> - <span class="Constant">14</span><span class="Special"> <- </span><span class="Constant">99</span> - <span class="Comment"># in the end</span> - <span class="Constant">20</span><span class="Special"> <- </span><span class="Constant">0</span> <span class="Comment"># data pointer has grown</span> - <span class="Constant">21</span><span class="Special"> <- </span><span class="Constant">4</span> <span class="Comment"># final length</span> - <span class="Constant">30</span><span class="Special"> <- </span><span class="Constant">6</span> <span class="Comment"># but data's capacity has doubled</span> - <span class="Constant">31</span><span class="Special"> <- </span><span class="Constant">97</span> <span class="Comment"># data</span> - <span class="Constant">32</span><span class="Special"> <- </span><span class="Constant">98</span> - <span class="Constant">33</span><span class="Special"> <- </span><span class="Constant">99</span> - <span class="Constant">34</span><span class="Special"> <- </span><span class="Constant">100</span> - <span class="Constant">35</span><span class="Special"> <- </span><span class="Constant">0</span> - <span class="Constant">36</span><span class="Special"> <- </span><span class="Constant">0</span> - ] -] - -<span class="muScenario">scenario</span> buffer-append-handles-backspace [ - run [ - <span class="Constant">local-scope</span> - x:address:buffer<span class="Special"> <- </span>new-buffer <span class="Constant">3</span> - c:character<span class="Special"> <- </span>copy <span class="Constant">97/a</span> - x<span class="Special"> <- </span>append x, c - c:character<span class="Special"> <- </span>copy <span class="Constant">98/b</span> - x<span class="Special"> <- </span>append x, c - c:character<span class="Special"> <- </span>copy <span class="Constant">8/backspace</span> - x<span class="Special"> <- </span>append x, c - s:address:array:character<span class="Special"> <- </span>buffer-to-array x - <span class="Constant">10</span>:array:character/<span class="Special">raw <- </span>copy *s - ] - memory-should-contain [ - <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">1</span> <span class="Comment"># length</span> - <span class="Constant">11</span><span class="Special"> <- </span><span class="Constant">97</span> <span class="Comment"># contents</span> - <span class="Constant">12</span><span class="Special"> <- </span><span class="Constant">0</span> - ] -] - -<span class="muRecipe">def</span> buffer-to-array in:address:buffer<span class="muRecipe"> -> </span>result:address:array:character [ - <span class="Constant">local-scope</span> - <span class="Constant">load-ingredients</span> - <span class="Delimiter">{</span> - <span class="Comment"># propagate null buffer</span> - <span class="muControl">break-if</span> in - <span class="muControl">return</span> <span class="Constant">0</span> - <span class="Delimiter">}</span> - len:number<span class="Special"> <- </span>get *in, <span class="Constant">length:offset</span> - s:address:array:character<span class="Special"> <- </span>get *in, <span class="Constant">data:offset</span> - <span class="Comment"># we can't just return s because it is usually the wrong length</span> - result<span class="Special"> <- </span>new <span class="Constant">character:type</span>, len - i:number<span class="Special"> <- </span>copy <span class="Constant">0</span> - <span class="Delimiter">{</span> - done?:boolean<span class="Special"> <- </span>greater-or-equal i, len - <span class="muControl">break-if</span> done? - src:character<span class="Special"> <- </span>index *s, i - *result<span class="Special"> <- </span>put-index *result, i, src - i<span class="Special"> <- </span>add i, <span class="Constant">1</span> - <span class="muControl">loop</span> - <span class="Delimiter">}</span> -] - -<span class="muRecipe">def</span> append a:address:array:character, b:address:array:character<span class="muRecipe"> -> </span>result:address:array:character [ - <span class="Constant">local-scope</span> - <span class="Constant">load-ingredients</span> - <span class="Comment"># handle null addresses</span> - <span class="muControl">reply-unless</span> a, b - <span class="muControl">reply-unless</span> b, a - <span class="Comment"># result = new character[a.length + b.length]</span> - a-len:number<span class="Special"> <- </span>length *a - b-len:number<span class="Special"> <- </span>length *b - result-len:number<span class="Special"> <- </span>add a-len, b-len - result<span class="Special"> <- </span>new <span class="Constant">character:type</span>, result-len - <span class="Comment"># copy a into result</span> - result-idx:number<span class="Special"> <- </span>copy <span class="Constant">0</span> - i:number<span class="Special"> <- </span>copy <span class="Constant">0</span> - <span class="Delimiter">{</span> - <span class="Comment"># while i < a.length</span> - a-done?:boolean<span class="Special"> <- </span>greater-or-equal i, a-len - <span class="muControl">break-if</span> a-done? - <span class="Comment"># result[result-idx] = a[i]</span> - in:character<span class="Special"> <- </span>index *a, i - *result<span class="Special"> <- </span>put-index *result, result-idx, in - i<span class="Special"> <- </span>add i, <span class="Constant">1</span> - result-idx<span class="Special"> <- </span>add result-idx, <span class="Constant">1</span> - <span class="muControl">loop</span> - <span class="Delimiter">}</span> - <span class="Comment"># copy b into result</span> - i<span class="Special"> <- </span>copy <span class="Constant">0</span> - <span class="Delimiter">{</span> - <span class="Comment"># while i < b.length</span> - b-done?:boolean<span class="Special"> <- </span>greater-or-equal i, b-len - <span class="muControl">break-if</span> b-done? - <span class="Comment"># result[result-idx] = a[i]</span> - in:character<span class="Special"> <- </span>index *b, i - *result<span class="Special"> <- </span>put-index *result, result-idx, in - i<span class="Special"> <- </span>add i, <span class="Constant">1</span> - result-idx<span class="Special"> <- </span>add result-idx, <span class="Constant">1</span> - <span class="muControl">loop</span> - <span class="Delimiter">}</span> -] - -<span class="muScenario">scenario</span> text-append-1 [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[hello,]</span> - y:address:array:character<span class="Special"> <- </span>new <span class="Constant">[ world!]</span> - z:address:array:character<span class="Special"> <- </span>append x, y - <span class="Constant">10</span>:array:character/<span class="Special">raw <- </span>copy *z - ] - memory-should-contain [ - <span class="Constant">10</span>:array:character<span class="Special"> <- </span><span class="Constant">[hello, world!]</span> - ] -] - -<span class="muScenario">scenario</span> text-append-null [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>copy <span class="Constant">0</span> - y:address:array:character<span class="Special"> <- </span>new <span class="Constant">[ world!]</span> - z:address:array:character<span class="Special"> <- </span>append x, y - <span class="Constant">10</span>:array:character/<span class="Special">raw <- </span>copy *z - ] - memory-should-contain [ - <span class="Constant">10</span>:array:character<span class="Special"> <- </span><span class="Constant">[ world!]</span> - ] -] - -<span class="muScenario">scenario</span> text-append-null-2 [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[hello,]</span> - y:address:array:character<span class="Special"> <- </span>copy <span class="Constant">0</span> - z:address:array:character<span class="Special"> <- </span>append x, y - <span class="Constant">10</span>:array:character/<span class="Special">raw <- </span>copy *z - ] - memory-should-contain [ - <span class="Constant">10</span>:array:character<span class="Special"> <- </span><span class="Constant">[hello,]</span> - ] -] - -<span class="muScenario">scenario</span> replace-character-in-text [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[abc]</span> - x<span class="Special"> <- </span>replace x, <span class="Constant">98/b</span>, <span class="Constant">122/z</span> - <span class="Constant">10</span>:array:character/<span class="Special">raw <- </span>copy *x - ] - memory-should-contain [ - <span class="Constant">10</span>:array:character<span class="Special"> <- </span><span class="Constant">[azc]</span> - ] -] - -<span class="muRecipe">def</span> replace s:address:array:character, oldc:character, newc:character, from:number/optional<span class="muRecipe"> -> </span>s:address:array:character [ - <span class="Constant">local-scope</span> - <span class="Constant">load-ingredients</span> - len:number<span class="Special"> <- </span>length *s - i:number<span class="Special"> <- </span>find-next s, oldc, from - done?:boolean<span class="Special"> <- </span>greater-or-equal i, len - <span class="muControl">return-if</span> done?, s/same-as-ingredient:<span class="Constant">0</span> - *s<span class="Special"> <- </span>put-index *s, i, newc - i<span class="Special"> <- </span>add i, <span class="Constant">1</span> - s<span class="Special"> <- </span>replace s, oldc, newc, i -] - -<span class="muScenario">scenario</span> replace-character-at-start [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[abc]</span> - x<span class="Special"> <- </span>replace x, <span class="Constant">97/a</span>, <span class="Constant">122/z</span> - <span class="Constant">10</span>:array:character/<span class="Special">raw <- </span>copy *x - ] - memory-should-contain [ - <span class="Constant">10</span>:array:character<span class="Special"> <- </span><span class="Constant">[zbc]</span> - ] -] - -<span class="muScenario">scenario</span> replace-character-at-end [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[abc]</span> - x<span class="Special"> <- </span>replace x, <span class="Constant">99/c</span>, <span class="Constant">122/z</span> - <span class="Constant">10</span>:array:character/<span class="Special">raw <- </span>copy *x - ] - memory-should-contain [ - <span class="Constant">10</span>:array:character<span class="Special"> <- </span><span class="Constant">[abz]</span> - ] -] - -<span class="muScenario">scenario</span> replace-character-missing [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[abc]</span> - x<span class="Special"> <- </span>replace x, <span class="Constant">100/d</span>, <span class="Constant">122/z</span> - <span class="Constant">10</span>:array:character/<span class="Special">raw <- </span>copy *x - ] - memory-should-contain [ - <span class="Constant">10</span>:array:character<span class="Special"> <- </span><span class="Constant">[abc]</span> - ] -] - -<span class="muScenario">scenario</span> replace-all-characters [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[banana]</span> - x<span class="Special"> <- </span>replace x, <span class="Constant">97/a</span>, <span class="Constant">122/z</span> - <span class="Constant">10</span>:array:character/<span class="Special">raw <- </span>copy *x - ] - memory-should-contain [ - <span class="Constant">10</span>:array:character<span class="Special"> <- </span><span class="Constant">[bznznz]</span> - ] -] - -<span class="Comment"># replace underscores in first with remaining args</span> -<span class="muRecipe">def</span> interpolate template:address:array:character<span class="muRecipe"> -> </span>result:address:array:character [ - <span class="Constant">local-scope</span> - <span class="Constant">load-ingredients</span> <span class="Comment"># consume just the template</span> - <span class="Comment"># compute result-len, space to allocate for result</span> - tem-len:number<span class="Special"> <- </span>length *template - result-len:number<span class="Special"> <- </span>copy tem-len - <span class="Delimiter">{</span> - <span class="Comment"># while ingredients remain</span> - a:address:array:character, arg-received?:boolean<span class="Special"> <- </span><span class="Constant">next-ingredient</span> - <span class="muControl">break-unless</span> arg-received? - <span class="Comment"># result-len = result-len + arg.length - 1 (for the 'underscore' being replaced)</span> - a-len:number<span class="Special"> <- </span>length *a - result-len<span class="Special"> <- </span>add result-len, a-len - result-len<span class="Special"> <- </span>subtract result-len, <span class="Constant">1</span> - <span class="muControl">loop</span> - <span class="Delimiter">}</span> - <span class="Constant">rewind-ingredients</span> - _<span class="Special"> <- </span><span class="Constant">next-ingredient</span> <span class="Comment"># skip template</span> - result<span class="Special"> <- </span>new <span class="Constant">character:type</span>, result-len - <span class="Comment"># repeatedly copy sections of template and 'holes' into result</span> - result-idx:number<span class="Special"> <- </span>copy <span class="Constant">0</span> - i:number<span class="Special"> <- </span>copy <span class="Constant">0</span> - <span class="Delimiter">{</span> - <span class="Comment"># while arg received</span> - a:address:array:character, arg-received?:boolean<span class="Special"> <- </span><span class="Constant">next-ingredient</span> - <span class="muControl">break-unless</span> arg-received? - <span class="Comment"># copy template into result until '_'</span> - <span class="Delimiter">{</span> - <span class="Comment"># while i < template.length</span> - tem-done?:boolean<span class="Special"> <- </span>greater-or-equal i, tem-len - <span class="muControl">break-if</span> tem-done?, <span class="Constant">+done:label</span> - <span class="Comment"># while template[i] != '_'</span> - in:character<span class="Special"> <- </span>index *template, i - underscore?:boolean<span class="Special"> <- </span>equal in, <span class="Constant">95/_</span> - <span class="muControl">break-if</span> underscore? - <span class="Comment"># result[result-idx] = template[i]</span> - *result<span class="Special"> <- </span>put-index *result, result-idx, in - i<span class="Special"> <- </span>add i, <span class="Constant">1</span> - result-idx<span class="Special"> <- </span>add result-idx, <span class="Constant">1</span> - <span class="muControl">loop</span> - <span class="Delimiter">}</span> - <span class="Comment"># copy 'a' into result</span> - j:number<span class="Special"> <- </span>copy <span class="Constant">0</span> - <span class="Delimiter">{</span> - <span class="Comment"># while j < a.length</span> - arg-done?:boolean<span class="Special"> <- </span>greater-or-equal j, a-len - <span class="muControl">break-if</span> arg-done? - <span class="Comment"># result[result-idx] = a[j]</span> - in:character<span class="Special"> <- </span>index *a, j - *result<span class="Special"> <- </span>put-index *result, result-idx, in - j<span class="Special"> <- </span>add j, <span class="Constant">1</span> - result-idx<span class="Special"> <- </span>add result-idx, <span class="Constant">1</span> - <span class="muControl">loop</span> - <span class="Delimiter">}</span> - <span class="Comment"># skip '_' in template</span> - i<span class="Special"> <- </span>add i, <span class="Constant">1</span> - <span class="muControl">loop</span> <span class="Comment"># interpolate next arg</span> - <span class="Delimiter">}</span> -<span class="Constant"> +done</span> - <span class="Comment"># done with holes; copy rest of template directly into result</span> - <span class="Delimiter">{</span> - <span class="Comment"># while i < template.length</span> - tem-done?:boolean<span class="Special"> <- </span>greater-or-equal i, tem-len - <span class="muControl">break-if</span> tem-done? - <span class="Comment"># result[result-idx] = template[i]</span> - in:character<span class="Special"> <- </span>index *template, i - *result<span class="Special"> <- </span>put-index *result, result-idx, in - i<span class="Special"> <- </span>add i, <span class="Constant">1</span> - result-idx<span class="Special"> <- </span>add result-idx, <span class="Constant">1</span> - <span class="muControl">loop</span> - <span class="Delimiter">}</span> -] - -<span class="muScenario">scenario</span> interpolate-works [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[abc_ghi]</span> - y:address:array:character<span class="Special"> <- </span>new <span class="Constant">[def]</span> - z:address:array:character<span class="Special"> <- </span>interpolate x, y - <span class="Constant">10</span>:array:character/<span class="Special">raw <- </span>copy *z - ] - memory-should-contain [ - <span class="Constant">10</span>:array:character<span class="Special"> <- </span><span class="Constant">[abcdefghi]</span> - ] -] - -<span class="muScenario">scenario</span> interpolate-at-start [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[_, hello!]</span> - y:address:array:character<span class="Special"> <- </span>new <span class="Constant">[abc]</span> - z:address:array:character<span class="Special"> <- </span>interpolate x, y - <span class="Constant">10</span>:array:character/<span class="Special">raw <- </span>copy *z - ] - memory-should-contain [ - <span class="Constant">10</span>:array:character<span class="Special"> <- </span><span class="Constant">[abc, hello!]</span> - <span class="Constant">22</span><span class="Special"> <- </span><span class="Constant">0</span> <span class="Comment"># out of bounds</span> - ] -] - -<span class="muScenario">scenario</span> interpolate-at-end [ - run [ - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[hello, _]</span> - y:address:array:character<span class="Special"> <- </span>new <span class="Constant">[abc]</span> - z:address:array:character<span class="Special"> <- </span>interpolate x, y - <span class="Constant">10</span>:array:character/<span class="Special">raw <- </span>copy *z - ] - memory-should-contain [ - <span class="Constant">10</span>:array:character<span class="Special"> <- </span><span class="Constant">[hello, abc]</span> - ] -] - -<span class="Comment"># result:boolean <- space? c:character</span> -<span class="muRecipe">def</span> space? c:character<span class="muRecipe"> -> </span>result:boolean [ - <span class="Constant">local-scope</span> - <span class="Constant">load-ingredients</span> - <span class="Comment"># most common case first</span> - result<span class="Special"> <- </span>equal c, <span class="Constant">32/space</span> - <span class="muControl">return-if</span> result - result<span class="Special"> <- </span>equal c, <span class="Constant">10/newline</span> - <span class="muControl">return-if</span> result - result<span class="Special"> <- </span>equal c, <span class="Constant">9/tab</span> - <span class="muControl">return-if</span> result - result<span class="Special"> <- </span>equal c, <span class="Constant">13/carriage-return</span> - <span class="muControl">return-if</span> result - <span class="Comment"># remaining uncommon cases in sorted order</span> - <span class="Comment"># <a href="http://unicode.org">http://unicode.org</a> code-points in unicode-set Z and Pattern_White_Space</span> - result<span class="Special"> <- </span>equal c, <span class="Constant">11/ctrl-k</span> - <span class="muControl">return-if</span> result - result<span class="Special"> <- </span>equal c, <span class="Constant">12/ctrl-l</span> - <span class="muControl">return-if</span> result - result<span class="Special"> <- </span>equal c, <span class="Constant">133/ctrl-0085</span> - <span class="muControl">return-if</span> result - result<span class="Special"> <- </span>equal c, <span class="Constant">160/no-break-space</span> - <span class="muControl">return-if</span> result - result<span class="Special"> <- </span>equal c, <span class="Constant">5760/ogham-space-mark</span> - <span class="muControl">return-if</span> result - result<span class="Special"> <- </span>equal c, <span class="Constant">8192/en-quad</span> - <span class="muControl">return-if</span> result - result<span class="Special"> <- </span>equal c, <span class="Constant">8193/em-quad</span> - <span class="muControl">return-if</span> result - result<span class="Special"> <- </span>equal c, <span class="Constant">8194/en-space</span> - <span class="muControl">return-if</span> result - result<span class="Special"> <- </span>equal c, <span class="Constant">8195/em-space</span> - <span class="muControl">return-if</span> result - result<span class="Special"> <- </span>equal c, <span class="Constant">8196/three-per-em-space</span> - <span class="muControl">return-if</span> result - result<span class="Special"> <- </span>equal c, <span class="Constant">8197/four-per-em-space</span> - <span class="muControl">return-if</span> result - result<span class="Special"> <- </span>equal c, <span class="Constant">8198/six-per-em-space</span> - <span class="muControl">return-if</span> result - result<span class="Special"> <- </span>equal c, <span class="Constant">8199/figure-space</span> - <span class="muControl">return-if</span> result - result<span class="Special"> <- </span>equal c, <span class="Constant">8200/punctuation-space</span> - <span class="muControl">return-if</span> result - result<span class="Special"> <- </span>equal c, <span class="Constant">8201/thin-space</span> - <span class="muControl">return-if</span> result - result<span class="Special"> <- </span>equal c, <span class="Constant">8202/hair-space</span> - <span class="muControl">return-if</span> result - result<span class="Special"> <- </span>equal c, <span class="Constant">8206/left-to-right</span> - <span class="muControl">return-if</span> result - result<span class="Special"> <- </span>equal c, <span class="Constant">8207/right-to-left</span> - <span class="muControl">return-if</span> result - result<span class="Special"> <- </span>equal c, <span class="Constant">8232/line-separator</span> - <span class="muControl">return-if</span> result - result<span class="Special"> <- </span>equal c, <span class="Constant">8233/paragraph-separator</span> - <span class="muControl">return-if</span> result - result<span class="Special"> <- </span>equal c, <span class="Constant">8239/narrow-no-break-space</span> - <span class="muControl">return-if</span> result - result<span class="Special"> <- </span>equal c, <span class="Constant">8287/medium-mathematical-space</span> - <span class="muControl">return-if</span> result - result<span class="Special"> <- </span>equal c, <span class="Constant">12288/ideographic-space</span> -] - -<span class="muRecipe">def</span> trim s:address:array:character<span class="muRecipe"> -> </span>result:address:array:character [ - <span class="Constant">local-scope</span> - <span class="Constant">load-ingredients</span> - len:number<span class="Special"> <- </span>length *s - <span class="Comment"># left trim: compute start</span> - start:number<span class="Special"> <- </span>copy <span class="Constant">0</span> - <span class="Delimiter">{</span> - <span class="Delimiter">{</span> - at-end?:boolean<span class="Special"> <- </span>greater-or-equal start, len - <span class="muControl">break-unless</span> at-end? - result<span class="Special"> <- </span>new <span class="Constant">character:type</span>, <span class="Constant">0</span> - <span class="muControl">return</span> - <span class="Delimiter">}</span> - curr:character<span class="Special"> <- </span>index *s, start - whitespace?:boolean<span class="Special"> <- </span>space? curr - <span class="muControl">break-unless</span> whitespace? - start<span class="Special"> <- </span>add start, <span class="Constant">1</span> - <span class="muControl">loop</span> - <span class="Delimiter">}</span> - <span class="Comment"># right trim: compute end</span> - end:number<span class="Special"> <- </span>subtract len, <span class="Constant">1</span> - <span class="Delimiter">{</span> - not-at-start?:boolean<span class="Special"> <- </span>greater-than end, start - assert not-at-start?, <span class="Constant">[end ran up against start]</span> - curr:character<span class="Special"> <- </span>index *s, end - whitespace?:boolean<span class="Special"> <- </span>space? curr - <span class="muControl">break-unless</span> whitespace? - end<span class="Special"> <- </span>subtract end, <span class="Constant">1</span> - <span class="muControl">loop</span> - <span class="Delimiter">}</span> - <span class="Comment"># result = new character[end+1 - start]</span> - new-len:number<span class="Special"> <- </span>subtract end, start, <span class="Constant">-1</span> - result:address:array:character<span class="Special"> <- </span>new <span class="Constant">character:type</span>, new-len - <span class="Comment"># copy the untrimmed parts between start and end</span> - i:number<span class="Special"> <- </span>copy start - j:number<span class="Special"> <- </span>copy <span class="Constant">0</span> - <span class="Delimiter">{</span> - <span class="Comment"># while i <= end</span> - done?:boolean<span class="Special"> <- </span>greater-than i, end - <span class="muControl">break-if</span> done? - <span class="Comment"># result[j] = s[i]</span> - src:character<span class="Special"> <- </span>index *s, i - *result<span class="Special"> <- </span>put-index *result, j, src - i<span class="Special"> <- </span>add i, <span class="Constant">1</span> - j<span class="Special"> <- </span>add j, <span class="Constant">1</span> - <span class="muControl">loop</span> - <span class="Delimiter">}</span> -] - -<span class="muScenario">scenario</span> trim-unmodified [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[abc]</span> - y:address:array:character<span class="Special"> <- </span>trim x - <span class="Constant">1</span>:array:character/<span class="Special">raw <- </span>copy *y - ] - memory-should-contain [ - <span class="Constant">1</span>:array:character<span class="Special"> <- </span><span class="Constant">[abc]</span> - ] -] - -<span class="muScenario">scenario</span> trim-left [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[ abc]</span> - y:address:array:character<span class="Special"> <- </span>trim x - <span class="Constant">1</span>:array:character/<span class="Special">raw <- </span>copy *y - ] - memory-should-contain [ - <span class="Constant">1</span>:array:character<span class="Special"> <- </span><span class="Constant">[abc]</span> - ] -] - -<span class="muScenario">scenario</span> trim-right [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[abc ]</span> - y:address:array:character<span class="Special"> <- </span>trim x - <span class="Constant">1</span>:array:character/<span class="Special">raw <- </span>copy *y - ] - memory-should-contain [ - <span class="Constant">1</span>:array:character<span class="Special"> <- </span><span class="Constant">[abc]</span> - ] -] - -<span class="muScenario">scenario</span> trim-left-right [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[ abc ]</span> - y:address:array:character<span class="Special"> <- </span>trim x - <span class="Constant">1</span>:array:character/<span class="Special">raw <- </span>copy *y - ] - memory-should-contain [ - <span class="Constant">1</span>:array:character<span class="Special"> <- </span><span class="Constant">[abc]</span> - ] -] - -<span class="muScenario">scenario</span> trim-newline-tab [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[ abc</span> -<span class="Constant">]</span> - y:address:array:character<span class="Special"> <- </span>trim x - <span class="Constant">1</span>:array:character/<span class="Special">raw <- </span>copy *y - ] - memory-should-contain [ - <span class="Constant">1</span>:array:character<span class="Special"> <- </span><span class="Constant">[abc]</span> - ] -] - -<span class="muRecipe">def</span> find-next text:address:array:character, pattern:character, idx:number<span class="muRecipe"> -> </span>next-index:number [ - <span class="Constant">local-scope</span> - <span class="Constant">load-ingredients</span> - len:number<span class="Special"> <- </span>length *text - <span class="Delimiter">{</span> - eof?:boolean<span class="Special"> <- </span>greater-or-equal idx, len - <span class="muControl">break-if</span> eof? - curr:character<span class="Special"> <- </span>index *text, idx - found?:boolean<span class="Special"> <- </span>equal curr, pattern - <span class="muControl">break-if</span> found? - idx<span class="Special"> <- </span>add idx, <span class="Constant">1</span> - <span class="muControl">loop</span> - <span class="Delimiter">}</span> - <span class="muControl">return</span> idx -] - -<span class="muScenario">scenario</span> text-find-next [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[a/b]</span> - <span class="Constant">10</span>:number/<span class="Special">raw <- </span>find-next x, <span class="Constant">47/slash</span>, <span class="Constant">0/start-index</span> - ] - memory-should-contain [ - <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">1</span> - ] -] - -<span class="muScenario">scenario</span> text-find-next-empty [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[]</span> - <span class="Constant">10</span>:number/<span class="Special">raw <- </span>find-next x, <span class="Constant">47/slash</span>, <span class="Constant">0/start-index</span> - ] - memory-should-contain [ - <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">0</span> - ] -] - -<span class="muScenario">scenario</span> text-find-next-initial [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[/abc]</span> - <span class="Constant">10</span>:number/<span class="Special">raw <- </span>find-next x, <span class="Constant">47/slash</span>, <span class="Constant">0/start-index</span> - ] - memory-should-contain [ - <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">0</span> <span class="Comment"># prefix match</span> - ] -] - -<span class="muScenario">scenario</span> text-find-next-final [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[abc/]</span> - <span class="Constant">10</span>:number/<span class="Special">raw <- </span>find-next x, <span class="Constant">47/slash</span>, <span class="Constant">0/start-index</span> - ] - memory-should-contain [ - <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">3</span> <span class="Comment"># suffix match</span> - ] -] - -<span class="muScenario">scenario</span> text-find-next-missing [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[abcd]</span> - <span class="Constant">10</span>:number/<span class="Special">raw <- </span>find-next x, <span class="Constant">47/slash</span>, <span class="Constant">0/start-index</span> - ] - memory-should-contain [ - <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">4</span> <span class="Comment"># no match</span> - ] -] - -<span class="muScenario">scenario</span> text-find-next-invalid-index [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[abc]</span> - <span class="Constant">10</span>:number/<span class="Special">raw <- </span>find-next x, <span class="Constant">47/slash</span>, <span class="Constant">4/start-index</span> - ] - memory-should-contain [ - <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">4</span> <span class="Comment"># no change</span> - ] -] - -<span class="muScenario">scenario</span> text-find-next-first [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[ab/c/]</span> - <span class="Constant">10</span>:number/<span class="Special">raw <- </span>find-next x, <span class="Constant">47/slash</span>, <span class="Constant">0/start-index</span> - ] - memory-should-contain [ - <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">2</span> <span class="Comment"># first '/' of multiple</span> - ] -] - -<span class="muScenario">scenario</span> text-find-next-second [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[ab/c/]</span> - <span class="Constant">10</span>:number/<span class="Special">raw <- </span>find-next x, <span class="Constant">47/slash</span>, <span class="Constant">3/start-index</span> - ] - memory-should-contain [ - <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">4</span> <span class="Comment"># second '/' of multiple</span> - ] -] - -<span class="Comment"># search for a pattern of multiple characters</span> -<span class="Comment"># fairly dumb algorithm</span> -<span class="muRecipe">def</span> find-next text:address:array:character, pattern:address:array:character, idx:number<span class="muRecipe"> -> </span>next-index:number [ - <span class="Constant">local-scope</span> - <span class="Constant">load-ingredients</span> - first:character<span class="Special"> <- </span>index *pattern, <span class="Constant">0</span> - <span class="Comment"># repeatedly check for match at current idx</span> - len:number<span class="Special"> <- </span>length *text - <span class="Delimiter">{</span> - <span class="Comment"># does some unnecessary work checking even when there isn't enough of text left</span> - done?:boolean<span class="Special"> <- </span>greater-or-equal idx, len - <span class="muControl">break-if</span> done? - found?:boolean<span class="Special"> <- </span>match-at text, pattern, idx - <span class="muControl">break-if</span> found? - idx<span class="Special"> <- </span>add idx, <span class="Constant">1</span> - <span class="Comment"># optimization: skip past indices that definitely won't match</span> - idx<span class="Special"> <- </span>find-next text, first, idx - <span class="muControl">loop</span> - <span class="Delimiter">}</span> - <span class="muControl">return</span> idx -] - -<span class="muScenario">scenario</span> find-next-text-1 [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[abc]</span> - y:address:array:character<span class="Special"> <- </span>new <span class="Constant">[bc]</span> - <span class="Constant">10</span>:number/<span class="Special">raw <- </span>find-next x, y, <span class="Constant">0</span> - ] - memory-should-contain [ - <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">1</span> - ] -] - -<span class="muScenario">scenario</span> find-next-text-2 [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[abcd]</span> - y:address:array:character<span class="Special"> <- </span>new <span class="Constant">[bc]</span> - <span class="Constant">10</span>:number/<span class="Special">raw <- </span>find-next x, y, <span class="Constant">1</span> - ] - memory-should-contain [ - <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">1</span> - ] -] - -<span class="muScenario">scenario</span> find-next-no-match [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[abc]</span> - y:address:array:character<span class="Special"> <- </span>new <span class="Constant">[bd]</span> - <span class="Constant">10</span>:number/<span class="Special">raw <- </span>find-next x, y, <span class="Constant">0</span> - ] - memory-should-contain [ - <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">3</span> <span class="Comment"># not found</span> - ] -] - -<span class="muScenario">scenario</span> find-next-suffix-match [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[abcd]</span> - y:address:array:character<span class="Special"> <- </span>new <span class="Constant">[cd]</span> - <span class="Constant">10</span>:number/<span class="Special">raw <- </span>find-next x, y, <span class="Constant">0</span> - ] - memory-should-contain [ - <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">2</span> - ] -] - -<span class="muScenario">scenario</span> find-next-suffix-match-2 [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[abcd]</span> - y:address:array:character<span class="Special"> <- </span>new <span class="Constant">[cde]</span> - <span class="Constant">10</span>:number/<span class="Special">raw <- </span>find-next x, y, <span class="Constant">0</span> - ] - memory-should-contain [ - <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">4</span> <span class="Comment"># not found</span> - ] -] - -<span class="Comment"># checks if pattern matches at index 'idx'</span> -<span class="muRecipe">def</span> match-at text:address:array:character, pattern:address:array:character, idx:number<span class="muRecipe"> -> </span>result:boolean [ - <span class="Constant">local-scope</span> - <span class="Constant">load-ingredients</span> - pattern-len:number<span class="Special"> <- </span>length *pattern - <span class="Comment"># check that there's space left for the pattern</span> - <span class="Delimiter">{</span> - x:number<span class="Special"> <- </span>length *text - x<span class="Special"> <- </span>subtract x, pattern-len - enough-room?:boolean<span class="Special"> <- </span>lesser-or-equal idx, x - <span class="muControl">break-if</span> enough-room? - <span class="muControl">return</span> <span class="Constant">0/not-found</span> - <span class="Delimiter">}</span> - <span class="Comment"># check each character of pattern</span> - pattern-idx:number<span class="Special"> <- </span>copy <span class="Constant">0</span> - <span class="Delimiter">{</span> - done?:boolean<span class="Special"> <- </span>greater-or-equal pattern-idx, pattern-len - <span class="muControl">break-if</span> done? - c:character<span class="Special"> <- </span>index *text, idx - exp:character<span class="Special"> <- </span>index *pattern, pattern-idx - <span class="Delimiter">{</span> - match?:boolean<span class="Special"> <- </span>equal c, exp - <span class="muControl">break-if</span> match? - <span class="muControl">return</span> <span class="Constant">0/not-found</span> - <span class="Delimiter">}</span> - idx<span class="Special"> <- </span>add idx, <span class="Constant">1</span> - pattern-idx<span class="Special"> <- </span>add pattern-idx, <span class="Constant">1</span> - <span class="muControl">loop</span> - <span class="Delimiter">}</span> - <span class="muControl">return</span> <span class="Constant">1/found</span> -] - -<span class="muScenario">scenario</span> match-at-checks-pattern-at-index [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[abc]</span> - y:address:array:character<span class="Special"> <- </span>new <span class="Constant">[ab]</span> - <span class="Constant">10</span>:boolean/<span class="Special">raw <- </span>match-at x, y, <span class="Constant">0</span> - ] - memory-should-contain [ - <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">1</span> <span class="Comment"># match found</span> - ] -] - -<span class="muScenario">scenario</span> match-at-reflexive [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[abc]</span> - <span class="Constant">10</span>:boolean/<span class="Special">raw <- </span>match-at x, x, <span class="Constant">0</span> - ] - memory-should-contain [ - <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">1</span> <span class="Comment"># match found</span> - ] -] - -<span class="muScenario">scenario</span> match-at-outside-bounds [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[abc]</span> - y:address:array:character<span class="Special"> <- </span>new <span class="Constant">[a]</span> - <span class="Constant">10</span>:boolean/<span class="Special">raw <- </span>match-at x, y, <span class="Constant">4</span> - ] - memory-should-contain [ - <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">0</span> <span class="Comment"># never matches</span> - ] -] - -<span class="muScenario">scenario</span> match-at-empty-pattern [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[abc]</span> - y:address:array:character<span class="Special"> <- </span>new <span class="Constant">[]</span> - <span class="Constant">10</span>:boolean/<span class="Special">raw <- </span>match-at x, y, <span class="Constant">0</span> - ] - memory-should-contain [ - <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">1</span> <span class="Comment"># always matches empty pattern given a valid index</span> - ] -] - -<span class="muScenario">scenario</span> match-at-empty-pattern-outside-bound [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[abc]</span> - y:address:array:character<span class="Special"> <- </span>new <span class="Constant">[]</span> - <span class="Constant">10</span>:boolean/<span class="Special">raw <- </span>match-at x, y, <span class="Constant">4</span> - ] - memory-should-contain [ - <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">0</span> <span class="Comment"># no match</span> - ] -] - -<span class="muScenario">scenario</span> match-at-empty-text [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[]</span> - y:address:array:character<span class="Special"> <- </span>new <span class="Constant">[abc]</span> - <span class="Constant">10</span>:boolean/<span class="Special">raw <- </span>match-at x, y, <span class="Constant">0</span> - ] - memory-should-contain [ - <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">0</span> <span class="Comment"># no match</span> - ] -] - -<span class="muScenario">scenario</span> match-at-empty-against-empty [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[]</span> - <span class="Constant">10</span>:boolean/<span class="Special">raw <- </span>match-at x, x, <span class="Constant">0</span> - ] - memory-should-contain [ - <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">1</span> <span class="Comment"># matches because pattern is also empty</span> - ] -] - -<span class="muScenario">scenario</span> match-at-inside-bounds [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[abc]</span> - y:address:array:character<span class="Special"> <- </span>new <span class="Constant">[bc]</span> - <span class="Constant">10</span>:boolean/<span class="Special">raw <- </span>match-at x, y, <span class="Constant">1</span> - ] - memory-should-contain [ - <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">1</span> <span class="Comment"># match</span> - ] -] - -<span class="muScenario">scenario</span> match-at-inside-bounds-2 [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[abc]</span> - y:address:array:character<span class="Special"> <- </span>new <span class="Constant">[bc]</span> - <span class="Constant">10</span>:boolean/<span class="Special">raw <- </span>match-at x, y, <span class="Constant">0</span> - ] - memory-should-contain [ - <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">0</span> <span class="Comment"># no match</span> - ] -] - -<span class="muRecipe">def</span> split s:address:array:character, delim:character<span class="muRecipe"> -> </span>result:address:array:address:array:character [ - <span class="Constant">local-scope</span> - <span class="Constant">load-ingredients</span> - <span class="Comment"># empty text? return empty array</span> - len:number<span class="Special"> <- </span>length *s - <span class="Delimiter">{</span> - empty?:boolean<span class="Special"> <- </span>equal len, <span class="Constant">0</span> - <span class="muControl">break-unless</span> empty? - result<span class="Special"> <- </span>new <span class="Delimiter">{</span>(address array character): type<span class="Delimiter">}</span>, <span class="Constant">0</span> - <span class="muControl">return</span> - <span class="Delimiter">}</span> - <span class="Comment"># count #pieces we need room for</span> - count:number<span class="Special"> <- </span>copy <span class="Constant">1</span> <span class="Comment"># n delimiters = n+1 pieces</span> - idx:number<span class="Special"> <- </span>copy <span class="Constant">0</span> - <span class="Delimiter">{</span> - idx<span class="Special"> <- </span>find-next s, delim, idx - done?:boolean<span class="Special"> <- </span>greater-or-equal idx, len - <span class="muControl">break-if</span> done? - idx<span class="Special"> <- </span>add idx, <span class="Constant">1</span> - count<span class="Special"> <- </span>add count, <span class="Constant">1</span> - <span class="muControl">loop</span> - <span class="Delimiter">}</span> - <span class="Comment"># allocate space</span> - result<span class="Special"> <- </span>new <span class="Delimiter">{</span>(address array character): type<span class="Delimiter">}</span>, count - <span class="Comment"># repeatedly copy slices start..end until delimiter into result[curr-result]</span> - curr-result:number<span class="Special"> <- </span>copy <span class="Constant">0</span> - start:number<span class="Special"> <- </span>copy <span class="Constant">0</span> - <span class="Delimiter">{</span> - <span class="Comment"># while next delim exists</span> - done?:boolean<span class="Special"> <- </span>greater-or-equal start, len - <span class="muControl">break-if</span> done? - end:number<span class="Special"> <- </span>find-next s, delim, start - <span class="Comment"># copy start..end into result[curr-result]</span> - dest:address:array:character<span class="Special"> <- </span>copy-range s, start, end - *result<span class="Special"> <- </span>put-index *result, curr-result, dest - <span class="Comment"># slide over to next slice</span> - start<span class="Special"> <- </span>add end, <span class="Constant">1</span> - curr-result<span class="Special"> <- </span>add curr-result, <span class="Constant">1</span> - <span class="muControl">loop</span> - <span class="Delimiter">}</span> -] - -<span class="muScenario">scenario</span> text-split-1 [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[a/b]</span> - y:address:array:address:array:character<span class="Special"> <- </span>split x, <span class="Constant">47/slash</span> - <span class="Constant">10</span>:number/<span class="Special">raw <- </span>length *y - a:address:array:character<span class="Special"> <- </span>index *y, <span class="Constant">0</span> - b:address:array:character<span class="Special"> <- </span>index *y, <span class="Constant">1</span> - <span class="Constant">20</span>:array:character/<span class="Special">raw <- </span>copy *a - <span class="Constant">30</span>:array:character/<span class="Special">raw <- </span>copy *b - ] - memory-should-contain [ - <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">2</span> <span class="Comment"># length of result</span> - <span class="Constant">20</span>:array:character<span class="Special"> <- </span><span class="Constant">[a]</span> - <span class="Constant">30</span>:array:character<span class="Special"> <- </span><span class="Constant">[b]</span> - ] -] - -<span class="muScenario">scenario</span> text-split-2 [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[a/b/c]</span> - y:address:array:address:array:character<span class="Special"> <- </span>split x, <span class="Constant">47/slash</span> - <span class="Constant">10</span>:number/<span class="Special">raw <- </span>length *y - a:address:array:character<span class="Special"> <- </span>index *y, <span class="Constant">0</span> - b:address:array:character<span class="Special"> <- </span>index *y, <span class="Constant">1</span> - c:address:array:character<span class="Special"> <- </span>index *y, <span class="Constant">2</span> - <span class="Constant">20</span>:array:character/<span class="Special">raw <- </span>copy *a - <span class="Constant">30</span>:array:character/<span class="Special">raw <- </span>copy *b - <span class="Constant">40</span>:array:character/<span class="Special">raw <- </span>copy *c - ] - memory-should-contain [ - <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">3</span> <span class="Comment"># length of result</span> - <span class="Constant">20</span>:array:character<span class="Special"> <- </span><span class="Constant">[a]</span> - <span class="Constant">30</span>:array:character<span class="Special"> <- </span><span class="Constant">[b]</span> - <span class="Constant">40</span>:array:character<span class="Special"> <- </span><span class="Constant">[c]</span> - ] -] - -<span class="muScenario">scenario</span> text-split-missing [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[abc]</span> - y:address:array:address:array:character<span class="Special"> <- </span>split x, <span class="Constant">47/slash</span> - <span class="Constant">10</span>:number/<span class="Special">raw <- </span>length *y - a:address:array:character<span class="Special"> <- </span>index *y, <span class="Constant">0</span> - <span class="Constant">20</span>:array:character/<span class="Special">raw <- </span>copy *a - ] - memory-should-contain [ - <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">1</span> <span class="Comment"># length of result</span> - <span class="Constant">20</span>:array:character<span class="Special"> <- </span><span class="Constant">[abc]</span> - ] -] - -<span class="muScenario">scenario</span> text-split-empty [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[]</span> - y:address:array:address:array:character<span class="Special"> <- </span>split x, <span class="Constant">47/slash</span> - <span class="Constant">10</span>:number/<span class="Special">raw <- </span>length *y - ] - memory-should-contain [ - <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">0</span> <span class="Comment"># empty result</span> - ] -] - -<span class="muScenario">scenario</span> text-split-empty-piece [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[a/b//c]</span> - y:address:array:address:array:character<span class="Special"> <- </span>split x:address:array:character, <span class="Constant">47/slash</span> - <span class="Constant">10</span>:number/<span class="Special">raw <- </span>length *y - a:address:array:character<span class="Special"> <- </span>index *y, <span class="Constant">0</span> - b:address:array:character<span class="Special"> <- </span>index *y, <span class="Constant">1</span> - c:address:array:character<span class="Special"> <- </span>index *y, <span class="Constant">2</span> - d:address:array:character<span class="Special"> <- </span>index *y, <span class="Constant">3</span> - <span class="Constant">20</span>:array:character/<span class="Special">raw <- </span>copy *a - <span class="Constant">30</span>:array:character/<span class="Special">raw <- </span>copy *b - <span class="Constant">40</span>:array:character/<span class="Special">raw <- </span>copy *c - <span class="Constant">50</span>:array:character/<span class="Special">raw <- </span>copy *d - ] - memory-should-contain [ - <span class="Constant">10</span><span class="Special"> <- </span><span class="Constant">4</span> <span class="Comment"># length of result</span> - <span class="Constant">20</span>:array:character<span class="Special"> <- </span><span class="Constant">[a]</span> - <span class="Constant">30</span>:array:character<span class="Special"> <- </span><span class="Constant">[b]</span> - <span class="Constant">40</span>:array:character<span class="Special"> <- </span><span class="Constant">[]</span> - <span class="Constant">50</span>:array:character<span class="Special"> <- </span><span class="Constant">[c]</span> - ] -] - -<span class="muRecipe">def</span> split-first text:address:array:character, delim:character<span class="muRecipe"> -> </span>x:address:array:character, y:address:array:character [ - <span class="Constant">local-scope</span> - <span class="Constant">load-ingredients</span> - <span class="Comment"># empty text? return empty texts</span> - len:number<span class="Special"> <- </span>length *text - <span class="Delimiter">{</span> - empty?:boolean<span class="Special"> <- </span>equal len, <span class="Constant">0</span> - <span class="muControl">break-unless</span> empty? - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[]</span> - y:address:array:character<span class="Special"> <- </span>new <span class="Constant">[]</span> - <span class="muControl">return</span> - <span class="Delimiter">}</span> - idx:number<span class="Special"> <- </span>find-next text, delim, <span class="Constant">0</span> - x:address:array:character<span class="Special"> <- </span>copy-range text, <span class="Constant">0</span>, idx - idx<span class="Special"> <- </span>add idx, <span class="Constant">1</span> - y:address:array:character<span class="Special"> <- </span>copy-range text, idx, len -] - -<span class="muScenario">scenario</span> text-split-first [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[a/b]</span> - y:address:array:character, z:address:array:character<span class="Special"> <- </span>split-first x, <span class="Constant">47/slash</span> - <span class="Constant">10</span>:array:character/<span class="Special">raw <- </span>copy *y - <span class="Constant">20</span>:array:character/<span class="Special">raw <- </span>copy *z - ] - memory-should-contain [ - <span class="Constant">10</span>:array:character<span class="Special"> <- </span><span class="Constant">[a]</span> - <span class="Constant">20</span>:array:character<span class="Special"> <- </span><span class="Constant">[b]</span> - ] -] - -<span class="muRecipe">def</span> copy-range buf:address:array:character, start:number, end:number<span class="muRecipe"> -> </span>result:address:array:character [ - <span class="Constant">local-scope</span> - <span class="Constant">load-ingredients</span> - <span class="Comment"># if end is out of bounds, trim it</span> - len:number<span class="Special"> <- </span>length *buf - end:number<span class="Special"> <- </span>min len, end - <span class="Comment"># allocate space for result</span> - len<span class="Special"> <- </span>subtract end, start - result:address:array:character<span class="Special"> <- </span>new <span class="Constant">character:type</span>, len - <span class="Comment"># copy start..end into result[curr-result]</span> - src-idx:number<span class="Special"> <- </span>copy start - dest-idx:number<span class="Special"> <- </span>copy <span class="Constant">0</span> - <span class="Delimiter">{</span> - done?:boolean<span class="Special"> <- </span>greater-or-equal src-idx, end - <span class="muControl">break-if</span> done? - src:character<span class="Special"> <- </span>index *buf, src-idx - *result<span class="Special"> <- </span>put-index *result, dest-idx, src - src-idx<span class="Special"> <- </span>add src-idx, <span class="Constant">1</span> - dest-idx<span class="Special"> <- </span>add dest-idx, <span class="Constant">1</span> - <span class="muControl">loop</span> - <span class="Delimiter">}</span> -] - -<span class="muScenario">scenario</span> text-copy-copies-partial-text [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[abc]</span> - y:address:array:character<span class="Special"> <- </span>copy-range x, <span class="Constant">1</span>, <span class="Constant">3</span> - <span class="Constant">1</span>:array:character/<span class="Special">raw <- </span>copy *y - ] - memory-should-contain [ - <span class="Constant">1</span>:array:character<span class="Special"> <- </span><span class="Constant">[bc]</span> - ] -] - -<span class="muScenario">scenario</span> text-copy-out-of-bounds [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[abc]</span> - y:address:array:character<span class="Special"> <- </span>copy-range x, <span class="Constant">2</span>, <span class="Constant">4</span> - <span class="Constant">1</span>:array:character/<span class="Special">raw <- </span>copy *y - ] - memory-should-contain [ - <span class="Constant">1</span>:array:character<span class="Special"> <- </span><span class="Constant">[c]</span> - ] -] - -<span class="muScenario">scenario</span> text-copy-out-of-bounds-2 [ - run [ - <span class="Constant">local-scope</span> - x:address:array:character<span class="Special"> <- </span>new <span class="Constant">[abc]</span> - y:address:array:character<span class="Special"> <- </span>copy-range x, <span class="Constant">3</span>, <span class="Constant">3</span> - <span class="Constant">1</span>:array:character/<span class="Special">raw <- </span>copy *y - ] - memory-should-contain [ - <span class="Constant">1</span>:array:character<span class="Special"> <- </span><span class="Constant">[]</span> - ] -] -</pre> -</body> -</html> -<!-- vim: set foldmethod=manual : --> |