1 #ifndef EMBEDED_OBERON_SCRIPT_H
2 #define EMBEDED_OBERON_SCRIPT_H
4 #include <libgccjit.h>
6 /*
7 * Стуктуры данных генератора
8 */
11 {
16 {
22 {
29 {
45 /*
46 * Структура oberon_scope_s (oberon_type_t) реализует стекообразную
47 * область видимости объектов.
48 * Поля:
49 * ctx -- контекст в котором область видимости была создана;
50 * list -- список объявлений. Первый элемент всегда существует,
51 * но не используется и должен быть пропущен.
52 * up -- ссылка на облась видимости уровнем выше.
53 */
55 struct oberon_scope_s
56 {
60 };
62 /*
63 * Формы типов данных.
64 * Тип VOID используется как заглушка возврата типа в обычных процедурах
65 */
67 enum
68 {
69 OBERON_TYPE_VOID,
70 OBERON_TYPE_INTEGER,
71 OBERON_TYPE_BOOLEAN,
72 OBERON_TYPE_PROCEDURE,
73 OBERON_TYPE_ARRAY,
74 OBERON_TYPE_RECORD,
75 };
77 /*
78 * Структура oberon_type_s (oberon_type_t) описывает типы данных.
79 * Поля:
80 * class -- Форма типа данных (OBERON_TYPE_*).
81 * size -- Размер примитива в байтах или количество ячеек массива.
82 * Ноль для открытых массивов.
83 * num_decl -- Количество объявленых полей в структуре или сигнатуре процедуры.
84 * base -- Базовый тип структуры или тип возврата процедуры.
85 * decl -- Список объявлений. Перебор начинается с первого элемента.
86 *
87 * Таблица использования полей:
88 * class size num_decl base decl
89 * VOID - - - -
90 * INT + - - -
91 * BOOL + - - -
92 * PROC - + + +
93 */
95 struct oberon_type_s
96 {
107 };
109 /*
110 * Классы объектов.
111 * VAR -- переменная.
112 * TYPE -- тип данных.
113 * PROC -- процедура.
114 * PARAM -- параметр процедуры.
115 * VAR_PARAM -- VAR-параметр процедуры.
116 */
118 enum
119 {
120 OBERON_CLASS_VAR,
121 OBERON_CLASS_TYPE,
122 OBERON_CLASS_PROC,
123 OBERON_CLASS_PARAM,
124 OBERON_CLASS_VAR_PARAM,
125 OBERON_CLASS_CONST,
126 OBERON_CLASS_FIELD
127 };
129 /*
130 * Структура oberon_object_s (oberon_object_t) описывает все
131 * объявления которые могут иметь имя. От констант, до процедур.
132 * Поля:
133 * name -- имя объекта.
134 * class -- класс объекта (OBERON_CLASS_*).
135 * type -- ссылка на тип переменной, дескриптор типа или сигнатуру процедуры.
136 * next -- ссылка на следующий объект в списке.
137 */
139 struct oberon_object_s
140 {
150 };
152 /*
153 * Структура oberon_module_s (oberon_module_t) описывает объявление модуля.
154 * Поля:
155 * name -- настоящее имя модуля.
156 * decl -- все глобальные объявления в модуле.
157 * begin -- Указатель на сгенерированный код тела модуля (секция BEGIN).
158 */
160 struct oberon_module_s
161 {
167 };
169 /*
170 * Структура oberon_context_s (oberon_context_t) учитывает текущее состояние интерпретатора.
171 * Один экземпляр не может использоваться в нескольких потоках одновременно.
172 * Поля:
173 * code -- входной буффер для сканера.
174 * code_index -- Текущая позия в буффере.
175 * с -- последний прочитанный символ.
176 * token -- последний прочитанный токен.
177 * string -- буфер с прочитанной строкой / идентификатором.
178 * всегда имеет уникальный адрес и может изменяться.
179 * integer -- прочитанное целое число.
180 * decl -- текущая область видимости.
181 * mod -- текущий модуль.
182 * int_type, bool_type, void_type -- стандартные типы.
183 * world_scope -- область видимости "мир" - выше модуля.
184 */
186 struct oberon_context_s
187 {
208 };
210 enum
211 {
212 MODE_VAR,
213 MODE_INTEGER,
214 MODE_BOOLEAN,
215 MODE_CALL,
216 MODE_INDEX,
217 MODE_FIELD
218 };
220 enum
221 {
222 OP_LOGIC_NOT,
223 OP_UNARY_MINUS,
224 OP_ADD,
225 OP_SUB,
226 OP_MUL,
227 OP_DIV,
228 OP_MOD,
229 OP_LOGIC_AND,
230 OP_LOGIC_OR,
231 OP_EQ,
232 OP_NEQ,
233 OP_LSS,
234 OP_LEQ,
235 OP_GRT,
236 OP_GEQ
237 };
239 struct oberon_item_s
240 {
254 };
256 struct oberon_oper_s
257 {
265 };
267 union oberon_expr_u
268 {
273 };
275 oberon_item_t item;
276 oberon_oper_t oper;
277 };