Брайан Керниган - UNIX — универсальная среда программирования

union {

double val; /* if VAR */

double (*ptr)(); /* if BLTIN */

} u;

struct Symbol *next; /* to link to another */

} Symbol;

Symbol *install(), *lookup();

$

Тип UNDEFобозначает VAR, которой пока не присвоили значения. Объекты связаны в список с помощью элемента nextв записи Symbol. Сам список является локальным для symbol.c, доступ к нему возможен только посредством функций lookupи install. Это позволяет в случае необходимости легко менять структуру таблицы имен (что мы уже сделали однажды). Функция lookupотыскивает в списке заданное имя и возвращает указатель на Symbol, если имя найдено, и 0 в противном случае. Таблица имен рассчитана на линейный поиск, что вполне допустимо для диалогового калькулятора, поскольку поиск имен выполняется не во время его работы, а в процессе разбора. Функция installвносит переменную и связанные с ней тип и значение в начало списка. Функция emallocобращается к стандартной функции размещения malloc(см. справочное руководство по malloc(3)) и проверяет результат. Указанные три функции составляют содержимое файла symbol.c. Файл y.tab.hсоздается при выполнении команды yacc -d; он содержит операторы #define, порождаемые yaccдля лексем NUMBER, VAR, BLTINи т.д.

$ cat symbol.c

#include "hoc.h"

#include "y.tab.h"

static Symbol *symlist = 0; /* symbol table: linked list */

Symbol *lookup(s) /* find s in symbol table */

char *s;

{

Symbol *sp;

for (sp = symlist; sp != (Symbol*)0; sp = sp->next)

if (strcmp(sp->name, s) == 0)

return sp;

return 0; /* 0 ==> not found */

}

Symbol *install(s, t, d) /* install s in symbol table */

char *s;

int t;

double d;

{

Symbol *sp;

char *emalloc();

sp = (Symbol*)emalloc(sizeof(Symbol));

sp->name = emalloc(strlen(s)+1); /* +1 for '\0' */

strcpy(sp->name, s);

sp->type = t;

sp->u.val = d;

sp->next = symlist; /* put at front of list */

symlist = sp;

return sp;

}

char *emalloc(n) /* check return from malloc */

unsigned n;

{

char *p, *malloc();

p = malloc(n);

if (p == 0)

execerror("out of memory", (char*)0);

return p;

}

$

Файл init.cсодержит определения констант ( PIи т.п.) и указатели на встроенные функции; они заносятся в таблицу имен функцией init, находящейся в main.

$ cat init.c

#include "hoc.h"

#include "y.tab.h"

#include

extern double Log(), Log10(), Exp(), Sqrt(), integer();

static struct { /* Constants */

char *name;

double cval;

} consts[] = {

"PI", 3.14159265358979323846,

"E", 2.71828182845904523536,

"GAMMA", 0.57721566490153286060, /* Euler */

"DEG", 57.29577951308232087680, /* deg/radian */

"PHI", 1.61803398874989484820, /* golden ratio */

0, 0

};

static struct { /* Built-ins */

char *name;

double (*func)();

} builtins[] = {

"sin", sin,

"cos", cos,

"atan", atan,

"log", Log, /* checks argument */

"log10", Log10, /* checks argument */

"exp", Exp, /* checks argument */

"sqrt", Sqrt, /* checks argument */

"int", integer,

"abs", fabs,

0, 0

};

init() /* install constants and built-ins in table */

{

int i;

Symbol *s;

for (i = 0; consts[i].name; i++)

install(consts[i].name, VAR, consts[i].cval);

for (i = 0; builtins[i].name; i++) {

s = install(builtins[i].name, BLTIN, 0.0);

s->u.ptr = builtins[i].func;

}

}

Данные хранятся в таблицах, а не вводятся в текст программы, чтобы легче было их читать и изменять. Таблицы определены как статические, что обеспечивает их доступность только в данном файле. Мы вскоре вернемся к обсуждению стандартных математических функций типа Logи Sqrt.

Построив такой базис, можно перейти к изменениям в грамматике, которые осуществляются на его основе.

$ cat hoc.y

%{

#include "hoc.h"

extern double Pow();

%}

%union {

double val; /* actual value */

Symbol *sym; /* symbol table pointer */

}

%token NUMBER

%token VAR BLTIN UNDEF

%type expr asgn

%right '='

%left '+'

%left '*' '/'

%left UNARYMINUS

%right '^' /* exponentiation */

%%

list: /* nothing */

| list '\n'

| list asgn '\n'

| list expr '\n' { printf("\t%.8g\n", $2); }

| list error '\n' { yyerrok; }

;

asgn: VAR '=' expr { $$=$1->u.val=$3; $1->type = VAR; }

;

expr: NUMBER

| VAR {

if ($1->type == UNDEF)

execerror("undefined variable", $1->name);

$$ = $1->u.val;

}

| asgn

| BLTIN '(' expr ')' { $$ = (*($1->u.ptr))($3); }