<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>jwt_spec.sl - Coverage</title>
<link rel="stylesheet" href="../assets/style.css">
</head>
<body>
<div class="container">
<header>
<h1>jwt_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>// JWT 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></pre></td>
</tr><tr class="code-line">
<td class="line-num">5</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>describe("JWT Functions", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">6</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> test("jwt_encode() and jwt_decode() work", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">7</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let payload = hash();</pre></td>
</tr><tr class="code-line">
<td class="line-num">8</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> payload["user_id"] = 123;</pre></td>
</tr><tr class="code-line">
<td class="line-num">9</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> payload["role"] = "admin";</pre></td>
</tr><tr class="code-line">
<td class="line-num">10</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">11</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let secret = "my-secret-key";</pre></td>
</tr><tr class="code-line">
<td class="line-num">12</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let token = jwt_encode(payload, secret);</pre></td>
</tr><tr class="code-line">
<td class="line-num">13</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">14</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_contains(token, ".");</pre></td>
</tr><tr class="code-line">
<td class="line-num">15</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">16</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let decoded = jwt_decode(token, secret);</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(decoded["user_id"], 123);</pre></td>
</tr><tr class="code-line">
<td class="line-num">18</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(decoded["role"], "admin");</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></pre></td>
</tr><tr class="code-line">
<td class="line-num">21</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> test("jwt_decode() fails with wrong secret", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">22</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let payload = hash();</pre></td>
</tr><tr class="code-line">
<td class="line-num">23</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> payload["data"] = "test";</pre></td>
</tr><tr class="code-line">
<td class="line-num">24</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let token = jwt_encode(payload, "secret1");</pre></td>
</tr><tr class="code-line">
<td class="line-num">25</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let decoded = jwt_decode(token, "wrong-secret");</pre></td>
</tr><tr class="code-line">
<td class="line-num">26</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_null(decoded);</pre></td>
</tr><tr class="code-line">
<td class="line-num">27</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> });</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> test("jwt_encode() with expiration", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">30</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let payload = hash();</pre></td>
</tr><tr class="code-line">
<td class="line-num">31</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> payload["exp"] = 9999999999;</pre></td>
</tr><tr class="code-line">
<td class="line-num">32</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> payload["data"] = "test";</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> let secret = "test-secret";</pre></td>
</tr><tr class="code-line">
<td class="line-num">35</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let token = jwt_encode(payload, secret);</pre></td>
</tr><tr class="code-line">
<td class="line-num">36</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">37</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> });</pre></td>
</tr><tr class="code-line">
<td class="line-num">38</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">39</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> test("jwt_decode() returns null for expired token", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">40</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let payload = hash();</pre></td>
</tr><tr class="code-line">
<td class="line-num">41</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> payload["exp"] = 0;</pre></td>
</tr><tr class="code-line">
<td class="line-num">42</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> payload["data"] = "test";</pre></td>
</tr><tr class="code-line">
<td class="line-num">43</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">44</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let secret = "test-secret";</pre></td>
</tr><tr class="code-line">
<td class="line-num">45</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let token = jwt_encode(payload, secret);</pre></td>
</tr><tr class="code-line">
<td class="line-num">46</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let decoded = jwt_decode(token, secret);</pre></td>
</tr><tr class="code-line">
<td class="line-num">47</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_null(decoded);</pre></td>
</tr><tr class="code-line">
<td class="line-num">48</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> });</pre></td>
</tr><tr class="code-line">
<td class="line-num">49</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">50</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> test("jwt_token has three parts", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">51</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let payload = hash();</pre></td>
</tr><tr class="code-line">
<td class="line-num">52</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> payload["test"] = "data";</pre></td>
</tr><tr class="code-line">
<td class="line-num">53</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let token = jwt_encode(payload, "secret");</pre></td>
</tr><tr class="code-line">
<td class="line-num">54</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let parts = split(token, ".");</pre></td>
</tr><tr class="code-line">
<td class="line-num">55</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(len(parts), 3);</pre></td>
</tr><tr class="code-line">
<td class="line-num">56</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> });</pre></td>
</tr><tr class="code-line">
<td class="line-num">57</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>});</pre></td>
</tr>
</tbody>
</table>
</section>
</div>
</body>
</html>