1 /* $Id: mandoc.h,v 1.213 2017/01/09 01:37:03 schwarze Exp $ */ 2 /* 3 * Copyright (c) 2010, 2011, 2014 Kristaps Dzonsons <kristaps@bsd.lv> 4 * Copyright (c) 2010-2017 Ingo Schwarze <schwarze@openbsd.org> 5 * 6 * Permission to use, copy, modify, and distribute this software for any 7 * purpose with or without fee is hereby granted, provided that the above 8 * copyright notice and this permission notice appear in all copies. 9 * 10 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHORS DISCLAIM ALL WARRANTIES 11 * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF 12 * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHORS BE LIABLE FOR 13 * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES 14 * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN 15 * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF 16 * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. 17 */ 18 19 #define ASCII_NBRSP 31 /* non-breaking space */ 20 #define ASCII_HYPH 30 /* breakable hyphen */ 21 #define ASCII_BREAK 29 /* breakable zero-width space */ 22 23 /* 24 * Status level. This refers to both internal status (i.e., whilst 25 * running, when warnings/errors are reported) and an indicator of a 26 * threshold of when to halt (when said internal state exceeds the 27 * threshold). 28 */ 29 enum mandoclevel { 30 MANDOCLEVEL_OK = 0, 31 MANDOCLEVEL_RESERVED, 32 MANDOCLEVEL_WARNING, /* warnings: syntax, whitespace, etc. */ 33 MANDOCLEVEL_ERROR, /* input has been thrown away */ 34 MANDOCLEVEL_UNSUPP, /* input needs unimplemented features */ 35 MANDOCLEVEL_BADARG, /* bad argument in invocation */ 36 MANDOCLEVEL_SYSERR, /* system error */ 37 MANDOCLEVEL_MAX 38 }; 39 40 /* 41 * All possible things that can go wrong within a parse, be it libroff, 42 * libmdoc, or libman. 43 */ 44 enum mandocerr { 45 MANDOCERR_OK, 46 47 MANDOCERR_WARNING, /* ===== start of warnings ===== */ 48 49 /* related to the prologue */ 50 MANDOCERR_DT_NOTITLE, /* missing manual title, using UNTITLED: line */ 51 MANDOCERR_TH_NOTITLE, /* missing manual title, using "": [macro] */ 52 MANDOCERR_TITLE_CASE, /* lower case character in document title */ 53 MANDOCERR_MSEC_MISSING, /* missing manual section, using "": macro */ 54 MANDOCERR_MSEC_BAD, /* unknown manual section: Dt ... section */ 55 MANDOCERR_DATE_MISSING, /* missing date, using today's date */ 56 MANDOCERR_DATE_BAD, /* cannot parse date, using it verbatim: date */ 57 MANDOCERR_OS_MISSING, /* missing Os macro, using "" */ 58 MANDOCERR_PROLOG_REP, /* duplicate prologue macro: macro */ 59 MANDOCERR_PROLOG_LATE, /* late prologue macro: macro */ 60 MANDOCERR_DT_LATE, /* skipping late title macro: Dt args */ 61 MANDOCERR_PROLOG_ORDER, /* prologue macros out of order: macros */ 62 63 /* related to document structure */ 64 MANDOCERR_SO, /* .so is fragile, better use ln(1): so path */ 65 MANDOCERR_DOC_EMPTY, /* no document body */ 66 MANDOCERR_SEC_BEFORE, /* content before first section header: macro */ 67 MANDOCERR_NAMESEC_FIRST, /* first section is not NAME: Sh title */ 68 MANDOCERR_NAMESEC_NONM, /* NAME section without Nm before Nd */ 69 MANDOCERR_NAMESEC_NOND, /* NAME section without description */ 70 MANDOCERR_NAMESEC_ND, /* description not at the end of NAME */ 71 MANDOCERR_NAMESEC_BAD, /* bad NAME section content: macro */ 72 MANDOCERR_NAMESEC_PUNCT, /* missing comma before name: Nm name */ 73 MANDOCERR_ND_EMPTY, /* missing description line, using "" */ 74 MANDOCERR_SEC_ORDER, /* sections out of conventional order: Sh title */ 75 MANDOCERR_SEC_REP, /* duplicate section title: Sh title */ 76 MANDOCERR_SEC_MSEC, /* unexpected section: Sh title for ... only */ 77 MANDOCERR_XR_ORDER, /* unusual Xr order: ... after ... */ 78 MANDOCERR_XR_PUNCT, /* unusual Xr punctuation: ... after ... */ 79 MANDOCERR_AN_MISSING, /* AUTHORS section without An macro */ 80 81 /* related to macros and nesting */ 82 MANDOCERR_MACRO_OBS, /* obsolete macro: macro */ 83 MANDOCERR_MACRO_CALL, /* macro neither callable nor escaped: macro */ 84 MANDOCERR_PAR_SKIP, /* skipping paragraph macro: macro ... */ 85 MANDOCERR_PAR_MOVE, /* moving paragraph macro out of list: macro */ 86 MANDOCERR_NS_SKIP, /* skipping no-space macro */ 87 MANDOCERR_BLK_NEST, /* blocks badly nested: macro ... */ 88 MANDOCERR_BD_NEST, /* nested displays are not portable: macro ... */ 89 MANDOCERR_BL_MOVE, /* moving content out of list: macro */ 90 MANDOCERR_FI_SKIP, /* fill mode already enabled, skipping: fi */ 91 MANDOCERR_NF_SKIP, /* fill mode already disabled, skipping: nf */ 92 MANDOCERR_BLK_LINE, /* line scope broken: macro breaks macro */ 93 94 /* related to missing arguments */ 95 MANDOCERR_REQ_EMPTY, /* skipping empty request: request */ 96 MANDOCERR_COND_EMPTY, /* conditional request controls empty scope */ 97 MANDOCERR_MACRO_EMPTY, /* skipping empty macro: macro */ 98 MANDOCERR_BLK_EMPTY, /* empty block: macro */ 99 MANDOCERR_ARG_EMPTY, /* empty argument, using 0n: macro arg */ 100 MANDOCERR_BD_NOTYPE, /* missing display type, using -ragged: Bd */ 101 MANDOCERR_BL_LATETYPE, /* list type is not the first argument: Bl arg */ 102 MANDOCERR_BL_NOWIDTH, /* missing -width in -tag list, using 6n */ 103 MANDOCERR_EX_NONAME, /* missing utility name, using "": Ex */ 104 MANDOCERR_FO_NOHEAD, /* missing function name, using "": Fo */ 105 MANDOCERR_IT_NOHEAD, /* empty head in list item: Bl -type It */ 106 MANDOCERR_IT_NOBODY, /* empty list item: Bl -type It */ 107 MANDOCERR_BF_NOFONT, /* missing font type, using \fR: Bf */ 108 MANDOCERR_BF_BADFONT, /* unknown font type, using \fR: Bf font */ 109 MANDOCERR_PF_SKIP, /* nothing follows prefix: Pf arg */ 110 MANDOCERR_RS_EMPTY, /* empty reference block: Rs */ 111 MANDOCERR_XR_NOSEC, /* missing section argument: Xr arg */ 112 MANDOCERR_ARG_STD, /* missing -std argument, adding it: macro */ 113 MANDOCERR_OP_EMPTY, /* missing option string, using "": OP */ 114 MANDOCERR_UR_NOHEAD, /* missing resource identifier, using "": UR */ 115 MANDOCERR_EQN_NOBOX, /* missing eqn box, using "": op */ 116 117 /* related to bad arguments */ 118 MANDOCERR_ARG_QUOTE, /* unterminated quoted argument */ 119 MANDOCERR_ARG_REP, /* duplicate argument: macro arg */ 120 MANDOCERR_AN_REP, /* skipping duplicate argument: An -arg */ 121 MANDOCERR_BD_REP, /* skipping duplicate display type: Bd -type */ 122 MANDOCERR_BL_REP, /* skipping duplicate list type: Bl -type */ 123 MANDOCERR_BL_SKIPW, /* skipping -width argument: Bl -type */ 124 MANDOCERR_BL_COL, /* wrong number of cells */ 125 MANDOCERR_AT_BAD, /* unknown AT&T UNIX version: At version */ 126 MANDOCERR_FA_COMMA, /* comma in function argument: arg */ 127 MANDOCERR_FN_PAREN, /* parenthesis in function name: arg */ 128 MANDOCERR_RS_BAD, /* invalid content in Rs block: macro */ 129 MANDOCERR_SM_BAD, /* invalid Boolean argument: macro arg */ 130 MANDOCERR_FT_BAD, /* unknown font, skipping request: ft font */ 131 MANDOCERR_TR_ODD, /* odd number of characters in request: tr char */ 132 133 /* related to plain text */ 134 MANDOCERR_FI_BLANK, /* blank line in fill mode, using .sp */ 135 MANDOCERR_FI_TAB, /* tab in filled text */ 136 MANDOCERR_SPACE_EOL, /* whitespace at end of input line */ 137 MANDOCERR_COMMENT_BAD, /* bad comment style */ 138 MANDOCERR_ESC_BAD, /* invalid escape sequence: esc */ 139 MANDOCERR_STR_UNDEF, /* undefined string, using "": name */ 140 141 /* related to tables */ 142 MANDOCERR_TBLLAYOUT_SPAN, /* tbl line starts with span */ 143 MANDOCERR_TBLLAYOUT_DOWN, /* tbl column starts with span */ 144 MANDOCERR_TBLLAYOUT_VERT, /* skipping vertical bar in tbl layout */ 145 146 MANDOCERR_ERROR, /* ===== start of errors ===== */ 147 148 /* related to tables */ 149 MANDOCERR_TBLOPT_ALPHA, /* non-alphabetic character in tbl options */ 150 MANDOCERR_TBLOPT_BAD, /* skipping unknown tbl option: option */ 151 MANDOCERR_TBLOPT_NOARG, /* missing tbl option argument: option */ 152 MANDOCERR_TBLOPT_ARGSZ, /* wrong tbl option argument size: option */ 153 MANDOCERR_TBLLAYOUT_NONE, /* empty tbl layout */ 154 MANDOCERR_TBLLAYOUT_CHAR, /* invalid character in tbl layout: char */ 155 MANDOCERR_TBLLAYOUT_PAR, /* unmatched parenthesis in tbl layout */ 156 MANDOCERR_TBLDATA_NONE, /* tbl without any data cells */ 157 MANDOCERR_TBLDATA_SPAN, /* ignoring data in spanned tbl cell: data */ 158 MANDOCERR_TBLDATA_EXTRA, /* ignoring extra tbl data cells: data */ 159 MANDOCERR_TBLDATA_BLK, /* data block open at end of tbl: macro */ 160 161 /* related to document structure and macros */ 162 MANDOCERR_FILE, /* cannot open file */ 163 MANDOCERR_ROFFLOOP, /* input stack limit exceeded, infinite loop? */ 164 MANDOCERR_CHAR_BAD, /* skipping bad character: number */ 165 MANDOCERR_MACRO, /* skipping unknown macro: macro */ 166 MANDOCERR_REQ_INSEC, /* skipping insecure request: request */ 167 MANDOCERR_IT_STRAY, /* skipping item outside list: It ... */ 168 MANDOCERR_TA_STRAY, /* skipping column outside column list: Ta */ 169 MANDOCERR_BLK_NOTOPEN, /* skipping end of block that is not open */ 170 MANDOCERR_RE_NOTOPEN, /* fewer RS blocks open, skipping: RE arg */ 171 MANDOCERR_BLK_BROKEN, /* inserting missing end of block: macro ... */ 172 MANDOCERR_BLK_NOEND, /* appending missing end of block: macro */ 173 174 /* related to request and macro arguments */ 175 MANDOCERR_NAMESC, /* escaped character not allowed in a name: name */ 176 MANDOCERR_BD_FILE, /* NOT IMPLEMENTED: Bd -file */ 177 MANDOCERR_BD_NOARG, /* skipping display without arguments: Bd */ 178 MANDOCERR_BL_NOTYPE, /* missing list type, using -item: Bl */ 179 MANDOCERR_NM_NONAME, /* missing manual name, using "": Nm */ 180 MANDOCERR_OS_UNAME, /* uname(3) system call failed, using UNKNOWN */ 181 MANDOCERR_ST_BAD, /* unknown standard specifier: St standard */ 182 MANDOCERR_IT_NONUM, /* skipping request without numeric argument */ 183 MANDOCERR_SO_PATH, /* NOT IMPLEMENTED: .so with absolute path or ".." */ 184 MANDOCERR_SO_FAIL, /* .so request failed */ 185 MANDOCERR_ARG_SKIP, /* skipping all arguments: macro args */ 186 MANDOCERR_ARG_EXCESS, /* skipping excess arguments: macro ... args */ 187 MANDOCERR_DIVZERO, /* divide by zero */ 188 189 MANDOCERR_UNSUPP, /* ===== start of unsupported features ===== */ 190 191 MANDOCERR_TOOLARGE, /* input too large */ 192 MANDOCERR_CHAR_UNSUPP, /* unsupported control character: number */ 193 MANDOCERR_REQ_UNSUPP, /* unsupported roff request: request */ 194 MANDOCERR_TBLOPT_EQN, /* eqn delim option in tbl: arg */ 195 MANDOCERR_TBLLAYOUT_MOD, /* unsupported tbl layout modifier: m */ 196 MANDOCERR_TBLMACRO, /* ignoring macro in table: macro */ 197 198 MANDOCERR_MAX 199 }; 200 201 struct tbl_opts { 202 char tab; /* cell-separator */ 203 char decimal; /* decimal point */ 204 int opts; 205 #define TBL_OPT_CENTRE (1 << 0) 206 #define TBL_OPT_EXPAND (1 << 1) 207 #define TBL_OPT_BOX (1 << 2) 208 #define TBL_OPT_DBOX (1 << 3) 209 #define TBL_OPT_ALLBOX (1 << 4) 210 #define TBL_OPT_NOKEEP (1 << 5) 211 #define TBL_OPT_NOSPACE (1 << 6) 212 #define TBL_OPT_NOWARN (1 << 7) 213 int cols; /* number of columns */ 214 int lvert; /* width of left vertical line */ 215 int rvert; /* width of right vertical line */ 216 }; 217 218 enum tbl_cellt { 219 TBL_CELL_CENTRE, /* c, C */ 220 TBL_CELL_RIGHT, /* r, R */ 221 TBL_CELL_LEFT, /* l, L */ 222 TBL_CELL_NUMBER, /* n, N */ 223 TBL_CELL_SPAN, /* s, S */ 224 TBL_CELL_LONG, /* a, A */ 225 TBL_CELL_DOWN, /* ^ */ 226 TBL_CELL_HORIZ, /* _, - */ 227 TBL_CELL_DHORIZ, /* = */ 228 TBL_CELL_MAX 229 }; 230 231 /* 232 * A cell in a layout row. 233 */ 234 struct tbl_cell { 235 struct tbl_cell *next; 236 int vert; /* width of subsequent vertical line */ 237 enum tbl_cellt pos; 238 size_t spacing; 239 int col; /* column number, starting from 0 */ 240 int flags; 241 #define TBL_CELL_TALIGN (1 << 0) /* t, T */ 242 #define TBL_CELL_BALIGN (1 << 1) /* d, D */ 243 #define TBL_CELL_BOLD (1 << 2) /* fB, B, b */ 244 #define TBL_CELL_ITALIC (1 << 3) /* fI, I, i */ 245 #define TBL_CELL_EQUAL (1 << 4) /* e, E */ 246 #define TBL_CELL_UP (1 << 5) /* u, U */ 247 #define TBL_CELL_WIGN (1 << 6) /* z, Z */ 248 #define TBL_CELL_WMAX (1 << 7) /* x, X */ 249 }; 250 251 /* 252 * A layout row. 253 */ 254 struct tbl_row { 255 struct tbl_row *next; 256 struct tbl_cell *first; 257 struct tbl_cell *last; 258 int vert; /* width of left vertical line */ 259 }; 260 261 enum tbl_datt { 262 TBL_DATA_NONE, /* has no data */ 263 TBL_DATA_DATA, /* consists of data/string */ 264 TBL_DATA_HORIZ, /* horizontal line */ 265 TBL_DATA_DHORIZ, /* double-horizontal line */ 266 TBL_DATA_NHORIZ, /* squeezed horizontal line */ 267 TBL_DATA_NDHORIZ /* squeezed double-horizontal line */ 268 }; 269 270 /* 271 * A cell within a row of data. The "string" field contains the actual 272 * string value that's in the cell. The rest is layout. 273 */ 274 struct tbl_dat { 275 struct tbl_cell *layout; /* layout cell */ 276 int spans; /* how many spans follow */ 277 struct tbl_dat *next; 278 char *string; /* data (NULL if not TBL_DATA_DATA) */ 279 enum tbl_datt pos; 280 }; 281 282 enum tbl_spant { 283 TBL_SPAN_DATA, /* span consists of data */ 284 TBL_SPAN_HORIZ, /* span is horizontal line */ 285 TBL_SPAN_DHORIZ /* span is double horizontal line */ 286 }; 287 288 /* 289 * A row of data in a table. 290 */ 291 struct tbl_span { 292 struct tbl_opts *opts; 293 struct tbl_row *layout; /* layout row */ 294 struct tbl_dat *first; 295 struct tbl_dat *last; 296 struct tbl_span *prev; 297 struct tbl_span *next; 298 int line; /* parse line */ 299 enum tbl_spant pos; 300 }; 301 302 enum eqn_boxt { 303 EQN_ROOT, /* root of parse tree */ 304 EQN_TEXT, /* text (number, variable, whatever) */ 305 EQN_SUBEXPR, /* nested `eqn' subexpression */ 306 EQN_LIST, /* list (braces, etc.) */ 307 EQN_LISTONE, /* singleton list */ 308 EQN_PILE, /* vertical pile */ 309 EQN_MATRIX /* pile of piles */ 310 }; 311 312 enum eqn_fontt { 313 EQNFONT_NONE = 0, 314 EQNFONT_ROMAN, 315 EQNFONT_BOLD, 316 EQNFONT_FAT, 317 EQNFONT_ITALIC, 318 EQNFONT__MAX 319 }; 320 321 enum eqn_post { 322 EQNPOS_NONE = 0, 323 EQNPOS_SUP, 324 EQNPOS_SUBSUP, 325 EQNPOS_SUB, 326 EQNPOS_TO, 327 EQNPOS_FROM, 328 EQNPOS_FROMTO, 329 EQNPOS_OVER, 330 EQNPOS_SQRT, 331 EQNPOS__MAX 332 }; 333 334 enum eqn_pilet { 335 EQNPILE_NONE = 0, 336 EQNPILE_PILE, 337 EQNPILE_CPILE, 338 EQNPILE_RPILE, 339 EQNPILE_LPILE, 340 EQNPILE_COL, 341 EQNPILE_CCOL, 342 EQNPILE_RCOL, 343 EQNPILE_LCOL, 344 EQNPILE__MAX 345 }; 346 347 /* 348 * A "box" is a parsed mathematical expression as defined by the eqn.7 349 * grammar. 350 */ 351 struct eqn_box { 352 int size; /* font size of expression */ 353 #define EQN_DEFSIZE INT_MIN 354 enum eqn_boxt type; /* type of node */ 355 struct eqn_box *first; /* first child node */ 356 struct eqn_box *last; /* last child node */ 357 struct eqn_box *next; /* node sibling */ 358 struct eqn_box *prev; /* node sibling */ 359 struct eqn_box *parent; /* node sibling */ 360 char *text; /* text (or NULL) */ 361 char *left; /* fence left-hand */ 362 char *right; /* fence right-hand */ 363 char *top; /* expression over-symbol */ 364 char *bottom; /* expression under-symbol */ 365 size_t args; /* arguments in parent */ 366 size_t expectargs; /* max arguments in parent */ 367 enum eqn_post pos; /* position of next box */ 368 enum eqn_fontt font; /* font of box */ 369 enum eqn_pilet pile; /* equation piling */ 370 }; 371 372 /* 373 * An equation consists of a tree of expressions starting at a given 374 * line and position. 375 */ 376 struct eqn { 377 char *name; /* identifier (or NULL) */ 378 struct eqn_box *root; /* root mathematical expression */ 379 int ln; /* invocation line */ 380 int pos; /* invocation position */ 381 }; 382 383 /* 384 * Parse options. 385 */ 386 #define MPARSE_MDOC 1 /* assume -mdoc */ 387 #define MPARSE_MAN 2 /* assume -man */ 388 #define MPARSE_SO 4 /* honour .so requests */ 389 #define MPARSE_QUICK 8 /* abort the parse early */ 390 #define MPARSE_UTF8 16 /* accept UTF-8 input */ 391 #define MPARSE_LATIN1 32 /* accept ISO-LATIN-1 input */ 392 393 enum mandoc_esc { 394 ESCAPE_ERROR = 0, /* bail! unparsable escape */ 395 ESCAPE_IGNORE, /* escape to be ignored */ 396 ESCAPE_SPECIAL, /* a regular special character */ 397 ESCAPE_FONT, /* a generic font mode */ 398 ESCAPE_FONTBOLD, /* bold font mode */ 399 ESCAPE_FONTITALIC, /* italic font mode */ 400 ESCAPE_FONTBI, /* bold italic font mode */ 401 ESCAPE_FONTROMAN, /* roman font mode */ 402 ESCAPE_FONTPREV, /* previous font mode */ 403 ESCAPE_NUMBERED, /* a numbered glyph */ 404 ESCAPE_UNICODE, /* a unicode codepoint */ 405 ESCAPE_NOSPACE, /* suppress space if the last on a line */ 406 ESCAPE_SKIPCHAR, /* skip the next character */ 407 ESCAPE_OVERSTRIKE /* overstrike all chars in the argument */ 408 }; 409 410 typedef void (*mandocmsg)(enum mandocerr, enum mandoclevel, 411 const char *, int, int, const char *); 412 413 414 struct mparse; 415 struct roff_man; 416 417 enum mandoc_esc mandoc_escape(const char **, const char **, int *); 418 void mchars_alloc(void); 419 void mchars_free(void); 420 int mchars_num2char(const char *, size_t); 421 const char *mchars_uc2str(int); 422 int mchars_num2uc(const char *, size_t); 423 int mchars_spec2cp(const char *, size_t); 424 const char *mchars_spec2str(const char *, size_t, size_t *); 425 struct mparse *mparse_alloc(int, enum mandoclevel, mandocmsg, const char *); 426 void mparse_free(struct mparse *); 427 void mparse_keep(struct mparse *); 428 int mparse_open(struct mparse *, const char *); 429 enum mandoclevel mparse_readfd(struct mparse *, int, const char *); 430 enum mandoclevel mparse_readmem(struct mparse *, void *, size_t, 431 const char *); 432 void mparse_reset(struct mparse *); 433 void mparse_result(struct mparse *, 434 struct roff_man **, char **); 435 const char *mparse_getkeep(const struct mparse *); 436 const char *mparse_strerror(enum mandocerr); 437 const char *mparse_strlevel(enum mandoclevel); 438 void mparse_updaterc(struct mparse *, enum mandoclevel *); 439