X-Git-Url: http://deadsoftware.ru/gitweb?a=blobdiff_plain;f=oberon.h;h=69ee927fede72bb5a643c55608c23db621e78c44;hb=42da6ba15843521d2b18994d863f2ec3d2672a97;hp=b2f0965f3c6acadd009dd22e99d4e5a1df8bc270;hpb=7f3e5aeb0348e6c0af28869bad6acc13fe483177;p=dsw-obn.git diff --git a/oberon.h b/oberon.h index b2f0965..69ee927 100644 --- a/oberon.h +++ b/oberon.h @@ -1,55 +1,188 @@ #ifndef EMBEDED_OBERON_SCRIPT_H #define EMBEDED_OBERON_SCRIPT_H -typedef struct oberon_var_s oberon_var_t; +#include + +/* + * Стуктуры данных генератора + */ + +typedef struct +{ + gcc_jit_function * gcc_func; +} gen_proc_t; + +typedef struct +{ + gcc_jit_type * gcc_type; + gcc_jit_struct * gcc_struct; +} gen_type_t; + +typedef struct +{ + gcc_jit_lvalue * gcc_lvalue; + gcc_jit_param * gcc_param; + gcc_jit_field * gcc_field; +} gen_var_t; + +typedef struct +{ + gcc_jit_context * gcc_context; + gcc_jit_block * gcc_block; + gcc_jit_result * gcc_result; +} gen_context_t; + typedef struct oberon_type_s oberon_type_t; -typedef struct oberon_proc_s oberon_proc_t; +typedef struct oberon_object_s oberon_object_t; typedef struct oberon_module_s oberon_module_t; typedef struct oberon_context_s oberon_context_t; +typedef struct oberon_scope_s oberon_scope_t; -enum { +typedef struct oberon_item_s oberon_item_t; +typedef struct oberon_oper_s oberon_oper_t; +typedef union oberon_expr_u oberon_expr_t; + +/* + * Структура oberon_scope_s (oberon_type_t) реализует стекообразную + * область видимости объектов. + * Поля: + * ctx -- контекст в котором область видимости была создана; + * list -- список объявлений. Первый элемент всегда существует, + * но не используется и должен быть пропущен. + * up -- ссылка на облась видимости уровнем выше. + */ + +struct oberon_scope_s +{ + oberon_context_t * ctx; + oberon_object_t * list; + oberon_scope_t * up; +}; + +/* + * Формы типов данных. + * Тип VOID используется как заглушка возврата типа в обычных процедурах + */ + +enum +{ + OBERON_TYPE_VOID, OBERON_TYPE_INTEGER, OBERON_TYPE_BOOLEAN, + OBERON_TYPE_PROCEDURE, + OBERON_TYPE_ARRAY, + OBERON_TYPE_RECORD, }; +/* + * Структура oberon_type_s (oberon_type_t) описывает типы данных. + * Поля: + * class -- Форма типа данных (OBERON_TYPE_*). + * size -- Размер примитива в байтах или количество ячеек массива. + * Ноль для открытых массивов. + * num_decl -- Количество объявленых полей в структуре или сигнатуре процедуры. + * base -- Базовый тип структуры или тип возврата процедуры. + * decl -- Список объявлений. Перебор начинается с первого элемента. + * + * Таблица использования полей: + * class size num_decl base decl + * VOID - - - - + * INT + - - - + * BOOL + - - - + * PROC - + + + + */ + struct oberon_type_s { - char * name; int class; int size; - oberon_type_t * next; - void * gen_type; + int dim; + + int num_decl; + oberon_type_t * base; + oberon_object_t * decl; + + gen_type_t * gen_type; }; -struct oberon_var_s -{ - char * name; - oberon_type_t * type; - oberon_var_t * next; +/* + * Классы объектов. + * VAR -- переменная. + * TYPE -- тип данных. + * PROC -- процедура. + * PARAM -- параметр процедуры. + * VAR_PARAM -- VAR-параметр процедуры. + */ - void * gen_var; +enum +{ + OBERON_CLASS_VAR, + OBERON_CLASS_TYPE, + OBERON_CLASS_PROC, + OBERON_CLASS_PARAM, + OBERON_CLASS_VAR_PARAM, + OBERON_CLASS_CONST, + OBERON_CLASS_FIELD }; -struct oberon_proc_s +/* + * Структура oberon_object_s (oberon_object_t) описывает все + * объявления которые могут иметь имя. От констант, до процедур. + * Поля: + * name -- имя объекта. + * class -- класс объекта (OBERON_CLASS_*). + * type -- ссылка на тип переменной, дескриптор типа или сигнатуру процедуры. + * next -- ссылка на следующий объект в списке. + */ + +struct oberon_object_s { char * name; + int class; - oberon_proc_t * next; + oberon_type_t * type; + oberon_item_t * value; + oberon_object_t * next; - void * gen_proc; + gen_var_t * gen_var; + gen_proc_t * gen_proc; }; +/* + * Структура oberon_module_s (oberon_module_t) описывает объявление модуля. + * Поля: + * name -- настоящее имя модуля. + * decl -- все глобальные объявления в модуле. + * begin -- Указатель на сгенерированный код тела модуля (секция BEGIN). + */ + struct oberon_module_s { char * name; - oberon_var_t * vars; - oberon_proc_t * procs; + oberon_scope_t * decl; void (* begin)(); }; +/* + * Структура oberon_context_s (oberon_context_t) учитывает текущее состояние интерпретатора. + * Один экземпляр не может использоваться в нескольких потоках одновременно. + * Поля: + * code -- входной буффер для сканера. + * code_index -- Текущая позия в буффере. + * с -- последний прочитанный символ. + * token -- последний прочитанный токен. + * string -- буфер с прочитанной строкой / идентификатором. + * всегда имеет уникальный адрес и может изменяться. + * integer -- прочитанное целое число. + * decl -- текущая область видимости. + * mod -- текущий модуль. + * int_type, bool_type, void_type -- стандартные типы. + * world_scope -- область видимости "мир" - выше модуля. + */ + struct oberon_context_s { const char * code; @@ -60,22 +193,32 @@ struct oberon_context_s char * string; int integer; + int has_return; + oberon_type_t * result_type; + + oberon_scope_t * decl; oberon_module_t * mod; - oberon_type_t * types; oberon_type_t * int_type; oberon_type_t * bool_type; + oberon_type_t * void_type; + oberon_scope_t * world_scope; - void * gen_context; + gen_context_t * gen_context; }; -enum { +enum +{ MODE_VAR, MODE_INTEGER, - MODE_BOOLEAN + MODE_BOOLEAN, + MODE_CALL, + MODE_INDEX, + MODE_FIELD }; -enum { +enum +{ OP_LOGIC_NOT, OP_UNARY_MINUS, OP_ADD, @@ -93,25 +236,28 @@ enum { OP_GEQ }; -typedef struct oberon_item_s oberon_item_t; -typedef struct oberon_oper_s oberon_oper_t; -typedef union oberon_expr_u oberon_expr_t; - struct oberon_item_s { - int is_item; + int is_item; // == 1 oberon_type_t * result; + oberon_expr_t * next; int mode; int integer; int boolean; - oberon_var_t * var; + oberon_object_t * var; + + oberon_item_t * parent; + + int num_args; + oberon_expr_t * args; }; struct oberon_oper_s { - int is_item; + int is_item; // == 0 oberon_type_t * result; + oberon_expr_t * next; int op; oberon_expr_t * left; @@ -123,6 +269,7 @@ union oberon_expr_u struct { int is_item; oberon_type_t * result; + oberon_expr_t * next; }; oberon_item_t item;