diff options
author | Akshay <[email protected]> | 2024-07-14 13:01:23 +0100 |
---|---|---|
committer | Akshay <[email protected]> | 2024-07-14 13:01:23 +0100 |
commit | 9ad06d721c1e481c82b4f43df819d76e35757282 (patch) | |
tree | debfca71dcdaeac93ac12abedd377f66cf4341fc | |
parent | 83b537bb860643ebdabc43ab47cb8645da8a2e6d (diff) |
add examples
-rw-r--r-- | examples/code-overview/out.txt | 68 | ||||
-rw-r--r-- | examples/code-overview/overview.tbsp | 56 | ||||
-rw-r--r-- | examples/md-to-html/convert.tbsp | 65 | ||||
-rw-r--r-- | examples/md-to-html/doc.md | 21 | ||||
-rw-r--r-- | examples/md-to-html/out.html | 20 | ||||
-rw-r--r-- | examples/md-to-html/readme.txt | 3 | ||||
-rw-r--r-- | examples/static-analysis/none_comparisons.tbsp | 24 | ||||
-rw-r--r-- | examples/static-analysis/sample.py | 3 |
8 files changed, 260 insertions, 0 deletions
diff --git a/examples/code-overview/out.txt b/examples/code-overview/out.txt new file mode 100644 index 0000000..78c76b1 --- /dev/null +++ b/examples/code-overview/out.txt | |||
@@ -0,0 +1,68 @@ | |||
1 | module | ||
2 | └╴struct Variable | ||
3 | └╴trait Variable | ||
4 | └╴fn value | ||
5 | └╴fn ty | ||
6 | └╴fn assign | ||
7 | └╴enum Value | ||
8 | └╴trait Value | ||
9 | └╴fn ty | ||
10 | └╴fn default | ||
11 | └╴fn default_int | ||
12 | └╴fn default_bool | ||
13 | └╴fn default_string | ||
14 | └╴fn as_boolean | ||
15 | └╴fn add | ||
16 | └╴fn sub | ||
17 | └╴fn mul | ||
18 | └╴fn div | ||
19 | └╴fn mod_ | ||
20 | └╴fn equals | ||
21 | └╴fn greater_than | ||
22 | └╴fn less_than | ||
23 | └╴fn greater_than_equals | ||
24 | └╴fn less_than_equals | ||
25 | └╴fn not | ||
26 | └╴fn and | ||
27 | └╴fn or | ||
28 | └╴trait Value | ||
29 | └╴fn fmt | ||
30 | └╴struct Visitor | ||
31 | └╴struct Visitors | ||
32 | └╴trait Visitors | ||
33 | └╴fn default | ||
34 | └╴trait Visitors | ||
35 | └╴fn new | ||
36 | └╴fn insert | ||
37 | └╴fn get_by_node | ||
38 | └╴enum Error | ||
39 | └╴struct Context | ||
40 | └╴trait Context<'a> | ||
41 | └╴fn fmt | ||
42 | └╴trait Context<'a> | ||
43 | └╴fn new | ||
44 | └╴fn with_program | ||
45 | └╴fn with_input | ||
46 | └╴fn with_cursor | ||
47 | └╴fn eval_expr | ||
48 | └╴fn eval_lit | ||
49 | └╴fn lookup | ||
50 | └╴fn lookup_mut | ||
51 | └╴fn bind | ||
52 | └╴fn eval_bin | ||
53 | └╴fn eval_assign | ||
54 | └╴fn eval_arith | ||
55 | └╴fn eval_cmp | ||
56 | └╴fn eval_logic | ||
57 | └╴fn eval_unary | ||
58 | └╴fn eval_if | ||
59 | └╴fn eval_call | ||
60 | └╴fn eval_declaration | ||
61 | └╴fn eval_statement | ||
62 | └╴fn eval_block | ||
63 | └╴fn eval | ||
64 | └╴fn evaluate | ||
65 | └╴mod test | ||
66 | └╴fn bin | ||
67 | └╴fn test_evaluate_blocks | ||
68 | └╴fn test_evaluate_if | ||
diff --git a/examples/code-overview/overview.tbsp b/examples/code-overview/overview.tbsp new file mode 100644 index 0000000..dd56c55 --- /dev/null +++ b/examples/code-overview/overview.tbsp | |||
@@ -0,0 +1,56 @@ | |||
1 | BEGIN { | ||
2 | int indent = 1; | ||
3 | string tab = " "; | ||
4 | string tree = "└╴"; | ||
5 | print("module\n"); | ||
6 | } | ||
7 | |||
8 | enter declaration_list { | ||
9 | indent += 1; | ||
10 | } | ||
11 | leave declaration_list { | ||
12 | indent -= 1; | ||
13 | } | ||
14 | |||
15 | enter block { | ||
16 | indent += 1; | ||
17 | } | ||
18 | leave block { | ||
19 | indent -= 1; | ||
20 | } | ||
21 | |||
22 | enter function_item { | ||
23 | print(tab * indent); | ||
24 | print(tree); | ||
25 | print("fn " + text(node.name) + "\n"); | ||
26 | } | ||
27 | |||
28 | enter function_signature_item { | ||
29 | print(tab * indent); | ||
30 | print(tree); | ||
31 | print("fn " + text(node.name) + "\n"); | ||
32 | } | ||
33 | |||
34 | enter struct_item { | ||
35 | print(tab * indent); | ||
36 | print(tree); | ||
37 | print("struct " + text(node.name) + "\n"); | ||
38 | } | ||
39 | |||
40 | enter enum_item { | ||
41 | print(tab * indent); | ||
42 | print(tree); | ||
43 | print("enum " + text(node.name) + "\n"); | ||
44 | } | ||
45 | |||
46 | enter mod_item { | ||
47 | print(tab * indent); | ||
48 | print(tree); | ||
49 | print("mod " + text(node.name) + "\n"); | ||
50 | } | ||
51 | |||
52 | enter impl_item { | ||
53 | print(tab * indent); | ||
54 | print(tree); | ||
55 | print("trait " + text(node.type) + "\n"); | ||
56 | } | ||
diff --git a/examples/md-to-html/convert.tbsp b/examples/md-to-html/convert.tbsp new file mode 100644 index 0000000..103bcaa --- /dev/null +++ b/examples/md-to-html/convert.tbsp | |||
@@ -0,0 +1,65 @@ | |||
1 | BEGIN { | ||
2 | int depth = 0; | ||
3 | |||
4 | print("<html>\n"); | ||
5 | print("<body>\n"); | ||
6 | } | ||
7 | |||
8 | enter section { | ||
9 | depth += 1; | ||
10 | } | ||
11 | leave section { | ||
12 | depth -= 1; | ||
13 | } | ||
14 | |||
15 | enter atx_heading { | ||
16 | print("<h"); | ||
17 | print(depth); | ||
18 | print(">"); | ||
19 | } | ||
20 | leave atx_heading { | ||
21 | print("</h"); | ||
22 | print(depth); | ||
23 | print(">\n"); | ||
24 | } | ||
25 | |||
26 | enter paragraph { | ||
27 | print("<p>"); | ||
28 | } | ||
29 | leave paragraph { | ||
30 | print("</p>\n"); | ||
31 | } | ||
32 | |||
33 | enter list { | ||
34 | print("<ol>"); | ||
35 | } | ||
36 | leave list { | ||
37 | print("</ol>\n"); | ||
38 | } | ||
39 | |||
40 | enter list_item { | ||
41 | print("<li>"); | ||
42 | } | ||
43 | leave list_item { | ||
44 | print("</li>\n"); | ||
45 | } | ||
46 | |||
47 | enter fenced_code_block { | ||
48 | print("<pre>"); | ||
49 | } | ||
50 | leave fenced_code_block { | ||
51 | print("</pre>\n"); | ||
52 | } | ||
53 | |||
54 | enter inline { | ||
55 | print(text(node)); | ||
56 | } | ||
57 | enter code_fence_content { | ||
58 | print(text(node)); | ||
59 | } | ||
60 | |||
61 | END { | ||
62 | print("</body>\n"); | ||
63 | print("</html>\n"); | ||
64 | } | ||
65 | |||
diff --git a/examples/md-to-html/doc.md b/examples/md-to-html/doc.md new file mode 100644 index 0000000..2a38bb0 --- /dev/null +++ b/examples/md-to-html/doc.md | |||
@@ -0,0 +1,21 @@ | |||
1 | # 1 heading | ||
2 | |||
3 | content of first paragraph | ||
4 | |||
5 | ## 1.1 heading | ||
6 | |||
7 | content of nested paragraph | ||
8 | |||
9 | # 2 heading | ||
10 | |||
11 | content of second paragraph | ||
12 | |||
13 | ``` | ||
14 | // some code in the code block | ||
15 | fn main() { } | ||
16 | ``` | ||
17 | |||
18 | - who dosent | ||
19 | - despise | ||
20 | - lists | ||
21 | |||
diff --git a/examples/md-to-html/out.html b/examples/md-to-html/out.html new file mode 100644 index 0000000..9b03976 --- /dev/null +++ b/examples/md-to-html/out.html | |||
@@ -0,0 +1,20 @@ | |||
1 | <html> | ||
2 | <body> | ||
3 | <h1>1 heading</h1> | ||
4 | <p>content of first paragraph</p> | ||
5 | <h2>1.1 heading</h2> | ||
6 | <p>content of nested paragraph</p> | ||
7 | <h1>2 heading</h1> | ||
8 | <p>content of second paragraph</p> | ||
9 | <pre>// some code in the code block | ||
10 | fn main() { } | ||
11 | </pre> | ||
12 | <ol><li><p>who dosent</p> | ||
13 | </li> | ||
14 | <li><p>despise</p> | ||
15 | </li> | ||
16 | <li><p>lists</p> | ||
17 | </li> | ||
18 | </ol> | ||
19 | </body> | ||
20 | </html> | ||
diff --git a/examples/md-to-html/readme.txt b/examples/md-to-html/readme.txt new file mode 100644 index 0000000..812c1e6 --- /dev/null +++ b/examples/md-to-html/readme.txt | |||
@@ -0,0 +1,3 @@ | |||
1 | proof-of-concept markdown-to-html converter using tbsp: | ||
2 | |||
3 | tbsp -f convert.tbsp -l md < doc.md > out.html | ||
diff --git a/examples/static-analysis/none_comparisons.tbsp b/examples/static-analysis/none_comparisons.tbsp new file mode 100644 index 0000000..2d65426 --- /dev/null +++ b/examples/static-analysis/none_comparisons.tbsp | |||
@@ -0,0 +1,24 @@ | |||
1 | BEGIN { | ||
2 | bool in_equal_compare = false; | ||
3 | string comparison_text = ""; | ||
4 | } | ||
5 | |||
6 | enter comparison_operator { | ||
7 | if (text(node.operators) == "==") { | ||
8 | in_equal_compare = true; | ||
9 | comparison_text = text(node); | ||
10 | }; | ||
11 | } | ||
12 | |||
13 | leave comparison_operator { | ||
14 | in_equal_compare = false; | ||
15 | } | ||
16 | |||
17 | enter none { | ||
18 | if (in_equal_compare) { | ||
19 | print("using `==` to compare with None, use `is None` instead:\n\t"); | ||
20 | print(comparison_text); | ||
21 | print("\n"); | ||
22 | } else { | ||
23 | }; | ||
24 | } | ||
diff --git a/examples/static-analysis/sample.py b/examples/static-analysis/sample.py new file mode 100644 index 0000000..7c3ed09 --- /dev/null +++ b/examples/static-analysis/sample.py | |||
@@ -0,0 +1,3 @@ | |||
1 | def foo(): | ||
2 | if bar == None: | ||
3 | print("none") | ||