5118 - convert int to string - mu - Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.

diff options

author	Kartik Agaram <vc@akkartik.com>	2019-04-23 20:25:04 -0700
committer	Kartik Agaram <vc@akkartik.com>	2019-04-23 20:25:04 -0700
commit	d4e7f835a8cfc84958c4c95f3604c3965337e436 (patch)
tree	c9dbaaf328ee05aeb271ec6f941ae4a8536f92c7 /055shape_shifting_container.cc
parent	aa0e9bbe7cc4108773a2e1030b3f16dca52be068 (diff)
download	mu-d4e7f835a8cfc84958c4c95f3604c3965337e436.tar.gz

5118 - convert int to string

Diffstat (limited to '055shape_shifting_container.cc')

0 files changed, 0 insertions, 0 deletions

<!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 - edit/007-sandbox-delete.mu</title> <meta name="Generator" content="Vim/8.0"> <meta name="plugin-version" content="vim7.4_v2"> <meta name="syntax" content="none"> <meta name="settings" content="number_lines,use_css,pre_wrap,no_foldcolumn,expand_tabs,line_ids,prevent_copy="> <meta name="colorscheme" content="minimal"> <style type="text/css">  </style> <script type='text/javascript'>  </script> </head> <body onload='JumpToLine();'> <pre id='vimCodeElement'> 1 ## deleting sandboxes 2 3 scenario deleting-sandboxes [ 4 local-scope 5 trace-until 100/app # trace too long 6 assume-screen 100/width, 15/height 7 assume-resources [ 8 ] 9 env:&:environment <- <a href='004-programming-environment.mu.html#L21'>new-programming-environment</a> <a href='../088file.mu.html#L11'>resources</a>, <a href='../081print.mu.html#L16'>screen</a>, [] 10 <a href='004-programming-environment.mu.html#L402'>render-all</a> <a href='../081print.mu.html#L16'>screen</a>, env, <a href='001-editor.mu.html#L109'>render</a> 11 # run a few commands 12 assume-console [ 13 left-click 1, 75 14 type [divide-with-remainder 11, 3] 15 press F4 16 type [add 2, 2] 17 press F4 18 ] 19 <a href='004-programming-environment.mu.html#L39'>event-loop</a> <a href='../081print.mu.html#L16'>screen</a>, <a href='../084console.mu.html#L23'>console</a>, env, <a href='../088file.mu.html#L11'>resources</a> 20 screen-should-contain [ 21 . run (F4) . 22 . ╎ . 23 .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────. 24 . ╎0 edit copy to recipe delete . 25 . ╎add 2, 2 . 26 . ╎4 . 27 . ╎─────────────────────────────────────────────────. 28 . ╎1 edit copy to recipe delete . 29 . ╎divide-with-remainder 11, 3 . 30 . ╎3 . 31 . ╎2 . 32 . ╎─────────────────────────────────────────────────. 33 . ╎ . 34 ] 35 # delete second sandbox by clicking on left edge of 'delete' button 36 assume-console [ 37 left-click 7, 90 38 ] 39 run [ 40 <a href='004-programming-environment.mu.html#L39'>event-loop</a> <a href='../081print.mu.html#L16'>screen</a>, <a href='../084console.mu.html#L23'>console</a>, env, <a href='../088file.mu.html#L11'>resources</a> 41 ] 42 screen-should-contain [ 43 . run (F4) . 44 . ╎ . 45 .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────. 46 . ╎0 edit copy to recipe delete . 47 . ╎add 2, 2 . 48 . ╎4 . 49 . ╎─────────────────────────────────────────────────. 50 . ╎ . 51 . ╎ . 52 ] 53 # delete first sandbox by clicking at right edge of 'delete' button 54 assume-console [ 55 left-click 3, 99 56 ] 57 run [ 58 <a href='004-programming-environment.mu.html#L39'>event-loop</a> <a href='../081print.mu.html#L16'>screen</a>, <a href='../084console.mu.html#L23'>console</a>, env, <a href='../088file.mu.html#L11'>resources</a> 59 ] 60 screen-should-contain [ 61 . run (F4) . 62 . ╎ . 63 .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────. 64 . ╎ . 65 . ╎ . 66 ] 67 ] 68 69 after <a href='004-programming-environment.mu.html#L81'><global-touch></a> [ 70 # support 'delete' button 71 { 72 delete?:bool <- <a href='007-sandbox-delete.mu.html#L83'>should-attempt-delete?</a> click-row, click-column, env 73 break-unless delete? 74 delete?, env <- <a href='007-sandbox-delete.mu.html#L98'>try-delete-sandbox</a> click-row, env 75 break-unless delete? 76 <a href='../081print.mu.html#L16'>screen</a> <- render-sandbox-side <a href='../081print.mu.html#L16'>screen</a>, env, <a href='001-editor.mu.html#L109'>render</a> 77 <a href='../081print.mu.html#L16'>screen</a> <- <a href='004-programming-environment.mu.html#L468'>update-cursor</a> <a href='../081print.mu.html#L16'>screen</a>, recipes, current-sandbox, sandbox-in-focus?, env 78 loop +next-event 79 } 80 ] 81 82 # some preconditions for attempting to delete a sandbox 83 def <a href='007-sandbox-delete.mu.html#L83'>should-attempt-delete?</a> click-row:num, click-column:num, env:&:environment -> result:bool [ 84 local-scope 85 load-inputs 86 # are we below the sandbox editor? 87 click-sandbox-area?:bool <- <a href='006-sandbox-copy.mu.html#L190'>click-on-sandbox-area?</a> click-row, click-column, env 88 return-unless click-sandbox-area?, false 89 # narrower, is the click in the columns spanning the 'copy' button? 90 first-sandbox:&:editor <- get *env, current-sandbox:offset 91 assert first-sandbox, [!!] 92 sandbox-left-margin:num <- get *first-sandbox, left:offset 93 sandbox-right-margin:num <- get *first-sandbox, right:offset 94 _, _, _, _, _, _, delete-button-left:num <- <a href='005-sandbox.mu.html#L376'>sandbox-menu-columns</a> sandbox-left-margin, sandbox-right-margin 95 result <- <a href='006-sandbox-copy.mu.html#L211'>within-range?</a> click-column, delete-button-left, sandbox-right-margin 96 ] 97 98 def <a href='007-sandbox-delete.mu.html#L98'>try-delete-sandbox</a> click-row:num, env:&:environment -> clicked-on-delete-button?:bool, env:&:environment [ 99 local-scope 100 load-inputs 101 # identify the sandbox to delete, if the click was actually on the 'delete' button 102 sandbox:&:sandbox <- <a href='006-sandbox-copy.mu.html#L175'>find-sandbox</a> env, click-row 103 return-unless sandbox, false 104 clicked-on-delete-button? <- copy true 105 env <- <a href='007-sandbox-delete.mu.html#L108'>delete-sandbox</a> env, sandbox 106 ] 107 108 def <a href='007-sandbox-delete.mu.html#L108'>delete-sandbox</a> env:&:environment, sandbox:&:sandbox -> env:&:environment [ 109 local-scope 110 load-inputs 111 curr-sandbox:&:sandbox <- get *env, sandbox:offset 112 first-sandbox?:bool <- equal curr-sandbox, sandbox 113 { 114 # first sandbox? pop 115 break-unless first-sandbox? 116 next-sandbox:&:sandbox <- get *curr-sandbox, next-sandbox:offset 117 *env <- put *env, sandbox:offset, next-sandbox 118 } 119 { 120 # not first sandbox? 121 break-if first-sandbox? 122 prev-sandbox:&:sandbox <- copy curr-sandbox 123 curr-sandbox <- get *curr-sandbox, next-sandbox:offset 124 { 125 assert curr-sandbox, [sandbox not found! something is wrong.] 126 found?:bool <- equal curr-sandbox, sandbox 127 break-if found? 128 prev-sandbox <- copy curr-sandbox 129 curr-sandbox <- get *curr-sandbox, next-sandbox:offset 130 loop 131 } 132 # snip sandbox out of its list 133 next-sandbox:&:sandbox <- get *curr-sandbox, next-sandbox:offset 134 *prev-sandbox <- put *prev-sandbox, next-sandbox:offset, next-sandbox 135 } 136 # update sandbox count 137 sandbox-count:num <- get *env, number-of-sandboxes:offset 138 sandbox-count <- subtract sandbox-count, 1 139 *env <- put *env, number-of-sandboxes:offset, sandbox-count 140 # reset scroll if deleted sandbox was last 141 { 142 break-if next-sandbox 143 render-from:num <- get *env, render-from:offset 144 reset-scroll?:bool <- equal render-from, sandbox-count 145 break-unless reset-scroll? 146 *env <- put *env, render-from:offset, -1 147 } 148 ] 149 150 scenario deleting-sandbox-after-scroll [ 151 local-scope 152 trace-until 100/app # trace too long 153 assume-screen 100/width, 10/height 154 # initialize environment 155 assume-resources [ 156 ] 157 env:&:environment <- <a href='004-programming-environment.mu.html#L21'>new-programming-environment</a> <a href='../088file.mu.html#L11'>resources</a>, <a href='../081print.mu.html#L16'>screen</a>, [] 158 <a href='004-programming-environment.mu.html#L402'>render-all</a> <a href='../081print.mu.html#L16'>screen</a>, env, <a href='001-editor.mu.html#L109'>render</a> 159 # create 2 sandboxes and scroll to second 160 assume-console [ 161 press ctrl-n 162 type [add 2, 2] 163 press F4 164 type [add 1, 1] 165 press F4 166 press <a href='003-shortcuts.mu.html#L3610'>page-down</a> 167 ] 168 <a href='004-programming-environment.mu.html#L39'>event-loop</a> <a href='../081print.mu.html#L16'>screen</a>, <a href='../084console.mu.html#L23'>console</a>, env, <a href='../088file.mu.html#L11'>resources</a> 169 screen-should-contain [ 170 . run (F4) . 171 . ╎─────────────────────────────────────────────────. 172 .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎0 edit copy to recipe delete . 173 . ╎add 1, 1 . 174 . ╎2 . 175 . ╎─────────────────────────────────────────────────. 176 . ╎1 edit copy to recipe delete . 177 ] 178 # delete the second sandbox 179 assume-console [ 180 left-click 6, 99 181 ] 182 run [ 183 <a href='004-programming-environment.mu.html#L39'>event-loop</a> <a href='../081print.mu.html#L16'>screen</a>, <a href='../084console.mu.html#L23'>console</a>, env, <a href='../088file.mu.html#L11'>resources</a> 184 ] 185 # second sandbox shows in editor; scroll resets to display first sandbox 186 screen-should-contain [ 187 . run (F4) . 188 . ╎─────────────────────────────────────────────────. 189 .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎0 edit copy to recipe delete . 190 . ╎add 1, 1 . 191 . ╎2 . 192 . ╎─────────────────────────────────────────────────. 193 . ╎ . 194 ] 195 ] 196 197 scenario deleting-top-sandbox-after-scroll [ 198 local-scope 199 trace-until 100/app # trace too long 200 assume-screen 100/width, 10/height 201 # initialize environment 202 assume-resources [ 203 ] 204 env:&:environment <- <a href='004-programming-environment.mu.html#L21'>new-programming-environment</a> <a href='../088file.mu.html#L11'>resources</a>, <a href='../081print.mu.html#L16'>screen</a>, [] 205 <a href='004-programming-environment.mu.html#L402'>render-all</a> <a href='../081print.mu.html#L16'>screen</a>, env, <a href='001-editor.mu.html#L109'>render</a> 206 # create 2 sandboxes and scroll to second 207 assume-console [ 208 press ctrl-n 209 type [add 2, 2] 210 press F4 211 type [add 1, 1] 212 press F4 213 press <a href='003-shortcuts.mu.html#L3610'>page-down</a> 214 ] 215 <a href='004-programming-environment.mu.html#L39'>event-loop</a> <a href='../081print.mu.html#L16'>screen</a>, <a href='../084console.mu.html#L23'>console</a>, env, <a href='../088file.mu.html#L11'>resources</a> 216 screen-should-contain [ 217 . run (F4) . 218 . ╎─────────────────────────────────────────────────. 219 .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎0 edit copy to recipe delete . 220 . ╎add 1, 1 . 221 . ╎2 . 222 . ╎─────────────────────────────────────────────────. 223 . ╎1 edit copy to recipe delete . 224 ] 225 # delete the second sandbox 226 assume-console [ 227 left-click 2, 99 228 ] 229 run [ 230 <a href='004-programming-environment.mu.html#L39'>event-loop</a> <a href='../081print.mu.html#L16'>screen</a>, <a href='../084console.mu.html#L23'>console</a>, env, <a href='../088file.mu.html#L11'>resources</a> 231 ] 232 # second sandbox shows in editor; scroll resets to display first sandbox 233 screen-should-contain [ 234 . run (F4) . 235 . ╎─────────────────────────────────────────────────. 236 .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎0 edit copy to recipe delete . 237 . ╎add 2, 2 . 238 . ╎4 . 239 . ╎─────────────────────────────────────────────────. 240 . ╎ . 241 ] 242 ] 243 244 scenario deleting-final-sandbox-after-scroll [ 245 local-scope 246 trace-until 100/app # trace too long 247 assume-screen 100/width, 10/height 248 # initialize environment 249 assume-resources [ 250 ] 251 env:&:environment <- <a href='004-programming-environment.mu.html#L21'>new-programming-environment</a> <a href='../088file.mu.html#L11'>resources</a>, <a href='../081print.mu.html#L16'>screen</a>, [] 252 <a href='004-programming-environment.mu.html#L402'>render-all</a> <a href='../081print.mu.html#L16'>screen</a>, env, <a href='001-editor.mu.html#L109'>render</a> 253 # create 2 sandboxes and scroll to second 254 assume-console [ 255 press ctrl-n 256 type [add 2, 2] 257 press F4 258 type [add 1, 1] 259 press F4 260 press <a href='003-shortcuts.mu.html#L3610'>page-down</a> 261 press <a href='003-shortcuts.mu.html#L3610'>page-down</a> 262 ] 263 <a href='004-programming-environment.mu.html#L39'>event-loop</a> <a href='../081print.mu.html#L16'>screen</a>, <a href='../084console.mu.html#L23'>console</a>, env, <a href='../088file.mu.html#L11'>resources</a> 264 screen-should-contain [ 265 . run (F4) . 266 . ╎─────────────────────────────────────────────────. 267 .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎1 edit copy to recipe delete . 268 . ╎add 2, 2 . 269 . ╎4 . 270 . ╎─────────────────────────────────────────────────. 271 . ╎ . 272 ] 273 # delete the second sandbox 274 assume-console [ 275 left-click 2, 99 276 ] 277 run [ 278 <a href='004-programming-environment.mu.html#L39'>event-loop</a> <a href='../081print.mu.html#L16'>screen</a>, <a href='../084console.mu.html#L23'>console</a>, env, <a href='../088file.mu.html#L11'>resources</a> 279 ] 280 # implicitly scroll up to first sandbox 281 screen-should-contain [ 282 . run (F4) . 283 . ╎ . 284 .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────. 285 . ╎0 edit copy to recipe delete . 286 . ╎add 1, 1 . 287 . ╎2 . 288 . ╎─────────────────────────────────────────────────. 289 . ╎ . 290 ] 291 ] 292 293 scenario deleting-updates-sandbox-count [ 294 local-scope 295 trace-until 100/app # trace too long 296 assume-screen 100/width, 10/height 297 # initialize environment 298 assume-resources [ 299 ] 300 env:&:environment <- <a href='004-programming-environment.mu.html#L21'>new-programming-environment</a> <a href='../088file.mu.html#L11'>resources</a>, <a href='../081print.mu.html#L16'>screen</a>, [] 301 <a href='004-programming-environment.mu.html#L402'>render-all</a> <a href='../081print.mu.html#L16'>screen</a>, env, <a href='001-editor.mu.html#L109'>render</a> 302 # create 2 sandboxes 303 assume-console [ 304 press ctrl-n 305 type [add 2, 2] 306 press F4 307 type [add 1, 1] 308 press F4 309 ] 310 <a href='004-programming-environment.mu.html#L39'>event-loop</a> <a href='../081print.mu.html#L16'>screen</a>, <a href='../084console.mu.html#L23'>console</a>, env, <a href='../088file.mu.html#L11'>resources</a> 311 screen-should-contain [ 312 . run (F4) . 313 . ╎ . 314 .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────. 315 . ╎0 edit copy to recipe delete . 316 . ╎add 1, 1 . 317 . ╎2 . 318 . ╎─────────────────────────────────────────────────. 319 . ╎1 edit copy to recipe delete . 320 . ╎add 2, 2 . 321 . ╎4 . 322 ] 323 # delete the second sandbox, then try to scroll down twice 324 assume-console [ 325 left-click 3, 99 326 press <a href='003-shortcuts.mu.html#L3610'>page-down</a> 327 press <a href='003-shortcuts.mu.html#L3610'>page-down</a> 328 ] 329 run [ 330 <a href='004-programming-environment.mu.html#L39'>event-loop</a> <a href='../081print.mu.html#L16'>screen</a>, <a href='../084console.mu.html#L23'>console</a>, env, <a href='../088file.mu.html#L11'>resources</a> 331 ] 332 # shouldn't go past last sandbox 333 screen-should-contain [ 334 . run (F4) . 335 . ╎─────────────────────────────────────────────────. 336 .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎0 edit copy to recipe delete . 337 . ╎add 2, 2 . 338 . ╎4 . 339 . ╎─────────────────────────────────────────────────. 340 . ╎ . 341 ] 342 ] </pre> </body> </html>


context:
space:
mode: