]>
git.cameronkatri.com Git - mandoc.git/blob - read.c
1 /* $Id: read.c,v 1.140 2015/07/19 06:05:16 schwarze Exp $ */
3 * Copyright (c) 2008, 2009, 2010, 2011 Kristaps Dzonsons <kristaps@bsd.lv>
4 * Copyright (c) 2010-2015 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_man
*man
; /* man parser */
51 struct roff
*roff
; /* roff parser (!NULL) */
52 const struct mchars
*mchars
; /* character table */
53 char *sodest
; /* filename pointed to by .so */
54 const char *file
; /* filename of current input file */
55 struct buf
*primary
; /* buffer currently being parsed */
56 struct buf
*secondary
; /* preprocessed copy of input */
57 const char *defos
; /* default operating system */
58 mandocmsg mmsg
; /* warning/error message handler */
59 enum mandoclevel file_status
; /* status of current parse */
60 enum mandoclevel wlevel
; /* ignore messages below this */
61 int options
; /* parser options */
62 int gzip
; /* current input file is gzipped */
63 int filenc
; /* encoding of the current file */
64 int reparse_count
; /* finite interp. stack */
65 int line
; /* line number in the file */
68 static void choose_parser(struct mparse
*);
69 static void resize_buf(struct buf
*, size_t);
70 static void mparse_buf_r(struct mparse
*, struct buf
, size_t, int);
71 static int read_whole_file(struct mparse
*, const char *, int,
73 static void mparse_end(struct mparse
*);
74 static void mparse_parse_buffer(struct mparse
*, struct buf
,
77 static const enum mandocerr mandoclimits
[MANDOCLEVEL_MAX
] = {
87 static const char * const mandocerrs
[MANDOCERR_MAX
] = {
92 /* related to the prologue */
93 "missing manual title, using UNTITLED",
94 "missing manual title, using \"\"",
95 "lower case character in document title",
96 "missing manual section, using \"\"",
97 "unknown manual section",
98 "missing date, using today's date",
99 "cannot parse date, using it verbatim",
100 "missing Os macro, using \"\"",
101 "duplicate prologue macro",
102 "late prologue macro",
103 "skipping late title macro",
104 "prologue macros out of order",
106 /* related to document structure */
107 ".so is fragile, better use ln(1)",
109 "content before first section header",
110 "first section is not \"NAME\"",
111 "NAME section without name",
112 "NAME section without description",
113 "description not at the end of NAME",
114 "bad NAME section content",
115 "missing description line, using \"\"",
116 "sections out of conventional order",
117 "duplicate section title",
118 "unexpected section",
120 "unusual Xr punctuation",
121 "AUTHORS section without An macro",
123 /* related to macros and nesting */
125 "macro neither callable nor escaped",
126 "skipping paragraph macro",
127 "moving paragraph macro out of list",
128 "skipping no-space macro",
129 "blocks badly nested",
130 "nested displays are not portable",
131 "moving content out of list",
132 ".Vt block has child macro",
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 8n",
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 -std argument, adding it",
155 "missing option string, using \"\"",
156 "missing resource identifier, using \"\"",
157 "missing eqn box, using \"\"",
159 /* related to bad macro arguments */
160 "unterminated quoted argument",
161 "duplicate argument",
162 "skipping duplicate argument",
163 "skipping duplicate display type",
164 "skipping duplicate list type",
165 "skipping -width argument",
166 "wrong number of cells",
167 "unknown AT&T UNIX version",
168 "comma in function argument",
169 "parenthesis in function name",
170 "invalid content in Rs block",
171 "invalid Boolean argument",
172 "unknown font, skipping request",
173 "odd number of characters in request",
175 /* related to plain text */
176 "blank line in fill mode, using .sp",
177 "tab in filled text",
178 "whitespace at end of input line",
180 "invalid escape sequence",
181 "undefined string, using \"\"",
183 /* related to tables */
184 "tbl line starts with span",
185 "tbl column starts with span",
186 "skipping vertical bar in tbl layout",
190 /* related to tables */
191 "non-alphabetic character in tbl options",
192 "skipping unknown tbl option",
193 "missing tbl option argument",
194 "wrong tbl option argument size",
196 "invalid character in tbl layout",
197 "unmatched parenthesis in tbl layout",
198 "tbl without any data cells",
199 "ignoring data in spanned tbl cell",
200 "ignoring extra tbl data cells",
201 "data block open at end of tbl",
203 /* related to document structure and macros */
205 "input stack limit exceeded, infinite loop?",
206 "skipping bad character",
207 "skipping unknown macro",
208 "skipping insecure request",
209 "skipping item outside list",
210 "skipping column outside column list",
211 "skipping end of block that is not open",
212 "fewer RS blocks open, skipping",
213 "inserting missing end of block",
214 "appending missing end of block",
216 /* related to request and macro arguments */
217 "escaped character not allowed in a name",
218 "NOT IMPLEMENTED: Bd -file",
219 "missing list type, using -item",
220 "missing manual name, using \"\"",
221 "uname(3) system call failed, using UNKNOWN",
222 "unknown standard specifier",
223 "skipping request without numeric argument",
224 "NOT IMPLEMENTED: .so with absolute path or \"..\"",
225 ".so request failed",
226 "skipping all arguments",
227 "skipping excess arguments",
230 "unsupported feature",
232 "unsupported control character",
233 "unsupported roff request",
234 "eqn delim option in tbl",
235 "unsupported tbl layout modifier",
236 "ignoring macro in table",
239 static const char * const mandoclevels
[MANDOCLEVEL_MAX
] = {
251 resize_buf(struct buf
*buf
, size_t initial
)
254 buf
->sz
= buf
->sz
> initial
/2 ? 2 * buf
->sz
: initial
;
255 buf
->buf
= mandoc_realloc(buf
->buf
, buf
->sz
);
259 choose_parser(struct mparse
*curp
)
265 * If neither command line arguments -mdoc or -man select
266 * a parser nor the roff parser found a .Dd or .TH macro
267 * yet, look ahead in the main input buffer.
270 if ((format
= roff_getformat(curp
->roff
)) == 0) {
271 cp
= curp
->primary
->buf
;
272 ep
= cp
+ curp
->primary
->sz
;
274 if (*cp
== '.' || *cp
== '\'') {
276 if (cp
[0] == 'D' && cp
[1] == 'd') {
277 format
= MPARSE_MDOC
;
280 if (cp
[0] == 'T' && cp
[1] == 'H') {
285 cp
= memchr(cp
, '\n', ep
- cp
);
292 if (curp
->man
== NULL
) {
293 curp
->man
= roff_man_alloc(curp
->roff
, curp
, curp
->defos
,
294 curp
->options
& MPARSE_QUICK
? 1 : 0);
295 curp
->man
->macroset
= MACROSET_MAN
;
296 curp
->man
->first
->tok
= TOKEN_NONE
;
299 if (format
== MPARSE_MDOC
) {
301 curp
->man
->macroset
= MACROSET_MDOC
;
302 curp
->man
->first
->tok
= TOKEN_NONE
;
305 curp
->man
->macroset
= MACROSET_MAN
;
306 curp
->man
->first
->tok
= TOKEN_NONE
;
311 * Main parse routine for a buffer.
312 * It assumes encoding and line numbering are already set up.
313 * It can recurse directly (for invocations of user-defined
314 * macros, inline equations, and input line traps)
315 * and indirectly (for .so file inclusion).
318 mparse_buf_r(struct mparse
*curp
, struct buf blk
, size_t i
, int start
)
320 const struct tbl_span
*span
;
322 const char *save_file
;
324 size_t pos
; /* byte number in the ln buffer */
327 int lnn
; /* line number in the real file */
331 memset(&ln
, 0, sizeof(ln
));
337 if (0 == pos
&& '\0' == blk
.buf
[i
])
342 curp
->reparse_count
= 0;
345 curp
->filenc
& MPARSE_UTF8
&&
346 curp
->filenc
& MPARSE_LATIN1
)
347 curp
->filenc
= preconv_cue(&blk
, i
);
350 while (i
< blk
.sz
&& (start
|| blk
.buf
[i
] != '\0')) {
353 * When finding an unescaped newline character,
354 * leave the character loop to process the line.
355 * Skip a preceding carriage return, if any.
358 if ('\r' == blk
.buf
[i
] && i
+ 1 < blk
.sz
&&
359 '\n' == blk
.buf
[i
+ 1])
361 if ('\n' == blk
.buf
[i
]) {
368 * Make sure we have space for the worst
369 * case of 11 bytes: "\\[u10ffff]\0"
372 if (pos
+ 11 > ln
.sz
)
373 resize_buf(&ln
, 256);
376 * Encode 8-bit input.
381 if ( ! (curp
->filenc
&& preconv_encode(
382 &blk
, &i
, &ln
, &pos
, &curp
->filenc
))) {
383 mandoc_vmsg(MANDOCERR_CHAR_BAD
, curp
,
384 curp
->line
, pos
, "0x%x", c
);
392 * Exclude control characters.
395 if (c
== 0x7f || (c
< 0x20 && c
!= 0x09)) {
396 mandoc_vmsg(c
== 0x00 || c
== 0x04 ||
397 c
> 0x0a ? MANDOCERR_CHAR_BAD
:
398 MANDOCERR_CHAR_UNSUPP
,
399 curp
, curp
->line
, pos
, "0x%x", c
);
406 /* Trailing backslash = a plain char. */
408 if (blk
.buf
[i
] != '\\' || i
+ 1 == blk
.sz
) {
409 ln
.buf
[pos
++] = blk
.buf
[i
++];
414 * Found escape and at least one other character.
415 * When it's a newline character, skip it.
416 * When there is a carriage return in between,
417 * skip that one as well.
420 if ('\r' == blk
.buf
[i
+ 1] && i
+ 2 < blk
.sz
&&
421 '\n' == blk
.buf
[i
+ 2])
423 if ('\n' == blk
.buf
[i
+ 1]) {
429 if ('"' == blk
.buf
[i
+ 1] || '#' == blk
.buf
[i
+ 1]) {
431 /* Comment, skip to end of line */
432 for (; i
< blk
.sz
; ++i
) {
433 if ('\n' == blk
.buf
[i
]) {
440 /* Backout trailing whitespaces */
441 for (; pos
> 0; --pos
) {
442 if (ln
.buf
[pos
- 1] != ' ')
444 if (pos
> 2 && ln
.buf
[pos
- 2] == '\\')
450 /* Catch escaped bogus characters. */
452 c
= (unsigned char) blk
.buf
[i
+1];
454 if ( ! (isascii(c
) &&
455 (isgraph(c
) || isblank(c
)))) {
456 mandoc_vmsg(MANDOCERR_CHAR_BAD
, curp
,
457 curp
->line
, pos
, "0x%x", c
);
463 /* Some other escape sequence, copy & cont. */
465 ln
.buf
[pos
++] = blk
.buf
[i
++];
466 ln
.buf
[pos
++] = blk
.buf
[i
++];
470 resize_buf(&ln
, 256);
475 * A significant amount of complexity is contained by
476 * the roff preprocessor. It's line-oriented but can be
477 * expressed on one line, so we need at times to
478 * readjust our starting point and re-run it. The roff
479 * preprocessor can also readjust the buffers with new
480 * data, so we pass them in wholesale.
486 * Maintain a lookaside buffer of all parsed lines. We
487 * only do this if mparse_keep() has been invoked (the
488 * buffer may be accessed with mparse_getkeep()).
491 if (curp
->secondary
) {
492 curp
->secondary
->buf
= mandoc_realloc(
493 curp
->secondary
->buf
,
494 curp
->secondary
->sz
+ pos
+ 2);
495 memcpy(curp
->secondary
->buf
+
498 curp
->secondary
->sz
+= pos
;
500 [curp
->secondary
->sz
] = '\n';
501 curp
->secondary
->sz
++;
503 [curp
->secondary
->sz
] = '\0';
506 rr
= roff_parseln(curp
->roff
, curp
->line
, &ln
, &of
);
510 if (REPARSE_LIMIT
>= ++curp
->reparse_count
)
511 mparse_buf_r(curp
, ln
, of
, 0);
513 mandoc_msg(MANDOCERR_ROFFLOOP
, curp
,
514 curp
->line
, pos
, NULL
);
518 pos
= strlen(ln
.buf
);
526 if ( ! (curp
->options
& MPARSE_SO
) &&
527 (i
>= blk
.sz
|| blk
.buf
[i
] == '\0')) {
528 curp
->sodest
= mandoc_strdup(ln
.buf
+ of
);
533 * We remove `so' clauses from our lookaside
534 * buffer because we're going to descend into
535 * the file recursively.
538 curp
->secondary
->sz
-= pos
+ 1;
539 save_file
= curp
->file
;
540 if (mparse_open(curp
, &fd
, ln
.buf
+ of
) ==
542 mparse_readfd(curp
, fd
, ln
.buf
+ of
);
543 curp
->file
= save_file
;
545 curp
->file
= save_file
;
546 mandoc_vmsg(MANDOCERR_SO_FAIL
,
547 curp
, curp
->line
, pos
,
548 ".so %s", ln
.buf
+ of
);
549 ln
.sz
= mandoc_asprintf(&cp
,
550 ".sp\nSee the file %s.\n.sp",
555 mparse_buf_r(curp
, ln
, of
, 0);
564 * If input parsers have not been allocated, do so now.
565 * We keep these instanced between parsers, but set them
566 * locally per parse routine since we can use different
567 * parsers with each one.
570 if (curp
->man
== NULL
||
571 curp
->man
->macroset
== MACROSET_NONE
)
575 * Lastly, push down into the parsers themselves.
576 * If libroff returns ROFF_TBL, then add it to the
577 * currently open parse. Since we only get here if
578 * there does exist data (see tbl_data.c), we're
579 * guaranteed that something's been allocated.
580 * Do the same for ROFF_EQN.
584 while ((span
= roff_span(curp
->roff
)) != NULL
)
585 roff_addtbl(curp
->man
, span
);
586 else if (rr
== ROFF_EQN
)
587 roff_addeqn(curp
->man
, roff_eqn(curp
->roff
));
588 else if ((curp
->man
->macroset
== MACROSET_MDOC
?
589 mdoc_parseln(curp
->man
, curp
->line
, ln
.buf
, of
) :
590 man_parseln(curp
->man
, curp
->line
, ln
.buf
, of
)) == 2)
593 /* Temporary buffers typically are not full. */
595 if (0 == start
&& '\0' == blk
.buf
[i
])
598 /* Start the next input line. */
607 read_whole_file(struct mparse
*curp
, const char *file
, int fd
,
608 struct buf
*fb
, int *with_mmap
)
616 if (-1 == fstat(fd
, &st
)) {
618 exit((int)MANDOCLEVEL_SYSERR
);
622 * If we're a regular file, try just reading in the whole entry
623 * via mmap(). This is faster than reading it into blocks, and
624 * since each file is only a few bytes to begin with, I'm not
625 * concerned that this is going to tank any machines.
628 if (curp
->gzip
== 0 && S_ISREG(st
.st_mode
)) {
629 if (st
.st_size
> 0x7fffffff) {
630 mandoc_msg(MANDOCERR_TOOLARGE
, curp
, 0, 0, NULL
);
634 fb
->sz
= (size_t)st
.st_size
;
635 fb
->buf
= mmap(NULL
, fb
->sz
, PROT_READ
, MAP_SHARED
, fd
, 0);
636 if (fb
->buf
!= MAP_FAILED
)
642 if ((gz
= gzdopen(fd
, "rb")) == NULL
) {
644 exit((int)MANDOCLEVEL_SYSERR
);
650 * If this isn't a regular file (like, say, stdin), then we must
651 * go the old way and just read things in bit by bit.
660 if (fb
->sz
== (1U << 31)) {
661 mandoc_msg(MANDOCERR_TOOLARGE
, curp
,
665 resize_buf(fb
, 65536);
668 gzread(gz
, fb
->buf
+ (int)off
, fb
->sz
- off
) :
669 read(fd
, fb
->buf
+ (int)off
, fb
->sz
- off
);
676 exit((int)MANDOCLEVEL_SYSERR
);
687 mparse_end(struct mparse
*curp
)
690 if (curp
->man
== NULL
&& curp
->sodest
== NULL
)
691 curp
->man
= roff_man_alloc(curp
->roff
, curp
, curp
->defos
,
692 curp
->options
& MPARSE_QUICK
? 1 : 0);
693 if (curp
->man
->macroset
== MACROSET_NONE
)
694 curp
->man
->macroset
= MACROSET_MAN
;
695 if (curp
->man
->macroset
== MACROSET_MDOC
)
696 mdoc_endparse(curp
->man
);
698 man_endparse(curp
->man
);
699 roff_endparse(curp
->roff
);
703 mparse_parse_buffer(struct mparse
*curp
, struct buf blk
, const char *file
)
705 struct buf
*svprimary
;
708 static int recursion_depth
;
710 if (64 < recursion_depth
) {
711 mandoc_msg(MANDOCERR_ROFFLOOP
, curp
, curp
->line
, 0, NULL
);
715 /* Line number is per-file. */
718 svprimary
= curp
->primary
;
719 curp
->primary
= &blk
;
723 /* Skip an UTF-8 byte order mark. */
724 if (curp
->filenc
& MPARSE_UTF8
&& blk
.sz
> 2 &&
725 (unsigned char)blk
.buf
[0] == 0xef &&
726 (unsigned char)blk
.buf
[1] == 0xbb &&
727 (unsigned char)blk
.buf
[2] == 0xbf) {
729 curp
->filenc
&= ~MPARSE_LATIN1
;
733 mparse_buf_r(curp
, blk
, offset
, 1);
735 if (--recursion_depth
== 0)
738 curp
->primary
= svprimary
;
743 mparse_readmem(struct mparse
*curp
, void *buf
, size_t len
,
751 mparse_parse_buffer(curp
, blk
, file
);
752 return(curp
->file_status
);
756 * Read the whole file into memory and call the parsers.
757 * Called recursively when an .so request is encountered.
760 mparse_readfd(struct mparse
*curp
, int fd
, const char *file
)
766 if (read_whole_file(curp
, file
, fd
, &blk
, &with_mmap
)) {
767 save_filenc
= curp
->filenc
;
768 curp
->filenc
= curp
->options
&
769 (MPARSE_UTF8
| MPARSE_LATIN1
);
770 mparse_parse_buffer(curp
, blk
, file
);
771 curp
->filenc
= save_filenc
;
774 munmap(blk
.buf
, blk
.sz
);
780 if (fd
!= STDIN_FILENO
&& close(fd
) == -1)
783 return(curp
->file_status
);
787 mparse_open(struct mparse
*curp
, int *fd
, const char *file
)
792 cp
= strrchr(file
, '.');
793 curp
->gzip
= (cp
!= NULL
&& ! strcmp(cp
+ 1, "gz"));
795 /* First try to use the filename as it is. */
797 if ((*fd
= open(file
, O_RDONLY
)) != -1)
798 return(MANDOCLEVEL_OK
);
801 * If that doesn't work and the filename doesn't
802 * already end in .gz, try appending .gz.
806 mandoc_asprintf(&cp
, "%s.gz", file
);
807 *fd
= open(file
, O_RDONLY
);
811 return(MANDOCLEVEL_OK
);
815 /* Neither worked, give up. */
817 mandoc_msg(MANDOCERR_FILE
, curp
, 0, 0, strerror(errno
));
818 return(MANDOCLEVEL_ERROR
);
822 mparse_alloc(int options
, enum mandoclevel wlevel
, mandocmsg mmsg
,
823 const struct mchars
*mchars
, const char *defos
)
827 curp
= mandoc_calloc(1, sizeof(struct mparse
));
829 curp
->options
= options
;
830 curp
->wlevel
= wlevel
;
834 curp
->mchars
= mchars
;
835 curp
->roff
= roff_alloc(curp
, curp
->mchars
, options
);
836 curp
->man
= roff_man_alloc( curp
->roff
, curp
, curp
->defos
,
837 curp
->options
& MPARSE_QUICK
? 1 : 0);
838 if (curp
->options
& MPARSE_MDOC
) {
840 curp
->man
->macroset
= MACROSET_MDOC
;
841 } else if (curp
->options
& MPARSE_MAN
) {
843 curp
->man
->macroset
= MACROSET_MAN
;
845 curp
->man
->first
->tok
= TOKEN_NONE
;
850 mparse_reset(struct mparse
*curp
)
853 roff_reset(curp
->roff
);
855 if (curp
->man
!= NULL
)
856 roff_man_reset(curp
->man
);
858 curp
->secondary
->sz
= 0;
860 curp
->file_status
= MANDOCLEVEL_OK
;
867 mparse_free(struct mparse
*curp
)
870 roff_man_free(curp
->man
);
872 roff_free(curp
->roff
);
874 free(curp
->secondary
->buf
);
876 free(curp
->secondary
);
882 mparse_result(struct mparse
*curp
, struct roff_man
**man
,
886 if (sodest
&& NULL
!= (*sodest
= curp
->sodest
)) {
895 mandoc_vmsg(enum mandocerr t
, struct mparse
*m
,
896 int ln
, int pos
, const char *fmt
, ...)
902 (void)vsnprintf(buf
, sizeof(buf
), fmt
, ap
);
905 mandoc_msg(t
, m
, ln
, pos
, buf
);
909 mandoc_msg(enum mandocerr er
, struct mparse
*m
,
910 int ln
, int col
, const char *msg
)
912 enum mandoclevel level
;
914 level
= MANDOCLEVEL_UNSUPP
;
915 while (er
< mandoclimits
[level
])
918 if (level
< m
->wlevel
&& er
!= MANDOCERR_FILE
)
922 (*m
->mmsg
)(er
, level
, m
->file
, ln
, col
, msg
);
924 if (m
->file_status
< level
)
925 m
->file_status
= level
;
929 mparse_strerror(enum mandocerr er
)
932 return(mandocerrs
[er
]);
936 mparse_strlevel(enum mandoclevel lvl
)
938 return(mandoclevels
[lvl
]);
942 mparse_keep(struct mparse
*p
)
945 assert(NULL
== p
->secondary
);
946 p
->secondary
= mandoc_calloc(1, sizeof(struct buf
));
950 mparse_getkeep(const struct mparse
*p
)
953 assert(p
->secondary
);
954 return(p
->secondary
->sz
? p
->secondary
->buf
: NULL
);