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

about summary refs log tree commit diff stats

path: root/html/055shape_shifting_container.cc.html

diff options

author	Kartik Agaram <vc@akkartik.com>	2018-12-30 12:58:21 -0800
committer	Kartik Agaram <vc@akkartik.com>	2018-12-30 12:58:21 -0800
commit	0474ec865af12cff08dd255954fbccf6d38085e6 (patch)
tree	738a543c5bf061c08f454753081e8bc9f451a982 /html/055shape_shifting_container.cc.html
parent	5a68894ca16f1a67112695990446c1b29da4f5c0 (diff)
download	mu-0474ec865af12cff08dd255954fbccf6d38085e6.tar.gz

4898

Diffstat (limited to 'html/055shape_shifting_container.cc.html')

0 files changed, 0 insertions, 0 deletions

t/007-sandbox-delete.mu?h=hlt&id=f53746f80145a184b5e4a6974175e2f92f49dcba'>^

a90faae9 ^

898f03cc ^

a90faae9 ^

294b2ab3 ^

a90faae9 ^

71056d61 ^

ceeb92d4 ^

898f03cc ^

71056d61 ^

ceeb92d4 ^

898f03cc ^

71056d61 ^

ceeb92d4 ^

71056d61 ^

a90faae9 ^

607ddf33 ^

a90faae9 ^

898f03cc ^

a90faae9 ^

294b2ab3 ^

a90faae9 ^

71056d61 ^

ceeb92d4 ^

898f03cc ^

71056d61 ^

ceeb92d4 ^

71056d61 ^

a90faae9 ^

607ddf33 ^

a90faae9 ^

294b2ab3 ^

a90faae9 ^

71056d61 ^

ceeb92d4 ^

71056d61 ^

a90faae9 ^

09b8717b ^

a90faae9 ^

3d8b137c ^

09b8717b ^

4e7186fa ^

ea5e7fd4 ^

ada5eb55 ^

a90faae9 ^

09b8717b ^

2d91279b ^

a90faae9 ^

4a48bedc ^

09b8717b ^

3d8b137c ^

dd660682 ^

09b8717b ^

2d91279b ^

09b8717b ^

3d8b137c ^

898f03cc ^

09b8717b ^

2d91279b ^

09b8717b ^

4a48bedc ^

09b8717b ^

2d91279b ^

dd660682 ^

09b8717b ^

2d91279b ^

09b8717b ^

4a48bedc ^

2d91279b ^

3d8b137c ^

ea5e7fd4 ^

09b8717b ^

2d91279b ^

09b8717b ^

ea5e7fd4 ^

a90faae9 ^

09b8717b ^

2d91279b ^

09b8717b ^

a90faae9 ^

09b8717b ^

3d8b137c ^

09b8717b ^

a90faae9 ^

09b8717b ^

2d91279b ^

09b8717b ^

a90faae9 ^

ea5e7fd4 ^

3d8b137c ^

ea5e7fd4 ^

09b8717b ^

ea5e7fd4 ^

09b8717b ^

3d8b137c ^

ea5e7fd4 ^

ea5e7fd4 ^

a01dd595 ^

6f65d591 ^

a01dd595 ^

dd30f56d ^

a01dd595 ^

294b2ab3 ^

6f65d591 ^

a01dd595 ^

11569717 ^

a01dd595 ^

294b2ab3 ^

a01dd595 ^

dd30f56d ^

ceeb92d4 ^

898f03cc ^

71056d61 ^

ceeb92d4 ^

898f03cc ^

a01dd595 ^

dd30f56d ^

a01dd595 ^

294b2ab3 ^

a01dd595 ^

dd30f56d ^

ceeb92d4 ^

898f03cc ^

71056d61 ^

ceeb92d4 ^

71056d61 ^

a01dd595 ^

6f65d591 ^

a01dd595 ^

dd30f56d ^

a01dd595 ^

294b2ab3 ^

6f65d591 ^

a01dd595 ^

11569717 ^

a01dd595 ^

294b2ab3 ^

a01dd595 ^

dd30f56d ^

ceeb92d4 ^

898f03cc ^

71056d61 ^

ceeb92d4 ^

898f03cc ^

a01dd595 ^

dd30f56d ^

a01dd595 ^

294b2ab3 ^

a01dd595 ^

dd30f56d ^

ceeb92d4 ^

898f03cc ^

71056d61 ^

ceeb92d4 ^

71056d61 ^

a01dd595 ^

6f65d591 ^

a01dd595 ^

dd30f56d ^

a01dd595 ^

294b2ab3 ^

6f65d591 ^

a01dd595 ^

11569717 ^

a01dd595 ^

294b2ab3 ^

a01dd595 ^

dd30f56d ^

ceeb92d4 ^

898f03cc ^

71056d61 ^

ceeb92d4 ^

71056d61 ^

a01dd595 ^

dd30f56d ^

a01dd595 ^

294b2ab3 ^

a01dd595 ^

dd30f56d ^

71056d61 ^

ceeb92d4 ^

898f03cc ^

71056d61 ^

ceeb92d4 ^

71056d61 ^

a01dd595 ^

6f65d591 ^

a01dd595 ^

dd30f56d ^

a01dd595 ^

294b2ab3 ^

6f65d591 ^

a01dd595 ^

294b2ab3 ^

a01dd595 ^

dd30f56d ^

71056d61 ^

ceeb92d4 ^

898f03cc ^

71056d61 ^

ceeb92d4 ^

898f03cc ^

71056d61 ^

a01dd595 ^

dd30f56d ^

11569717 ^

a01dd595 ^

294b2ab3 ^

a01dd595 ^

dd30f56d ^

ceeb92d4 ^

898f03cc ^

71056d61 ^

ceeb92d4 ^

71056d61 ^

a01dd595 ^

1
2
3

7
8
9

11
12

20
21

25
26

29
30
31

38
39

41
42
43

47
48

50
51

59
60
61

64
65

73
74
75

79
80
81

92
93

95
96
97

103
104

105
106
107

114
115

120
121

138
139

143
144

155
156
157

173
174

177
178
179

181
182

184
185
186

190
191

202
203
204

220
221

224
225
226

228
229

231
232
233

237
238

249
250
251

260
261

268
269

272
273
274

276
277

279
280
281

286
287

298
299
300

316
317

320
321

322
323
324

326
327

328
329

331
332
333

337
338

341
342

## deleting sandboxes

scenario deleting-sandboxes [
  local-scope
  trace-until 100/app  # trace too long
  assume-screen 100/width, 15/height
  assume-resources [
  ]
  env:&:environment <- new-programming-environment resources, screen, []
  render-all screen, env, render
  # run a few commands
  assume-console [
    left-click 1, 75
    type [divide-with-remainder 11, 3]
    press F4
    type [add 2, 2]
    press F4
  ]
  event-loop screen, console, env, resources
  screen-should-contain [
    .                                                                                 run (F4)           .
    .                                                  ┊                                                 .
    .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊─────────────────────────────────────────────────.
    .                                                  ┊0   edit       copy       to recipe    delete    .
    .                                                  ┊add 2, 2                                         .
    .                                                  ┊4                                                .
    .                                                  ┊─────────────────────────────────────────────────.
    .                                                  ┊1   edit       copy       to recipe    delete    .
    .                                                  ┊divide-with-remainder 11, 3                      .
    .                                                  ┊3                                                .
    .                                                  ┊2                                                .
    .                                                  ┊─────────────────────────────────────────────────.
    .                                                  ┊                                                 .
  ]
  # delete second sandbox by clicking on left edge of 'delete' button
  assume-console [
    left-click 7, 90
  ]
  run [
    event-loop screen, console, env, resources
  ]
  screen-should-contain [
    .                                                                                 run (F4)           .
    .                                                  ┊                                                 .
    .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊─────────────────────────────────────────────────.
    .                                                  ┊0   edit       copy       to recipe    delete    .
    .                                                  ┊add 2, 2                                         .
    .                                                  ┊4                                                .
    .                                                  ┊─────────────────────────────────────────────────.
    .                                                  ┊                                                 .
    .                                                  ┊                                                 .
  ]
  # delete first sandbox by clicking at right edge of 'delete' button
  assume-console [
    left-click 3, 99
  ]
  run [
    event-loop screen, console, env, resources
  ]
  screen-should-contain [
    .                                                                                 run (F4)           .
    .                                                  ┊                                                 .
    .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊─────────────────────────────────────────────────.
    .                                                  ┊                                                 .
    .                                                  ┊                                                 .
  ]
]

after <global-touch> [
  # support 'delete' button
  {
    delete?:bool <- should-attempt-delete? click-row, click-column, env
    break-unless delete?
    delete?, env <- try-delete-sandbox click-row, env
    break-unless delete?
    screen <- render-sandbox-side screen, env, render
    screen <- update-cursor screen, recipes, current-sandbox, sandbox-in-focus?, env
    loop +next-event
  }
]

# some preconditions for attempting to delete a sandbox
def should-attempt-delete? click-row:num, click-column:num, env:&:environment -> result:bool [
  local-scope
  load-inputs
  # are we below the sandbox editor?
  click-sandbox-area?:bool <- click-on-sandbox-area? click-row, click-column, env
  return-unless click-sandbox-area?, false
  # narrower, is the click in the columns spanning the 'copy' button?
  first-sandbox:&:editor <- get *env, current-sandbox:offset
  assert first-sandbox, [!!]
  sandbox-left-margin:num <- get *first-sandbox, left:offset
  sandbox-right-margin:num <- get *first-sandbox, right:offset
  _, _, _, _, _, _, delete-button-left:num <- sandbox-menu-columns sandbox-left-margin, sandbox-right-margin
  result <- within-range? click-column, delete-button-left, sandbox-right-margin
]

def try-delete-sandbox click-row:num, env:&:environment -> clicked-on-delete-button?:bool, env:&:environment [
  local-scope
  load-inputs
  # identify the sandbox to delete, if the click was actually on the 'delete' button
  sandbox:&:sandbox <- find-sandbox env, click-row
  return-unless sandbox, false
  clicked-on-delete-button? <- copy true
  env <- delete-sandbox env, sandbox
]

def delete-sandbox env:&:environment, sandbox:&:sandbox -> env:&:environment [
  local-scope
  load-inputs
  curr-sandbox:&:sandbox <- get *env, sandbox:offset
  first-sandbox?:bool <- equal curr-sandbox, sandbox
  {
    # first sandbox? pop
    break-unless first-sandbox?
    next-sandbox:&:sandbox <- get *curr-sandbox, next-sandbox:offset
    *env <- put *env, sandbox:offset, next-sandbox
  }
  {
    # not first sandbox?
    break-if first-sandbox?
    prev-sandbox:&:sandbox <- copy curr-sandbox
    curr-sandbox <- get *curr-sandbox, next-sandbox:offset
    {
      assert curr-sandbox, [sandbox not found! something is wrong.]
      found?:bool <- equal curr-sandbox, sandbox
      break-if found?
      prev-sandbox <- copy curr-sandbox
      curr-sandbox <- get *curr-sandbox, next-sandbox:offset
      loop
    }
    # snip sandbox out of its list
    next-sandbox:&:sandbox <- get *curr-sandbox, next-sandbox:offset
    *prev-sandbox <- put *prev-sandbox, next-sandbox:offset, next-sandbox
  }
  # update sandbox count
  sandbox-count:num <- get *env, number-of-sandboxes:offset
  sandbox-count <- subtract sandbox-count, 1
  *env <- put *env, number-of-sandboxes:offset, sandbox-count
  # reset scroll if deleted sandbox was last
  {
    break-if next-sandbox
    render-from:num <- get *env, render-from:offset
    reset-scroll?:bool <- equal render-from, sandbox-count
    break-unless reset-scroll?
    *env <- put *env, render-from:offset, -1
  }
]

scenario deleting-sandbox-after-scroll [
  local-scope
  trace-until 100/app  # trace too long
  assume-screen 100/width, 10/height
  # initialize environment
  assume-resources [
  ]
  env:&:environment <- new-programming-environment resources, screen, []
  render-all screen, env, render
  # create 2 sandboxes and scroll to second
  assume-console [
    press ctrl-n
    type [add 2, 2]
    press F4
    type [add 1, 1]
    press F4
    press page-down
  ]
  event-loop screen, console, env, resources
  screen-should-contain [
    .                                                                                 run (F4)           .
    .                                                  ┊─────────────────────────────────────────────────.
    .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊0   edit       copy       to recipe    delete    .
    .                                                  ┊add 1, 1                                         .
    .                                                  ┊2                                                .
    .                                                  ┊─────────────────────────────────────────────────.
    .                                                  ┊1   edit       copy       to recipe    delete    .
  ]
  # delete the second sandbox
  assume-console [
    left-click 6, 99
  ]
  run [
    event-loop screen, console, env, resources
  ]
  # second sandbox shows in editor; scroll resets to display first sandbox
  screen-should-contain [
    .                                                                                 run (F4)           .
    .                                                  ┊─────────────────────────────────────────────────.
    .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊0   edit       copy       to recipe    delete    .
    .                                                  ┊add 1, 1                                         .
    .                                                  ┊2                                                .
    .                                                  ┊─────────────────────────────────────────────────.
    .                                                  ┊                                                 .
  ]
]

scenario deleting-top-sandbox-after-scroll [
  local-scope
  trace-until 100/app  # trace too long
  assume-screen 100/width, 10/height
  # initialize environment
  assume-resources [
  ]
  env:&:environment <- new-programming-environment resources, screen, []
  render-all screen, env, render
  # create 2 sandboxes and scroll to second
  assume-console [
    press ctrl-n
    type [add 2, 2]
    press F4
    type [add 1, 1]
    press F4
    press page-down
  ]
  event-loop screen, console, env, resources
  screen-should-contain [
    .                                                                                 run (F4)           .
    .                                                  ┊─────────────────────────────────────────────────.
    .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊0   edit       copy       to recipe    delete    .
    .                                                  ┊add 1, 1                                         .
    .                                                  ┊2                                                .
    .                                                  ┊─────────────────────────────────────────────────.
    .                                                  ┊1   edit       copy       to recipe    delete    .
  ]
  # delete the second sandbox
  assume-console [
    left-click 2, 99
  ]
  run [
    event-loop screen, console, env, resources
  ]
  # second sandbox shows in editor; scroll resets to display first sandbox
  screen-should-contain [
    .                                                                                 run (F4)           .
    .                                                  ┊─────────────────────────────────────────────────.
    .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊0   edit       copy       to recipe    delete    .
    .                                                  ┊add 2, 2                                         .
    .                                                  ┊4                                                .
    .                                                  ┊─────────────────────────────────────────────────.
    .                                                  ┊                                                 .
  ]
]

scenario deleting-final-sandbox-after-scroll [
  local-scope
  trace-until 100/app  # trace too long
  assume-screen 100/width, 10/height
  # initialize environment
  assume-resources [
  ]
  env:&:environment <- new-programming-environment resources, screen, []
  render-all screen, env, render
  # create 2 sandboxes and scroll to second
  assume-console [
    press ctrl-n
    type [add 2, 2]
    press F4
    type [add 1, 1]
    press F4
    press page-down
    press page-down
  ]
  event-loop screen, console, env, resources
  screen-should-contain [
    .                                                                                 run (F4)           .
    .                                                  ┊─────────────────────────────────────────────────.
    .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊1   edit       copy       to recipe    delete    .
    .                                                  ┊add 2, 2                                         .
    .                                                  ┊4                                                .
    .                                                  ┊─────────────────────────────────────────────────.
    .                                                  ┊                                                 .
  ]
  # delete the second sandbox
  assume-console [
    left-click 2, 99
  ]
  run [
    event-loop screen, console, env, resources
  ]
  # implicitly scroll up to first sandbox
  screen-should-contain [
    .                                                                                 run (F4)           .
    .                                                  ┊                                                 .
    .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊─────────────────────────────────────────────────.
    .                                                  ┊0   edit       copy       to recipe    delete    .
    .                                                  ┊add 1, 1                                         .
    .                                                  ┊2                                                .
    .                                                  ┊─────────────────────────────────────────────────.
    .                                                  ┊                                                 .
  ]
]

scenario deleting-updates-sandbox-count [
  local-scope
  trace-until 100/app  # trace too long
  assume-screen 100/width, 10/height
  # initialize environment
  assume-resources [
  ]
  env:&:environment <- new-programming-environment resources, screen, []
  render-all screen, env, render
  # create 2 sandboxes
  assume-console [
    press ctrl-n
    type [add 2, 2]
    press F4
    type [add 1, 1]
    press F4
  ]
  event-loop screen, console, env, resources
  screen-should-contain [
    .                                                                                 run (F4)           .
    .                                                  ┊                                                 .
    .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊─────────────────────────────────────────────────.
    .                                                  ┊0   edit       copy       to recipe    delete    .
    .                                                  ┊add 1, 1                                         .
    .                                                  ┊2                                                .
    .                                                  ┊─────────────────────────────────────────────────.
    .                                                  ┊1   edit       copy       to recipe    delete    .
    .                                                  ┊add 2, 2                                         .
    .                                                  ┊4                                                .
  ]
  # delete the second sandbox, then try to scroll down twice
  assume-console [
    left-click 3, 99
    press page-down
    press page-down
  ]
  run [
    event-loop screen, console, env, resources
  ]
  # shouldn't go past last sandbox
  screen-should-contain [
    .                                                                                 run (F4)           .
    .                                                  ┊─────────────────────────────────────────────────.
    .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊0   edit       copy       to recipe    delete    .
    .                                                  ┊add 2, 2                                         .
    .                                                  ┊4                                                .
    .                                                  ┊─────────────────────────────────────────────────.
    .                                                  ┊                                                 .
  ]
]


context:
space:
mode: