akkartik/sokoban.love - Change GXE3ESLGGSXI45XXDOBZLAPT6DR2J7Q7LBMSHHYVOPHK3WAALZPQC

abstraction: roll forward/back

Created by Kartik K. Agaram on April 9, 2023

GXE3ESLGGSXI45XXDOBZLAPT6DR2J7Q7LBMSHHYVOPHK3WAALZPQC

Dependencies

In channels

main

Change contents

Replacement in live.lua at line 231 [6.722]

B:BD[4.806] → [5.407:445]

∅:D[5.445] → [4.843:1124]

B:BD[4.843] → [4.843:1124]

    Live.manifest[PARENT] = Live.head
    local manifest_filename = live.versioned_manifest(Live.next_version)
    love.filesystem.write(manifest_filename, json.encode(Live.manifest))
    Live.head = Live.next_version
    love.filesystem.write('head', tostring(Live.head))
    Live.next_version = Live.next_version + 1

[4.806]

[6.6977]

    live.roll_forward()

Replacement in live.lua at line 263 [6.722]

B:BD[4.1291] → [5.446:484]

∅:D[5.484] → [4.1328:1609]

B:BD[4.1328] → [4.1328:1609]

    Live.manifest[PARENT] = Live.head
    local manifest_filename = live.versioned_manifest(Live.next_version)
    love.filesystem.write(manifest_filename, json.encode(Live.manifest))
    Live.head = Live.next_version
    love.filesystem.write('head', tostring(Live.head))
    Live.next_version = Live.next_version + 1

[4.1291]

[6.7679]

    live.roll_forward()

Replacement in live.lua at line 266 [6.722]

B:BD[6.7741] → [6.7741:7760]

B:BD[6.7760] → [5.485:525]

B:BD[5.525] → [3.8:65]

∅:D[3.65] → [4.1649:1809]

∅:D[5.525] → [4.1649:1809]

B:BD[4.1649] → [4.1649:1809]

      -- roll back
      Live.head = Live.manifest[PARENT]
      love.filesystem.write('head', tostring(Live.head))
      local previous_manifest_filename = live.versioned_manifest(Live.head)
      Live.manifest = json.decode(love.filesystem.read(previous_manifest_filename))

[6.7741]

[6.7959]

      live.roll_back()

Insertion in live.lua at line 278 [6.722]

[6.8043]

[2.899]

-- update Live.Head and record the new Live.Manifest (which caller has already modified)
function live.roll_forward()
  Live.manifest[PARENT] = Live.head
  local manifest_filename = live.versioned_manifest(Live.next_version)
  love.filesystem.write(manifest_filename, json.encode(Live.manifest))
  Live.head = Live.next_version
  love.filesystem.write('head', tostring(Live.head))
  Live.next_version = Live.next_version + 1
end
-- update app.Head and reload app.Manifest appropriately
function live.roll_back()
  Live.head = Live.manifest[PARENT]
  love.filesystem.write('head', tostring(Live.head))
  local previous_manifest_filename = live.versioned_manifest(Live.head)
  Live.manifest = json.decode(love.filesystem.read(previous_manifest_filename))
end