-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathtmp
More file actions
43 lines (38 loc) · 1.19 KB
/
tmp
File metadata and controls
43 lines (38 loc) · 1.19 KB
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
<!-- Examples Section -->
<section class="card" id="examples-card">
<h2>Examples</h2>
<div class="tabs">
<div class="tab active" data-target="ex-data">Data Dependency</div>
<div class="tab" data-target="ex-control">Control Dependency</div>
<div class="tab" data-target="ex-info">Information Flow</div>
</div>
<!-- Example: Data -->
<div class="tab-content active" id="ex-data">
<pre><code class="language-python"># Example Data Dependency
input_code = """
SELECT name FROM students WHERE grade > 3.5;
"""
expected = {
"tables": ["students"],
"columns": ["name", "grade"],
}
</code></pre>
</div>
<!-- Example: Control -->
<div class="tab-content" id="ex-control">
<pre><code class="language-python">def factorial(n: int) -> int:
if n <= 1:
return 1
return n * factorial(n - 1)
</code></pre>
</div>
<!-- Example: InfoFlow -->
<div class="tab-content" id="ex-info">
<pre><code class="language-javascript">// Example InfoFlow
function readUserToken() {
const token = localStorage.getItem('token');
sendToServer(token);
}
</code></pre>
</div>
</section>