home *** CD-ROM | disk | FTP | other *** search
/ Fresh Fish 4 / FreshFish_May-June1994.bin / bbs / gnu / groff-1.09-src.lha / src / amiga / groff-1.09 / eqn / delim.cc < prev    next >
Encoding:
C/C++ Source or Header  |  1993-10-14  |  10.4 KB  |  381 lines
  1. // -*- C++ -*-
  2. /* Copyright (C) 1989, 1990, 1991, 1992 Free Software Foundation, Inc.
  3.      Written by James Clark (jjc@jclark.com)
  4.  
  5. This file is part of groff.
  6.  
  7. groff is free software; you can redistribute it and/or modify it under
  8. the terms of the GNU General Public License as published by the Free
  9. Software Foundation; either version 2, or (at your option) any later
  10. version.
  11.  
  12. groff is distributed in the hope that it will be useful, but WITHOUT ANY
  13. WARRANTY; without even the implied warranty of MERCHANTABILITY or
  14. FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  15. for more details.
  16.  
  17. You should have received a copy of the GNU General Public License along
  18. with groff; see the file COPYING.  If not, write to the Free Software
  19. Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. */
  20.  
  21. #include "eqn.h"
  22. #include "pbox.h"
  23.  
  24. enum left_or_right_t { LEFT_DELIM = 01, RIGHT_DELIM = 02 };
  25.  
  26. // Small must be none-zero and must exist in each device.
  27. // Small will be put in the roman font, others are assumed to be
  28. // on the special font (so no font change will be necessary.)
  29.  
  30. struct delimiter {
  31.   const char *name;
  32.   int flags;
  33.   const char *small;
  34.   const char *chain_format;
  35.   const char *ext;
  36.   const char *top;
  37.   const char *mid;
  38.   const char *bot;
  39. } delim_table[] = {
  40.   {
  41.     "(", LEFT_DELIM|RIGHT_DELIM, "(", "\\[parenleft%s]",
  42.     "\\[parenleftex]",
  43.     "\\[parenlefttp]",
  44.     0,
  45.     "\\[parenleftbt]",
  46.   },
  47.   {
  48.     ")", LEFT_DELIM|RIGHT_DELIM, ")", "\\[parenright%s]",
  49.     "\\[parenrightex]",
  50.     "\\[parenrighttp]",
  51.     0,
  52.     "\\[parenrightbt]",
  53.   },
  54.   {
  55.     "[", LEFT_DELIM|RIGHT_DELIM, "[", "\\[bracketleft%s]",
  56.     "\\[bracketleftex]",
  57.     "\\[bracketlefttp]",
  58.     0,
  59.     "\\[bracketleftbt]",
  60.   },
  61.   {
  62.     "]", LEFT_DELIM|RIGHT_DELIM, "]", "\\[bracketright%s]",
  63.     "\\[bracketrightex]",
  64.     "\\[bracketrighttp]",
  65.     0,
  66.     "\\[bracketrightbt]",
  67.   },
  68.   {
  69.     "{", LEFT_DELIM|RIGHT_DELIM, "{", "\\[braceleft%s]",
  70.     "\\[braceleftex]",
  71.     "\\[bracelefttp]",
  72.     "\\[braceleftmid]",
  73.     "\\[braceleftbt]",
  74.   },
  75.   {
  76.     "}", LEFT_DELIM|RIGHT_DELIM, "}", "\\[braceright%s]",
  77.     "\\[bracerightex]",
  78.     "\\[bracerighttp]",
  79.     "\\[bracerightmid]",
  80.     "\\[bracerightbt]",
  81.   },
  82.   {
  83.     "|", LEFT_DELIM|RIGHT_DELIM, "|", "\\[bar%s]",
  84.     "\\[barex]",
  85.   },
  86.   {
  87.     "floor", LEFT_DELIM, "\\(lf", "\\[floorleft%s]",
  88.     "\\[bracketleftex]",
  89.     0,
  90.     0,
  91.     "\\[bracketleftbt]",
  92.   },
  93.   {
  94.     "floor", RIGHT_DELIM, "\\(rf", "\\[floorright%s]",
  95.     "\\[bracketrightex]",
  96.     0,
  97.     0,
  98.     "\\[bracketrightbt]",
  99.   },
  100.   {
  101.     "ceiling", LEFT_DELIM, "\\(lc", "\\[ceilingleft%s]",
  102.     "\\[bracketleftex]",
  103.     "\\[bracketlefttp]",
  104.   },
  105.   {
  106.     "ceiling", RIGHT_DELIM, "\\(rc", "\\[ceilingright%s]",
  107.     "\\[bracketrightex]",
  108.     "\\[bracketrighttp]",
  109.   },
  110.   {
  111.     "||", LEFT_DELIM|RIGHT_DELIM, "|", "\\[bar%s]",
  112.     "\\[bardblex]",
  113.   },
  114.   {
  115.     "<", LEFT_DELIM|RIGHT_DELIM, "\\(la", "\\[angleleft%s]",
  116.   },
  117.   {
  118.     ">", LEFT_DELIM|RIGHT_DELIM, "\\(ra", "\\[angleright%s]",
  119.   },
  120.   {
  121.     "uparrow", LEFT_DELIM|RIGHT_DELIM, "\\(ua", "\\[arrowup%s]",
  122.     "\\[arrowvertex]",
  123.     "\\[arrowverttp]",
  124.   },
  125.   {
  126.     "downarrow", LEFT_DELIM|RIGHT_DELIM, "\\(da", "\\[arrowdown%s]",
  127.     "\\[arrowvertex]",
  128.     0,
  129.     0,
  130.     "\\[arrowvertbt]",
  131.   },
  132.   {
  133.     "updownarrow", LEFT_DELIM|RIGHT_DELIM, "\\(va", "\\[arrowupdown%s]",
  134.     "\\[arrowvertex]",
  135.     "\\[arrowverttp]",
  136.     0,
  137.     "\\[arrowvertbt]",
  138.   },
  139. };
  140.  
  141. const int DELIM_TABLE_SIZE = int(sizeof(delim_table)/sizeof(delim_table[0]));
  142.  
  143. class delim_box : public box {
  144. private:
  145.   char *left;
  146.   char *right;
  147.   box *p;
  148. public:
  149.   delim_box(char *, box *, char *);
  150.   ~delim_box();
  151.   int compute_metrics(int);
  152.   void output();
  153.   void check_tabs(int);
  154.   void debug_print();
  155. };
  156.  
  157. box *make_delim_box(char *l, box *pp, char *r)
  158. {
  159.   if (l != 0 && *l == '\0') {
  160.     a_delete l;
  161.     l = 0;
  162.   }
  163.   if (r != 0 && *r == '\0') {
  164.     a_delete r;
  165.     r = 0;
  166.   }
  167.   return new delim_box(l, pp, r);
  168. }
  169.  
  170. delim_box::delim_box(char *l, box *pp, char *r)
  171. : left(l), right(r), p(pp)
  172. {
  173. }
  174.  
  175. delim_box::~delim_box()
  176. {
  177.   a_delete left;
  178.   a_delete right;
  179.   delete p;
  180. }
  181.  
  182. static void build_extensible(const char *ext, const char *top, const char *mid,
  183.                  const char *bot)
  184. {
  185.   assert(ext != 0);
  186.   printf(".nr " DELIM_WIDTH_REG " 0\\w" DELIMITER_CHAR "%s" DELIMITER_CHAR "\n",
  187.      ext);
  188.   printf(".nr " EXT_HEIGHT_REG " 0\\n[rst]\n");
  189.   printf(".nr " EXT_DEPTH_REG " 0-\\n[rsb]\n");
  190.   if (top) {
  191.     printf(".nr " DELIM_WIDTH_REG " 0\\n[" DELIM_WIDTH_REG "]"
  192.        ">?\\w" DELIMITER_CHAR "%s" DELIMITER_CHAR "\n",
  193.        top);
  194.     printf(".nr " TOP_HEIGHT_REG " 0\\n[rst]\n");
  195.     printf(".nr " TOP_DEPTH_REG " 0-\\n[rsb]\n");
  196.   }
  197.   if (mid) {
  198.     printf(".nr " DELIM_WIDTH_REG " 0\\n[" DELIM_WIDTH_REG "]"
  199.        ">?\\w" DELIMITER_CHAR "%s" DELIMITER_CHAR "\n",
  200.        mid);
  201.     printf(".nr " MID_HEIGHT_REG " 0\\n[rst]\n");
  202.     printf(".nr " MID_DEPTH_REG " 0-\\n[rsb]\n");
  203.   }
  204.   if (bot) {
  205.     printf(".nr " DELIM_WIDTH_REG " 0\\n[" DELIM_WIDTH_REG "]"
  206.        ">?\\w" DELIMITER_CHAR "%s" DELIMITER_CHAR "\n",
  207.        bot);
  208.     printf(".nr " BOT_HEIGHT_REG " 0\\n[rst]\n");
  209.     printf(".nr " BOT_DEPTH_REG " 0-\\n[rsb]\n");
  210.   }
  211.   printf(".nr " TOTAL_HEIGHT_REG " 0");
  212.   if (top)
  213.     printf("+\\n[" TOP_HEIGHT_REG "]+\\n[" TOP_DEPTH_REG "]");
  214.   if (bot)
  215.     printf("+\\n[" BOT_HEIGHT_REG "]+\\n[" BOT_DEPTH_REG "]");
  216.   if (mid)
  217.     printf("+\\n[" MID_HEIGHT_REG "]+\\n[" MID_DEPTH_REG "]");
  218.   printf("\n");
  219.   // determine how many extensible characters we need
  220.   printf(".nr " TEMP_REG " \\n[" DELTA_REG "]-\\n[" TOTAL_HEIGHT_REG "]");
  221.   if (mid)
  222.     printf("/2");
  223.   printf(">?0+\\n[" EXT_HEIGHT_REG "]+\\n[" EXT_DEPTH_REG "]-1/(\\n["
  224.      EXT_HEIGHT_REG "]+\\n[" EXT_DEPTH_REG "])\n");
  225.   
  226.   printf(".nr " TOTAL_HEIGHT_REG " +(\\n[" EXT_HEIGHT_REG "]+\\n["
  227.      EXT_DEPTH_REG "]*\\n[" TEMP_REG "]");
  228.   if (mid)
  229.     printf("*2");
  230.   printf(")\n");
  231.   printf(".ds " DELIM_STRING " \\Z" DELIMITER_CHAR
  232.      "\\v'-%dM-(\\n[" TOTAL_HEIGHT_REG "]u/2u)'\n",
  233.      axis_height);
  234.   if (top)
  235.     printf(".as " DELIM_STRING " \\v'\\n[" TOP_HEIGHT_REG "]u'"
  236.        "\\Z" DELIMITER_CHAR "%s" DELIMITER_CHAR
  237.        "\\v'\\n[" TOP_DEPTH_REG "]u'\n",
  238.        top);
  239.  
  240.   // this macro appends $2 copies of $3 to string $1
  241.   printf(".de " REPEAT_APPEND_STRING_MACRO "\n"
  242.      ".if \\\\$2 \\{.as \\\\$1 \"\\\\$3\n"
  243.      "." REPEAT_APPEND_STRING_MACRO " \\\\$1 \\\\$2-1 \"\\\\$3\"\n"
  244.      ".\\}\n"
  245.      "..\n");
  246.  
  247.   printf("." REPEAT_APPEND_STRING_MACRO " " DELIM_STRING " \\n[" TEMP_REG "] "
  248.      "\\v'\\n[" EXT_HEIGHT_REG "]u'"
  249.      "\\Z" DELIMITER_CHAR "%s" DELIMITER_CHAR 
  250.      "\\v'\\n[" EXT_DEPTH_REG "]u'\n",
  251.      ext);
  252.  
  253.   if (mid) {
  254.     printf(".as " DELIM_STRING " \\v'\\n[" MID_HEIGHT_REG "]u'"
  255.        "\\Z" DELIMITER_CHAR "%s" DELIMITER_CHAR
  256.        "\\v'\\n[" MID_DEPTH_REG "]u'\n",
  257.        mid);
  258.     printf("." REPEAT_APPEND_STRING_MACRO " " DELIM_STRING 
  259.        " \\n[" TEMP_REG "] "
  260.        "\\v'\\n[" EXT_HEIGHT_REG "]u'"
  261.        "\\Z" DELIMITER_CHAR "%s" DELIMITER_CHAR
  262.        "\\v'\\n[" EXT_DEPTH_REG "]u'\n",
  263.        ext);
  264.   }
  265.   if (bot)
  266.     printf(".as " DELIM_STRING " \\v'\\n[" BOT_HEIGHT_REG "]u'"
  267.        "\\Z" DELIMITER_CHAR "%s" DELIMITER_CHAR
  268.        "\\v'\\n[" BOT_DEPTH_REG "]u'\n",
  269.        bot);
  270.   printf(".as " DELIM_STRING " " DELIMITER_CHAR "\n");
  271. }
  272.  
  273. static void define_extensible_string(char *delim, int uid,
  274.                      left_or_right_t left_or_right)
  275. {
  276.   printf(".ds " DELIM_STRING "\n");
  277.   delimiter *d = delim_table;
  278.   int delim_len = strlen(delim);
  279.   for (int i = 0; i < DELIM_TABLE_SIZE; i++, d++)
  280.     if (strncmp(delim, d->name, delim_len) == 0 
  281.     && (left_or_right & d->flags) != 0)
  282.       break;
  283.   if (i >= DELIM_TABLE_SIZE) {
  284.     error("there is no `%1' delimiter", delim);
  285.     printf(".nr " DELIM_WIDTH_REG " 0\n");
  286.     return;
  287.   }
  288.  
  289.   printf(".nr " DELIM_WIDTH_REG " 0\\w" DELIMITER_CHAR "\\f[%s]%s\\fP" DELIMITER_CHAR "\n"
  290.      ".ds " DELIM_STRING " \\Z" DELIMITER_CHAR
  291.        "\\v'\\n[rsb]u+\\n[rst]u/2u-%dM'\\f[%s]%s\\fP" DELIMITER_CHAR "\n"
  292.      ".nr " TOTAL_HEIGHT_REG " \\n[rst]-\\n[rsb]\n"
  293.      ".if \\n[" TOTAL_HEIGHT_REG "]<\\n[" DELTA_REG "] "
  294.      "\\{",
  295.      current_roman_font, d->small, axis_height,
  296.      current_roman_font, d->small);
  297.      
  298.   char buf[256];
  299.   sprintf(buf, d->chain_format, "\\\\n[" INDEX_REG "]");
  300.   printf(".nr " INDEX_REG " 0\n"
  301.      ".de " TEMP_MACRO "\n"
  302.      ".ie c%s \\{\\\n"
  303.      ".nr " DELIM_WIDTH_REG " 0\\w" DELIMITER_CHAR "%s" DELIMITER_CHAR "\n"
  304.      ".ds " DELIM_STRING " \\Z" DELIMITER_CHAR
  305.        "\\v'\\\\n[rsb]u+\\\\n[rst]u/2u-%dM'%s" DELIMITER_CHAR "\n"
  306.      ".nr " TOTAL_HEIGHT_REG " \\\\n[rst]-\\\\n[rsb]\n"
  307.      ".if \\\\n[" TOTAL_HEIGHT_REG "]<\\n[" DELTA_REG "] "
  308.      "\\{.nr " INDEX_REG " +1\n"
  309.      "." TEMP_MACRO "\n"
  310.      ".\\}\\}\n"
  311.      ".el .nr " INDEX_REG " 0-1\n"
  312.      "..\n"
  313.      "." TEMP_MACRO "\n",
  314.      buf, buf, axis_height, buf);
  315.   if (d->ext) {
  316.     printf(".if \\n[" INDEX_REG "]<0 \\{.if c%s \\{\\\n", d->ext);
  317.     build_extensible(d->ext, d->top, d->mid, d->bot);
  318.     printf(".\\}\\}\n");
  319.   }
  320.   printf(".\\}\n");
  321.   printf(".as " DELIM_STRING " \\h'\\n[" DELIM_WIDTH_REG "]u'\n");
  322.   printf(".nr " WIDTH_FORMAT " +\\n[" DELIM_WIDTH_REG "]\n", uid);
  323.   printf(".nr " HEIGHT_FORMAT " \\n[" HEIGHT_FORMAT "]"
  324.      ">?(\\n[" TOTAL_HEIGHT_REG "]/2+%dM)\n",
  325.      uid, uid, axis_height);
  326.   printf(".nr " DEPTH_FORMAT " \\n[" DEPTH_FORMAT "]"
  327.      ">?(\\n[" TOTAL_HEIGHT_REG "]/2-%dM)\n",
  328.      uid, uid, axis_height);
  329. }
  330.  
  331. int delim_box::compute_metrics(int style)
  332. {
  333.   int r = p->compute_metrics(style);
  334.   printf(".nr " WIDTH_FORMAT " 0\\n[" WIDTH_FORMAT "]\n", uid, p->uid);
  335.   printf(".nr " HEIGHT_FORMAT " \\n[" HEIGHT_FORMAT "]\n", uid, p->uid);
  336.   printf(".nr " DEPTH_FORMAT " \\n[" DEPTH_FORMAT "]\n", uid, p->uid);
  337.   printf(".nr " DELTA_REG " \\n[" HEIGHT_FORMAT "]-%dM"
  338.      ">?(\\n[" DEPTH_FORMAT "]+%dM)\n",
  339.      p->uid, axis_height, p->uid, axis_height);
  340.   printf(".nr " DELTA_REG " 0\\n[" DELTA_REG "]*%d/500"
  341.      ">?(\\n[" DELTA_REG "]*2-%dM)\n",
  342.      delimiter_factor, delimiter_shortfall);
  343.   if (left) {
  344.     define_extensible_string(left, uid, LEFT_DELIM);
  345.     printf(".rn " DELIM_STRING " " LEFT_DELIM_STRING_FORMAT "\n",
  346.        uid);
  347.     if (r)
  348.       printf(".nr " MARK_REG " +\\n[" DELIM_WIDTH_REG "]\n");
  349.   }
  350.   if (right) {
  351.     define_extensible_string(right, uid, RIGHT_DELIM);
  352.     printf(".rn " DELIM_STRING " " RIGHT_DELIM_STRING_FORMAT "\n",
  353.        uid);
  354.   }
  355.   return r;
  356. }
  357.  
  358. void delim_box::output()
  359. {
  360.   if (left)
  361.     printf("\\*[" LEFT_DELIM_STRING_FORMAT "]", uid);
  362.   p->output();
  363.   if (right)
  364.     printf("\\*[" RIGHT_DELIM_STRING_FORMAT "]", uid);
  365. }
  366.  
  367. void delim_box::check_tabs(int level)
  368. {
  369.   p->check_tabs(level);
  370. }
  371.  
  372. void delim_box::debug_print()
  373. {
  374.   fprintf(stderr, "left \"%s\" { ", left ? left : "");
  375.   p->debug_print();
  376.   fprintf(stderr, " }");
  377.   if (right)
  378.     fprintf(stderr, " right \"%s\"", right);
  379. }
  380.  
  381.