blob: 1e2d3e52b2c82966b915c72faf8eb2444da5c5b1 (
plain) (
blame)
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
|
#ifndef TREEIFY_H
#define TREEIFY_H
#include <context.h>
enum node_type {
EXPRESSION,
DECLARATION,
DEFINITION,
};
/**
* Expressions
*/
// (*f* x y)
struct node_expression_identifier {
ctx_string name; // f
};
enum node_expression_parameter_type {
PARAM_TYPE_IDENT,
PARAM_TYPE_EXPRESSION,
};
// (f *x* *y* *(expr)*)
struct node_expression_parameter {
enum node_expression_parameter_type type;
union {
ctx_string name; // x or y
struct node_expression *expression; // (expr)
} data;
};
// (*f x y*)
struct node_expression {
struct node_expression_identifier *callee; // f
struct node_expression_parameter *parameters; // x y
size_t parameter_count;
};
/**
* Declarations
*/
// *f* u32 u32 -> *u32*
struct node_declaration_callee {
ctx_string name; // f
ctx_string type; // u32
};
// f *u32* *u32* -> u32
struct node_declaration_parameter {
ctx_string type; // u32
};
// *f u32 u32 -> u32*
struct node_declaration {
struct node_declaration_callee callee; // f
struct node_declaration_parameter *parameters; // u32 u32 OR NULL
size_t parameter_count;
};
/**
* Definitions
*/
// *f* a b : expr
struct node_definition_callee {
ctx_string name;
};
// f *a* *b* : expr
struct node_definition_parameter {
ctx_string name; // u32
};
// *f a b : expr*
struct node_definition {
struct node_definition_callee callee; // f
struct node_definition_parameter *parameters; // a b
size_t parameter_count;
struct node_expression expression; // expr
};
struct node {
enum node_type type;
struct node *prev;
struct node *next;
void *data;
};
struct node *tree_create(void);
void tree_destroy(struct node *tree);
void tree_add(struct ctx *ctx, enum node_type type, void *data);
void treeify(struct ctx *ctx);
#endif
|
