sporel/sporel-lib-management.launcher-test
2
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

test(launcher-test): cover STATE_MODAL_CONFLICT FSM transitions

Browse Source 
Four new asserts: list -> modal_conflict via open_conflict event;
modal_conflict -> list via esc / cancel / launch_anyway. fsm.lua
updated to the launcher's v0.3.0 copy (byte-identical, smoke.sh
hash-check enforces no drift).
This commit is contained in:
Calic
2026-06-11 02:55:00 +02:00
parent f1d0aec9a5
commit d9ec4d11dc
2 changed files with 20 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

28
fsm.lua
View File

@@ -1,23 +1,23 @@
-- Sporel Launcher — pure-Lua finite state machine.
-- No engine.* calls; testable directly by lib-management.launcher-test.
local M = {} local M = {}
M.STATE_LIST = "list" M.STATE_LIST = "list"
M.STATE_QUIT_CONFIRM = "quit_confirm" M.STATE_QUIT_CONFIRM = "quit_confirm"
M.EXIT = "exit" -- sentinel: caller should engine.exit(0) M.STATE_MODAL_CONFLICT = "modal_conflict"
M.EXIT = "exit"
-- Events: "esc", "enter", "click_yes", "click_no", "click_module"
function M.next(state, event) function M.next(state, event)
if state == M.STATE_LIST then if state == M.STATE_LIST then
if event == "esc" then return M.STATE_QUIT_CONFIRM end if event == "esc" then return M.STATE_QUIT_CONFIRM end
return M.STATE_LIST if event == "open_conflict" then return M.STATE_MODAL_CONFLICT end
elseif state == M.STATE_QUIT_CONFIRM then elseif state == M.STATE_QUIT_CONFIRM then
if event == "esc" then return M.STATE_LIST end if event == "esc" then return M.STATE_LIST end
if event == "enter" then return M.EXIT end if event == "enter" then return M.EXIT end
if event == "click_yes" then return M.EXIT end if event == "click_yes" then return M.EXIT end
if event == "click_no" then return M.STATE_LIST end if event == "click_no" then return M.STATE_LIST end
return M.STATE_QUIT_CONFIRM elseif state == M.STATE_MODAL_CONFLICT then
if event == "esc" then return M.STATE_LIST end
if event == "cancel" then return M.STATE_LIST end
if event == "launch_anyway" then return M.STATE_LIST end -- side-effect
end end
return state return state
end end

6
init.lua
View File

@@ -32,6 +32,12 @@ function M.run_tests(ctx)
engine.test.equals(fsm.next(fsm.STATE_LIST, "click_module"), fsm.STATE_LIST, "list+click_module -> list (switch is side-effect)") engine.test.equals(fsm.next(fsm.STATE_LIST, "click_module"), fsm.STATE_LIST, "list+click_module -> list (switch is side-effect)")
engine.test.equals(fsm.next("garbage_state", "esc"), "garbage_state", "unknown state passes through unchanged") engine.test.equals(fsm.next("garbage_state", "esc"), "garbage_state", "unknown state passes through unchanged")
-- ----- Conflict-modal FSM transitions (4) -----
engine.test.equals(fsm.next(fsm.STATE_LIST, "open_conflict"), fsm.STATE_MODAL_CONFLICT, "list+open_conflict -> modal_conflict")
engine.test.equals(fsm.next(fsm.STATE_MODAL_CONFLICT, "esc"), fsm.STATE_LIST, "modal_conflict+esc -> list")
engine.test.equals(fsm.next(fsm.STATE_MODAL_CONFLICT, "cancel"), fsm.STATE_LIST, "modal_conflict+cancel -> list")
engine.test.equals(fsm.next(fsm.STATE_MODAL_CONFLICT, "launch_anyway"), fsm.STATE_LIST, "modal_conflict+launch_anyway -> list")
-- ----- Engine-surface existence (unchanged) ----- -- ----- Engine-surface existence (unchanged) -----
engine.test.assert(type(engine.module.list) == "function", "engine.module.list is function") engine.test.assert(type(engine.module.list) == "function", "engine.module.list is function")
engine.test.assert(type(engine.module.dir_of) == "function", "engine.module.dir_of is function") engine.test.assert(type(engine.module.dir_of) == "function", "engine.module.dir_of is function")