013update_operation.cc.html « html - mu - Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.

blob: d13f248b99868b386a5d68bc4f6f125d42921e54 (plain) (tree)

76755b28 ^

a654e4ec ^

76755b28 ^

a654e4ec ^

76755b28 ^

a654e4ec ^

e6056999 ^

a654e4ec ^

76755b28 ^

ee67ca53 ^

4690ce81 ^

a654e4ec ^

70f4e9b6 ^

76755b28 ^

a654e4ec generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-11-22 16:52:44 +0000

span class="Constant">local-scope 57 load-ingredients 58 session:num <- $accept socket 59 assert session, [ 60 F - example-server-test: $accept failed] 61 contents:&:<a href='075channel.mu.html#L43'>source</a>:char, <a href='075channel.mu.html#L47'>sink</a>:&:<a href='075channel.mu.html#L47'>sink</a>:char <- <a href='075channel.mu.html#L51'>new-channel</a> 30 62 start-running <a href='092socket.mu.html#L104'>receive-from-socket</a> session, <a href='075channel.mu.html#L47'>sink</a> 63 query:text <- <a href='075channel.mu.html#L487'>drain</a> contents 64 response:text <- call request-handler, query 65 <a href='092socket.mu.html#L132'>write-to-socket</a> session, response 66 session <- $close-socket session 67 ] 68 69 def <a href='092socket.mu.html#L69'>start-reading-from-network</a> <a href='088file.mu.html#L11'>resources</a>:&:<a href='088file.mu.html#L11'>resources</a>, uri:text -> contents:&:<a href='075channel.mu.html#L43'>source</a>:char [ 70 local-scope 71 load-ingredients 72 { 73 ¦ port:num, port-found?:boolean <- next-ingredient 74 ¦ break-if port-found? 75 ¦ port <- copy 80/http-port 76 } 77 { 78 ¦ break-unless <a href='088file.mu.html#L11'>resources</a> 79 ¦ # fake network 80 ¦ contents <- <a href='088file.mu.html#L53'>start-reading-from-fake-resource</a> <a href='088file.mu.html#L11'>resources</a>, uri 81 ¦ return 82 } 83 # real network 84 host:text, path:text <- <a href='092socket.mu.html#L148'>split-at</a> uri, 47/slash 85 socket:num <- $open-client-socket host, port 86 assert socket, [contents] 87 req:text <- <a href='061text.mu.html#L505'>interpolate</a> [GET _ HTTP/1.1], path 88 <a href='092socket.mu.html#L93'>request-socket</a> socket, req 89 contents:&:<a href='075channel.mu.html#L43'>source</a>:char, <a href='075channel.mu.html#L47'>sink</a>:&:<a href='075channel.mu.html#L47'>sink</a>:char <- <a href='075channel.mu.html#L51'>new-channel</a> 10000 90 start-running <a href='092socket.mu.html#L125'>receive-from-client-socket-and-close</a> socket, <a href='075channel.mu.html#L47'>sink</a> 91 ] 92 93 def <a href='092socket.mu.html#L93'>request-socket</a> socket:num, s:text -> socket:num [ 94 local-scope 95 load-ingredients 96 <a href='092socket.mu.html#L132'>write-to-socket</a> socket, s 97 $write-to-socket socket, 13/cr 98 $write-to-socket socket, 10/lf 99 # empty line to delimit request 100 $write-to-socket socket, 13/cr 101 $write-to-socket socket, 10/lf 102 ] 103 104 def <a href='092socket.mu.html#L104'>receive-from-socket</a> socket:num, <a href='075channel.mu.html#L47'>sink</a>:&:<a href='075channel.mu.html#L47'>sink</a>:char -> <a href='075channel.mu.html#L47'>sink</a>:&:<a href='075channel.mu.html#L47'>sink</a>:char, socket:num [ 105 local-scope 106 load-ingredients 107 { 108 ¦ +next-attempt 109 ¦ c:char, found?:bool, eof?:bool, error:num <- $read-from-socket socket 110 ¦ break-if eof? 111 ¦ break-if error 112 ¦ { 113 ¦ ¦ break-unless found? 114 ¦ ¦ <a href='075channel.mu.html#L47'>sink</a> <- <a href='075channel.mu.html#L66'>write</a> <a href='075channel.mu.html#L47'>sink</a>, c 115 ¦ } 116 ¦ { 117 ¦ ¦ break-if found? 118 ¦ ¦ switch 119 ¦ } 120 ¦ loop 121 } 122 <a href='075channel.mu.html#L47'>sink</a> <- close <a href='075channel.mu.html#L47'>sink</a> 123 ] 124 125 def <a href='092socket.mu.html#L125'>receive-from-client-socket-and-close</a> socket:num, <a href='075channel.mu.html#L47'>sink</a>:&:<a href='075channel.mu.html#L47'>sink</a>:char -> <a href='075channel.mu.html#L47'>sink</a>:&:<a href='075channel.mu.html#L47'>sink</a>:char, socket:num [ 126 local-scope 127 load-ingredients 128 <a href='075channel.mu.html#L47'>sink</a> <- <a href='092socket.mu.html#L104'>receive-from-socket</a> socket, <a href='075channel.mu.html#L47'>sink</a> 129 socket <- $close-socket socket 130 ] 131 132 def <a href='092socket.mu.html#L132'>write-to-socket</a> socket:num, s:text [ 133 local-scope 134 load-ingredients 135 len:num <- length *s 136 i:num <- copy 0 137 { 138 ¦ done?:bool <- greater-or-equal i, len 139 ¦ break-if done? 140 ¦ c:char <- index *s, i 141 ¦ $write-to-socket socket, c 142 ¦ i <- add i, 1 143 ¦ loop 144 } 145 ] 146 147 # like split-first, but don't eat the delimiter 148 def <a href='092socket.mu.html#L148'>split-at</a> text:text, delim:char -> x:text, y:text [ 149 local-scope 150 load-ingredients 151 # empty text? return empty texts 152 len:num <- length *text 153 { 154 ¦ empty?:bool <- equal len, 0 155 ¦ break-unless empty? 156 ¦ x:text <- new [] 157 ¦ y:text <- new [] 158 ¦ return 159 } 160 idx:num <- find-next text, delim, 0 161 x:text <- <a href='061text.mu.html#L1278'>copy-range</a> text, 0, idx 162 y:text <- <a href='061text.mu.html#L1278'>copy-range</a> text, idx, len 163 ] 164 165 scenario text-split-at [ 166 local-scope 167 x:text <- new [a/b] 168 run [ 169 ¦ y:text, z:text <- <a href='092socket.mu.html#L148'>split-at</a> x, 47/slash 170 ¦ 10:@:char/raw <- copy *y 171 ¦ 20:@:char/raw <- copy *z 172 ] 173 memory-should-contain [ 174 ¦ 10:array:character <- [a] 175 ¦ 20:array:character <- [/b] 176 ] 177 ] </pre> </body> </html>