diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-08-27 20:49:03 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-08-27 20:49:03 -0700 |
| commit | cd9bb850caeca88747a25436fc65c67c6d5cd89a (patch) | |
| tree | 34ea30beb19b5fafe855b951b9468d2a9e915492 /html/088file.mu.html | |
| parent | e947da75bd926da6d533fd73b352c16c8417b3f6 (diff) | |
| download | mu-cd9bb850caeca88747a25436fc65c67c6d5cd89a.tar.gz | |
3266
Diffstat (limited to 'html/088file.mu.html')
| -rw-r--r-- | html/088file.mu.html | 73 |
1 files changed, 64 insertions, 9 deletions
diff --git a/html/088file.mu.html b/html/088file.mu.html index 6a194227..e86201ed 100644 --- a/html/088file.mu.html +++ b/html/088file.mu.html @@ -31,7 +31,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color </head> <body> <pre id='vimCodeElement'> -<span class="Comment"># Wrappers around file-system primitives that take a 'filesystem' object and</span> +<span class="Comment"># Wrappers around file system primitives that take a 'filesystem' object and</span> <span class="Comment"># are thus easier to test.</span> <span class="muData">container</span> filesystem [ @@ -48,7 +48,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant">load-ingredients</span> <span class="Delimiter">{</span> <span class="muControl">break-if</span> fs - <span class="Comment"># real file-system</span> + <span class="Comment"># real file system</span> file:number<span class="Special"> <- </span>$open-file-for-reading filename assert file, <span class="Constant">[file not found]</span> contents:address:source:character, sink:address:sink:character<span class="Special"> <- </span>new-channel <span class="Constant">30</span> @@ -63,6 +63,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color done?:boolean<span class="Special"> <- </span>greater-or-equal i, len <span class="muControl">break-if</span> done? tmp:file-mapping<span class="Special"> <- </span>index *data, i + i<span class="Special"> <- </span>add i, <span class="Constant">1</span> curr-filename:address:array:character<span class="Special"> <- </span>get tmp, <span class="Constant">name:offset</span> found?:boolean<span class="Special"> <- </span>equal filename, curr-filename <span class="muControl">loop-unless</span> found? @@ -78,13 +79,13 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant">local-scope</span> <span class="Constant">load-ingredients</span> <span class="Delimiter">{</span> - c:character<span class="Special"> <- </span>$read-from-file file - <span class="muControl">break-unless</span> c + c:character, eof?:boolean<span class="Special"> <- </span>$read-from-file file + <span class="muControl">break-if</span> eof? sink<span class="Special"> <- </span>write sink, c <span class="muControl">loop</span> <span class="Delimiter">}</span> sink<span class="Special"> <- </span>close sink - $close-file file + file<span class="Special"> <- </span>$close-file file ] <span class="muRecipe">def</span> transmit-from-text contents:address:array:character, sink:address:sink:character<span class="muRecipe"> -> </span>sink:address:sink:character [ @@ -106,12 +107,21 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="muRecipe">def</span> start-writing fs:address:filesystem, filename:address:array:character<span class="muRecipe"> -> </span>sink:address:sink:character, routine-id:number [ <span class="Constant">local-scope</span> <span class="Constant">load-ingredients</span> - file:number<span class="Special"> <- </span>$open-file-for-writing filename source:address:source:character, sink:address:sink:character<span class="Special"> <- </span>new-channel <span class="Constant">30</span> - routine-id<span class="Special"> <- </span>start-running transmit-to-file file, source + <span class="Delimiter">{</span> + <span class="muControl">break-if</span> fs + <span class="Comment"># real file system</span> + file:number<span class="Special"> <- </span>$open-file-for-writing filename + assert file, <span class="Constant">[no such file]</span> + routine-id<span class="Special"> <- </span>start-running transmit-to-file file, source + <span class="muControl">reply</span> + <span class="Delimiter">}</span> + <span class="Comment"># fake file system</span> + <span class="Comment"># beware: doesn't support multiple concurrent writes yet</span> + routine-id<span class="Special"> <- </span>start-running transmit-to-fake-file fs, filename, source ] -<span class="muRecipe">def</span> transmit-to-file file:number, source:address:source:character<span class="muRecipe"> -> </span>file:number, source:address:source:character [ +<span class="muRecipe">def</span> transmit-to-file file:number, source:address:source:character<span class="muRecipe"> -> </span>source:address:source:character [ <span class="Constant">local-scope</span> <span class="Constant">load-ingredients</span> <span class="Delimiter">{</span> @@ -120,7 +130,52 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color $write-to-file file, c <span class="muControl">loop</span> <span class="Delimiter">}</span> - $close-file file + file<span class="Special"> <- </span>$close-file file +] + +<span class="muRecipe">def</span> transmit-to-fake-file fs:address:filesystem, filename:address:array:character, source:address:source:character<span class="muRecipe"> -> </span>fs:address:filesystem, source:address:source:character [ + <span class="Constant">local-scope</span> + <span class="Constant">load-ingredients</span> + <span class="Comment"># compute new file contents</span> + buf:address:buffer<span class="Special"> <- </span>new-buffer <span class="Constant">30</span> + <span class="Delimiter">{</span> + c:character, done?:boolean, source<span class="Special"> <- </span>read source + <span class="muControl">break-if</span> done? + buf<span class="Special"> <- </span>append buf, c + <span class="muControl">loop</span> + <span class="Delimiter">}</span> + contents:address:array:character<span class="Special"> <- </span>buffer-to-array buf + new-file-mapping:file-mapping<span class="Special"> <- </span>merge filename, contents + <span class="Comment"># write to filesystem</span> + curr-filename:address:array:character<span class="Special"> <- </span>copy <span class="Constant">0</span> + data:address:array:file-mapping<span class="Special"> <- </span>get *fs, <span class="Constant">data:offset</span> + <span class="Comment"># replace file contents if it already exists</span> + i:number<span class="Special"> <- </span>copy <span class="Constant">0</span> + len:number<span class="Special"> <- </span>length *data + <span class="Delimiter">{</span> + done?:boolean<span class="Special"> <- </span>greater-or-equal i, len + <span class="muControl">break-if</span> done? + tmp:file-mapping<span class="Special"> <- </span>index *data, i + curr-filename<span class="Special"> <- </span>get tmp, <span class="Constant">name:offset</span> + found?:boolean<span class="Special"> <- </span>equal filename, curr-filename + <span class="muControl">loop-unless</span> found? + put-index *data, i, new-file-mapping + <span class="muControl">reply</span> + <span class="Delimiter">}</span> + <span class="Comment"># if file didn't already exist, make room for it</span> + new-len:number<span class="Special"> <- </span>add len, <span class="Constant">1</span> + new-data:address:array:file-mapping<span class="Special"> <- </span>new <span class="Constant">file-mapping:type</span>, new-len + put *fs, <span class="Constant">data:offset</span>, new-data + <span class="Comment"># copy over old files</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, len + <span class="muControl">break-if</span> done? + tmp:file-mapping<span class="Special"> <- </span>index *data, i + put-index *new-data, i, tmp + <span class="Delimiter">}</span> + <span class="Comment"># write new file</span> + put-index *new-data, len, new-file-mapping ] </pre> </body> |