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

  return errcheck(log10(x), "log10");
 }

 double Sqrt(x)
  double x;
 {
  return errcheck(sqrt(x), "sqrt");
 }

 double Exp(x)
  double x;
 {
  return errcheck(exp(x), "exp");
 }

 double Pow(x, y)
  double x, y;
 {
  return errcheck(pow(x,y), "exponentiation");
 }

 double integer(x)
  double x;
 {
  return (double)(long)x;
 }

 double errcheck(d, s) /* check result of library call */
  double d;
  char *s;
 {
  if (errno == EDOM) {
  errno = 0;
  execerror(s, "argument out of domain");
  } else if (errno == ERANGE) {
  errno = 0;
  execerror(s, "result out of range");
  }
  return d;
 }

Любопытная, хотя грамматически неясная, диагностики появится при запуске yacc с новой грамматикой:

 $ yacc hoc.y
 conflicts: 1 shift/reduce
 $

Сообщение shift/reduce означает, что грамматика hoc3 неоднозначна: единственная входная строка

 x=1

может быть разобрана двумя способами.

Анализатор может решить, что присв сводится к выраж, а затем к список, как показано в левом дереве разбора, или что нужно применить заключающий символ \n сразу (shift — перенос) и преобразовать все в список, не используя промежуточных выводов, как в правом дереве разбора. Встретив неоднозначность, yacc выбирает перенос, так как это почти всегда правильное решение для реальных грамматик. Вы должны понимать такие сообщения, чтобы быть уверенным, что yacc сделал правильный выбор [16] . Запуск yacc с флагом – v порождает обширный файл с именем y.output, который поможет вам найти причины конфликтов.

16

Сообщение yacc: "shift/reduce conflict" обозначает серьезную проблему и чаще всего является симптомом не неоднозначности, а явной ошибки в грамматике.

Упражнение 8.5

В данной версии hoc3 допустимо присваивание:

 PI=3

Хорошо ли это? Как бы вы изменили hoc3, чтобы запретить присваивание "констант"?

Упражнение: 8.6

Добавьте к грамматике встроенную функцию atan2(x, y) для вычисления величины угла, тангенс которого равен x/y. Добавьте встроенную функцию rand, вырабатывающую случайные вещественные числа, равномерно распределенные на интервале [0,1). Как бы вам пришлось изменить грамматику, чтобы разрешить встроенные функции с разным числом аргументов?

Упражнение 8.7

Как ввести дополнительное средство для выполнения команд прямо в hoc, подобно операции ! в программах UNIX?

Упражнение 8.8

Переработайте текст math.c так, чтобы можно было использовать таблицу, а не предложенное выше множество идентичных функций.

Еще одно замечание относительно make

Поскольку теперь программа hoc3 размещается не в одном, а в пяти файлах, makefile становится более сложным:

 $ cat makefile
 YFLAGS = -d # force creation of y.tab.h
 OBJS = hoc.o init.o math.o symbol.o # abbreviation

 hoc3: $(OBJS)
  cc $(OBJS) -lm -o hoc3

 hoc.o: hoc.h

 init.o symbol.o: hoc.h y.tab.h

 pr:
  @pr hoc.y hoc.h init.c math.c symbol.c makefile

 clean:
  rm -f $(OBJS) y.tab.[ch]
 $

Строка YFLAGS = -d добавляет флаг – d в командную строку запуска yacc, создаваемую make. Этот флаг предписывает yacc создать файл y.tab.h, содержащий операторы #define. Строка OBJS = ... вводит сокращение для записи конструкции, используемой последовательно несколько раз. Синтаксис здесь не такой, как для переменных интерпретатора, скобки обязательны. Флаг – lm указывает, что математические функции нужно искать в библиотеке libm.a.

Теперь программа hoc3 образуется из четырех файлов .о, причем некоторые из них в свою очередь зависят от файлов .h. "Зная" эти зависимости, make может рассчитать, какая требуется перетрансляция в случае изменения любого из указанных файлов. Если вы хотите выяснить действия make, не запуская процесс, то попробуйте ввести команду

 $ make -n

С другой стороны, если необходимо установить временную согласованность файлов, с помощью флага – t (touch исправить) вы можете как бы модифицировать файлы, не производя перетрансляции.

Обратите внимание на то, что мы ввели не только множество зависимостей между исходными файлами, но и несколько полезных процедур, сконцентрировав их в одном файле. По умолчанию программа make выполняет первое действие, указанное в файле makefile. Однако если на первом месте окажется элемент, помечающий правило зависимости, такой, как symbol.o или pr, то выполняться будет он. Считается, что в случае "пустой" зависимости элемент всегда берется не из последней версии, поэтому при запросе он обязательно должен изменяться. Итак,

 $ make pr | lpr

инициирует распечатку зависимостей файлов на принтере. (Появление символа @ в "@pr" подавляет эхо выполняемой команды, запущенной с помощью make.) Команда же

 make clean

удаляет выходные файлы yacc, а также файлы .o.

Такой механизм пустых зависимостей в файле makefile часто оказывается более предпочтительным по сравнению с командным файлом как средство для концентрации в одном файле всех связанных операций. Область применения команды make не ограничивается только разработкой программ, она позволяет сгруппировать в единый набор все операции, имеющие временные зависимости.