]>
git.cameronkatri.com Git - mandoc.git/blob - read.c
1 /* $Id: read.c,v 1.163 2017/03/07 20:00:08 schwarze Exp $ */
3 * Copyright (c) 2008, 2009, 2010, 2011 Kristaps Dzonsons <kristaps@bsd.lv>
4 * Copyright (c) 2010-2017 Ingo Schwarze <schwarze@openbsd.org>
5 * Copyright (c) 2010, 2012 Joerg Sonnenberger <joerg@netbsd.org>
7 * Permission to use, copy, modify, and distribute this software for any
8 * purpose with or without fee is hereby granted, provided that the above
9 * copyright notice and this permission notice appear in all copies.
11 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHORS DISCLAIM ALL WARRANTIES
12 * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
13 * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHORS BE LIABLE FOR
14 * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
15 * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
16 * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
17 * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
21 #include <sys/types.h>
39 #include "mandoc_aux.h"
44 #include "libmandoc.h"
47 #define REPARSE_LIMIT 1000
50 struct roff
*roff
; /* roff parser (!NULL) */
51 struct roff_man
*man
; /* man parser */
52 char *sodest
; /* filename pointed to by .so */
53 const char *file
; /* filename of current input file */
54 struct buf
*primary
; /* buffer currently being parsed */
55 struct buf
*secondary
; /* preprocessed copy of input */
56 const char *defos
; /* default operating system */
57 mandocmsg mmsg
; /* warning/error message handler */
58 enum mandoclevel file_status
; /* status of current parse */
59 enum mandoclevel wlevel
; /* ignore messages below this */
60 int options
; /* parser options */
61 int gzip
; /* current input file is gzipped */
62 int filenc
; /* encoding of the current file */
63 int reparse_count
; /* finite interp. stack */
64 int line
; /* line number in the file */
67 static void choose_parser(struct mparse
*);
68 static void resize_buf(struct buf
*, size_t);
69 static int mparse_buf_r(struct mparse
*, struct buf
, size_t, int);
70 static int read_whole_file(struct mparse
*, const char *, int,
72 static void mparse_end(struct mparse
*);
73 static void mparse_parse_buffer(struct mparse
*, struct buf
,
76 static const enum mandocerr mandoclimits
[MANDOCLEVEL_MAX
] = {
86 static const char * const mandocerrs
[MANDOCERR_MAX
] = {
91 /* related to the prologue */
92 "missing manual title, using UNTITLED",
93 "missing manual title, using \"\"",
94 "lower case character in document title",
95 "missing manual section, using \"\"",
96 "unknown manual section",
97 "missing date, using today's date",
98 "cannot parse date, using it verbatim",
99 "missing Os macro, using \"\"",
100 "duplicate prologue macro",
101 "late prologue macro",
102 "skipping late title macro",
103 "prologue macros out of order",
105 /* related to document structure */
106 ".so is fragile, better use ln(1)",
108 "content before first section header",
109 "first section is not \"NAME\"",
110 "NAME section without Nm before Nd",
111 "NAME section without description",
112 "description not at the end of NAME",
113 "bad NAME section content",
114 "missing comma before name",
115 "missing description line, using \"\"",
116 "description line outside NAME section",
117 "sections out of conventional order",
118 "duplicate section title",
119 "unexpected section",
121 "unusual Xr punctuation",
122 "AUTHORS section without An macro",
124 /* related to macros and nesting */
126 "macro neither callable nor escaped",
127 "skipping paragraph macro",
128 "moving paragraph macro out of list",
129 "skipping no-space macro",
130 "blocks badly nested",
131 "nested displays are not portable",
132 "moving content out of list",
133 "fill mode already enabled, skipping",
134 "fill mode already disabled, skipping",
137 /* related to missing macro arguments */
138 "skipping empty request",
139 "conditional request controls empty scope",
140 "skipping empty macro",
142 "empty argument, using 0n",
143 "missing display type, using -ragged",
144 "list type is not the first argument",
145 "missing -width in -tag list, using 6n",
146 "missing utility name, using \"\"",
147 "missing function name, using \"\"",
148 "empty head in list item",
150 "missing font type, using \\fR",
151 "unknown font type, using \\fR",
152 "nothing follows prefix",
153 "empty reference block",
154 "missing section argument",
155 "missing -std argument, adding it",
156 "missing option string, using \"\"",
157 "missing resource identifier, using \"\"",
158 "missing eqn box, using \"\"",
160 /* related to bad macro arguments */
161 "unterminated quoted argument",
162 "duplicate argument",
163 "skipping duplicate argument",
164 "skipping duplicate display type",
165 "skipping duplicate list type",
166 "skipping -width argument",
167 "wrong number of cells",
168 "unknown AT&T UNIX version",
169 "comma in function argument",
170 "parenthesis in function name",
171 "invalid content in Rs block",
172 "invalid Boolean argument",
173 "unknown font, skipping request",
174 "odd number of characters in request",
176 /* related to plain text */
177 "blank line in fill mode, using .sp",
178 "tab in filled text",
179 "whitespace at end of input line",
180 "new sentence, new line",
182 "invalid escape sequence",
183 "undefined string, using \"\"",
185 /* related to tables */
186 "tbl line starts with span",
187 "tbl column starts with span",
188 "skipping vertical bar in tbl layout",
192 /* related to tables */
193 "non-alphabetic character in tbl options",
194 "skipping unknown tbl option",
195 "missing tbl option argument",
196 "wrong tbl option argument size",
198 "invalid character in tbl layout",
199 "unmatched parenthesis in tbl layout",
200 "tbl without any data cells",
201 "ignoring data in spanned tbl cell",
202 "ignoring extra tbl data cells",
203 "data block open at end of tbl",
205 /* related to document structure and macros */
207 "input stack limit exceeded, infinite loop?",
208 "skipping bad character",
209 "skipping unknown macro",
210 "skipping insecure request",
211 "skipping item outside list",
212 "skipping column outside column list",
213 "skipping end of block that is not open",
214 "fewer RS blocks open, skipping",
215 "inserting missing end of block",
216 "appending missing end of block",
218 /* related to request and macro arguments */
219 "escaped character not allowed in a name",
220 "NOT IMPLEMENTED: Bd -file",
221 "skipping display without arguments",
222 "missing list type, using -item",
223 "missing manual name, using \"\"",
224 "uname(3) system call failed, using UNKNOWN",
225 "unknown standard specifier",
226 "skipping request without numeric argument",
227 "NOT IMPLEMENTED: .so with absolute path or \"..\"",
228 ".so request failed",
229 "skipping all arguments",
230 "skipping excess arguments",
233 "unsupported feature",
235 "unsupported control character",
236 "unsupported roff request",
237 "eqn delim option in tbl",
238 "unsupported tbl layout modifier",
239 "ignoring macro in table",
242 static const char * const mandoclevels
[MANDOCLEVEL_MAX
] = {
254 resize_buf(struct buf
*buf
, size_t initial
)
257 buf
->sz
= buf
->sz
> initial
/2 ? 2 * buf
->sz
: initial
;
258 buf
->buf
= mandoc_realloc(buf
->buf
, buf
->sz
);
262 choose_parser(struct mparse
*curp
)
268 * If neither command line arguments -mdoc or -man select
269 * a parser nor the roff parser found a .Dd or .TH macro
270 * yet, look ahead in the main input buffer.
273 if ((format
= roff_getformat(curp
->roff
)) == 0) {
274 cp
= curp
->primary
->buf
;
275 ep
= cp
+ curp
->primary
->sz
;
277 if (*cp
== '.' || *cp
== '\'') {
279 if (cp
[0] == 'D' && cp
[1] == 'd') {
280 format
= MPARSE_MDOC
;
283 if (cp
[0] == 'T' && cp
[1] == 'H') {
288 cp
= memchr(cp
, '\n', ep
- cp
);
295 if (format
== MPARSE_MDOC
) {
297 curp
->man
->macroset
= MACROSET_MDOC
;
298 curp
->man
->first
->tok
= TOKEN_NONE
;
301 curp
->man
->macroset
= MACROSET_MAN
;
302 curp
->man
->first
->tok
= TOKEN_NONE
;
307 * Main parse routine for a buffer.
308 * It assumes encoding and line numbering are already set up.
309 * It can recurse directly (for invocations of user-defined
310 * macros, inline equations, and input line traps)
311 * and indirectly (for .so file inclusion).
314 mparse_buf_r(struct mparse
*curp
, struct buf blk
, size_t i
, int start
)
316 const struct tbl_span
*span
;
318 const char *save_file
;
320 size_t pos
; /* byte number in the ln buffer */
321 size_t j
; /* auxiliary byte number in the blk buffer */
324 int lnn
; /* line number in the real file */
328 memset(&ln
, 0, sizeof(ln
));
334 if (0 == pos
&& '\0' == blk
.buf
[i
])
339 curp
->reparse_count
= 0;
342 curp
->filenc
& MPARSE_UTF8
&&
343 curp
->filenc
& MPARSE_LATIN1
)
344 curp
->filenc
= preconv_cue(&blk
, i
);
347 while (i
< blk
.sz
&& (start
|| blk
.buf
[i
] != '\0')) {
350 * When finding an unescaped newline character,
351 * leave the character loop to process the line.
352 * Skip a preceding carriage return, if any.
355 if ('\r' == blk
.buf
[i
] && i
+ 1 < blk
.sz
&&
356 '\n' == blk
.buf
[i
+ 1])
358 if ('\n' == blk
.buf
[i
]) {
365 * Make sure we have space for the worst
366 * case of 11 bytes: "\\[u10ffff]\0"
369 if (pos
+ 11 > ln
.sz
)
370 resize_buf(&ln
, 256);
373 * Encode 8-bit input.
378 if ( ! (curp
->filenc
&& preconv_encode(
379 &blk
, &i
, &ln
, &pos
, &curp
->filenc
))) {
380 mandoc_vmsg(MANDOCERR_CHAR_BAD
, curp
,
381 curp
->line
, pos
, "0x%x", c
);
389 * Exclude control characters.
392 if (c
== 0x7f || (c
< 0x20 && c
!= 0x09)) {
393 mandoc_vmsg(c
== 0x00 || c
== 0x04 ||
394 c
> 0x0a ? MANDOCERR_CHAR_BAD
:
395 MANDOCERR_CHAR_UNSUPP
,
396 curp
, curp
->line
, pos
, "0x%x", c
);
403 /* Trailing backslash = a plain char. */
405 if (blk
.buf
[i
] != '\\' || i
+ 1 == blk
.sz
) {
406 ln
.buf
[pos
++] = blk
.buf
[i
++];
411 * Found escape and at least one other character.
412 * When it's a newline character, skip it.
413 * When there is a carriage return in between,
414 * skip that one as well.
417 if ('\r' == blk
.buf
[i
+ 1] && i
+ 2 < blk
.sz
&&
418 '\n' == blk
.buf
[i
+ 2])
420 if ('\n' == blk
.buf
[i
+ 1]) {
426 if ('"' == blk
.buf
[i
+ 1] || '#' == blk
.buf
[i
+ 1]) {
429 /* Comment, skip to end of line */
430 for (; i
< blk
.sz
; ++i
) {
431 if (blk
.buf
[i
] != '\n')
433 if (blk
.buf
[i
- 1] == ' ' ||
434 blk
.buf
[i
- 1] == '\t')
438 pos
+ i
-1 - j
, NULL
);
444 /* Backout trailing whitespaces */
445 for (; pos
> 0; --pos
) {
446 if (ln
.buf
[pos
- 1] != ' ')
448 if (pos
> 2 && ln
.buf
[pos
- 2] == '\\')
454 /* Catch escaped bogus characters. */
456 c
= (unsigned char) blk
.buf
[i
+1];
458 if ( ! (isascii(c
) &&
459 (isgraph(c
) || isblank(c
)))) {
460 mandoc_vmsg(MANDOCERR_CHAR_BAD
, curp
,
461 curp
->line
, pos
, "0x%x", c
);
467 /* Some other escape sequence, copy & cont. */
469 ln
.buf
[pos
++] = blk
.buf
[i
++];
470 ln
.buf
[pos
++] = blk
.buf
[i
++];
474 resize_buf(&ln
, 256);
479 * A significant amount of complexity is contained by
480 * the roff preprocessor. It's line-oriented but can be
481 * expressed on one line, so we need at times to
482 * readjust our starting point and re-run it. The roff
483 * preprocessor can also readjust the buffers with new
484 * data, so we pass them in wholesale.
490 * Maintain a lookaside buffer of all parsed lines. We
491 * only do this if mparse_keep() has been invoked (the
492 * buffer may be accessed with mparse_getkeep()).
495 if (curp
->secondary
) {
496 curp
->secondary
->buf
= mandoc_realloc(
497 curp
->secondary
->buf
,
498 curp
->secondary
->sz
+ pos
+ 2);
499 memcpy(curp
->secondary
->buf
+
502 curp
->secondary
->sz
+= pos
;
504 [curp
->secondary
->sz
] = '\n';
505 curp
->secondary
->sz
++;
507 [curp
->secondary
->sz
] = '\0';
510 rr
= roff_parseln(curp
->roff
, curp
->line
, &ln
, &of
);
514 if (++curp
->reparse_count
> REPARSE_LIMIT
)
515 mandoc_msg(MANDOCERR_ROFFLOOP
, curp
,
516 curp
->line
, pos
, NULL
);
517 else if (mparse_buf_r(curp
, ln
, of
, 0) == 1 ||
525 pos
= strlen(ln
.buf
);
533 if ( ! (curp
->options
& MPARSE_SO
) &&
534 (i
>= blk
.sz
|| blk
.buf
[i
] == '\0')) {
535 curp
->sodest
= mandoc_strdup(ln
.buf
+ of
);
540 * We remove `so' clauses from our lookaside
541 * buffer because we're going to descend into
542 * the file recursively.
545 curp
->secondary
->sz
-= pos
+ 1;
546 save_file
= curp
->file
;
547 if ((fd
= mparse_open(curp
, ln
.buf
+ of
)) != -1) {
548 mparse_readfd(curp
, fd
, ln
.buf
+ of
);
550 curp
->file
= save_file
;
552 curp
->file
= save_file
;
553 mandoc_vmsg(MANDOCERR_SO_FAIL
,
554 curp
, curp
->line
, pos
,
555 ".so %s", ln
.buf
+ of
);
556 ln
.sz
= mandoc_asprintf(&cp
,
557 ".sp\nSee the file %s.\n.sp",
562 mparse_buf_r(curp
, ln
, of
, 0);
570 if (curp
->man
->macroset
== MACROSET_NONE
)
574 * Lastly, push down into the parsers themselves.
575 * If libroff returns ROFF_TBL, then add it to the
576 * currently open parse. Since we only get here if
577 * there does exist data (see tbl_data.c), we're
578 * guaranteed that something's been allocated.
579 * Do the same for ROFF_EQN.
583 while ((span
= roff_span(curp
->roff
)) != NULL
)
584 roff_addtbl(curp
->man
, span
);
585 else if (rr
== ROFF_EQN
)
586 roff_addeqn(curp
->man
, roff_eqn(curp
->roff
));
587 else if ((curp
->man
->macroset
== MACROSET_MDOC
?
588 mdoc_parseln(curp
->man
, curp
->line
, ln
.buf
, of
) :
589 man_parseln(curp
->man
, curp
->line
, ln
.buf
, of
)) == 2)
592 /* Temporary buffers typically are not full. */
594 if (0 == start
&& '\0' == blk
.buf
[i
])
597 /* Start the next input line. */
607 read_whole_file(struct mparse
*curp
, const char *file
, int fd
,
608 struct buf
*fb
, int *with_mmap
)
615 if (fstat(fd
, &st
) == -1)
616 err((int)MANDOCLEVEL_SYSERR
, "%s", file
);
619 * If we're a regular file, try just reading in the whole entry
620 * via mmap(). This is faster than reading it into blocks, and
621 * since each file is only a few bytes to begin with, I'm not
622 * concerned that this is going to tank any machines.
625 if (curp
->gzip
== 0 && S_ISREG(st
.st_mode
)) {
626 if (st
.st_size
> 0x7fffffff) {
627 mandoc_msg(MANDOCERR_TOOLARGE
, curp
, 0, 0, NULL
);
631 fb
->sz
= (size_t)st
.st_size
;
632 fb
->buf
= mmap(NULL
, fb
->sz
, PROT_READ
, MAP_SHARED
, fd
, 0);
633 if (fb
->buf
!= MAP_FAILED
)
638 if ((gz
= gzdopen(fd
, "rb")) == NULL
)
639 err((int)MANDOCLEVEL_SYSERR
, "%s", file
);
644 * If this isn't a regular file (like, say, stdin), then we must
645 * go the old way and just read things in bit by bit.
654 if (fb
->sz
== (1U << 31)) {
655 mandoc_msg(MANDOCERR_TOOLARGE
, curp
,
659 resize_buf(fb
, 65536);
662 gzread(gz
, fb
->buf
+ (int)off
, fb
->sz
- off
) :
663 read(fd
, fb
->buf
+ (int)off
, fb
->sz
- off
);
669 err((int)MANDOCLEVEL_SYSERR
, "%s", file
);
679 mparse_end(struct mparse
*curp
)
681 if (curp
->man
->macroset
== MACROSET_NONE
)
682 curp
->man
->macroset
= MACROSET_MAN
;
683 if (curp
->man
->macroset
== MACROSET_MDOC
)
684 mdoc_endparse(curp
->man
);
686 man_endparse(curp
->man
);
687 roff_endparse(curp
->roff
);
691 mparse_parse_buffer(struct mparse
*curp
, struct buf blk
, const char *file
)
693 struct buf
*svprimary
;
696 static int recursion_depth
;
698 if (64 < recursion_depth
) {
699 mandoc_msg(MANDOCERR_ROFFLOOP
, curp
, curp
->line
, 0, NULL
);
703 /* Line number is per-file. */
706 svprimary
= curp
->primary
;
707 curp
->primary
= &blk
;
711 /* Skip an UTF-8 byte order mark. */
712 if (curp
->filenc
& MPARSE_UTF8
&& blk
.sz
> 2 &&
713 (unsigned char)blk
.buf
[0] == 0xef &&
714 (unsigned char)blk
.buf
[1] == 0xbb &&
715 (unsigned char)blk
.buf
[2] == 0xbf) {
717 curp
->filenc
&= ~MPARSE_LATIN1
;
721 mparse_buf_r(curp
, blk
, offset
, 1);
723 if (--recursion_depth
== 0)
726 curp
->primary
= svprimary
;
731 mparse_readmem(struct mparse
*curp
, void *buf
, size_t len
,
739 mparse_parse_buffer(curp
, blk
, file
);
740 return curp
->file_status
;
744 * Read the whole file into memory and call the parsers.
745 * Called recursively when an .so request is encountered.
748 mparse_readfd(struct mparse
*curp
, int fd
, const char *file
)
754 if (read_whole_file(curp
, file
, fd
, &blk
, &with_mmap
)) {
755 save_filenc
= curp
->filenc
;
756 curp
->filenc
= curp
->options
&
757 (MPARSE_UTF8
| MPARSE_LATIN1
);
758 mparse_parse_buffer(curp
, blk
, file
);
759 curp
->filenc
= save_filenc
;
761 munmap(blk
.buf
, blk
.sz
);
765 return curp
->file_status
;
769 mparse_open(struct mparse
*curp
, const char *file
)
775 cp
= strrchr(file
, '.');
776 curp
->gzip
= (cp
!= NULL
&& ! strcmp(cp
+ 1, "gz"));
778 /* First try to use the filename as it is. */
780 if ((fd
= open(file
, O_RDONLY
)) != -1)
784 * If that doesn't work and the filename doesn't
785 * already end in .gz, try appending .gz.
789 mandoc_asprintf(&cp
, "%s.gz", file
);
790 fd
= open(cp
, O_RDONLY
);
798 /* Neither worked, give up. */
800 mandoc_msg(MANDOCERR_FILE
, curp
, 0, 0, strerror(errno
));
805 mparse_alloc(int options
, enum mandoclevel wlevel
, mandocmsg mmsg
,
810 curp
= mandoc_calloc(1, sizeof(struct mparse
));
812 curp
->options
= options
;
813 curp
->wlevel
= wlevel
;
817 curp
->roff
= roff_alloc(curp
, options
);
818 curp
->man
= roff_man_alloc( curp
->roff
, curp
, curp
->defos
,
819 curp
->options
& MPARSE_QUICK
? 1 : 0);
820 if (curp
->options
& MPARSE_MDOC
) {
822 curp
->man
->macroset
= MACROSET_MDOC
;
823 } else if (curp
->options
& MPARSE_MAN
) {
825 curp
->man
->macroset
= MACROSET_MAN
;
827 curp
->man
->first
->tok
= TOKEN_NONE
;
832 mparse_reset(struct mparse
*curp
)
834 roff_reset(curp
->roff
);
835 roff_man_reset(curp
->man
);
841 curp
->secondary
->sz
= 0;
843 curp
->file_status
= MANDOCLEVEL_OK
;
848 mparse_free(struct mparse
*curp
)
851 roff_man_free(curp
->man
);
852 roff_free(curp
->roff
);
854 free(curp
->secondary
->buf
);
856 free(curp
->secondary
);
862 mparse_result(struct mparse
*curp
, struct roff_man
**man
,
866 if (sodest
&& NULL
!= (*sodest
= curp
->sodest
)) {
875 mparse_updaterc(struct mparse
*curp
, enum mandoclevel
*rc
)
877 if (curp
->file_status
> *rc
)
878 *rc
= curp
->file_status
;
882 mandoc_vmsg(enum mandocerr t
, struct mparse
*m
,
883 int ln
, int pos
, const char *fmt
, ...)
889 (void)vsnprintf(buf
, sizeof(buf
), fmt
, ap
);
892 mandoc_msg(t
, m
, ln
, pos
, buf
);
896 mandoc_msg(enum mandocerr er
, struct mparse
*m
,
897 int ln
, int col
, const char *msg
)
899 enum mandoclevel level
;
901 level
= MANDOCLEVEL_UNSUPP
;
902 while (er
< mandoclimits
[level
])
905 if (level
< m
->wlevel
&& er
!= MANDOCERR_FILE
)
909 (*m
->mmsg
)(er
, level
, m
->file
, ln
, col
, msg
);
911 if (m
->file_status
< level
)
912 m
->file_status
= level
;
916 mparse_strerror(enum mandocerr er
)
919 return mandocerrs
[er
];
923 mparse_strlevel(enum mandoclevel lvl
)
925 return mandoclevels
[lvl
];
929 mparse_keep(struct mparse
*p
)
932 assert(NULL
== p
->secondary
);
933 p
->secondary
= mandoc_calloc(1, sizeof(struct buf
));
937 mparse_getkeep(const struct mparse
*p
)
940 assert(p
->secondary
);
941 return p
->secondary
->sz
? p
->secondary
->buf
: NULL
;