-
Notifications
You must be signed in to change notification settings - Fork 16
/
Copy pathsemantic.h
123 lines (101 loc) · 3.94 KB
/
semantic.h
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
#include "parser.h"
#define _int 0
#define _float 1
#define _string 2
#define _null 3
#define _bool 4
#define _list 5
#define NODE_OK 100
#define _undef -100
#define UNDEFINED_SYMBOL -1
#define NODE_TYPE_ERROR -2
#define LIST_TYPE_ERROR -3
#define SEMANTIC_ERROR -4
#define BREAK_OUT_OF_CONTEXT -5
#define CONTINUE_OUT_OF_CONTEXT -6
#define OVERWRITE_TYPE_ERROR -7
int resultType_aritm [6][6] = {
/*
Valid for + - * /
Row index is 1st operand type.
Col index is 2nd operand type.
Value is the result type of the operation,
or _undef if the operation is impossible.
*/
/* int float null string bool list*/
/* int */ { _int, _float, _undef, _undef, _undef, _undef},
/* float */ { _float, _float, _undef, _undef, _undef, _undef},
/* string */{ _undef, _undef, _undef, _undef, _undef, _undef},
/* bool */ { _undef, _undef, _undef, _undef, _undef, _undef},
/* null */ { _undef, _undef, _undef, _undef, _undef, _undef},
/* list */ { _undef, _undef, _undef, _undef, _undef, _undef}
};
int resultType_FloatDiv [6][6] = {
/*
Valid for /.
*/
/* int float null string bool list*/
/* int */ { _float, _float, _undef, _undef, _undef, _undef},
/* float */ { _float, _float, _undef, _undef, _undef, _undef},
/* string */{ _undef, _undef, _undef, _undef, _undef, _undef},
/* bool */ { _undef, _undef, _undef, _undef, _undef, _undef},
/* null */ { _undef, _undef, _undef, _undef, _undef, _undef},
/* list */ { _undef, _undef, _undef, _undef, _undef, _undef}
};
int resultType_compare [6][6] = {
/*
Valid for < > <= >=
Row index is 1st operand type.
Col index is 2nd operand type.
Value is the result type of the operation,
or _undef if the operation is impossible.
*/
/* int float null string bool list*/
/* int */ { _bool, _bool, _undef, _undef, _undef, _undef},
/* float */ { _bool, _bool, _undef, _undef, _undef, _undef},
/* string */{ _undef, _undef, _undef, _undef, _undef, _undef},
/* bool */ { _undef, _undef, _undef, _undef, _undef, _undef},
/* null */ { _undef, _undef, _undef, _undef, _undef, _undef},
/* list */ { _undef, _undef, _undef, _undef, _undef, _undef}
};
int resultType_logic [6][6] = {
/*
Valid for && || != ==
Row index is 1st operand type.
Col index is 2nd operand type.
Value is the result type of the operation,
or _undef if the operation is impossible.
*/
/* int float null string bool list */
/* int */ { _bool, _bool, _bool, _bool, _bool, _undef},
/* float */ { _bool, _bool, _bool, _bool, _bool, _undef},
/* string */{ _bool, _bool, _bool, _bool, _bool, _undef},
/* bool */ { _bool, _bool, _bool, _bool, _bool, _undef},
/* null */ { _bool, _bool, _bool, _bool, _bool, _undef},
/* list */ { _undef, _undef, _undef, _undef, _undef, _bool}
};
struct Symbol {
char *sym;
int type;
int list_type; // type of each element if list
};
struct SymbolTable {
// currently implemented as a linked list
struct Symbol *head;
struct SymbolTable *next;
};
struct ContextStack {
// will contain the context given by TokenType
// e.g., Program, LoopLine, etc.
enum TokenType top;
struct ContextStack *next;
};
struct Symbol* new_Sym(char *sym);
struct SymbolTable* alloc_SymbolTable();
struct Symbol* search_symbol(struct SymbolTable *table, char *lexeme);
void push_Context(struct ContextStack **stack, enum TokenType type);
enum TokenType pop_Context(struct ContextStack **stack);
void free_Context(struct ContextStack *stack);
struct ContextStack* alloc_Context();
void print_Context(struct ContextStack *stack);
int analyze_Program(struct ParseTree *node);