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 {
122 };
124 /*
125 * Классы объектов.
126 * VAR -- переменная.
127 * TYPE -- тип данных.
128 * PROC -- процедура.
129 * PARAM -- параметр процедуры.
130 * VAR_PARAM -- VAR-параметр процедуры.
131 */
133 enum
134 {
135 OBERON_CLASS_VAR,
136 OBERON_CLASS_TYPE,
137 OBERON_CLASS_PROC,
138 OBERON_CLASS_PARAM,
139 OBERON_CLASS_VAR_PARAM,
140 OBERON_CLASS_CONST,
141 OBERON_CLASS_FIELD,
142 OBERON_CLASS_MODULE
143 };
145 /*
146 * Структура oberon_object_s (oberon_object_t) описывает все
147 * объявления которые могут иметь имя. От констант, до процедур.
148 * Поля:
149 * name -- имя объекта.
150 * class -- класс объекта (OBERON_CLASS_*).
151 * type -- ссылка на тип переменной, дескриптор типа или сигнатуру процедуры.
152 * next -- ссылка на следующий объект в списке.
153 */
158 struct oberon_object_s
159 {
174 GenerateFuncCallback genfunc;
175 GenerateProcCallback genproc;
185 };
187 /*
188 * Структура oberon_module_s (oberon_module_t) описывает объявление модуля.
189 * Поля:
190 * name -- настоящее имя модуля.
191 * decl -- все глобальные объявления в модуле.
192 * begin -- Указатель на сгенерированный код тела модуля (секция BEGIN).
193 */
195 struct oberon_module_s
196 {
203 };
205 /*
206 * Структура oberon_context_s (oberon_context_t) учитывает текущее состояние интерпретатора.
207 * Один экземпляр не может использоваться в нескольких потоках одновременно.
208 * Поля:
209 * code -- входной буффер для сканера.
210 * code_index -- Текущая позия в буффере.
211 * с -- последний прочитанный символ.
212 * token -- последний прочитанный токен.
213 * string -- буфер с прочитанной строкой / идентификатором.
214 * всегда имеет уникальный адрес и может изменяться.
215 * integer -- прочитанное целое число.
216 * decl -- текущая область видимости.
217 * mod -- текущий модуль.
218 * int_type, bool_type, void_type -- стандартные типы.
219 * world_scope -- область видимости "мир" - выше модуля.
220 */
224 struct oberon_context_s
225 {
226 /*** SCANER DATA ***/
234 /*** END SCANER DATA ***/
236 /*** PARSER DATA ***/
239 /*** END PARSER DATA ***/
247 ModuleImportCallback import_module;
249 };
251 enum
252 {
253 MODE_VAR,
254 MODE_INTEGER,
255 MODE_BOOLEAN,
256 MODE_CALL,
257 MODE_INDEX,
258 MODE_FIELD,
259 MODE_DEREF,
260 MODE_NIL
261 };
263 enum
264 {
265 OP_UNARY_MINUS,
266 OP_BITWISE_NOT,
267 OP_LOGIC_NOT,
268 OP_ABS,
270 OP_ADD,
271 OP_SUB,
272 OP_MUL,
273 OP_DIV,
274 OP_MOD,
275 OP_BITWISE_AND,
276 OP_BITWISE_XOR,
277 OP_BITWISE_OP,
278 OP_LOGIC_AND,
279 OP_LOGIC_OR,
281 OP_EQ,
282 OP_NEQ,
283 OP_LSS,
284 OP_LEQ,
285 OP_GRT,
286 OP_GEQ
287 };
289 struct oberon_item_s
290 {
305 };
307 struct oberon_oper_s
308 {
317 };
319 union oberon_expr_u
320 {
326 };
328 oberon_item_t item;
329 oberon_oper_t oper;
330 };