012transform.cc - mu - Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.

blob: 614e53edb5067a325e5795454277918f48bd5b0d (plain) (tree)

8c9e97ae ^

37e4573b ^

ca01193d ^

ac0e9db5 ^

decaddb4 ^

37e4573b ^

363be37f ^

37e4573b ^

ac0e9db5 ^

363be37f ^

37e4573b ^

363be37f ^

37e4573b ^

3ba63579 ^

363be37f ^

3ba63579 ^

ac0e9db5 ^

05d17773 ^

ac0e9db5 ^

05d17773 ^

3ba63579 ^

ac0e9db5 ^

05d17773 ^

3ba63579 ^

9cc16d04 ^

7f73795c ^

0f125d5f generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-07-06 05:56:42 +0000

v:&: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#L107'>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#L107'>render</a> 77 ¦ <a href='../081print.mu.html#L16'>screen</a> <- <a href='004-programming-environment.mu.html#L472'>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-ingredients 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?, 0/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#L381'>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-ingredients 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, 0/false 104 clicked-on-delete-button? <- copy 1/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-ingredients 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#L107'>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#L3597'>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#L107'>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#L3597'>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#L107'>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#L3597'>page-down</a> 261 ¦ press <a href='003-shortcuts.mu.html#L3597'>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#L107'>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#L3597'>page-down</a> 327 ¦ press <a href='003-shortcuts.mu.html#L3597'>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>