128002.diagram « uml « doc - ranger - mirror of ranger

blob: 09164d1682263beb843452ed5220e11cc5c2e311 (plain) (tree)

cfbb8c84 ^

61de0a4d ^

cfbb8c84 ^

69a0e827 ^

cfbb8c84 ^

8db3c4b1 ^

cfbb8c84 ^

61de0a4d ^

cfbb8c84 ^

8db3c4b1 ^

cfbb8c84 ^

61de0a4d ^

cfbb8c84 ^

69a0e827 ^

cfbb8c84 ^

61de0a4d ^

cfbb8c84 ^

69a0e827 ^

cfbb8c84 ^

8db3c4b1 ^

cfbb8c84 ^

8db3c4b1 ^

cfbb8c84 ^

8db3c4b1 ^

cfbb8c84 ^

8db3c4b1 ^

cfbb8c84 ^

61de0a4d ^

cfbb8c84 ^

69a0e827 ^

cfbb8c84 ^

61de0a4d ^

69a0e827 ^

61de0a4d ^

cfbb8c84 ^

69a0e827 ^

cfbb8c84 ^

61de0a4d ^

cfbb8c84 ^

69a0e827 ^

cfbb8c84 ^

61de0a4d ^

cfbb8c84 ^

69a0e827 ^

cfbb8c84 ^

61de0a4d ^

cfbb8c84 ^

69a0e827 ^

cfbb8c84 ^

51a54027 ^

69a0e827 ^

8db3c4b1 ^

69a0e827 ^

8db3c4b1 ^

69a0e827 ^

8db3c4b1 ^

69a0e827 ^

8db3c4b1 ^

61de0a4d ^

cfbb8c84 ^

61de0a4d ^

cfbb8c84 ^

61de0a4d ^

69a0e827 ^

cfbb8c84 ^

61de0a4d ^

8db3c4b1 ^

61de0a4d ^

cfbb8c84 ^

61de0a4d ^

8db3c4b1 ^

61de0a4d ^

cfbb8c84 ^

61de0a4d ^

69a0e827 ^

61de0a4d ^

cfbb8c84 ^

61de0a4d ^

69a0e827 ^

9f186528 ^

61de0a4d ^

69a0e827 ^

9f186528 ^

61de0a4d ^

69a0e827 ^

9f186528 ^

61de0a4d ^

8db3c4b1 ^

9f186528 ^

61de0a4d ^

69a0e827 ^

9f186528 ^

61de0a4d ^

69a0e827 ^

9f186528 ^

69a0e827 ^

8db3c4b1 ^

69a0e827 ^

9f186528 ^

69a0e827 ^

ad1a4204 ^

69a0e827 ^

8db3c4b1 ^

69a0e827 ^

69a0e827 ^

8db3c4b1 ^

69a0e827 ^

9f186528 ^

generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-11-17 17:29:42 +0000

ass="nt">span class="Constant">local-scope 43 assume-resources [ 44 ¦ [a] <- [ 45 ¦ ¦ |abc| 46 ¦ ] 47 ] 48 <a href='075channel.mu.html#L47'>sink</a>:&:<a href='075channel.mu.html#L47'>sink</a>:char, writer:num/routine <- <a href='088file.mu.html#L105'>start-writing</a> <a href='088file.mu.html#L11'>resources</a>, [b] 49 <a href='075channel.mu.html#L47'>sink</a> <- <a href='075channel.mu.html#L67'>write</a> <a href='075channel.mu.html#L47'>sink</a>, 120/x 50 <a href='075channel.mu.html#L47'>sink</a> <- <a href='075channel.mu.html#L67'>write</a> <a href='075channel.mu.html#L47'>sink</a>, 121/y 51 close <a href='075channel.mu.html#L47'>sink</a> 52 wait-for-routine writer 53 contents-read-back:text <- <a href='088file.mu.html#L38'>slurp</a> <a href='088file.mu.html#L11'>resources</a>, [b] 54 10:bool/raw <- equal contents-read-back, [xy] 55 memory-should-contain [ 56 ¦ 10 <- 1 # file contents read back exactly match what was written 57 ] 58 ] 59 60 scenario write-to-fake-file-that-exists [ 61 local-scope 62 assume-resources [ 63 ¦ [a] <- [] 64 ] 65 <a href='075channel.mu.html#L47'>sink</a>:&:<a href='075channel.mu.html#L47'>sink</a>:char, writer:num/routine <- <a href='088file.mu.html#L105'>start-writing</a> <a href='088file.mu.html#L11'>resources</a>, [a] 66 <a href='075channel.mu.html#L47'>sink</a> <- <a href='075channel.mu.html#L67'>write</a> <a href='075channel.mu.html#L47'>sink</a>, 120/x 67 <a href='075channel.mu.html#L47'>sink</a> <- <a href='075channel.mu.html#L67'>write</a> <a href='075channel.mu.html#L47'>sink</a>, 121/y 68 close <a href='075channel.mu.html#L47'>sink</a> 69 wait-for-routine writer 70 contents-read-back:text <- <a href='088file.mu.html#L38'>slurp</a> <a href='088file.mu.html#L11'>resources</a>, [a] 71 10:bool/raw <- equal contents-read-back, [xy] 72 memory-should-contain [ 73 ¦ 10 <- 1 # file contents read back exactly match what was written 74 ] 75 ] 76 77 scenario write-to-existing-file-preserves-other-files [ 78 local-scope 79 assume-resources [ 80 ¦ [a] <- [] 81 ¦ [b] <- [ 82 ¦ ¦ |bcd| 83 ¦ ] 84 ] 85 <a href='075channel.mu.html#L47'>sink</a>:&:<a href='075channel.mu.html#L47'>sink</a>:char, writer:num/routine <- <a href='088file.mu.html#L105'>start-writing</a> <a href='088file.mu.html#L11'>resources</a>, [a] 86 <a href='075channel.mu.html#L47'>sink</a> <- <a href='075channel.mu.html#L67'>write</a> <a href='075channel.mu.html#L47'>sink</a>, 120/x 87 <a href='075channel.mu.html#L47'>sink</a> <- <a href='075channel.mu.html#L67'>write</a> <a href='075channel.mu.html#L47'>sink</a>, 121/y 88 close <a href='075channel.mu.html#L47'>sink</a> 89 wait-for-routine writer 90 contents-read-back:text <- <a href='088file.mu.html#L38'>slurp</a> <a href='088file.mu.html#L11'>resources</a>, [a] 91 10:bool/raw <- equal contents-read-back, [xy] 92 other-file-contents:text <- <a href='088file.mu.html#L38'>slurp</a> <a href='088file.mu.html#L11'>resources</a>, [b] 93 11:bool/raw <- equal other-file-contents, [bcd 94 ] 95 memory-should-contain [ 96 ¦ 10 <- 1 # file contents read back exactly match what was written 97 ¦ 11 <- 1 # other files also continue to persist unchanged 98 ] 99 ] </pre> </body> </html>