solilang 0.53.0

A dynamically-typed, class-based OOP language with optional type annotations and pipeline operators
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284

<!DOCTYPE html>
<html lang="en">
<head>
    <meta charset="UTF-8">
    <meta name="viewport" content="width=device-width, initial-scale=1.0">
    <title>crypto_spec.sl - Coverage</title>
    <link rel="stylesheet" href="../assets/style.css">
</head>
<body>
    <div class="container">
        <header>
            <h1>crypto_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>// Cryptography 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("Cryptography 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("argon2_hash() and argon2_verify() 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 password = "secret123";</pre></td>
                </tr><tr class="code-line">
                    <td class="line-num">8</td>
                    <td class="line-indicator"></td>
                    <td class="code-content"><pre>        let hashed = argon2_hash(password);</pre></td>
                </tr><tr class="code-line">
                    <td class="line-num">9</td>
                    <td class="line-indicator"></td>
                    <td class="code-content"><pre>        assert_not_null(hashed);</pre></td>
                </tr><tr class="code-line">
                    <td class="line-num">10</td>
                    <td class="line-indicator"></td>
                    <td class="code-content"><pre>        assert(argon2_verify(password, hashed));</pre></td>
                </tr><tr class="code-line">
                    <td class="line-num">11</td>
                    <td class="line-indicator"></td>
                    <td class="code-content"><pre>        assert_not(argon2_verify("wrong", hashed));</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("password_hash() and password_verify() aliases work", fn() {</pre></td>
                </tr><tr class="code-line">
                    <td class="line-num">15</td>
                    <td class="line-indicator"></td>
                    <td class="code-content"><pre>        let password = "mysecret";</pre></td>
                </tr><tr class="code-line">
                    <td class="line-num">16</td>
                    <td class="line-indicator"></td>
                    <td class="code-content"><pre>        let hashed = password_hash(password);</pre></td>
                </tr><tr class="code-line">
                    <td class="line-num">17</td>
                    <td class="line-indicator"></td>
                    <td class="code-content"><pre>        assert(password_verify(password, hashed));</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("x25519_keypair() generates key pair", 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 keypair = x25519_keypair();</pre></td>
                </tr><tr class="code-line">
                    <td class="line-num">22</td>
                    <td class="line-indicator"></td>
                    <td class="code-content"><pre>        assert_hash_has_key(keypair, "public");</pre></td>
                </tr><tr class="code-line">
                    <td class="line-num">23</td>
                    <td class="line-indicator"></td>
                    <td class="code-content"><pre>        assert_hash_has_key(keypair, "private");</pre></td>
                </tr><tr class="code-line">
                    <td class="line-num">24</td>
                    <td class="line-indicator"></td>
                    <td class="code-content"><pre>        assert(len(keypair["public"]) &gt; 0);</pre></td>
                </tr><tr class="code-line">
                    <td class="line-num">25</td>
                    <td class="line-indicator"></td>
                    <td class="code-content"><pre>        assert(len(keypair["private"]) &gt; 0);</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></pre></td>
                </tr><tr class="code-line">
                    <td class="line-num">28</td>
                    <td class="line-indicator"></td>
                    <td class="code-content"><pre>    test("ed25519_keypair() generates signing key pair", fn() {</pre></td>
                </tr><tr class="code-line">
                    <td class="line-num">29</td>
                    <td class="line-indicator"></td>
                    <td class="code-content"><pre>        let keypair = ed25519_keypair();</pre></td>
                </tr><tr class="code-line">
                    <td class="line-num">30</td>
                    <td class="line-indicator"></td>
                    <td class="code-content"><pre>        assert_hash_has_key(keypair, "public");</pre></td>
                </tr><tr class="code-line">
                    <td class="line-num">31</td>
                    <td class="line-indicator"></td>
                    <td class="code-content"><pre>        assert_hash_has_key(keypair, "private");</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("sha256() generates hash", fn() {</pre></td>
                </tr><tr class="code-line">
                    <td class="line-num">35</td>
                    <td class="line-indicator"></td>
                    <td class="code-content"><pre>        let hash = sha256("hello");</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(hash);</pre></td>
                </tr><tr class="code-line">
                    <td class="line-num">37</td>
                    <td class="line-indicator"></td>
                    <td class="code-content"><pre>        assert(len(hash) &gt; 0);</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></pre></td>
                </tr><tr class="code-line">
                    <td class="line-num">40</td>
                    <td class="line-indicator"></td>
                    <td class="code-content"><pre>    test("sha512() generates hash", fn() {</pre></td>
                </tr><tr class="code-line">
                    <td class="line-num">41</td>
                    <td class="line-indicator"></td>
                    <td class="code-content"><pre>        let hash = sha512("hello");</pre></td>
                </tr><tr class="code-line">
                    <td class="line-num">42</td>
                    <td class="line-indicator"></td>
                    <td class="code-content"><pre>        assert_not_null(hash);</pre></td>
                </tr><tr class="code-line">
                    <td class="line-num">43</td>
                    <td class="line-indicator"></td>
                    <td class="code-content"><pre>        assert(len(hash) &gt; 0);</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">
                    <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>    test("md5() generates hash", fn() {</pre></td>
                </tr><tr class="code-line">
                    <td class="line-num">47</td>
                    <td class="line-indicator"></td>
                    <td class="code-content"><pre>        let hash = md5("hello");</pre></td>
                </tr><tr class="code-line">
                    <td class="line-num">48</td>
                    <td class="line-indicator"></td>
                    <td class="code-content"><pre>        assert_not_null(hash);</pre></td>
                </tr><tr class="code-line">
                    <td class="line-num">49</td>
                    <td class="line-indicator"></td>
                    <td class="code-content"><pre>        assert_eq(len(hash), 32);</pre></td>
                </tr><tr class="code-line">
                    <td class="line-num">50</td>
                    <td class="line-indicator"></td>
                    <td class="code-content"><pre>    });</pre></td>
                </tr><tr class="code-line">
                    <td class="line-num">51</td>
                    <td class="line-indicator"></td>
                    <td class="code-content"><pre></pre></td>
                </tr><tr class="code-line">
                    <td class="line-num">52</td>
                    <td class="line-indicator"></td>
                    <td class="code-content"><pre>    test("hmac() generates MAC", fn() {</pre></td>
                </tr><tr class="code-line">
                    <td class="line-num">53</td>
                    <td class="line-indicator"></td>
                    <td class="code-content"><pre>        let mac = hmac("message", "secret");</pre></td>
                </tr><tr class="code-line">
                    <td class="line-num">54</td>
                    <td class="line-indicator"></td>
                    <td class="code-content"><pre>        assert_not_null(mac);</pre></td>
                </tr><tr class="code-line">
                    <td class="line-num">55</td>
                    <td class="line-indicator"></td>
                    <td class="code-content"><pre>        assert(len(mac) &gt; 0);</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><tr class="code-line">
                    <td class="line-num">58</td>
                    <td class="line-indicator"></td>
                    <td class="code-content"><pre>    test("base64_encode() and base64_decode() work", fn() {</pre></td>
                </tr><tr class="code-line">
                    <td class="line-num">59</td>
                    <td class="line-indicator"></td>
                    <td class="code-content"><pre>        let original = "hello world";</pre></td>
                </tr><tr class="code-line">
                    <td class="line-num">60</td>
                    <td class="line-indicator"></td>
                    <td class="code-content"><pre>        let encoded = base64_encode(original);</pre></td>
                </tr><tr class="code-line">
                    <td class="line-num">61</td>
                    <td class="line-indicator"></td>
                    <td class="code-content"><pre>        assert_not_null(encoded);</pre></td>
                </tr><tr class="code-line">
                    <td class="line-num">62</td>
                    <td class="line-indicator"></td>
                    <td class="code-content"><pre>        let decoded = base64_decode(encoded);</pre></td>
                </tr><tr class="code-line">
                    <td class="line-num">63</td>
                    <td class="line-indicator"></td>
                    <td class="code-content"><pre>        assert_eq(decoded, original);</pre></td>
                </tr><tr class="code-line">
                    <td class="line-num">64</td>
                    <td class="line-indicator"></td>
                    <td class="code-content"><pre>    });</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>
                </tbody>
            </table>
        </section>
    </div>
</body>
</html>