home *** CD-ROM | disk | FTP | other *** search
/ InfoMagic Source Code 1993 July / THE_SOURCE_CODE_CD_ROM.iso / bsd_srcs / usr.bin / groff / eqn / delim.cc < prev    next >
Encoding:
C/C++ Source or Header  |  1991-04-30  |  9.8 KB  |  357 lines
  1. // -*- C++ -*-
  2. /* Copyright (C) 1989, 1990 Free Software Foundation, Inc.
  3.      Written by James Clark (jjc@jclark.uucp)
  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 1, 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 LICENSE.  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.  
  122. const int DELIM_TABLE_SIZE = int(sizeof(delim_table)/sizeof(delim_table[0]));
  123.  
  124. class delim_box : public box {
  125. private:
  126.   char *left;
  127.   char *right;
  128.   box *p;
  129. public:
  130.   delim_box(char *, box *, char *);
  131.   ~delim_box();
  132.   int compute_metrics(int);
  133.   void output();
  134.   void check_tabs(int);
  135.   void debug_print();
  136. };
  137.  
  138. box *make_delim_box(char *l, box *pp, char *r)
  139. {
  140.   if (l != 0 && *l == '\0') {
  141.     delete l;
  142.     l = 0;
  143.   }
  144.   if (r != 0 && *r == '\0') {
  145.     delete r;
  146.     r = 0;
  147.   }
  148.   return new delim_box(l, pp, r);
  149. }
  150.  
  151. delim_box::delim_box(char *l, box *pp, char *r)
  152. : left(l), right(r), p(pp)
  153. {
  154. }
  155.  
  156. delim_box::~delim_box()
  157. {
  158.   delete left;
  159.   delete right;
  160.   delete p;
  161. }
  162.  
  163. static void build_extensible(const char *ext, const char *top, const char *mid,
  164.                  const char *bot)
  165. {
  166.   assert(ext != 0);
  167.   printf(".nr " DELIM_WIDTH_REG " \\w" DELIMITER_CHAR "%s" DELIMITER_CHAR "\n",
  168.      ext);
  169.   printf(".nr " EXT_HEIGHT_REG " 0\\n[rst]\n");
  170.   printf(".nr " EXT_DEPTH_REG " 0-\\n[rsb]\n");
  171.   if (top) {
  172.     printf(".nr " DELIM_WIDTH_REG " \\n[" DELIM_WIDTH_REG "]"
  173.        ">?\\w" DELIMITER_CHAR "%s" DELIMITER_CHAR "\n",
  174.        top);
  175.     printf(".nr " TOP_HEIGHT_REG " 0\\n[rst]\n");
  176.     printf(".nr " TOP_DEPTH_REG " 0-\\n[rsb]\n");
  177.   }
  178.   if (mid) {
  179.     printf(".nr " DELIM_WIDTH_REG " \\n[" DELIM_WIDTH_REG "]"
  180.        ">?\\w" DELIMITER_CHAR "%s" DELIMITER_CHAR "\n",
  181.        mid);
  182.     printf(".nr " MID_HEIGHT_REG " 0\\n[rst]\n");
  183.     printf(".nr " MID_DEPTH_REG " 0-\\n[rsb]\n");
  184.   }
  185.   if (bot) {
  186.     printf(".nr " DELIM_WIDTH_REG " \\n[" DELIM_WIDTH_REG "]"
  187.        ">?\\w" DELIMITER_CHAR "%s" DELIMITER_CHAR "\n",
  188.        bot);
  189.     printf(".nr " BOT_HEIGHT_REG " 0\\n[rst]\n");
  190.     printf(".nr " BOT_DEPTH_REG " 0-\\n[rsb]\n");
  191.   }
  192.   printf(".nr " TOTAL_HEIGHT_REG " 0");
  193.   if (top)
  194.     printf("+\\n[" TOP_HEIGHT_REG "]+\\n[" TOP_DEPTH_REG "]");
  195.   if (bot)
  196.     printf("+\\n[" BOT_HEIGHT_REG "]+\\n[" BOT_DEPTH_REG "]");
  197.   if (mid)
  198.     printf("+\\n[" MID_HEIGHT_REG "]+\\n[" MID_DEPTH_REG "]");
  199.   printf("\n");
  200.   // determine how many extensible characters we need
  201.   printf(".nr " TEMP_REG " \\n[" DELTA_REG "]-\\n[" TOTAL_HEIGHT_REG "]");
  202.   if (mid)
  203.     printf("/2");
  204.   printf(">?0+\\n[" EXT_HEIGHT_REG "]+\\n[" EXT_DEPTH_REG "]-1/(\\n["
  205.      EXT_HEIGHT_REG "]+\\n[" EXT_DEPTH_REG "])\n");
  206.   
  207.   printf(".nr " TOTAL_HEIGHT_REG " +(\\n[" EXT_HEIGHT_REG "]+\\n["
  208.      EXT_DEPTH_REG "]*\\n[" TEMP_REG "]");
  209.   if (mid)
  210.     printf("*2");
  211.   printf(")\n");
  212.   printf(".ds " DELIM_STRING " \\Z" DELIMITER_CHAR
  213.      "\\v'-%dM-(\\n[" TOTAL_HEIGHT_REG "]u/2u)'\n",
  214.      axis_height);
  215.   if (top)
  216.     printf(".as " DELIM_STRING " \\v'\\n[" TOP_HEIGHT_REG "]u'"
  217.        "\\Z" DELIMITER_CHAR "%s" DELIMITER_CHAR
  218.        "\\v'\\n[" TOP_DEPTH_REG "]u'\n",
  219.        top);
  220.  
  221.   // this macro appends $2 copies of $3 to string $1
  222.   printf(".de " REPEAT_APPEND_STRING_MACRO "\n"
  223.      ".if \\\\$2 \\{.as \\\\$1 \"\\\\$3\n"
  224.      "." REPEAT_APPEND_STRING_MACRO " \\\\$1 \\\\$2-1 \"\\\\$3\"\n"
  225.      ".\\}\n"
  226.      "..\n");
  227.  
  228.   printf("." REPEAT_APPEND_STRING_MACRO " " DELIM_STRING " \\n[" TEMP_REG "] "
  229.      "\\v'\\n[" EXT_HEIGHT_REG "]u'"
  230.      "\\Z" DELIMITER_CHAR "%s" DELIMITER_CHAR 
  231.      "\\v'\\n[" EXT_DEPTH_REG "]u'\n",
  232.      ext);
  233.  
  234.   if (mid) {
  235.     printf(".as " DELIM_STRING " \\v'\\n[" MID_HEIGHT_REG "]u'"
  236.        "\\Z" DELIMITER_CHAR "%s" DELIMITER_CHAR
  237.        "\\v'\\n[" MID_DEPTH_REG "]u'\n",
  238.        mid);
  239.     printf("." REPEAT_APPEND_STRING_MACRO " " DELIM_STRING 
  240.        " \\n[" TEMP_REG "] "
  241.        "\\v'\\n[" EXT_HEIGHT_REG "]u'"
  242.        "\\Z" DELIMITER_CHAR "%s" DELIMITER_CHAR
  243.        "\\v'\\n[" EXT_DEPTH_REG "]u'\n",
  244.        ext);
  245.   }
  246.   if (bot)
  247.     printf(".as " DELIM_STRING " \\v'\\n[" BOT_HEIGHT_REG "]u'"
  248.        "\\Z" DELIMITER_CHAR "%s" DELIMITER_CHAR
  249.        "\\v'\\n[" BOT_DEPTH_REG "]u'\n",
  250.        bot);
  251.   printf(".as " DELIM_STRING " " DELIMITER_CHAR "\n");
  252. }
  253.  
  254. static void define_extensible_string(char *delim, int uid,
  255.                      left_or_right_t left_or_right)
  256. {
  257.   printf(".ds " DELIM_STRING "\n");
  258.   delimiter *d = delim_table;
  259.   for (int i = 0; i < DELIM_TABLE_SIZE; i++, d++)
  260.     if (strcmp(delim, d->name) == 0 && (left_or_right & d->flags) != 0)
  261.       break;
  262.   if (i >= DELIM_TABLE_SIZE) {
  263.     error("there is no `%1' delimiter", delim);
  264.     printf(".nr " DELIM_WIDTH_REG " 0\n");
  265.     return;
  266.   }
  267.  
  268.   printf(".nr " DELIM_WIDTH_REG " \\w" DELIMITER_CHAR "\\f[%s]%s\\fP" DELIMITER_CHAR "\n"
  269.      ".ds " DELIM_STRING " \\Z" DELIMITER_CHAR
  270.        "\\v'\\n[rsb]u+\\n[rst]u/2u-%dM'\\f[%s]%s\\fP" DELIMITER_CHAR "\n"
  271.      ".nr " TOTAL_HEIGHT_REG " \\n[rst]-\\n[rsb]\n"
  272.      ".if \\n[" TOTAL_HEIGHT_REG "]<\\n[" DELTA_REG "] "
  273.      "\\{",
  274.      current_roman_font, d->small, axis_height,
  275.      current_roman_font, d->small);
  276.      
  277.   char buf[256];
  278.   sprintf(buf, d->chain_format, "\\\\n[" INDEX_REG "]");
  279.   printf(".nr " INDEX_REG " 0\n"
  280.      ".de " TEMP_MACRO "\n"
  281.      ".ie c%s \\{\\\n"
  282.      ".nr " DELIM_WIDTH_REG " \\w" DELIMITER_CHAR "%s" DELIMITER_CHAR "\n"
  283.      ".ds " DELIM_STRING " \\Z" DELIMITER_CHAR
  284.        "\\v'\\\\n[rsb]u+\\\\n[rst]u/2u-%dM'%s" DELIMITER_CHAR "\n"
  285.      ".nr " TOTAL_HEIGHT_REG " \\\\n[rst]-\\\\n[rsb]\n"
  286.      ".if \\\\n[" TOTAL_HEIGHT_REG "]<\\n[" DELTA_REG "] "
  287.      "\\{.nr " INDEX_REG " +1\n"
  288.      "." TEMP_MACRO "\n"
  289.      ".\\}\\}\n"
  290.      ".el .nr " INDEX_REG " 0-1\n"
  291.      "..\n"
  292.      "." TEMP_MACRO "\n",
  293.      buf, buf, axis_height, buf);
  294.   if (d->ext) {
  295.     printf(".if \\n[" INDEX_REG "]<0 \\{.if c%s \\{\\\n", d->ext);
  296.     build_extensible(d->ext, d->top, d->mid, d->bot);
  297.     printf(".\\}\\}\n");
  298.   }
  299.   printf(".\\}\n");
  300.   printf(".as " DELIM_STRING " \\h'\\n[" DELIM_WIDTH_REG "]u'\n");
  301.   printf(".nr " WIDTH_FORMAT " +\\n[" DELIM_WIDTH_REG "]\n", uid);
  302.   printf(".nr " HEIGHT_FORMAT " \\n[" HEIGHT_FORMAT "]"
  303.      ">?(\\n[" TOTAL_HEIGHT_REG "]/2+%dM)\n",
  304.      uid, uid, axis_height);
  305.   printf(".nr " DEPTH_FORMAT " \\n[" DEPTH_FORMAT "]"
  306.      ">?(\\n[" TOTAL_HEIGHT_REG "]/2-%dM)\n",
  307.      uid, uid, axis_height);
  308. }
  309.  
  310. int delim_box::compute_metrics(int style)
  311. {
  312.   int r = p->compute_metrics(style);
  313.   printf(".nr " WIDTH_FORMAT " \\n[" WIDTH_FORMAT "]\n", uid, p->uid);
  314.   printf(".nr " HEIGHT_FORMAT " \\n[" HEIGHT_FORMAT "]\n", uid, p->uid);
  315.   printf(".nr " DEPTH_FORMAT " \\n[" DEPTH_FORMAT "]\n", uid, p->uid);
  316.   printf(".nr " DELTA_REG " \\n[" HEIGHT_FORMAT "]-%dM"
  317.      ">?(\\n[" DEPTH_FORMAT "]+%dM)\n",
  318.      p->uid, axis_height, p->uid, axis_height);
  319.   printf(".nr " DELTA_REG " \\n[" DELTA_REG "]*%d/500"
  320.      ">?(\\n[" DELTA_REG "]*2-%dM)\n",
  321.      delimiter_factor, delimiter_shortfall);
  322.   define_extensible_string(left, uid, LEFT_DELIM);
  323.   printf(".rn " DELIM_STRING " " LEFT_DELIM_STRING_FORMAT "\n",
  324.      uid);
  325.   if (r)
  326.     printf(".nr " MARK_REG " +\\n[" DELIM_WIDTH_REG "]\n");
  327.   if (right) {
  328.     define_extensible_string(right, uid, RIGHT_DELIM);
  329.     printf(".rn " DELIM_STRING " " RIGHT_DELIM_STRING_FORMAT "\n",
  330.        uid);
  331.   }
  332.   return r;
  333. }
  334.  
  335. void delim_box::output()
  336. {
  337.   printf("\\*[" LEFT_DELIM_STRING_FORMAT "]", uid);
  338.   p->output();
  339.   if (right)
  340.     printf("\\*[" RIGHT_DELIM_STRING_FORMAT "]", uid);
  341. }
  342.  
  343. void delim_box::check_tabs(int level)
  344. {
  345.   p->check_tabs(level);
  346. }
  347.  
  348. void delim_box::debug_print()
  349. {
  350.   fprintf(stderr, "left \"%s\" { ", left);
  351.   p->debug_print();
  352.   fprintf(stderr, " }");
  353.   if (right)
  354.     fprintf(stderr, " right \"%s\"", right);
  355. }
  356.  
  357.