<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>solidb_example.sl - Coverage</title>
<link rel="stylesheet" href="../assets/style.css">
</head>
<body>
<div class="container">
<header>
<h1>solidb_example.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>// SoliDB Example</pre></td>
</tr><tr class="code-line">
<td class="line-num">2</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>// This example demonstrates how to use the Solidb class to interact with SoliDB</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>// Create a database connection</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 db = new Solidb("localhost:6745", "myapp");</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>// Authenticate (if your database requires authentication)</pre></td>
</tr><tr class="code-line">
<td class="line-num">8</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>// db.auth("username", "password");</pre></td>
</tr><tr class="code-line">
<td class="line-num">9</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">10</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>// Insert some documents</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">11</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>db.insert("users", "user001", {</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">12</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> "name": "Alice",</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">13</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> "email": "alice@example.com",</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">14</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> "age": 30,</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">15</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> "city": "Paris"</pre></td>
</tr><tr class="code-line">
<td class="line-num">16</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>});</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 uncovered">
<td class="line-num">18</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>db.insert("users", "user002", {</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">19</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> "name": "Bob",</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">20</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> "email": "bob@example.com",</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">21</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> "age": 25,</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">22</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> "city": "London"</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 uncovered">
<td class="line-num">25</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>db.insert("users", "user003", {</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">26</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> "name": "Charlie",</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">27</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> "email": "charlie@example.com",</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">28</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> "age": 35,</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">29</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> "city": "Paris"</pre></td>
</tr><tr class="code-line">
<td class="line-num">30</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>});</pre></td>
</tr><tr class="code-line">
<td class="line-num">31</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">32</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>// Query all users</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">33</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>println("All users:");</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">34</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>let all_users = db.query("FOR u IN users RETURN u");</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">35</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>println(all_users);</pre></td>
</tr><tr class="code-line">
<td class="line-num">36</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">37</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>// Query with filter</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">38</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>println("\nUsers in Paris:");</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 paris_users = db.query("FOR u IN users FILTER u.city == 'Paris' RETURN u");</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">40</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>println(paris_users);</pre></td>
</tr><tr class="code-line">
<td class="line-num">41</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">42</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>// Query with bind variables</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">43</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>println("\nUsers older than 27:");</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">44</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>let older_users = db.query("FOR u IN users FILTER u.age > @min_age RETURN u", {"min_age": 27});</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">45</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>println(older_users);</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>// Get a specific user</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">48</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>println("\nUser user001:");</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 user = db.get("users", "user001");</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">50</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>println(user);</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">51</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>println("Name:", user["name"]);</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">52</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>println("Email:", user["email"]);</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>// Update a document</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">55</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>db.update("users", "user001", {"age": 31, "name": "Alice Smith"});</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">56</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>let updated = db.get("users", "user001");</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">57</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>println("\nUpdated user001:");</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">58</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>println(updated);</pre></td>
</tr><tr class="code-line">
<td class="line-num">59</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">60</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>// Upsert (merge update)</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">61</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>db.upsert("users", "user004", {"name": "David", "age": 28});</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">62</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>let new_user = db.get("users", "user004");</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">63</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>println("\nNew user (upserted):");</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">64</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>println(new_user);</pre></td>
</tr><tr class="code-line">
<td class="line-num">65</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">66</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>// List all documents in a collection</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">67</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>println("\nAll users in collection:");</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">68</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>let users = db.list("users");</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">69</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>println(users);</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">
<td class="line-num">71</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>// Delete a document</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">72</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>db.delete("users", "user004");</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">73</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>println("\nDeleted user004");</pre></td>
</tr><tr class="code-line">
<td class="line-num">74</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">75</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>// Check connection status</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">76</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>println("\nDatabase connected:", db.connected());</pre></td>
</tr><tr class="code-line">
<td class="line-num">77</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">78</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>// Ping the server</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">79</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>let timestamp = db.ping();</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">80</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>println("Server timestamp:", timestamp);</pre></td>
</tr><tr class="code-line">
<td class="line-num">81</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">82</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>// Explain a query</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">83</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>let plan = db.explain("FOR u IN users FILTER u.age > @age RETURN u", {"age": 25});</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">84</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>println("\nQuery execution plan:");</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">85</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>println(plan);</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 uncovered">
<td class="line-num">87</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>println("\nDone!");</pre></td>
</tr>
</tbody>
</table>
</section>
</div>
</body>
</html>