/contrib/groff/src/preproc/eqn/delim.cpp

https://bitbucket.org/freebsd/freebsd-head/ · C++ · 401 lines · 355 code · 22 blank · 24 comment · 33 complexity · 190bc8adf535c31544d3c9a30e57b7f7 MD5 · raw file

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