<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>session_spec.sl - Coverage</title>
<link rel="stylesheet" href="../assets/style.css">
</head>
<body>
<div class="container">
<header>
<h1>session_spec.sl</h1>
<a href="../index.html" class="back-link">← Back to Dashboard</a>
</header>
<section class="source-view">
<table>
<tbody>
<tr class="code-line">
<td class="line-num">1</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>// ============================================================================</pre></td>
</tr><tr class="code-line">
<td class="line-num">2</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>// Session Functions Test Suite</pre></td>
</tr><tr class="code-line">
<td class="line-num">3</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>// ============================================================================</pre></td>
</tr><tr class="code-line">
<td class="line-num">4</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>// Tests for session management functions</pre></td>
</tr><tr class="code-line">
<td class="line-num">5</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>// ============================================================================</pre></td>
</tr><tr class="code-line">
<td class="line-num">6</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">7</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>describe("Session Basic Functions", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">8</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> test("session_set() sets a value", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">9</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> session_set("test_key", "test_value");</pre></td>
</tr><tr class="code-line">
<td class="line-num">10</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let value = session_get("test_key");</pre></td>
</tr><tr class="code-line">
<td class="line-num">11</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(value, "test_value");</pre></td>
</tr><tr class="code-line">
<td class="line-num">12</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> });</pre></td>
</tr><tr class="code-line">
<td class="line-num">13</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">14</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> test("session_get() retrieves value", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">15</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> session_set("user_id", "12345");</pre></td>
</tr><tr class="code-line">
<td class="line-num">16</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let value = session_get("user_id");</pre></td>
</tr><tr class="code-line">
<td class="line-num">17</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(value, "12345");</pre></td>
</tr><tr class="code-line">
<td class="line-num">18</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> });</pre></td>
</tr><tr class="code-line">
<td class="line-num">19</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">20</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> test("session_get() returns null for unset key", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">21</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let value = session_get("nonexistent_key_12345");</pre></td>
</tr><tr class="code-line">
<td class="line-num">22</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_null(value);</pre></td>
</tr><tr class="code-line">
<td class="line-num">23</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> });</pre></td>
</tr><tr class="code-line">
<td class="line-num">24</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">25</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> test("session_has() returns true for existing key", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">26</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> session_set("existing_key", "value");</pre></td>
</tr><tr class="code-line">
<td class="line-num">27</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert(session_has("existing_key"));</pre></td>
</tr><tr class="code-line">
<td class="line-num">28</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> });</pre></td>
</tr><tr class="code-line">
<td class="line-num">29</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">30</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> test("session_has() returns false for nonexistent key", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">31</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_not(session_has("nonexistent_key_12345"));</pre></td>
</tr><tr class="code-line">
<td class="line-num">32</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> });</pre></td>
</tr><tr class="code-line">
<td class="line-num">33</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">34</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> test("session_delete() removes key", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">35</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> session_set("to_delete", "value");</pre></td>
</tr><tr class="code-line">
<td class="line-num">36</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert(session_has("to_delete"));</pre></td>
</tr><tr class="code-line">
<td class="line-num">37</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> session_delete("to_delete");</pre></td>
</tr><tr class="code-line">
<td class="line-num">38</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_not(session_has("to_delete"));</pre></td>
</tr><tr class="code-line">
<td class="line-num">39</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> });</pre></td>
</tr><tr class="code-line">
<td class="line-num">40</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">41</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> test("session_delete() returns deleted value", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">42</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> session_set("test_value", "test");</pre></td>
</tr><tr class="code-line">
<td class="line-num">43</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let deleted = session_delete("test_value");</pre></td>
</tr><tr class="code-line">
<td class="line-num">44</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(deleted, "test");</pre></td>
</tr><tr class="code-line">
<td class="line-num">45</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> });</pre></td>
</tr><tr class="code-line">
<td class="line-num">46</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">47</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> test("session_destroy() clears all session data", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">48</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> session_set("key1", "value1");</pre></td>
</tr><tr class="code-line">
<td class="line-num">49</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> session_set("key2", "value2");</pre></td>
</tr><tr class="code-line">
<td class="line-num">50</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> session_destroy();</pre></td>
</tr><tr class="code-line">
<td class="line-num">51</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_not(session_has("key1"));</pre></td>
</tr><tr class="code-line">
<td class="line-num">52</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_not(session_has("key2"));</pre></td>
</tr><tr class="code-line">
<td class="line-num">53</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> });</pre></td>
</tr><tr class="code-line">
<td class="line-num">54</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>});</pre></td>
</tr><tr class="code-line">
<td class="line-num">55</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">56</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>describe("Session ID Functions", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">57</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> test("session_id() returns session ID", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">58</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let id = session_id();</pre></td>
</tr><tr class="code-line">
<td class="line-num">59</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_not_null(id);</pre></td>
</tr><tr class="code-line">
<td class="line-num">60</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert(len(id) > 0);</pre></td>
</tr><tr class="code-line">
<td class="line-num">61</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> });</pre></td>
</tr><tr class="code-line">
<td class="line-num">62</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">63</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> test("session_regenerate() generates new ID", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">64</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let old_id = session_id();</pre></td>
</tr><tr class="code-line">
<td class="line-num">65</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> session_regenerate();</pre></td>
</tr><tr class="code-line">
<td class="line-num">66</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let new_id = session_id();</pre></td>
</tr><tr class="code-line">
<td class="line-num">67</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert(old_id != new_id);</pre></td>
</tr><tr class="code-line">
<td class="line-num">68</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> });</pre></td>
</tr><tr class="code-line">
<td class="line-num">69</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">70</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> test("session_regenerate() preserves session data", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">71</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> session_set("important_data", "preserved");</pre></td>
</tr><tr class="code-line">
<td class="line-num">72</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let old_id = session_id();</pre></td>
</tr><tr class="code-line">
<td class="line-num">73</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> session_regenerate();</pre></td>
</tr><tr class="code-line">
<td class="line-num">74</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let new_id = session_id();</pre></td>
</tr><tr class="code-line">
<td class="line-num">75</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let value = session_get("important_data");</pre></td>
</tr><tr class="code-line">
<td class="line-num">76</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(value, "preserved");</pre></td>
</tr><tr class="code-line">
<td class="line-num">77</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert(old_id != new_id);</pre></td>
</tr><tr class="code-line">
<td class="line-num">78</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> });</pre></td>
</tr><tr class="code-line">
<td class="line-num">79</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>});</pre></td>
</tr><tr class="code-line">
<td class="line-num">80</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">81</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>describe("Session Data Types", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">82</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> test("session can store string", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">83</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> session_set("string_value", "hello");</pre></td>
</tr><tr class="code-line">
<td class="line-num">84</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(session_get("string_value"), "hello");</pre></td>
</tr><tr class="code-line">
<td class="line-num">85</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> });</pre></td>
</tr><tr class="code-line">
<td class="line-num">86</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">87</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> test("session can store number", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">88</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> session_set("number_value", 42);</pre></td>
</tr><tr class="code-line">
<td class="line-num">89</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(session_get("number_value"), 42);</pre></td>
</tr><tr class="code-line">
<td class="line-num">90</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> });</pre></td>
</tr><tr class="code-line">
<td class="line-num">91</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">92</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> test("session can store boolean", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">93</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> session_set("bool_value", true);</pre></td>
</tr><tr class="code-line">
<td class="line-num">94</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert(session_get("bool_value"));</pre></td>
</tr><tr class="code-line">
<td class="line-num">95</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> });</pre></td>
</tr><tr class="code-line">
<td class="line-num">96</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">97</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> test("session can store array", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">98</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> session_set("array_value", [1, 2, 3]);</pre></td>
</tr><tr class="code-line">
<td class="line-num">99</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let arr = session_get("array_value");</pre></td>
</tr><tr class="code-line">
<td class="line-num">100</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(len(arr), 3);</pre></td>
</tr><tr class="code-line">
<td class="line-num">101</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> });</pre></td>
</tr><tr class="code-line">
<td class="line-num">102</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">103</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> test("session can store hash", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">104</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let h = hash();</pre></td>
</tr><tr class="code-line">
<td class="line-num">105</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> h["key"] = "value";</pre></td>
</tr><tr class="code-line">
<td class="line-num">106</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> session_set("hash_value", h);</pre></td>
</tr><tr class="code-line">
<td class="line-num">107</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let retrieved = session_get("hash_value");</pre></td>
</tr><tr class="code-line">
<td class="line-num">108</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(retrieved["key"], "value");</pre></td>
</tr><tr class="code-line">
<td class="line-num">109</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> });</pre></td>
</tr><tr class="code-line">
<td class="line-num">110</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">111</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> test("session can store null", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">112</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> session_set("null_value", null);</pre></td>
</tr><tr class="code-line">
<td class="line-num">113</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_null(session_get("null_value"));</pre></td>
</tr><tr class="code-line">
<td class="line-num">114</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> });</pre></td>
</tr><tr class="code-line">
<td class="line-num">115</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>});</pre></td>
</tr><tr class="code-line">
<td class="line-num">116</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">117</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>describe("Session Security", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">118</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> test("session_token() returns CSRF token", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">119</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let token = session_token();</pre></td>
</tr><tr class="code-line">
<td class="line-num">120</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_not_null(token);</pre></td>
</tr><tr class="code-line">
<td class="line-num">121</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert(len(token) > 0);</pre></td>
</tr><tr class="code-line">
<td class="line-num">122</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> });</pre></td>
</tr><tr class="code-line">
<td class="line-num">123</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">124</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> test("session_token() is consistent", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">125</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let token1 = session_token();</pre></td>
</tr><tr class="code-line">
<td class="line-num">126</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let token2 = session_token();</pre></td>
</tr><tr class="code-line">
<td class="line-num">127</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(token1, token2);</pre></td>
</tr><tr class="code-line">
<td class="line-num">128</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> });</pre></td>
</tr><tr class="code-line">
<td class="line-num">129</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>});</pre></td>
</tr>
</tbody>
</table>
</section>
</div>
</body>
</html>