09a24c98caeaa08f59b50e8b562035b261acd9d7
1 #ifndef EMBEDED_OBERON_SCRIPT_H
2 #define EMBEDED_OBERON_SCRIPT_H
4 #include <libgccjit.h>
12 struct gen_proc_s
13 {
15 };
17 struct gen_type_s
18 {
21 };
23 struct gen_var_s
24 {
28 };
30 struct gen_block_s
31 {
34 };
36 struct gen_context_s
37 {
42 };
54 /*
55 * Структура oberon_scope_s (oberon_type_t) реализует стекообразную
56 * область видимости объектов.
57 * Поля:
58 * ctx -- контекст в котором область видимости была создана;
59 * list -- список объявлений. Первый элемент всегда существует,
60 * но не используется и должен быть пропущен.
61 * up -- ссылка на облась видимости уровнем выше.
62 */
64 struct oberon_scope_s
65 {
72 };
74 /*
75 * Формы типов данных.
76 * Тип VOID используется как заглушка возврата типа в обычных процедурах
77 */
79 enum
80 {
81 OBERON_TYPE_VOID,
82 OBERON_TYPE_INTEGER,
83 OBERON_TYPE_BOOLEAN,
84 OBERON_TYPE_PROCEDURE,
85 OBERON_TYPE_ARRAY,
86 OBERON_TYPE_RECORD,
87 OBERON_TYPE_POINTER
88 };
90 /*
91 * Структура oberon_type_s (oberon_type_t) описывает типы данных.
92 * Поля:
93 * class -- Форма типа данных (OBERON_TYPE_*).
94 * size -- Размер примитива в байтах или количество ячеек массива.
95 * Ноль для открытых массивов.
96 * num_decl -- Количество объявленых полей в структуре или сигнатуре процедуры.
97 * base -- Базовый тип структуры или тип возврата процедуры.
98 * decl -- Список объявлений. Перебор начинается с первого элемента.
99 *
100 * Таблица использования полей:
101 * class size num_decl base decl
102 * VOID - - - -
103 * INT + - - -
104 * BOOL + - - -
105 * PROC - + + +
106 */
108 struct oberon_type_s
109 {
120 };
122 /*
123 * Классы объектов.
124 * VAR -- переменная.
125 * TYPE -- тип данных.
126 * PROC -- процедура.
127 * PARAM -- параметр процедуры.
128 * VAR_PARAM -- VAR-параметр процедуры.
129 */
131 enum
132 {
133 OBERON_CLASS_VAR,
134 OBERON_CLASS_TYPE,
135 OBERON_CLASS_PROC,
136 OBERON_CLASS_PARAM,
137 OBERON_CLASS_VAR_PARAM,
138 OBERON_CLASS_CONST,
139 OBERON_CLASS_FIELD
140 };
142 enum
143 {
144 OBERON_SYSPROC_ABS
145 };
147 /*
148 * Структура oberon_object_s (oberon_object_t) описывает все
149 * объявления которые могут иметь имя. От констант, до процедур.
150 * Поля:
151 * name -- имя объекта.
152 * class -- класс объекта (OBERON_CLASS_*).
153 * type -- ссылка на тип переменной, дескриптор типа или сигнатуру процедуры.
154 * next -- ссылка на следующий объект в списке.
155 */
160 struct oberon_object_s
161 {
174 GenerateFuncCallback genfunc;
175 GenerateProcCallback genproc;
183 };
185 /*
186 * Структура oberon_module_s (oberon_module_t) описывает объявление модуля.
187 * Поля:
188 * name -- настоящее имя модуля.
189 * decl -- все глобальные объявления в модуле.
190 * begin -- Указатель на сгенерированный код тела модуля (секция BEGIN).
191 */
193 struct oberon_module_s
194 {
200 };
202 /*
203 * Структура oberon_context_s (oberon_context_t) учитывает текущее состояние интерпретатора.
204 * Один экземпляр не может использоваться в нескольких потоках одновременно.
205 * Поля:
206 * code -- входной буффер для сканера.
207 * code_index -- Текущая позия в буффере.
208 * с -- последний прочитанный символ.
209 * token -- последний прочитанный токен.
210 * string -- буфер с прочитанной строкой / идентификатором.
211 * всегда имеет уникальный адрес и может изменяться.
212 * integer -- прочитанное целое число.
213 * decl -- текущая область видимости.
214 * mod -- текущий модуль.
215 * int_type, bool_type, void_type -- стандартные типы.
216 * world_scope -- область видимости "мир" - выше модуля.
217 */
219 struct oberon_context_s
220 {
239 };
241 enum
242 {
243 MODE_VAR,
244 MODE_INTEGER,
245 MODE_BOOLEAN,
246 MODE_CALL,
247 MODE_INDEX,
248 MODE_FIELD,
249 MODE_DEREF,
250 MODE_NIL
251 };
253 enum
254 {
255 OP_UNARY_MINUS,
256 OP_BITWISE_NOT,
257 OP_LOGIC_NOT,
258 OP_ABS,
260 OP_ADD,
261 OP_SUB,
262 OP_MUL,
263 OP_DIV,
264 OP_MOD,
265 OP_BITWISE_AND,
266 OP_BITWISE_XOR,
267 OP_BITWISE_OP,
268 OP_LOGIC_AND,
269 OP_LOGIC_OR,
271 OP_EQ,
272 OP_NEQ,
273 OP_LSS,
274 OP_LEQ,
275 OP_GRT,
276 OP_GEQ
277 };
279 struct oberon_item_s
280 {
294 };
296 struct oberon_oper_s
297 {
305 };
307 union oberon_expr_u
308 {
313 };
315 oberon_item_t item;
316 oberon_oper_t oper;
317 };