1 #ifndef EMBEDED_OBERON_SCRIPT_H
2 #define EMBEDED_OBERON_SCRIPT_H
4 #include <libgccjit.h>
6 /*
7 * Стуктуры данных генератора
8 */
11 {
16 {
21 {
28 {
44 /*
45 * Структура oberon_scope_s (oberon_type_t) реализует стекообразную
46 * область видимости объектов.
47 * Поля:
48 * ctx -- контекст в котором область видимости была создана;
49 * list -- список объявлений. Первый элемент всегда существует,
50 * но не используется и должен быть пропущен.
51 * up -- ссылка на облась видимости уровнем выше.
52 */
54 struct oberon_scope_s
55 {
59 };
61 /*
62 * Формы типов данных.
63 * Тип VOID используется как заглушка возврата типа в обычных процедурах
64 */
66 enum
67 {
68 OBERON_TYPE_VOID,
69 OBERON_TYPE_INTEGER,
70 OBERON_TYPE_BOOLEAN,
71 OBERON_TYPE_PROCEDURE,
72 OBERON_TYPE_ARRAY
73 };
75 /*
76 * Структура oberon_type_s (oberon_type_t) описывает типы данных.
77 * Поля:
78 * class -- Форма типа данных (OBERON_TYPE_*).
79 * size -- Размер примитива в байтах или количество ячеек массива.
80 * Ноль для открытых массивов.
81 * num_decl -- Количество объявленых полей в структуре или сигнатуре процедуры.
82 * base -- Базовый тип структуры или тип возврата процедуры.
83 * decl -- Список объявлений. Перебор начинается с первого элемента.
84 *
85 * Таблица использования полей:
86 * class size num_decl base decl
87 * VOID - - - -
88 * INT + - - -
89 * BOOL + - - -
90 * PROC - + + +
91 */
93 struct oberon_type_s
94 {
105 };
107 /*
108 * Классы объектов.
109 * VAR -- переменная.
110 * TYPE -- тип данных.
111 * PROC -- процедура.
112 * PARAM -- параметр процедуры.
113 * VAR_PARAM -- VAR-параметр процедуры.
114 */
116 enum
117 {
118 OBERON_CLASS_VAR,
119 OBERON_CLASS_TYPE,
120 OBERON_CLASS_PROC,
121 OBERON_CLASS_PARAM,
122 OBERON_CLASS_VAR_PARAM,
123 OBERON_CLASS_CONST
124 };
126 /*
127 * Структура oberon_object_s (oberon_object_t) описывает все
128 * объявления которые могут иметь имя. От констант, до процедур.
129 * Поля:
130 * name -- имя объекта.
131 * class -- класс объекта (OBERON_CLASS_*).
132 * type -- ссылка на тип переменной, дескриптор типа или сигнатуру процедуры.
133 * next -- ссылка на следующий объект в списке.
134 */
136 struct oberon_object_s
137 {
147 };
149 /*
150 * Структура oberon_module_s (oberon_module_t) описывает объявление модуля.
151 * Поля:
152 * name -- настоящее имя модуля.
153 * decl -- все глобальные объявления в модуле.
154 * begin -- Указатель на сгенерированный код тела модуля (секция BEGIN).
155 */
157 struct oberon_module_s
158 {
164 };
166 /*
167 * Структура oberon_context_s (oberon_context_t) учитывает текущее состояние интерпретатора.
168 * Один экземпляр не может использоваться в нескольких потоках одновременно.
169 * Поля:
170 * code -- входной буффер для сканера.
171 * code_index -- Текущая позия в буффере.
172 * с -- последний прочитанный символ.
173 * token -- последний прочитанный токен.
174 * string -- буфер с прочитанной строкой / идентификатором.
175 * всегда имеет уникальный адрес и может изменяться.
176 * integer -- прочитанное целое число.
177 * decl -- текущая область видимости.
178 * mod -- текущий модуль.
179 * int_type, bool_type, void_type -- стандартные типы.
180 * world_scope -- область видимости "мир" - выше модуля.
181 */
183 struct oberon_context_s
184 {
205 };
207 enum
208 {
209 MODE_VAR,
210 MODE_INTEGER,
211 MODE_BOOLEAN,
212 MODE_CALL
213 };
215 enum
216 {
217 OP_LOGIC_NOT,
218 OP_UNARY_MINUS,
219 OP_ADD,
220 OP_SUB,
221 OP_MUL,
222 OP_DIV,
223 OP_MOD,
224 OP_LOGIC_AND,
225 OP_LOGIC_OR,
226 OP_EQ,
227 OP_NEQ,
228 OP_LSS,
229 OP_LEQ,
230 OP_GRT,
231 OP_GEQ
232 };
234 struct oberon_item_s
235 {
247 };
249 struct oberon_oper_s
250 {
258 };
260 union oberon_expr_u
261 {
266 };
268 oberon_item_t item;
269 oberon_oper_t oper;
270 };