]>
git.cameronkatri.com Git - mandoc.git/blob - read.c
1 /* $Id: read.c,v 1.198 2018/08/23 19:33:27 schwarze Exp $ */
3 * Copyright (c) 2008, 2009, 2010, 2011 Kristaps Dzonsons <kristaps@bsd.lv>
4 * Copyright (c) 2010-2018 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>
36 #include "mandoc_aux.h"
41 #include "libmandoc.h"
43 #define REPARSE_LIMIT 1000
46 struct roff
*roff
; /* roff parser (!NULL) */
47 struct roff_man
*man
; /* man parser */
48 char *sodest
; /* filename pointed to by .so */
49 const char *file
; /* filename of current input file */
50 struct buf
*primary
; /* buffer currently being parsed */
51 struct buf
*secondary
; /* copy of top level input */
52 const char *os_s
; /* default operating system */
53 mandocmsg mmsg
; /* warning/error message handler */
54 enum mandoclevel file_status
; /* status of current parse */
55 enum mandocerr mmin
; /* ignore messages below this */
56 int options
; /* parser options */
57 int gzip
; /* current input file is gzipped */
58 int filenc
; /* encoding of the current file */
59 int reparse_count
; /* finite interp. stack */
60 int line
; /* line number in the file */
63 static void choose_parser(struct mparse
*);
64 static void free_buf_list(struct buf
*);
65 static void resize_buf(struct buf
*, size_t);
66 static enum rofferr
mparse_buf_r(struct mparse
*, struct buf
, size_t, int);
67 static int read_whole_file(struct mparse
*, const char *, int,
69 static void mparse_end(struct mparse
*);
70 static void mparse_parse_buffer(struct mparse
*, struct buf
,
73 static const enum mandocerr mandoclimits
[MANDOCLEVEL_MAX
] = {
83 static const char * const mandocerrs
[MANDOCERR_MAX
] = {
86 "base system convention",
90 "unknown architecture",
91 "operating system explicitly specified",
93 "referenced manual not found",
95 "generic style suggestion",
97 "legacy man(7) date format",
98 "normalizing date format to",
99 "lower case character in document title",
101 "possible typo in section name",
102 "unterminated quoted argument",
104 "consider using OS macro",
105 "errnos out of order",
107 "trailing delimiter",
108 "no blank before trailing delimiter",
109 "fill mode already enabled, skipping",
110 "fill mode already disabled, skipping",
111 "verbatim \"--\", maybe consider using \\(em",
112 "function name without markup",
113 "whitespace at end of input line",
118 /* related to the prologue */
119 "missing manual title, using UNTITLED",
120 "missing manual title, using \"\"",
121 "missing manual section, using \"\"",
122 "unknown manual section",
123 "missing date, using today's date",
124 "cannot parse date, using it verbatim",
125 "date in the future, using it anyway",
126 "missing Os macro, using \"\"",
127 "late prologue macro",
128 "prologue macros out of order",
130 /* related to document structure */
131 ".so is fragile, better use ln(1)",
133 "content before first section header",
134 "first section is not \"NAME\"",
135 "NAME section without Nm before Nd",
136 "NAME section without description",
137 "description not at the end of NAME",
138 "bad NAME section content",
139 "missing comma before name",
140 "missing description line, using \"\"",
141 "description line outside NAME section",
142 "sections out of conventional order",
143 "duplicate section title",
144 "unexpected section",
145 "cross reference to self",
147 "unusual Xr punctuation",
148 "AUTHORS section without An macro",
150 /* related to macros and nesting */
152 "macro neither callable nor escaped",
153 "skipping paragraph macro",
154 "moving paragraph macro out of list",
155 "skipping no-space macro",
156 "blocks badly nested",
157 "nested displays are not portable",
158 "moving content out of list",
159 "first macro on line",
161 "skipping blank line in line scope",
163 /* related to missing macro arguments */
164 "skipping empty request",
165 "conditional request controls empty scope",
166 "skipping empty macro",
168 "empty argument, using 0n",
169 "missing display type, using -ragged",
170 "list type is not the first argument",
171 "missing -width in -tag list, using 6n",
172 "missing utility name, using \"\"",
173 "missing function name, using \"\"",
174 "empty head in list item",
176 "missing argument, using next line",
177 "missing font type, using \\fR",
178 "unknown font type, using \\fR",
179 "nothing follows prefix",
180 "empty reference block",
181 "missing section argument",
182 "missing -std argument, adding it",
183 "missing option string, using \"\"",
184 "missing resource identifier, using \"\"",
185 "missing eqn box, using \"\"",
187 /* related to bad macro arguments */
188 "duplicate argument",
189 "skipping duplicate argument",
190 "skipping duplicate display type",
191 "skipping duplicate list type",
192 "skipping -width argument",
193 "wrong number of cells",
194 "unknown AT&T UNIX version",
195 "comma in function argument",
196 "parenthesis in function name",
197 "unknown library name",
198 "invalid content in Rs block",
199 "invalid Boolean argument",
200 "unknown font, skipping request",
201 "odd number of characters in request",
203 /* related to plain text */
204 "blank line in fill mode, using .sp",
205 "tab in filled text",
206 "new sentence, new line",
207 "invalid escape sequence",
208 "undefined string, using \"\"",
210 /* related to tables */
211 "tbl line starts with span",
212 "tbl column starts with span",
213 "skipping vertical bar in tbl layout",
217 /* related to tables */
218 "non-alphabetic character in tbl options",
219 "skipping unknown tbl option",
220 "missing tbl option argument",
221 "wrong tbl option argument size",
223 "invalid character in tbl layout",
224 "unmatched parenthesis in tbl layout",
225 "tbl without any data cells",
226 "ignoring data in spanned tbl cell",
227 "ignoring extra tbl data cells",
228 "data block open at end of tbl",
230 /* related to document structure and macros */
232 "duplicate prologue macro",
233 "skipping late title macro",
234 "input stack limit exceeded, infinite loop?",
235 "skipping bad character",
236 "skipping unknown macro",
237 "ignoring request outside macro",
238 "skipping insecure request",
239 "skipping item outside list",
240 "skipping column outside column list",
241 "skipping end of block that is not open",
242 "fewer RS blocks open, skipping",
243 "inserting missing end of block",
244 "appending missing end of block",
246 /* related to request and macro arguments */
247 "escaped character not allowed in a name",
248 "using macro argument outside macro",
249 "argument number is not numeric",
250 "NOT IMPLEMENTED: Bd -file",
251 "skipping display without arguments",
252 "missing list type, using -item",
253 "argument is not numeric, using 1",
254 "missing manual name, using \"\"",
255 "uname(3) system call failed, using UNKNOWN",
256 "unknown standard specifier",
257 "skipping request without numeric argument",
259 "NOT IMPLEMENTED: .so with absolute path or \"..\"",
260 ".so request failed",
261 "skipping all arguments",
262 "skipping excess arguments",
265 "unsupported feature",
267 "unsupported control character",
268 "unsupported roff request",
269 "eqn delim option in tbl",
270 "unsupported tbl layout modifier",
271 "ignoring macro in table",
274 static const char * const mandoclevels
[MANDOCLEVEL_MAX
] = {
286 resize_buf(struct buf
*buf
, size_t initial
)
289 buf
->sz
= buf
->sz
> initial
/2 ? 2 * buf
->sz
: initial
;
290 buf
->buf
= mandoc_realloc(buf
->buf
, buf
->sz
);
294 free_buf_list(struct buf
*buf
)
298 while (buf
!= NULL
) {
307 choose_parser(struct mparse
*curp
)
313 * If neither command line arguments -mdoc or -man select
314 * a parser nor the roff parser found a .Dd or .TH macro
315 * yet, look ahead in the main input buffer.
318 if ((format
= roff_getformat(curp
->roff
)) == 0) {
319 cp
= curp
->primary
->buf
;
320 ep
= cp
+ curp
->primary
->sz
;
322 if (*cp
== '.' || *cp
== '\'') {
324 if (cp
[0] == 'D' && cp
[1] == 'd') {
325 format
= MPARSE_MDOC
;
328 if (cp
[0] == 'T' && cp
[1] == 'H') {
333 cp
= memchr(cp
, '\n', ep
- cp
);
340 if (format
== MPARSE_MDOC
) {
341 curp
->man
->macroset
= MACROSET_MDOC
;
342 if (curp
->man
->mdocmac
== NULL
)
343 curp
->man
->mdocmac
= roffhash_alloc(MDOC_Dd
, MDOC_MAX
);
345 curp
->man
->macroset
= MACROSET_MAN
;
346 if (curp
->man
->manmac
== NULL
)
347 curp
->man
->manmac
= roffhash_alloc(MAN_TH
, MAN_MAX
);
349 curp
->man
->first
->tok
= TOKEN_NONE
;
353 * Main parse routine for a buffer.
354 * It assumes encoding and line numbering are already set up.
355 * It can recurse directly (for invocations of user-defined
356 * macros, inline equations, and input line traps)
357 * and indirectly (for .so file inclusion).
360 mparse_buf_r(struct mparse
*curp
, struct buf blk
, size_t i
, int start
)
363 struct buf
*firstln
, *lastln
, *thisln
;
364 const char *save_file
;
366 size_t pos
; /* byte number in the ln buffer */
367 enum rofferr line_result
, result
;
369 int lnn
; /* line number in the real file */
374 ln
.buf
= mandoc_malloc(ln
.sz
);
382 if (0 == pos
&& '\0' == blk
.buf
[i
])
387 curp
->reparse_count
= 0;
390 curp
->filenc
& MPARSE_UTF8
&&
391 curp
->filenc
& MPARSE_LATIN1
)
392 curp
->filenc
= preconv_cue(&blk
, i
);
395 while (i
< blk
.sz
&& (start
|| blk
.buf
[i
] != '\0')) {
398 * When finding an unescaped newline character,
399 * leave the character loop to process the line.
400 * Skip a preceding carriage return, if any.
403 if ('\r' == blk
.buf
[i
] && i
+ 1 < blk
.sz
&&
404 '\n' == blk
.buf
[i
+ 1])
406 if ('\n' == blk
.buf
[i
]) {
413 * Make sure we have space for the worst
414 * case of 12 bytes: "\\[u10ffff]\n\0"
417 if (pos
+ 12 > ln
.sz
)
418 resize_buf(&ln
, 256);
421 * Encode 8-bit input.
426 if ( ! (curp
->filenc
&& preconv_encode(
427 &blk
, &i
, &ln
, &pos
, &curp
->filenc
))) {
428 mandoc_vmsg(MANDOCERR_CHAR_BAD
, curp
,
429 curp
->line
, pos
, "0x%x", c
);
437 * Exclude control characters.
440 if (c
== 0x7f || (c
< 0x20 && c
!= 0x09)) {
441 mandoc_vmsg(c
== 0x00 || c
== 0x04 ||
442 c
> 0x0a ? MANDOCERR_CHAR_BAD
:
443 MANDOCERR_CHAR_UNSUPP
,
444 curp
, curp
->line
, pos
, "0x%x", c
);
451 ln
.buf
[pos
++] = blk
.buf
[i
++];
456 * Maintain a lookaside buffer of all lines.
457 * parsed from this input source.
460 thisln
= mandoc_malloc(sizeof(*thisln
));
461 thisln
->buf
= mandoc_strdup(ln
.buf
);
462 thisln
->sz
= strlen(ln
.buf
) + 1;
464 if (firstln
== NULL
) {
465 firstln
= lastln
= thisln
;
466 if (curp
->secondary
== NULL
)
467 curp
->secondary
= firstln
;
469 lastln
->next
= thisln
;
473 /* XXX Ugly hack to mark the end of the input. */
475 if (i
== blk
.sz
|| blk
.buf
[i
] == '\0') {
476 ln
.buf
[pos
++] = '\n';
481 * A significant amount of complexity is contained by
482 * the roff preprocessor. It's line-oriented but can be
483 * expressed on one line, so we need at times to
484 * readjust our starting point and re-run it. The roff
485 * preprocessor can also readjust the buffers with new
486 * data, so we pass them in wholesale.
491 line_result
= roff_parseln(curp
->roff
, curp
->line
, &ln
, &of
);
493 switch (line_result
) {
496 if (++curp
->reparse_count
> REPARSE_LIMIT
) {
498 mandoc_msg(MANDOCERR_ROFFLOOP
, curp
,
499 curp
->line
, pos
, NULL
);
501 result
= mparse_buf_r(curp
, ln
, of
, 0);
502 if (line_result
== ROFF_USERCALL
) {
503 if (result
== ROFF_USERRET
)
505 roff_userret(curp
->roff
);
507 if (start
|| result
== ROFF_CONT
) {
518 result
= ROFF_USERRET
;
521 pos
= strlen(ln
.buf
);
529 if ( ! (curp
->options
& MPARSE_SO
) &&
530 (i
>= blk
.sz
|| blk
.buf
[i
] == '\0')) {
531 curp
->sodest
= mandoc_strdup(ln
.buf
+ of
);
534 save_file
= curp
->file
;
535 if ((fd
= mparse_open(curp
, ln
.buf
+ of
)) != -1) {
536 mparse_readfd(curp
, fd
, ln
.buf
+ of
);
538 curp
->file
= save_file
;
540 curp
->file
= save_file
;
541 mandoc_vmsg(MANDOCERR_SO_FAIL
,
542 curp
, curp
->line
, pos
,
543 ".so %s", ln
.buf
+ of
);
544 ln
.sz
= mandoc_asprintf(&cp
,
545 ".sp\nSee the file %s.\n.sp",
550 mparse_buf_r(curp
, ln
, of
, 0);
558 if (curp
->man
->macroset
== MACROSET_NONE
)
561 if ((curp
->man
->macroset
== MACROSET_MDOC
?
562 mdoc_parseln(curp
->man
, curp
->line
, ln
.buf
, of
) :
563 man_parseln(curp
->man
, curp
->line
, ln
.buf
, of
)) == 2)
566 /* Temporary buffers typically are not full. */
568 if (0 == start
&& '\0' == blk
.buf
[i
])
571 /* Start the next input line. */
577 if (firstln
!= curp
->secondary
)
578 free_buf_list(firstln
);
583 read_whole_file(struct mparse
*curp
, const char *file
, int fd
,
584 struct buf
*fb
, int *with_mmap
)
590 int gzerrnum
, retval
;
592 if (fstat(fd
, &st
) == -1) {
593 mandoc_vmsg(MANDOCERR_FILE
, curp
, 0, 0,
594 "fstat: %s", strerror(errno
));
599 * If we're a regular file, try just reading in the whole entry
600 * via mmap(). This is faster than reading it into blocks, and
601 * since each file is only a few bytes to begin with, I'm not
602 * concerned that this is going to tank any machines.
605 if (curp
->gzip
== 0 && S_ISREG(st
.st_mode
)) {
606 if (st
.st_size
> 0x7fffffff) {
607 mandoc_msg(MANDOCERR_TOOLARGE
, curp
, 0, 0, NULL
);
611 fb
->sz
= (size_t)st
.st_size
;
612 fb
->buf
= mmap(NULL
, fb
->sz
, PROT_READ
, MAP_SHARED
, fd
, 0);
613 if (fb
->buf
!= MAP_FAILED
)
619 * Duplicating the file descriptor is required
620 * because we will have to call gzclose(3)
621 * to free memory used internally by zlib,
622 * but that will also close the file descriptor,
623 * which this function must not do.
625 if ((fd
= dup(fd
)) == -1) {
626 mandoc_vmsg(MANDOCERR_FILE
, curp
, 0, 0,
627 "dup: %s", strerror(errno
));
630 if ((gz
= gzdopen(fd
, "rb")) == NULL
) {
631 mandoc_vmsg(MANDOCERR_FILE
, curp
, 0, 0,
632 "gzdopen: %s", strerror(errno
));
640 * If this isn't a regular file (like, say, stdin), then we must
641 * go the old way and just read things in bit by bit.
651 if (fb
->sz
== (1U << 31)) {
652 mandoc_msg(MANDOCERR_TOOLARGE
, curp
,
656 resize_buf(fb
, 65536);
659 gzread(gz
, fb
->buf
+ (int)off
, fb
->sz
- off
) :
660 read(fd
, fb
->buf
+ (int)off
, fb
->sz
- off
);
668 (void)gzerror(gz
, &gzerrnum
);
669 mandoc_vmsg(MANDOCERR_FILE
, curp
, 0, 0, "read: %s",
670 curp
->gzip
&& gzerrnum
!= Z_ERRNO
?
671 zError(gzerrnum
) : strerror(errno
));
677 if (curp
->gzip
&& (gzerrnum
= gzclose(gz
)) != Z_OK
)
678 mandoc_vmsg(MANDOCERR_FILE
, curp
, 0, 0, "gzclose: %s",
679 gzerrnum
== Z_ERRNO
? strerror(errno
) :
689 mparse_end(struct mparse
*curp
)
691 if (curp
->man
->macroset
== MACROSET_NONE
)
692 curp
->man
->macroset
= MACROSET_MAN
;
693 if (curp
->man
->macroset
== MACROSET_MDOC
)
694 mdoc_endparse(curp
->man
);
696 man_endparse(curp
->man
);
697 roff_endparse(curp
->roff
);
701 mparse_parse_buffer(struct mparse
*curp
, struct buf blk
, const char *file
)
703 struct buf
*svprimary
;
706 static int recursion_depth
;
708 if (64 < recursion_depth
) {
709 mandoc_msg(MANDOCERR_ROFFLOOP
, curp
, curp
->line
, 0, NULL
);
713 /* Line number is per-file. */
716 svprimary
= curp
->primary
;
717 curp
->primary
= &blk
;
721 /* Skip an UTF-8 byte order mark. */
722 if (curp
->filenc
& MPARSE_UTF8
&& blk
.sz
> 2 &&
723 (unsigned char)blk
.buf
[0] == 0xef &&
724 (unsigned char)blk
.buf
[1] == 0xbb &&
725 (unsigned char)blk
.buf
[2] == 0xbf) {
727 curp
->filenc
&= ~MPARSE_LATIN1
;
731 mparse_buf_r(curp
, blk
, offset
, 1);
733 if (--recursion_depth
== 0)
736 curp
->primary
= svprimary
;
741 mparse_readmem(struct mparse
*curp
, void *buf
, size_t len
,
749 mparse_parse_buffer(curp
, blk
, file
);
750 return curp
->file_status
;
754 * Read the whole file into memory and call the parsers.
755 * Called recursively when an .so request is encountered.
758 mparse_readfd(struct mparse
*curp
, int fd
, const char *file
)
764 if (read_whole_file(curp
, file
, fd
, &blk
, &with_mmap
)) {
765 save_filenc
= curp
->filenc
;
766 curp
->filenc
= curp
->options
&
767 (MPARSE_UTF8
| MPARSE_LATIN1
);
768 mparse_parse_buffer(curp
, blk
, file
);
769 curp
->filenc
= save_filenc
;
771 munmap(blk
.buf
, blk
.sz
);
775 return curp
->file_status
;
779 mparse_open(struct mparse
*curp
, const char *file
)
785 cp
= strrchr(file
, '.');
786 curp
->gzip
= (cp
!= NULL
&& ! strcmp(cp
+ 1, "gz"));
788 /* First try to use the filename as it is. */
790 if ((fd
= open(file
, O_RDONLY
)) != -1)
794 * If that doesn't work and the filename doesn't
795 * already end in .gz, try appending .gz.
799 mandoc_asprintf(&cp
, "%s.gz", file
);
800 fd
= open(cp
, O_RDONLY
);
808 /* Neither worked, give up. */
810 mandoc_msg(MANDOCERR_FILE
, curp
, 0, 0, strerror(errno
));
815 mparse_alloc(int options
, enum mandocerr mmin
, mandocmsg mmsg
,
816 enum mandoc_os os_e
, const char *os_s
)
820 curp
= mandoc_calloc(1, sizeof(struct mparse
));
822 curp
->options
= options
;
827 curp
->roff
= roff_alloc(curp
, options
);
828 curp
->man
= roff_man_alloc(curp
->roff
, curp
, curp
->os_s
,
829 curp
->options
& MPARSE_QUICK
? 1 : 0);
830 if (curp
->options
& MPARSE_MDOC
) {
831 curp
->man
->macroset
= MACROSET_MDOC
;
832 if (curp
->man
->mdocmac
== NULL
)
833 curp
->man
->mdocmac
= roffhash_alloc(MDOC_Dd
, MDOC_MAX
);
834 } else if (curp
->options
& MPARSE_MAN
) {
835 curp
->man
->macroset
= MACROSET_MAN
;
836 if (curp
->man
->manmac
== NULL
)
837 curp
->man
->manmac
= roffhash_alloc(MAN_TH
, MAN_MAX
);
839 curp
->man
->first
->tok
= TOKEN_NONE
;
840 curp
->man
->meta
.os_e
= os_e
;
845 mparse_reset(struct mparse
*curp
)
847 roff_reset(curp
->roff
);
848 roff_man_reset(curp
->man
);
849 free_buf_list(curp
->secondary
);
850 curp
->secondary
= NULL
;
855 curp
->file_status
= MANDOCLEVEL_OK
;
860 mparse_free(struct mparse
*curp
)
862 roffhash_free(curp
->man
->mdocmac
);
863 roffhash_free(curp
->man
->manmac
);
864 roff_man_free(curp
->man
);
865 roff_free(curp
->roff
);
866 free_buf_list(curp
->secondary
);
872 mparse_result(struct mparse
*curp
, struct roff_man
**man
,
876 if (sodest
&& NULL
!= (*sodest
= curp
->sodest
)) {
885 mparse_updaterc(struct mparse
*curp
, enum mandoclevel
*rc
)
887 if (curp
->file_status
> *rc
)
888 *rc
= curp
->file_status
;
892 mandoc_vmsg(enum mandocerr t
, struct mparse
*m
,
893 int ln
, int pos
, const char *fmt
, ...)
899 (void)vsnprintf(buf
, sizeof(buf
), fmt
, ap
);
902 mandoc_msg(t
, m
, ln
, pos
, buf
);
906 mandoc_msg(enum mandocerr er
, struct mparse
*m
,
907 int ln
, int col
, const char *msg
)
909 enum mandoclevel level
;
911 if (er
< m
->mmin
&& er
!= MANDOCERR_FILE
)
914 level
= MANDOCLEVEL_UNSUPP
;
915 while (er
< mandoclimits
[level
])
919 (*m
->mmsg
)(er
, level
, m
->file
, ln
, col
, msg
);
921 if (m
->file_status
< level
)
922 m
->file_status
= level
;
926 mparse_strerror(enum mandocerr er
)
929 return mandocerrs
[er
];
933 mparse_strlevel(enum mandoclevel lvl
)
935 return mandoclevels
[lvl
];
939 mparse_copy(const struct mparse
*p
)
943 for (buf
= p
->secondary
; buf
!= NULL
; buf
= buf
->next
)