<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>pattern_matching.sl - Coverage</title>
<link rel="stylesheet" href="../assets/style.css">
</head>
<body>
<div class="container">
<header>
<h1>pattern_matching.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>// Pattern Matching Examples for Soli</pre></td>
</tr><tr class="code-line">
<td class="line-num">2</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">3</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>// 1. Basic literal matching</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">4</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>let x = 42;</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">5</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>let result1 = match x {</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">6</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> 42 => "the answer to everything",</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">7</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> _ => "something else",</pre></td>
</tr><tr class="code-line">
<td class="line-num">8</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>};</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">9</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>print("1. Literal match: " + result1);</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>// 2. Variable binding</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">12</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>let value = 100;</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">13</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>let result2 = match value {</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">14</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> n => "captured value: " + str(n),</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 uncovered">
<td class="line-num">16</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>print("2. Variable binding: " + result2);</pre></td>
</tr><tr class="code-line">
<td class="line-num">17</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">18</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>// 3. Guard clauses</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">19</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>let n = -5;</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">20</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>let result3 = match n {</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">21</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> n if n > 0 => "positive",</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">22</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> n if n < 0 => "negative",</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">23</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> 0 => "zero",</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 uncovered">
<td class="line-num">25</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>print("3. Guard clause: " + result3);</pre></td>
</tr><tr class="code-line">
<td class="line-num">26</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">27</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>// 4. Multiple arms</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">28</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>let status = 404;</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">29</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>let result4 = match status {</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">30</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> 200 => "OK",</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">31</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> 201 => "Created",</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">32</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> 404 => "Not Found",</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">33</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> 500 => "Server Error",</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">34</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> _ => "Unknown",</pre></td>
</tr><tr class="code-line">
<td class="line-num">35</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>};</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">36</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>print("4. Multiple arms: " + result4);</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>// 5. Array matching (first element)</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">39</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>let arr = [1, 2, 3];</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">40</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>let result5 = match arr {</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">41</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> [] => "empty array",</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">42</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> [first, ...rest] => "first element: " + str(first),</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">43</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> _ => "other",</pre></td>
</tr><tr class="code-line">
<td class="line-num">44</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>};</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">45</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>print("5. Array matching: " + result5);</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>// 6. Hash destructuring</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">48</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>let user = {"name": "Alice", "age": 30};</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">49</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>let result6 = match user {</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">50</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> {name: n} => "name is: " + n,</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">51</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> {name: n, age: a} => n + " is " + str(a) + " years old",</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">52</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> _ => "unknown user",</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 uncovered">
<td class="line-num">54</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>print("6. Hash destructuring: " + result6);</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>// 7. Nested patterns</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">57</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>let data = {"user": {"name": "Bob"}};</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">58</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>let result7 = match data {</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">59</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> {user: {name: n}} => "nested: " + n,</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">60</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> _ => "no match",</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 uncovered">
<td class="line-num">62</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>print("7. Nested pattern: " + result7);</pre></td>
</tr><tr class="code-line">
<td class="line-num">63</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">64</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>// 8. Wildcard pattern</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">65</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>let x = 999;</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">66</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>let result8 = match x {</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">67</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> 1 => "one",</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">68</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> 2 => "two",</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">69</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> _ => "anything else",</pre></td>
</tr><tr class="code-line">
<td class="line-num">70</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>};</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">71</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>print("8. Wildcard: " + result8);</pre></td>
</tr><tr class="code-line">
<td class="line-num">72</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">73</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>// 9. String matching</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">74</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>let command = "start";</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">75</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>let result9 = match command {</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">76</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> "start" => "Starting...",</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">77</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> "stop" => "Stopping...",</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">78</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> "restart" => "Restarting...",</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">79</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> _ => "Unknown command",</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 uncovered">
<td class="line-num">81</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>print("9. String match: " + result9);</pre></td>
</tr><tr class="code-line">
<td class="line-num">82</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">83</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>// 10. Boolean matching</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">84</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>let flag = false;</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">85</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>let result10 = match flag {</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">86</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> true => "enabled",</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">87</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> false => "disabled",</pre></td>
</tr><tr class="code-line">
<td class="line-num">88</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>};</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">89</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>print("10. Boolean match: " + result10);</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>// 11. Complex guard conditions</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">92</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>let score = 85;</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">93</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>let grade = match score {</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">94</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> s if s >= 90 => "A",</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">95</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> s if s >= 80 => "B",</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">96</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> s if s >= 70 => "C",</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">97</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> s if s >= 60 => "D",</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">98</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> _ => "F",</pre></td>
</tr><tr class="code-line">
<td class="line-num">99</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>};</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">100</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>print("11. Grade: " + grade + " (score: " + str(score) + ")");</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>// 12. Null handling</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">103</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>let maybeValue: Any = null;</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">104</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>let result12 = match maybeValue {</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">105</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> null => "it's null",</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">106</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> _ => "has a value",</pre></td>
</tr><tr class="code-line">
<td class="line-num">107</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>};</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">108</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>print("12. Null check: " + result12);</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 uncovered">
<td class="line-num">110</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>print("\nAll pattern matching examples completed!");</pre></td>
</tr>
</tbody>
</table>
</section>
</div>
</body>
</html>