1 /* $Id: mdoc_validate.c,v 1.375 2019/09/13 19:26:46 schwarze Exp $ */
3 * Copyright (c) 2008-2012 Kristaps Dzonsons <kristaps@bsd.lv>
4 * Copyright (c) 2010-2019 Ingo Schwarze <schwarze@openbsd.org>
5 * Copyright (c) 2010 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>
23 #include <sys/utsname.h>
34 #include "mandoc_aux.h"
36 #include "mandoc_xr.h"
39 #include "libmandoc.h"
43 /* FIXME: .Bl -diag can't have non-text children in HEAD. */
45 #define POST_ARGS struct roff_man *mdoc
53 typedef void (*v_post
)(POST_ARGS
);
55 static int build_list(struct roff_man
*, int);
56 static void check_argv(struct roff_man
*,
57 struct roff_node
*, struct mdoc_argv
*);
58 static void check_args(struct roff_man
*, struct roff_node
*);
59 static void check_text(struct roff_man
*, int, int, char *);
60 static void check_text_em(struct roff_man
*, int, int, char *);
61 static void check_toptext(struct roff_man
*, int, int, const char *);
62 static int child_an(const struct roff_node
*);
63 static size_t macro2len(enum roff_tok
);
64 static void rewrite_macro2len(struct roff_man
*, char **);
65 static int similar(const char *, const char *);
67 static void post_abort(POST_ARGS
) __attribute__((__noreturn__
));
68 static void post_an(POST_ARGS
);
69 static void post_an_norm(POST_ARGS
);
70 static void post_at(POST_ARGS
);
71 static void post_bd(POST_ARGS
);
72 static void post_bf(POST_ARGS
);
73 static void post_bk(POST_ARGS
);
74 static void post_bl(POST_ARGS
);
75 static void post_bl_block(POST_ARGS
);
76 static void post_bl_head(POST_ARGS
);
77 static void post_bl_norm(POST_ARGS
);
78 static void post_bx(POST_ARGS
);
79 static void post_defaults(POST_ARGS
);
80 static void post_display(POST_ARGS
);
81 static void post_dd(POST_ARGS
);
82 static void post_delim(POST_ARGS
);
83 static void post_delim_nb(POST_ARGS
);
84 static void post_dt(POST_ARGS
);
85 static void post_en(POST_ARGS
);
86 static void post_es(POST_ARGS
);
87 static void post_eoln(POST_ARGS
);
88 static void post_ex(POST_ARGS
);
89 static void post_fa(POST_ARGS
);
90 static void post_fn(POST_ARGS
);
91 static void post_fname(POST_ARGS
);
92 static void post_fo(POST_ARGS
);
93 static void post_hyph(POST_ARGS
);
94 static void post_ignpar(POST_ARGS
);
95 static void post_it(POST_ARGS
);
96 static void post_lb(POST_ARGS
);
97 static void post_nd(POST_ARGS
);
98 static void post_nm(POST_ARGS
);
99 static void post_ns(POST_ARGS
);
100 static void post_obsolete(POST_ARGS
);
101 static void post_os(POST_ARGS
);
102 static void post_par(POST_ARGS
);
103 static void post_prevpar(POST_ARGS
);
104 static void post_root(POST_ARGS
);
105 static void post_rs(POST_ARGS
);
106 static void post_rv(POST_ARGS
);
107 static void post_sh(POST_ARGS
);
108 static void post_sh_head(POST_ARGS
);
109 static void post_sh_name(POST_ARGS
);
110 static void post_sh_see_also(POST_ARGS
);
111 static void post_sh_authors(POST_ARGS
);
112 static void post_sm(POST_ARGS
);
113 static void post_st(POST_ARGS
);
114 static void post_std(POST_ARGS
);
115 static void post_sx(POST_ARGS
);
116 static void post_useless(POST_ARGS
);
117 static void post_xr(POST_ARGS
);
118 static void post_xx(POST_ARGS
);
120 static const v_post mdoc_valids
[MDOC_MAX
- MDOC_Dd
] = {
125 post_ignpar
, /* Ss */
127 post_display
, /* D1 */
128 post_display
, /* Dl */
129 post_display
, /* Bd */
134 post_delim_nb
, /* Ad */
137 post_defaults
, /* Ar */
139 post_delim_nb
, /* Cm */
140 post_delim_nb
, /* Dv */
141 post_delim_nb
, /* Er */
142 post_delim_nb
, /* Ev */
146 post_delim_nb
, /* Fl */
148 post_delim_nb
, /* Ft */
149 post_delim_nb
, /* Ic */
150 post_delim_nb
, /* In */
151 post_defaults
, /* Li */
154 post_delim_nb
, /* Op */
156 post_defaults
, /* Pa */
159 post_delim_nb
, /* Va */
160 post_delim_nb
, /* Vt */
163 post_hyph
, /* %B */ /* FIXME: can be used outside Rs/Re. */
171 post_hyph
, /* %T */ /* FIXME: can be used outside Rs/Re. */
175 post_delim_nb
, /* Aq */
183 post_obsolete
, /* Db */
189 post_delim_nb
, /* Em */
192 post_delim_nb
, /* Ms */
200 post_delim_nb
, /* Pq */
202 post_delim_nb
, /* Ql */
204 post_delim_nb
, /* Qq */
209 post_delim_nb
, /* Sq */
212 post_delim_nb
, /* Sy */
213 post_useless
, /* Tn */
224 post_obsolete
, /* Hf */
225 post_obsolete
, /* Fr */
229 post_delim_nb
, /* Lk */
230 post_defaults
, /* Mt */
231 post_delim_nb
, /* Brq */
243 #define RSORD_MAX 14 /* Number of `Rs' blocks. */
245 static const enum roff_tok rsord
[RSORD_MAX
] = {
262 static const char * const secnames
[SEC__MAX
] = {
269 "IMPLEMENTATION NOTES",
284 "SECURITY CONSIDERATIONS",
289 /* Validate the subtree rooted at mdoc->last. */
291 mdoc_validate(struct roff_man
*mdoc
)
293 struct roff_node
*n
, *np
;
297 * Translate obsolete macros to modern macros first
298 * such that later code does not need to look
299 * for the obsolete versions.
316 * Iterate over all children, recursing into each one
317 * in turn, depth-first.
320 mdoc
->last
= mdoc
->last
->child
;
321 while (mdoc
->last
!= NULL
) {
324 mdoc
->last
= mdoc
->last
->child
;
326 mdoc
->last
= mdoc
->last
->next
;
329 /* Finally validate the macro itself. */
332 mdoc
->next
= ROFF_NEXT_SIBLING
;
336 if (n
->sec
!= SEC_SYNOPSIS
||
337 (np
->tok
!= MDOC_Cd
&& np
->tok
!= MDOC_Fd
))
338 check_text(mdoc
, n
->line
, n
->pos
, n
->string
);
339 if ((n
->flags
& NODE_NOFILL
) == 0 &&
340 (np
->tok
!= MDOC_It
|| np
->type
!= ROFFT_HEAD
||
341 np
->parent
->parent
->norm
->Bl
.type
!= LIST_diag
))
342 check_text_em(mdoc
, n
->line
, n
->pos
, n
->string
);
343 if (np
->tok
== MDOC_It
|| (np
->type
== ROFFT_BODY
&&
344 (np
->tok
== MDOC_Sh
|| np
->tok
== MDOC_Ss
)))
345 check_toptext(mdoc
, n
->line
, n
->pos
, n
->string
);
355 check_args(mdoc
, mdoc
->last
);
358 * Closing delimiters are not special at the
359 * beginning of a block, opening delimiters
360 * are not special at the end.
363 if (n
->child
!= NULL
)
364 n
->child
->flags
&= ~NODE_DELIMC
;
366 n
->last
->flags
&= ~NODE_DELIMO
;
368 /* Call the macro's postprocessor. */
370 if (n
->tok
< ROFF_MAX
) {
375 assert(n
->tok
>= MDOC_Dd
&& n
->tok
< MDOC_MAX
);
376 p
= mdoc_valids
+ (n
->tok
- MDOC_Dd
);
386 check_args(struct roff_man
*mdoc
, struct roff_node
*n
)
393 assert(n
->args
->argc
);
394 for (i
= 0; i
< (int)n
->args
->argc
; i
++)
395 check_argv(mdoc
, n
, &n
->args
->argv
[i
]);
399 check_argv(struct roff_man
*mdoc
, struct roff_node
*n
, struct mdoc_argv
*v
)
403 for (i
= 0; i
< (int)v
->sz
; i
++)
404 check_text(mdoc
, v
->line
, v
->pos
, v
->value
[i
]);
408 check_text(struct roff_man
*mdoc
, int ln
, int pos
, char *p
)
412 if (mdoc
->last
->flags
& NODE_NOFILL
)
415 for (cp
= p
; NULL
!= (p
= strchr(p
, '\t')); p
++)
416 mandoc_msg(MANDOCERR_FI_TAB
, ln
, pos
+ (int)(p
- cp
), NULL
);
420 check_text_em(struct roff_man
*mdoc
, int ln
, int pos
, char *p
)
422 const struct roff_node
*np
, *nn
;
425 np
= mdoc
->last
->prev
;
426 nn
= mdoc
->last
->next
;
428 /* Look for em-dashes wrongly encoded as "--". */
430 for (cp
= p
; *cp
!= '\0'; cp
++) {
431 if (cp
[0] != '-' || cp
[1] != '-')
435 /* Skip input sequences of more than two '-'. */
443 /* Skip "--" directly attached to something else. */
445 if ((cp
- p
> 1 && cp
[-2] != ' ') ||
446 (cp
[1] != '\0' && cp
[1] != ' '))
449 /* Require a letter right before or right afterwards. */
452 isalpha((unsigned char)cp
[-3]) :
454 np
->type
== ROFFT_TEXT
&&
455 *np
->string
!= '\0' &&
456 isalpha((unsigned char)np
->string
[
457 strlen(np
->string
) - 1])) ||
458 (cp
[1] != '\0' && cp
[2] != '\0' ?
459 isalpha((unsigned char)cp
[2]) :
461 nn
->type
== ROFFT_TEXT
&&
462 isalpha((unsigned char)*nn
->string
))) {
463 mandoc_msg(MANDOCERR_DASHDASH
,
464 ln
, pos
+ (int)(cp
- p
) - 1, NULL
);
471 check_toptext(struct roff_man
*mdoc
, int ln
, int pos
, const char *p
)
473 const char *cp
, *cpr
;
478 if ((cp
= strstr(p
, "OpenBSD")) != NULL
)
479 mandoc_msg(MANDOCERR_BX
, ln
, pos
+ (int)(cp
- p
), "Ox");
480 if ((cp
= strstr(p
, "NetBSD")) != NULL
)
481 mandoc_msg(MANDOCERR_BX
, ln
, pos
+ (int)(cp
- p
), "Nx");
482 if ((cp
= strstr(p
, "FreeBSD")) != NULL
)
483 mandoc_msg(MANDOCERR_BX
, ln
, pos
+ (int)(cp
- p
), "Fx");
484 if ((cp
= strstr(p
, "DragonFly")) != NULL
)
485 mandoc_msg(MANDOCERR_BX
, ln
, pos
+ (int)(cp
- p
), "Dx");
488 while ((cp
= strstr(cp
+ 1, "()")) != NULL
) {
489 for (cpr
= cp
- 1; cpr
>= p
; cpr
--)
490 if (*cpr
!= '_' && !isalnum((unsigned char)*cpr
))
492 if ((cpr
< p
|| *cpr
== ' ') && cpr
+ 1 < cp
) {
494 mandoc_msg(MANDOCERR_FUNC
, ln
, pos
+ (int)(cpr
- p
),
495 "%.*s()", (int)(cp
- cpr
), cpr
);
501 post_abort(POST_ARGS
)
507 post_delim(POST_ARGS
)
509 const struct roff_node
*nch
;
514 tok
= mdoc
->last
->tok
;
515 nch
= mdoc
->last
->last
;
516 if (nch
== NULL
|| nch
->type
!= ROFFT_TEXT
)
518 lc
= strchr(nch
->string
, '\0') - 1;
519 if (lc
< nch
->string
)
521 delim
= mdoc_isdelim(lc
);
522 if (delim
== DELIM_NONE
|| delim
== DELIM_OPEN
)
524 if (*lc
== ')' && (tok
== MDOC_Nd
|| tok
== MDOC_Sh
||
525 tok
== MDOC_Ss
|| tok
== MDOC_Fo
))
528 mandoc_msg(MANDOCERR_DELIM
, nch
->line
,
529 nch
->pos
+ (int)(lc
- nch
->string
), "%s%s %s", roff_name
[tok
],
530 nch
== mdoc
->last
->child
? "" : " ...", nch
->string
);
534 post_delim_nb(POST_ARGS
)
536 const struct roff_node
*nch
;
543 * Find candidates: at least two bytes,
544 * the last one a closing or middle delimiter.
547 tok
= mdoc
->last
->tok
;
548 nch
= mdoc
->last
->last
;
549 if (nch
== NULL
|| nch
->type
!= ROFFT_TEXT
)
551 lc
= strchr(nch
->string
, '\0') - 1;
552 if (lc
<= nch
->string
)
554 delim
= mdoc_isdelim(lc
);
555 if (delim
== DELIM_NONE
|| delim
== DELIM_OPEN
)
559 * Reduce false positives by allowing various cases.
562 /* Escaped delimiters. */
563 if (lc
> nch
->string
+ 1 && lc
[-2] == '\\' &&
564 (lc
[-1] == '&' || lc
[-1] == 'e'))
567 /* Specific byte sequences. */
570 for (cp
= lc
; cp
>= nch
->string
; cp
--)
575 if (lc
> nch
->string
+ 1 && lc
[-2] == '.' && lc
[-1] == '.')
589 for (cp
= lc
; cp
>= nch
->string
; cp
--)
594 if (lc
== nch
->string
+ 1 && lc
[-1] == '|')
600 /* Exactly two non-alphanumeric bytes. */
601 if (lc
== nch
->string
+ 1 && !isalnum((unsigned char)lc
[-1]))
604 /* At least three alphabetic words with a sentence ending. */
605 if (strchr("!.:?", *lc
) != NULL
&& (tok
== MDOC_Em
||
606 tok
== MDOC_Li
|| tok
== MDOC_Pq
|| tok
== MDOC_Sy
)) {
608 for (cp
= lc
- 1; cp
>= nch
->string
; cp
--) {
611 if (cp
> nch
->string
&& cp
[-1] == ',')
613 } else if (isalpha((unsigned int)*cp
)) {
621 mandoc_msg(MANDOCERR_DELIM_NB
, nch
->line
,
622 nch
->pos
+ (int)(lc
- nch
->string
), "%s%s %s", roff_name
[tok
],
623 nch
== mdoc
->last
->child
? "" : " ...", nch
->string
);
627 post_bl_norm(POST_ARGS
)
630 struct mdoc_argv
*argv
, *wa
;
632 enum mdocargt mdoclt
;
635 n
= mdoc
->last
->parent
;
636 n
->norm
->Bl
.type
= LIST__NONE
;
639 * First figure out which kind of list to use: bind ourselves to
640 * the first mentioned list type and warn about any remaining
641 * ones. If we find no list type, we default to LIST_item.
644 wa
= (n
->args
== NULL
) ? NULL
: n
->args
->argv
;
645 mdoclt
= MDOC_ARG_MAX
;
646 for (i
= 0; n
->args
&& i
< (int)n
->args
->argc
; i
++) {
647 argv
= n
->args
->argv
+ i
;
650 /* Set list types. */
684 /* Set list arguments. */
686 if (n
->norm
->Bl
.comp
)
687 mandoc_msg(MANDOCERR_ARG_REP
,
688 argv
->line
, argv
->pos
, "Bl -compact");
689 n
->norm
->Bl
.comp
= 1;
694 mandoc_msg(MANDOCERR_ARG_EMPTY
,
695 argv
->line
, argv
->pos
, "Bl -width");
696 n
->norm
->Bl
.width
= "0n";
699 if (NULL
!= n
->norm
->Bl
.width
)
700 mandoc_msg(MANDOCERR_ARG_REP
,
701 argv
->line
, argv
->pos
,
702 "Bl -width %s", argv
->value
[0]);
703 rewrite_macro2len(mdoc
, argv
->value
);
704 n
->norm
->Bl
.width
= argv
->value
[0];
708 mandoc_msg(MANDOCERR_ARG_EMPTY
,
709 argv
->line
, argv
->pos
, "Bl -offset");
712 if (NULL
!= n
->norm
->Bl
.offs
)
713 mandoc_msg(MANDOCERR_ARG_REP
,
714 argv
->line
, argv
->pos
,
715 "Bl -offset %s", argv
->value
[0]);
716 rewrite_macro2len(mdoc
, argv
->value
);
717 n
->norm
->Bl
.offs
= argv
->value
[0];
722 if (LIST__NONE
== lt
)
726 /* Check: multiple list types. */
728 if (LIST__NONE
!= n
->norm
->Bl
.type
) {
729 mandoc_msg(MANDOCERR_BL_REP
, n
->line
, n
->pos
,
730 "Bl -%s", mdoc_argnames
[argv
->arg
]);
734 /* The list type should come first. */
736 if (n
->norm
->Bl
.width
||
739 mandoc_msg(MANDOCERR_BL_LATETYPE
,
740 n
->line
, n
->pos
, "Bl -%s",
741 mdoc_argnames
[n
->args
->argv
[0].arg
]);
743 n
->norm
->Bl
.type
= lt
;
744 if (LIST_column
== lt
) {
745 n
->norm
->Bl
.ncols
= argv
->sz
;
746 n
->norm
->Bl
.cols
= (void *)argv
->value
;
750 /* Allow lists to default to LIST_item. */
752 if (LIST__NONE
== n
->norm
->Bl
.type
) {
753 mandoc_msg(MANDOCERR_BL_NOTYPE
, n
->line
, n
->pos
, "Bl");
754 n
->norm
->Bl
.type
= LIST_item
;
759 * Validate the width field. Some list types don't need width
760 * types and should be warned about them. Others should have it
761 * and must also be warned. Yet others have a default and need
765 switch (n
->norm
->Bl
.type
) {
767 if (n
->norm
->Bl
.width
== NULL
)
768 mandoc_msg(MANDOCERR_BL_NOWIDTH
,
769 n
->line
, n
->pos
, "Bl -tag");
776 if (n
->norm
->Bl
.width
!= NULL
)
777 mandoc_msg(MANDOCERR_BL_SKIPW
, wa
->line
, wa
->pos
,
778 "Bl -%s", mdoc_argnames
[mdoclt
]);
779 n
->norm
->Bl
.width
= NULL
;
784 if (n
->norm
->Bl
.width
== NULL
)
785 n
->norm
->Bl
.width
= "2n";
788 if (n
->norm
->Bl
.width
== NULL
)
789 n
->norm
->Bl
.width
= "3n";
800 struct mdoc_argv
*argv
;
805 for (i
= 0; n
->args
&& i
< (int)n
->args
->argc
; i
++) {
806 argv
= n
->args
->argv
+ i
;
826 mandoc_msg(MANDOCERR_BD_FILE
, n
->line
, n
->pos
, NULL
);
830 mandoc_msg(MANDOCERR_ARG_EMPTY
,
831 argv
->line
, argv
->pos
, "Bd -offset");
834 if (NULL
!= n
->norm
->Bd
.offs
)
835 mandoc_msg(MANDOCERR_ARG_REP
,
836 argv
->line
, argv
->pos
,
837 "Bd -offset %s", argv
->value
[0]);
838 rewrite_macro2len(mdoc
, argv
->value
);
839 n
->norm
->Bd
.offs
= argv
->value
[0];
842 if (n
->norm
->Bd
.comp
)
843 mandoc_msg(MANDOCERR_ARG_REP
,
844 argv
->line
, argv
->pos
, "Bd -compact");
845 n
->norm
->Bd
.comp
= 1;
850 if (DISP__NONE
== dt
)
853 if (DISP__NONE
== n
->norm
->Bd
.type
)
854 n
->norm
->Bd
.type
= dt
;
856 mandoc_msg(MANDOCERR_BD_REP
, n
->line
, n
->pos
,
857 "Bd -%s", mdoc_argnames
[argv
->arg
]);
860 if (DISP__NONE
== n
->norm
->Bd
.type
) {
861 mandoc_msg(MANDOCERR_BD_NOTYPE
, n
->line
, n
->pos
, "Bd");
862 n
->norm
->Bd
.type
= DISP_ragged
;
867 * Stand-alone line macros.
871 post_an_norm(POST_ARGS
)
874 struct mdoc_argv
*argv
;
881 for (i
= 1; i
< n
->args
->argc
; i
++) {
882 argv
= n
->args
->argv
+ i
;
883 mandoc_msg(MANDOCERR_AN_REP
, argv
->line
, argv
->pos
,
884 "An -%s", mdoc_argnames
[argv
->arg
]);
887 argv
= n
->args
->argv
;
888 if (argv
->arg
== MDOC_Split
)
889 n
->norm
->An
.auth
= AUTH_split
;
890 else if (argv
->arg
== MDOC_Nosplit
)
891 n
->norm
->An
.auth
= AUTH_nosplit
;
903 if (n
->child
!= NULL
)
904 mandoc_msg(MANDOCERR_ARG_SKIP
, n
->line
,
905 n
->pos
, "%s %s", roff_name
[n
->tok
], n
->child
->string
);
907 while (n
->child
!= NULL
)
908 roff_node_delete(mdoc
, n
->child
);
910 roff_word_alloc(mdoc
, n
->line
, n
->pos
, n
->tok
== MDOC_Bt
?
911 "is currently in beta test." : "currently under development.");
912 mdoc
->last
->flags
|= NODE_EOS
| NODE_NOSRC
;
917 build_list(struct roff_man
*mdoc
, int tok
)
922 n
= mdoc
->last
->next
;
923 for (ic
= 1;; ic
++) {
924 roff_elem_alloc(mdoc
, n
->line
, n
->pos
, tok
);
925 mdoc
->last
->flags
|= NODE_NOSRC
;
926 roff_node_relink(mdoc
, n
);
927 n
= mdoc
->last
= mdoc
->last
->parent
;
928 mdoc
->next
= ROFF_NEXT_SIBLING
;
931 if (ic
> 1 || n
->next
->next
!= NULL
) {
932 roff_word_alloc(mdoc
, n
->line
, n
->pos
, ",");
933 mdoc
->last
->flags
|= NODE_DELIMC
| NODE_NOSRC
;
935 n
= mdoc
->last
->next
;
936 if (n
->next
== NULL
) {
937 roff_word_alloc(mdoc
, n
->line
, n
->pos
, "and");
938 mdoc
->last
->flags
|= NODE_NOSRC
;
952 mdoc
->next
= ROFF_NEXT_CHILD
;
953 roff_word_alloc(mdoc
, n
->line
, n
->pos
, "The");
954 mdoc
->last
->flags
|= NODE_NOSRC
;
956 if (mdoc
->last
->next
!= NULL
)
957 ic
= build_list(mdoc
, MDOC_Nm
);
958 else if (mdoc
->meta
.name
!= NULL
) {
959 roff_elem_alloc(mdoc
, n
->line
, n
->pos
, MDOC_Nm
);
960 mdoc
->last
->flags
|= NODE_NOSRC
;
961 roff_word_alloc(mdoc
, n
->line
, n
->pos
, mdoc
->meta
.name
);
962 mdoc
->last
->flags
|= NODE_NOSRC
;
963 mdoc
->last
= mdoc
->last
->parent
;
964 mdoc
->next
= ROFF_NEXT_SIBLING
;
967 mandoc_msg(MANDOCERR_EX_NONAME
, n
->line
, n
->pos
, "Ex");
971 roff_word_alloc(mdoc
, n
->line
, n
->pos
,
972 ic
> 1 ? "utilities exit\\~0" : "utility exits\\~0");
973 mdoc
->last
->flags
|= NODE_NOSRC
;
974 roff_word_alloc(mdoc
, n
->line
, n
->pos
,
975 "on success, and\\~>0 if an error occurs.");
976 mdoc
->last
->flags
|= NODE_EOS
| NODE_NOSRC
;
989 assert(n
->child
->type
== ROFFT_TEXT
);
990 mdoc
->next
= ROFF_NEXT_CHILD
;
992 if ((p
= mdoc_a2lib(n
->child
->string
)) != NULL
) {
993 n
->child
->flags
|= NODE_NOPRT
;
994 roff_word_alloc(mdoc
, n
->line
, n
->pos
, p
);
995 mdoc
->last
->flags
= NODE_NOSRC
;
1000 mandoc_msg(MANDOCERR_LB_BAD
, n
->child
->line
,
1001 n
->child
->pos
, "Lb %s", n
->child
->string
);
1003 roff_word_alloc(mdoc
, n
->line
, n
->pos
, "library");
1004 mdoc
->last
->flags
= NODE_NOSRC
;
1005 roff_word_alloc(mdoc
, n
->line
, n
->pos
, "\\(lq");
1006 mdoc
->last
->flags
= NODE_DELIMO
| NODE_NOSRC
;
1007 mdoc
->last
= mdoc
->last
->next
;
1008 roff_word_alloc(mdoc
, n
->line
, n
->pos
, "\\(rq");
1009 mdoc
->last
->flags
= NODE_DELIMC
| NODE_NOSRC
;
1016 struct roff_node
*n
;
1022 mdoc
->next
= ROFF_NEXT_CHILD
;
1023 if (n
->child
!= NULL
) {
1024 roff_word_alloc(mdoc
, n
->line
, n
->pos
, "The");
1025 mdoc
->last
->flags
|= NODE_NOSRC
;
1026 ic
= build_list(mdoc
, MDOC_Fn
);
1027 roff_word_alloc(mdoc
, n
->line
, n
->pos
,
1028 ic
> 1 ? "functions return" : "function returns");
1029 mdoc
->last
->flags
|= NODE_NOSRC
;
1030 roff_word_alloc(mdoc
, n
->line
, n
->pos
,
1031 "the value\\~0 if successful;");
1033 roff_word_alloc(mdoc
, n
->line
, n
->pos
, "Upon successful "
1034 "completion, the value\\~0 is returned;");
1035 mdoc
->last
->flags
|= NODE_NOSRC
;
1037 roff_word_alloc(mdoc
, n
->line
, n
->pos
, "otherwise "
1038 "the value\\~\\-1 is returned and the global variable");
1039 mdoc
->last
->flags
|= NODE_NOSRC
;
1040 roff_elem_alloc(mdoc
, n
->line
, n
->pos
, MDOC_Va
);
1041 mdoc
->last
->flags
|= NODE_NOSRC
;
1042 roff_word_alloc(mdoc
, n
->line
, n
->pos
, "errno");
1043 mdoc
->last
->flags
|= NODE_NOSRC
;
1044 mdoc
->last
= mdoc
->last
->parent
;
1045 mdoc
->next
= ROFF_NEXT_SIBLING
;
1046 roff_word_alloc(mdoc
, n
->line
, n
->pos
,
1047 "is set to indicate the error.");
1048 mdoc
->last
->flags
|= NODE_EOS
| NODE_NOSRC
;
1055 struct roff_node
*n
;
1060 if (n
->args
&& n
->args
->argc
== 1)
1061 if (n
->args
->argv
[0].arg
== MDOC_Std
)
1064 mandoc_msg(MANDOCERR_ARG_STD
, n
->line
, n
->pos
,
1065 "%s", roff_name
[n
->tok
]);
1071 struct roff_node
*n
, *nch
;
1076 assert(nch
->type
== ROFFT_TEXT
);
1078 if ((p
= mdoc_a2st(nch
->string
)) == NULL
) {
1079 mandoc_msg(MANDOCERR_ST_BAD
,
1080 nch
->line
, nch
->pos
, "St %s", nch
->string
);
1081 roff_node_delete(mdoc
, n
);
1085 nch
->flags
|= NODE_NOPRT
;
1086 mdoc
->next
= ROFF_NEXT_CHILD
;
1087 roff_word_alloc(mdoc
, nch
->line
, nch
->pos
, p
);
1088 mdoc
->last
->flags
|= NODE_NOSRC
;
1093 post_obsolete(POST_ARGS
)
1095 struct roff_node
*n
;
1098 if (n
->type
== ROFFT_ELEM
|| n
->type
== ROFFT_BLOCK
)
1099 mandoc_msg(MANDOCERR_MACRO_OBS
, n
->line
, n
->pos
,
1100 "%s", roff_name
[n
->tok
]);
1104 post_useless(POST_ARGS
)
1106 struct roff_node
*n
;
1109 mandoc_msg(MANDOCERR_MACRO_USELESS
, n
->line
, n
->pos
,
1110 "%s", roff_name
[n
->tok
]);
1120 struct roff_node
*np
, *nch
;
1123 * Unlike other data pointers, these are "housed" by the HEAD
1124 * element, which contains the goods.
1128 if (np
->type
!= ROFFT_HEAD
)
1131 assert(np
->parent
->type
== ROFFT_BLOCK
);
1132 assert(np
->parent
->tok
== MDOC_Bf
);
1134 /* Check the number of arguments. */
1137 if (np
->parent
->args
== NULL
) {
1139 mandoc_msg(MANDOCERR_BF_NOFONT
,
1140 np
->line
, np
->pos
, "Bf");
1146 mandoc_msg(MANDOCERR_ARG_EXCESS
,
1147 nch
->line
, nch
->pos
, "Bf ... %s", nch
->string
);
1149 /* Extract argument into data. */
1151 if (np
->parent
->args
!= NULL
) {
1152 switch (np
->parent
->args
->argv
[0].arg
) {
1154 np
->norm
->Bf
.font
= FONT_Em
;
1157 np
->norm
->Bf
.font
= FONT_Li
;
1160 np
->norm
->Bf
.font
= FONT_Sy
;
1168 /* Extract parameter into data. */
1170 if ( ! strcmp(np
->child
->string
, "Em"))
1171 np
->norm
->Bf
.font
= FONT_Em
;
1172 else if ( ! strcmp(np
->child
->string
, "Li"))
1173 np
->norm
->Bf
.font
= FONT_Li
;
1174 else if ( ! strcmp(np
->child
->string
, "Sy"))
1175 np
->norm
->Bf
.font
= FONT_Sy
;
1177 mandoc_msg(MANDOCERR_BF_BADFONT
, np
->child
->line
,
1178 np
->child
->pos
, "Bf %s", np
->child
->string
);
1182 post_fname(POST_ARGS
)
1184 const struct roff_node
*n
;
1188 n
= mdoc
->last
->child
;
1191 if (cp
[strlen(cp
+ 1)] == ')')
1195 pos
= strcspn(cp
, "()");
1196 if (cp
[pos
] == '\0')
1199 mandoc_msg(MANDOCERR_FN_PAREN
, n
->line
, n
->pos
+ pos
, "%s", cp
);
1213 const struct roff_node
*n
;
1217 if (n
->type
!= ROFFT_HEAD
)
1220 if (n
->child
== NULL
) {
1221 mandoc_msg(MANDOCERR_FO_NOHEAD
, n
->line
, n
->pos
, "Fo");
1224 if (n
->child
!= n
->last
) {
1225 mandoc_msg(MANDOCERR_ARG_EXCESS
,
1226 n
->child
->next
->line
, n
->child
->next
->pos
,
1227 "Fo ... %s", n
->child
->next
->string
);
1228 while (n
->child
!= n
->last
)
1229 roff_node_delete(mdoc
, n
->last
);
1239 const struct roff_node
*n
;
1242 for (n
= mdoc
->last
->child
; n
!= NULL
; n
= n
->next
) {
1243 for (cp
= n
->string
; *cp
!= '\0'; cp
++) {
1244 /* Ignore callbacks and alterations. */
1245 if (*cp
== '(' || *cp
== '{')
1249 mandoc_msg(MANDOCERR_FA_COMMA
, n
->line
,
1250 n
->pos
+ (int)(cp
- n
->string
), "%s", n
->string
);
1254 post_delim_nb(mdoc
);
1260 struct roff_node
*n
;
1264 if (n
->sec
== SEC_NAME
&& n
->child
!= NULL
&&
1265 n
->child
->type
== ROFFT_TEXT
&& mdoc
->meta
.msec
!= NULL
)
1266 mandoc_xr_add(mdoc
->meta
.msec
, n
->child
->string
, -1, -1);
1268 if (n
->last
!= NULL
&& n
->last
->tok
== MDOC_Pp
)
1269 roff_node_relink(mdoc
, n
->last
);
1271 if (mdoc
->meta
.name
== NULL
)
1272 deroff(&mdoc
->meta
.name
, n
);
1274 if (mdoc
->meta
.name
== NULL
||
1275 (mdoc
->lastsec
== SEC_NAME
&& n
->child
== NULL
))
1276 mandoc_msg(MANDOCERR_NM_NONAME
, n
->line
, n
->pos
, "Nm");
1280 post_delim_nb(mdoc
);
1289 if ((n
->child
!= NULL
&& n
->child
->type
== ROFFT_TEXT
) ||
1290 mdoc
->meta
.name
== NULL
)
1293 mdoc
->next
= ROFF_NEXT_CHILD
;
1294 roff_word_alloc(mdoc
, n
->line
, n
->pos
, mdoc
->meta
.name
);
1295 mdoc
->last
->flags
|= NODE_NOSRC
;
1302 struct roff_node
*n
;
1306 if (n
->type
!= ROFFT_BODY
)
1309 if (n
->sec
!= SEC_NAME
)
1310 mandoc_msg(MANDOCERR_ND_LATE
, n
->line
, n
->pos
, "Nd");
1312 if (n
->child
== NULL
)
1313 mandoc_msg(MANDOCERR_ND_EMPTY
, n
->line
, n
->pos
, "Nd");
1321 post_display(POST_ARGS
)
1323 struct roff_node
*n
, *np
;
1328 if (n
->end
!= ENDBODY_NOT
) {
1329 if (n
->tok
== MDOC_Bd
&&
1330 n
->body
->parent
->args
== NULL
)
1331 roff_node_delete(mdoc
, n
);
1332 } else if (n
->child
== NULL
)
1333 mandoc_msg(MANDOCERR_BLK_EMPTY
, n
->line
, n
->pos
,
1334 "%s", roff_name
[n
->tok
]);
1335 else if (n
->tok
== MDOC_D1
)
1339 if (n
->tok
== MDOC_Bd
) {
1340 if (n
->args
== NULL
) {
1341 mandoc_msg(MANDOCERR_BD_NOARG
,
1342 n
->line
, n
->pos
, "Bd");
1343 mdoc
->next
= ROFF_NEXT_SIBLING
;
1344 while (n
->body
->child
!= NULL
)
1345 roff_node_relink(mdoc
,
1347 roff_node_delete(mdoc
, n
);
1353 for (np
= n
->parent
; np
!= NULL
; np
= np
->parent
) {
1354 if (np
->type
== ROFFT_BLOCK
&& np
->tok
== MDOC_Bd
) {
1355 mandoc_msg(MANDOCERR_BD_NEST
, n
->line
,
1356 n
->pos
, "%s in Bd", roff_name
[n
->tok
]);
1367 post_defaults(POST_ARGS
)
1369 struct roff_node
*nn
;
1371 if (mdoc
->last
->child
!= NULL
) {
1372 post_delim_nb(mdoc
);
1377 * The `Ar' defaults to "file ..." if no value is provided as an
1378 * argument; the `Mt' and `Pa' macros use "~"; the `Li' just
1379 * gets an empty string.
1385 mdoc
->next
= ROFF_NEXT_CHILD
;
1386 roff_word_alloc(mdoc
, nn
->line
, nn
->pos
, "file");
1387 mdoc
->last
->flags
|= NODE_NOSRC
;
1388 roff_word_alloc(mdoc
, nn
->line
, nn
->pos
, "...");
1389 mdoc
->last
->flags
|= NODE_NOSRC
;
1393 mdoc
->next
= ROFF_NEXT_CHILD
;
1394 roff_word_alloc(mdoc
, nn
->line
, nn
->pos
, "~");
1395 mdoc
->last
->flags
|= NODE_NOSRC
;
1406 struct roff_node
*n
, *nch
;
1413 * If we have a child, look it up in the standard keys. If a
1414 * key exist, use that instead of the child; if it doesn't,
1415 * prefix "AT&T UNIX " to the existing data.
1419 if (nch
!= NULL
&& ((att
= mdoc_a2att(nch
->string
)) == NULL
))
1420 mandoc_msg(MANDOCERR_AT_BAD
,
1421 nch
->line
, nch
->pos
, "At %s", nch
->string
);
1423 mdoc
->next
= ROFF_NEXT_CHILD
;
1425 roff_word_alloc(mdoc
, nch
->line
, nch
->pos
, att
);
1426 nch
->flags
|= NODE_NOPRT
;
1428 roff_word_alloc(mdoc
, n
->line
, n
->pos
, "AT&T UNIX");
1429 mdoc
->last
->flags
|= NODE_NOSRC
;
1436 struct roff_node
*np
, *nch
;
1442 if (np
->norm
->An
.auth
== AUTH__NONE
) {
1444 mandoc_msg(MANDOCERR_MACRO_EMPTY
,
1445 np
->line
, np
->pos
, "An");
1447 post_delim_nb(mdoc
);
1448 } else if (nch
!= NULL
)
1449 mandoc_msg(MANDOCERR_ARG_EXCESS
,
1450 nch
->line
, nch
->pos
, "An ... %s", nch
->string
);
1457 post_obsolete(mdoc
);
1458 if (mdoc
->last
->type
== ROFFT_BLOCK
)
1459 mdoc
->last
->norm
->Es
= mdoc
->last_es
;
1466 post_obsolete(mdoc
);
1467 mdoc
->last_es
= mdoc
->last
;
1473 struct roff_node
*n
;
1477 post_delim_nb(mdoc
);
1492 if (n
->child
== NULL
)
1494 v
= n
->child
->string
;
1495 if ((v
[0] != '0' && v
[0] != '1') || v
[1] != '.' ||
1496 v
[2] < '0' || v
[2] > '9' ||
1497 v
[3] < 'a' || v
[3] > 'z' || v
[4] != '\0')
1499 n
->child
->flags
|= NODE_NOPRT
;
1500 mdoc
->next
= ROFF_NEXT_CHILD
;
1501 roff_word_alloc(mdoc
, n
->child
->line
, n
->child
->pos
, v
);
1502 v
= mdoc
->last
->string
;
1503 v
[3] = toupper((unsigned char)v
[3]);
1504 mdoc
->last
->flags
|= NODE_NOSRC
;
1516 mdoc
->next
= ROFF_NEXT_CHILD
;
1517 roff_word_alloc(mdoc
, n
->line
, n
->pos
, os
);
1518 mdoc
->last
->flags
|= NODE_NOSRC
;
1525 struct roff_node
*nbl
, *nit
, *nch
;
1532 if (nit
->type
!= ROFFT_BLOCK
)
1535 nbl
= nit
->parent
->parent
;
1536 lt
= nbl
->norm
->Bl
.type
;
1544 if (nit
->head
->child
== NULL
)
1545 mandoc_msg(MANDOCERR_IT_NOHEAD
,
1546 nit
->line
, nit
->pos
, "Bl -%s It",
1547 mdoc_argnames
[nbl
->args
->argv
[0].arg
]);
1553 if (nit
->body
== NULL
|| nit
->body
->child
== NULL
)
1554 mandoc_msg(MANDOCERR_IT_NOBODY
,
1555 nit
->line
, nit
->pos
, "Bl -%s It",
1556 mdoc_argnames
[nbl
->args
->argv
[0].arg
]);
1559 if ((nch
= nit
->head
->child
) != NULL
)
1560 mandoc_msg(MANDOCERR_ARG_SKIP
,
1561 nit
->line
, nit
->pos
, "It %s",
1562 nch
->string
== NULL
? roff_name
[nch
->tok
] :
1566 cols
= (int)nbl
->norm
->Bl
.ncols
;
1568 assert(nit
->head
->child
== NULL
);
1570 if (nit
->head
->next
->child
== NULL
&&
1571 nit
->head
->next
->next
== NULL
) {
1572 mandoc_msg(MANDOCERR_MACRO_EMPTY
,
1573 nit
->line
, nit
->pos
, "It");
1574 roff_node_delete(mdoc
, nit
);
1579 for (nch
= nit
->child
; nch
!= NULL
; nch
= nch
->next
) {
1580 if (nch
->type
!= ROFFT_BODY
)
1582 if (i
++ && nch
->flags
& NODE_LINE
)
1583 mandoc_msg(MANDOCERR_TA_LINE
,
1584 nch
->line
, nch
->pos
, "Ta");
1586 if (i
< cols
|| i
> cols
+ 1)
1587 mandoc_msg(MANDOCERR_BL_COL
, nit
->line
, nit
->pos
,
1588 "%d columns, %d cells", cols
, i
);
1589 else if (nit
->head
->next
->child
!= NULL
&&
1590 nit
->head
->next
->child
->flags
& NODE_LINE
)
1591 mandoc_msg(MANDOCERR_IT_NOARG
,
1592 nit
->line
, nit
->pos
, "Bl -column It");
1600 post_bl_block(POST_ARGS
)
1602 struct roff_node
*n
, *ni
, *nc
;
1607 for (ni
= n
->body
->child
; ni
!= NULL
; ni
= ni
->next
) {
1608 if (ni
->body
== NULL
)
1610 nc
= ni
->body
->last
;
1611 while (nc
!= NULL
) {
1620 if (ni
->next
== NULL
) {
1621 mandoc_msg(MANDOCERR_PAR_MOVE
, nc
->line
,
1622 nc
->pos
, "%s", roff_name
[nc
->tok
]);
1623 roff_node_relink(mdoc
, nc
);
1624 } else if (n
->norm
->Bl
.comp
== 0 &&
1625 n
->norm
->Bl
.type
!= LIST_column
) {
1626 mandoc_msg(MANDOCERR_PAR_SKIP
,
1628 "%s before It", roff_name
[nc
->tok
]);
1629 roff_node_delete(mdoc
, nc
);
1632 nc
= ni
->body
->last
;
1638 * If the argument of -offset or -width is a macro,
1639 * replace it with the associated default width.
1642 rewrite_macro2len(struct roff_man
*mdoc
, char **arg
)
1649 else if ( ! strcmp(*arg
, "Ds"))
1651 else if ((tok
= roffhash_find(mdoc
->mdocmac
, *arg
, 0)) == TOKEN_NONE
)
1654 width
= macro2len(tok
);
1657 mandoc_asprintf(arg
, "%zun", width
);
1661 post_bl_head(POST_ARGS
)
1663 struct roff_node
*nbl
, *nh
, *nch
, *nnext
;
1664 struct mdoc_argv
*argv
;
1670 if (nh
->norm
->Bl
.type
!= LIST_column
) {
1671 if ((nch
= nh
->child
) == NULL
)
1673 mandoc_msg(MANDOCERR_ARG_EXCESS
,
1674 nch
->line
, nch
->pos
, "Bl ... %s", nch
->string
);
1675 while (nch
!= NULL
) {
1676 roff_node_delete(mdoc
, nch
);
1683 * Append old-style lists, where the column width specifiers
1684 * trail as macro parameters, to the new-style ("normal-form")
1685 * lists where they're argument values following -column.
1688 if (nh
->child
== NULL
)
1692 for (j
= 0; j
< (int)nbl
->args
->argc
; j
++)
1693 if (nbl
->args
->argv
[j
].arg
== MDOC_Column
)
1696 assert(j
< (int)nbl
->args
->argc
);
1699 * Accommodate for new-style groff column syntax. Shuffle the
1700 * child nodes, all of which must be TEXT, as arguments for the
1701 * column field. Then, delete the head children.
1704 argv
= nbl
->args
->argv
+ j
;
1706 for (nch
= nh
->child
; nch
!= NULL
; nch
= nch
->next
)
1708 argv
->value
= mandoc_reallocarray(argv
->value
,
1709 argv
->sz
, sizeof(char *));
1711 nh
->norm
->Bl
.ncols
= argv
->sz
;
1712 nh
->norm
->Bl
.cols
= (void *)argv
->value
;
1714 for (nch
= nh
->child
; nch
!= NULL
; nch
= nnext
) {
1715 argv
->value
[i
++] = nch
->string
;
1718 roff_node_delete(NULL
, nch
);
1726 struct roff_node
*nparent
, *nprev
; /* of the Bl block */
1727 struct roff_node
*nblock
, *nbody
; /* of the Bl */
1728 struct roff_node
*nchild
, *nnext
; /* of the Bl body */
1729 const char *prev_Er
;
1733 switch (nbody
->type
) {
1735 post_bl_block(mdoc
);
1745 if (nbody
->end
!= ENDBODY_NOT
)
1748 nchild
= nbody
->child
;
1749 if (nchild
== NULL
) {
1750 mandoc_msg(MANDOCERR_BLK_EMPTY
,
1751 nbody
->line
, nbody
->pos
, "Bl");
1754 while (nchild
!= NULL
) {
1755 nnext
= nchild
->next
;
1756 if (nchild
->tok
== MDOC_It
||
1757 (nchild
->tok
== MDOC_Sm
&&
1758 nnext
!= NULL
&& nnext
->tok
== MDOC_It
)) {
1764 * In .Bl -column, the first rows may be implicit,
1765 * that is, they may not start with .It macros.
1766 * Such rows may be followed by nodes generated on the
1767 * roff level, for example .TS, which cannot be moved
1768 * out of the list. In that case, wrap such roff nodes
1769 * into an implicit row.
1772 if (nchild
->prev
!= NULL
) {
1773 mdoc
->last
= nchild
;
1774 mdoc
->next
= ROFF_NEXT_SIBLING
;
1775 roff_block_alloc(mdoc
, nchild
->line
,
1776 nchild
->pos
, MDOC_It
);
1777 roff_head_alloc(mdoc
, nchild
->line
,
1778 nchild
->pos
, MDOC_It
);
1779 mdoc
->next
= ROFF_NEXT_SIBLING
;
1780 roff_body_alloc(mdoc
, nchild
->line
,
1781 nchild
->pos
, MDOC_It
);
1782 while (nchild
->tok
!= MDOC_It
) {
1783 roff_node_relink(mdoc
, nchild
);
1784 if ((nchild
= nnext
) == NULL
)
1786 nnext
= nchild
->next
;
1787 mdoc
->next
= ROFF_NEXT_SIBLING
;
1793 mandoc_msg(MANDOCERR_BL_MOVE
, nchild
->line
, nchild
->pos
,
1794 "%s", roff_name
[nchild
->tok
]);
1797 * Move the node out of the Bl block.
1798 * First, collect all required node pointers.
1801 nblock
= nbody
->parent
;
1802 nprev
= nblock
->prev
;
1803 nparent
= nblock
->parent
;
1806 * Unlink this child.
1809 nbody
->child
= nnext
;
1816 * Relink this child.
1819 nchild
->parent
= nparent
;
1820 nchild
->prev
= nprev
;
1821 nchild
->next
= nblock
;
1823 nblock
->prev
= nchild
;
1825 nparent
->child
= nchild
;
1827 nprev
->next
= nchild
;
1832 if (mdoc
->meta
.os_e
!= MANDOC_OS_NETBSD
)
1836 for (nchild
= nbody
->child
; nchild
!= NULL
; nchild
= nchild
->next
) {
1837 if (nchild
->tok
!= MDOC_It
)
1839 if ((nnext
= nchild
->head
->child
) == NULL
)
1841 if (nnext
->type
== ROFFT_BLOCK
)
1842 nnext
= nnext
->body
->child
;
1843 if (nnext
== NULL
|| nnext
->tok
!= MDOC_Er
)
1845 nnext
= nnext
->child
;
1846 if (prev_Er
!= NULL
) {
1847 order
= strcmp(prev_Er
, nnext
->string
);
1849 mandoc_msg(MANDOCERR_ER_ORDER
,
1850 nnext
->line
, nnext
->pos
,
1851 "Er %s %s (NetBSD)",
1852 prev_Er
, nnext
->string
);
1853 else if (order
== 0)
1854 mandoc_msg(MANDOCERR_ER_REP
,
1855 nnext
->line
, nnext
->pos
,
1856 "Er %s (NetBSD)", prev_Er
);
1858 prev_Er
= nnext
->string
;
1865 struct roff_node
*n
;
1869 if (n
->type
== ROFFT_BLOCK
&& n
->body
->child
== NULL
) {
1870 mandoc_msg(MANDOCERR_BLK_EMPTY
, n
->line
, n
->pos
, "Bk");
1871 roff_node_delete(mdoc
, n
);
1878 struct roff_node
*nch
;
1880 nch
= mdoc
->last
->child
;
1883 mdoc
->flags
^= MDOC_SMOFF
;
1887 assert(nch
->type
== ROFFT_TEXT
);
1889 if ( ! strcmp(nch
->string
, "on")) {
1890 mdoc
->flags
&= ~MDOC_SMOFF
;
1893 if ( ! strcmp(nch
->string
, "off")) {
1894 mdoc
->flags
|= MDOC_SMOFF
;
1898 mandoc_msg(MANDOCERR_SM_BAD
, nch
->line
, nch
->pos
,
1899 "%s %s", roff_name
[mdoc
->last
->tok
], nch
->string
);
1900 roff_node_relink(mdoc
, nch
);
1905 post_root(POST_ARGS
)
1907 struct roff_node
*n
;
1909 /* Add missing prologue data. */
1911 if (mdoc
->meta
.date
== NULL
)
1912 mdoc
->meta
.date
= mandoc_normdate(mdoc
, NULL
, 0, 0);
1914 if (mdoc
->meta
.title
== NULL
) {
1915 mandoc_msg(MANDOCERR_DT_NOTITLE
, 0, 0, "EOF");
1916 mdoc
->meta
.title
= mandoc_strdup("UNTITLED");
1919 if (mdoc
->meta
.vol
== NULL
)
1920 mdoc
->meta
.vol
= mandoc_strdup("LOCAL");
1922 if (mdoc
->meta
.os
== NULL
) {
1923 mandoc_msg(MANDOCERR_OS_MISSING
, 0, 0, NULL
);
1924 mdoc
->meta
.os
= mandoc_strdup("");
1925 } else if (mdoc
->meta
.os_e
&&
1926 (mdoc
->meta
.rcsids
& (1 << mdoc
->meta
.os_e
)) == 0)
1927 mandoc_msg(MANDOCERR_RCS_MISSING
, 0, 0,
1928 mdoc
->meta
.os_e
== MANDOC_OS_OPENBSD
?
1929 "(OpenBSD)" : "(NetBSD)");
1931 if (mdoc
->meta
.arch
!= NULL
&&
1932 arch_valid(mdoc
->meta
.arch
, mdoc
->meta
.os_e
) == 0) {
1933 n
= mdoc
->meta
.first
->child
;
1934 while (n
->tok
!= MDOC_Dt
||
1936 n
->child
->next
== NULL
||
1937 n
->child
->next
->next
== NULL
)
1939 n
= n
->child
->next
->next
;
1940 mandoc_msg(MANDOCERR_ARCH_BAD
, n
->line
, n
->pos
,
1941 "Dt ... %s %s", mdoc
->meta
.arch
,
1942 mdoc
->meta
.os_e
== MANDOC_OS_OPENBSD
?
1943 "(OpenBSD)" : "(NetBSD)");
1946 /* Check that we begin with a proper `Sh'. */
1948 n
= mdoc
->meta
.first
->child
;
1950 (n
->type
== ROFFT_COMMENT
||
1951 (n
->tok
>= MDOC_Dd
&&
1952 mdoc_macro(n
->tok
)->flags
& MDOC_PROLOGUE
)))
1956 mandoc_msg(MANDOCERR_DOC_EMPTY
, 0, 0, NULL
);
1957 else if (n
->tok
!= MDOC_Sh
)
1958 mandoc_msg(MANDOCERR_SEC_BEFORE
, n
->line
, n
->pos
,
1959 "%s", roff_name
[n
->tok
]);
1965 struct roff_node
*np
, *nch
, *next
, *prev
;
1970 if (np
->type
!= ROFFT_BODY
)
1973 if (np
->child
== NULL
) {
1974 mandoc_msg(MANDOCERR_RS_EMPTY
, np
->line
, np
->pos
, "Rs");
1979 * The full `Rs' block needs special handling to order the
1980 * sub-elements according to `rsord'. Pick through each element
1981 * and correctly order it. This is an insertion sort.
1985 for (nch
= np
->child
->next
; nch
!= NULL
; nch
= next
) {
1986 /* Determine order number of this child. */
1987 for (i
= 0; i
< RSORD_MAX
; i
++)
1988 if (rsord
[i
] == nch
->tok
)
1991 if (i
== RSORD_MAX
) {
1992 mandoc_msg(MANDOCERR_RS_BAD
, nch
->line
, nch
->pos
,
1993 "%s", roff_name
[nch
->tok
]);
1995 } else if (nch
->tok
== MDOC__J
|| nch
->tok
== MDOC__B
)
1996 np
->norm
->Rs
.quote_T
++;
1999 * Remove this child from the chain. This somewhat
2000 * repeats roff_node_unlink(), but since we're
2001 * just re-ordering, there's no need for the
2002 * full unlink process.
2005 if ((next
= nch
->next
) != NULL
)
2006 next
->prev
= nch
->prev
;
2008 if ((prev
= nch
->prev
) != NULL
)
2009 prev
->next
= nch
->next
;
2011 nch
->prev
= nch
->next
= NULL
;
2014 * Scan back until we reach a node that's
2015 * to be ordered before this child.
2018 for ( ; prev
; prev
= prev
->prev
) {
2019 /* Determine order of `prev'. */
2020 for (j
= 0; j
< RSORD_MAX
; j
++)
2021 if (rsord
[j
] == prev
->tok
)
2031 * Set this child back into its correct place
2032 * in front of the `prev' node.
2038 np
->child
->prev
= nch
;
2039 nch
->next
= np
->child
;
2043 prev
->next
->prev
= nch
;
2044 nch
->next
= prev
->next
;
2051 * For some arguments of some macros,
2052 * convert all breakable hyphens into ASCII_HYPH.
2055 post_hyph(POST_ARGS
)
2057 struct roff_node
*nch
;
2060 for (nch
= mdoc
->last
->child
; nch
!= NULL
; nch
= nch
->next
) {
2061 if (nch
->type
!= ROFFT_TEXT
)
2066 while (*(++cp
) != '\0')
2068 isalpha((unsigned char)cp
[-1]) &&
2069 isalpha((unsigned char)cp
[1]))
2077 struct roff_node
*n
;
2080 if (n
->flags
& NODE_LINE
||
2081 (n
->next
!= NULL
&& n
->next
->flags
& NODE_DELIMC
))
2082 mandoc_msg(MANDOCERR_NS_SKIP
, n
->line
, n
->pos
, NULL
);
2098 switch (mdoc
->last
->type
) {
2103 switch (mdoc
->lastsec
) {
2108 post_sh_see_also(mdoc
);
2111 post_sh_authors(mdoc
);
2123 post_sh_name(POST_ARGS
)
2125 struct roff_node
*n
;
2130 for (n
= mdoc
->last
->child
; n
!= NULL
; n
= n
->next
) {
2133 if (hasnm
&& n
->child
!= NULL
)
2134 mandoc_msg(MANDOCERR_NAMESEC_PUNCT
,
2136 "Nm %s", n
->child
->string
);
2141 if (n
->next
!= NULL
)
2142 mandoc_msg(MANDOCERR_NAMESEC_ND
,
2143 n
->line
, n
->pos
, NULL
);
2146 if (n
->type
== ROFFT_TEXT
&&
2147 n
->string
[0] == ',' && n
->string
[1] == '\0' &&
2148 n
->next
!= NULL
&& n
->next
->tok
== MDOC_Nm
) {
2154 mandoc_msg(MANDOCERR_NAMESEC_BAD
,
2155 n
->line
, n
->pos
, "%s", roff_name
[n
->tok
]);
2162 mandoc_msg(MANDOCERR_NAMESEC_NONM
,
2163 mdoc
->last
->line
, mdoc
->last
->pos
, NULL
);
2165 mandoc_msg(MANDOCERR_NAMESEC_NOND
,
2166 mdoc
->last
->line
, mdoc
->last
->pos
, NULL
);
2170 post_sh_see_also(POST_ARGS
)
2172 const struct roff_node
*n
;
2173 const char *name
, *sec
;
2174 const char *lastname
, *lastsec
, *lastpunct
;
2177 n
= mdoc
->last
->child
;
2178 lastname
= lastsec
= lastpunct
= NULL
;
2180 if (n
->tok
!= MDOC_Xr
||
2182 n
->child
->next
== NULL
)
2185 /* Process one .Xr node. */
2187 name
= n
->child
->string
;
2188 sec
= n
->child
->next
->string
;
2189 if (lastsec
!= NULL
) {
2190 if (lastpunct
[0] != ',' || lastpunct
[1] != '\0')
2191 mandoc_msg(MANDOCERR_XR_PUNCT
, n
->line
,
2192 n
->pos
, "%s before %s(%s)",
2193 lastpunct
, name
, sec
);
2194 cmp
= strcmp(lastsec
, sec
);
2196 mandoc_msg(MANDOCERR_XR_ORDER
, n
->line
,
2197 n
->pos
, "%s(%s) after %s(%s)",
2198 name
, sec
, lastname
, lastsec
);
2199 else if (cmp
== 0 &&
2200 strcasecmp(lastname
, name
) > 0)
2201 mandoc_msg(MANDOCERR_XR_ORDER
, n
->line
,
2202 n
->pos
, "%s after %s", name
, lastname
);
2207 /* Process the following node. */
2212 if (n
->tok
== MDOC_Xr
) {
2216 if (n
->type
!= ROFFT_TEXT
)
2218 for (name
= n
->string
; *name
!= '\0'; name
++)
2219 if (isalpha((const unsigned char)*name
))
2221 lastpunct
= n
->string
;
2222 if (n
->next
== NULL
|| n
->next
->tok
== MDOC_Rs
)
2223 mandoc_msg(MANDOCERR_XR_PUNCT
, n
->line
,
2224 n
->pos
, "%s after %s(%s)",
2225 lastpunct
, lastname
, lastsec
);
2231 child_an(const struct roff_node
*n
)
2234 for (n
= n
->child
; n
!= NULL
; n
= n
->next
)
2235 if ((n
->tok
== MDOC_An
&& n
->child
!= NULL
) || child_an(n
))
2241 post_sh_authors(POST_ARGS
)
2244 if ( ! child_an(mdoc
->last
))
2245 mandoc_msg(MANDOCERR_AN_MISSING
,
2246 mdoc
->last
->line
, mdoc
->last
->pos
, NULL
);
2250 * Return an upper bound for the string distance (allowing
2251 * transpositions). Not a full Levenshtein implementation
2252 * because Levenshtein is quadratic in the string length
2253 * and this function is called for every standard name,
2254 * so the check for each custom name would be cubic.
2255 * The following crude heuristics is linear, resulting
2256 * in quadratic behaviour for checking one custom name,
2257 * which does not cause measurable slowdown.
2260 similar(const char *s1
, const char *s2
)
2262 const int maxdist
= 3;
2265 while (s1
[0] != '\0' && s2
[0] != '\0') {
2266 if (s1
[0] == s2
[0]) {
2271 if (++dist
> maxdist
)
2273 if (s1
[1] == s2
[1]) { /* replacement */
2276 } else if (s1
[0] == s2
[1] && s1
[1] == s2
[0]) {
2277 s1
+= 2; /* transposition */
2279 } else if (s1
[0] == s2
[1]) /* insertion */
2281 else if (s1
[1] == s2
[0]) /* deletion */
2286 dist
+= strlen(s1
) + strlen(s2
);
2287 return dist
> maxdist
? INT_MAX
: dist
;
2291 post_sh_head(POST_ARGS
)
2293 struct roff_node
*nch
;
2294 const char *goodsec
;
2295 const char *const *testsec
;
2300 * Process a new section. Sections are either "named" or
2301 * "custom". Custom sections are user-defined, while named ones
2302 * follow a conventional order and may only appear in certain
2306 sec
= mdoc
->last
->sec
;
2308 /* The NAME should be first. */
2310 if (sec
!= SEC_NAME
&& mdoc
->lastnamed
== SEC_NONE
)
2311 mandoc_msg(MANDOCERR_NAMESEC_FIRST
,
2312 mdoc
->last
->line
, mdoc
->last
->pos
, "Sh %s",
2313 sec
!= SEC_CUSTOM
? secnames
[sec
] :
2314 (nch
= mdoc
->last
->child
) == NULL
? "" :
2315 nch
->type
== ROFFT_TEXT
? nch
->string
:
2316 roff_name
[nch
->tok
]);
2318 /* The SYNOPSIS gets special attention in other areas. */
2320 if (sec
== SEC_SYNOPSIS
) {
2321 roff_setreg(mdoc
->roff
, "nS", 1, '=');
2322 mdoc
->flags
|= MDOC_SYNOPSIS
;
2324 roff_setreg(mdoc
->roff
, "nS", 0, '=');
2325 mdoc
->flags
&= ~MDOC_SYNOPSIS
;
2328 /* Mark our last section. */
2330 mdoc
->lastsec
= sec
;
2332 /* We don't care about custom sections after this. */
2334 if (sec
== SEC_CUSTOM
) {
2335 if ((nch
= mdoc
->last
->child
) == NULL
||
2336 nch
->type
!= ROFFT_TEXT
|| nch
->next
!= NULL
)
2340 for (testsec
= secnames
+ 1; *testsec
!= NULL
; testsec
++) {
2341 dist
= similar(nch
->string
, *testsec
);
2342 if (dist
< mindist
) {
2347 if (goodsec
!= NULL
)
2348 mandoc_msg(MANDOCERR_SEC_TYPO
, nch
->line
, nch
->pos
,
2349 "Sh %s instead of %s", nch
->string
, goodsec
);
2354 * Check whether our non-custom section is being repeated or is
2358 if (sec
== mdoc
->lastnamed
)
2359 mandoc_msg(MANDOCERR_SEC_REP
, mdoc
->last
->line
,
2360 mdoc
->last
->pos
, "Sh %s", secnames
[sec
]);
2362 if (sec
< mdoc
->lastnamed
)
2363 mandoc_msg(MANDOCERR_SEC_ORDER
, mdoc
->last
->line
,
2364 mdoc
->last
->pos
, "Sh %s", secnames
[sec
]);
2366 /* Mark the last named section. */
2368 mdoc
->lastnamed
= sec
;
2370 /* Check particular section/manual conventions. */
2372 if (mdoc
->meta
.msec
== NULL
)
2378 if (*mdoc
->meta
.msec
== '4')
2380 goodsec
= "2, 3, 4, 9";
2382 case SEC_RETURN_VALUES
:
2384 if (*mdoc
->meta
.msec
== '2')
2386 if (*mdoc
->meta
.msec
== '3')
2388 if (NULL
== goodsec
)
2389 goodsec
= "2, 3, 9";
2392 if (*mdoc
->meta
.msec
== '9')
2394 if (NULL
== goodsec
)
2396 mandoc_msg(MANDOCERR_SEC_MSEC
,
2397 mdoc
->last
->line
, mdoc
->last
->pos
,
2398 "Sh %s for %s only", secnames
[sec
], goodsec
);
2408 struct roff_node
*n
, *nch
;
2412 if (nch
->next
== NULL
) {
2413 mandoc_msg(MANDOCERR_XR_NOSEC
,
2414 n
->line
, n
->pos
, "Xr %s", nch
->string
);
2416 assert(nch
->next
== n
->last
);
2417 if(mandoc_xr_add(nch
->next
->string
, nch
->string
,
2418 nch
->line
, nch
->pos
))
2419 mandoc_msg(MANDOCERR_XR_SELF
,
2420 nch
->line
, nch
->pos
, "Xr %s %s",
2421 nch
->string
, nch
->next
->string
);
2423 post_delim_nb(mdoc
);
2427 post_ignpar(POST_ARGS
)
2429 struct roff_node
*np
;
2431 switch (mdoc
->last
->type
) {
2445 if ((np
= mdoc
->last
->child
) != NULL
)
2446 if (np
->tok
== MDOC_Pp
||
2447 np
->tok
== ROFF_br
|| np
->tok
== ROFF_sp
) {
2448 mandoc_msg(MANDOCERR_PAR_SKIP
, np
->line
, np
->pos
,
2449 "%s after %s", roff_name
[np
->tok
],
2450 roff_name
[mdoc
->last
->tok
]);
2451 roff_node_delete(mdoc
, np
);
2454 if ((np
= mdoc
->last
->last
) != NULL
)
2455 if (np
->tok
== MDOC_Pp
|| np
->tok
== ROFF_br
) {
2456 mandoc_msg(MANDOCERR_PAR_SKIP
, np
->line
, np
->pos
,
2457 "%s at the end of %s", roff_name
[np
->tok
],
2458 roff_name
[mdoc
->last
->tok
]);
2459 roff_node_delete(mdoc
, np
);
2464 post_prevpar(POST_ARGS
)
2466 struct roff_node
*n
;
2469 if (NULL
== n
->prev
)
2471 if (n
->type
!= ROFFT_ELEM
&& n
->type
!= ROFFT_BLOCK
)
2475 * Don't allow `Pp' prior to a paragraph-type
2476 * block: `Pp' or non-compact `Bd' or `Bl'.
2479 if (n
->prev
->tok
!= MDOC_Pp
&& n
->prev
->tok
!= ROFF_br
)
2481 if (n
->tok
== MDOC_Bl
&& n
->norm
->Bl
.comp
)
2483 if (n
->tok
== MDOC_Bd
&& n
->norm
->Bd
.comp
)
2485 if (n
->tok
== MDOC_It
&& n
->parent
->norm
->Bl
.comp
)
2488 mandoc_msg(MANDOCERR_PAR_SKIP
, n
->prev
->line
, n
->prev
->pos
,
2489 "%s before %s", roff_name
[n
->prev
->tok
], roff_name
[n
->tok
]);
2490 roff_node_delete(mdoc
, n
->prev
);
2496 struct roff_node
*np
;
2501 if (np
->child
!= NULL
)
2502 mandoc_msg(MANDOCERR_ARG_SKIP
, np
->line
, np
->pos
,
2503 "%s %s", roff_name
[np
->tok
], np
->child
->string
);
2509 struct roff_node
*n
;
2513 n
->flags
|= NODE_NOPRT
;
2515 if (mdoc
->meta
.date
!= NULL
) {
2516 mandoc_msg(MANDOCERR_PROLOG_REP
, n
->line
, n
->pos
, "Dd");
2517 free(mdoc
->meta
.date
);
2518 } else if (mdoc
->flags
& MDOC_PBODY
)
2519 mandoc_msg(MANDOCERR_PROLOG_LATE
, n
->line
, n
->pos
, "Dd");
2520 else if (mdoc
->meta
.title
!= NULL
)
2521 mandoc_msg(MANDOCERR_PROLOG_ORDER
,
2522 n
->line
, n
->pos
, "Dd after Dt");
2523 else if (mdoc
->meta
.os
!= NULL
)
2524 mandoc_msg(MANDOCERR_PROLOG_ORDER
,
2525 n
->line
, n
->pos
, "Dd after Os");
2528 deroff(&datestr
, n
);
2529 mdoc
->meta
.date
= mandoc_normdate(mdoc
, datestr
, n
->line
, n
->pos
);
2536 struct roff_node
*nn
, *n
;
2541 n
->flags
|= NODE_NOPRT
;
2543 if (mdoc
->flags
& MDOC_PBODY
) {
2544 mandoc_msg(MANDOCERR_DT_LATE
, n
->line
, n
->pos
, "Dt");
2548 if (mdoc
->meta
.title
!= NULL
)
2549 mandoc_msg(MANDOCERR_PROLOG_REP
, n
->line
, n
->pos
, "Dt");
2550 else if (mdoc
->meta
.os
!= NULL
)
2551 mandoc_msg(MANDOCERR_PROLOG_ORDER
,
2552 n
->line
, n
->pos
, "Dt after Os");
2554 free(mdoc
->meta
.title
);
2555 free(mdoc
->meta
.msec
);
2556 free(mdoc
->meta
.vol
);
2557 free(mdoc
->meta
.arch
);
2559 mdoc
->meta
.title
= NULL
;
2560 mdoc
->meta
.msec
= NULL
;
2561 mdoc
->meta
.vol
= NULL
;
2562 mdoc
->meta
.arch
= NULL
;
2564 /* Mandatory first argument: title. */
2567 if (nn
== NULL
|| *nn
->string
== '\0') {
2568 mandoc_msg(MANDOCERR_DT_NOTITLE
, n
->line
, n
->pos
, "Dt");
2569 mdoc
->meta
.title
= mandoc_strdup("UNTITLED");
2571 mdoc
->meta
.title
= mandoc_strdup(nn
->string
);
2573 /* Check that all characters are uppercase. */
2575 for (p
= nn
->string
; *p
!= '\0'; p
++)
2576 if (islower((unsigned char)*p
)) {
2577 mandoc_msg(MANDOCERR_TITLE_CASE
, nn
->line
,
2578 nn
->pos
+ (int)(p
- nn
->string
),
2579 "Dt %s", nn
->string
);
2584 /* Mandatory second argument: section. */
2590 mandoc_msg(MANDOCERR_MSEC_MISSING
, n
->line
, n
->pos
,
2591 "Dt %s", mdoc
->meta
.title
);
2592 mdoc
->meta
.vol
= mandoc_strdup("LOCAL");
2593 return; /* msec and arch remain NULL. */
2596 mdoc
->meta
.msec
= mandoc_strdup(nn
->string
);
2598 /* Infer volume title from section number. */
2600 cp
= mandoc_a2msec(nn
->string
);
2602 mandoc_msg(MANDOCERR_MSEC_BAD
,
2603 nn
->line
, nn
->pos
, "Dt ... %s", nn
->string
);
2604 mdoc
->meta
.vol
= mandoc_strdup(nn
->string
);
2606 mdoc
->meta
.vol
= mandoc_strdup(cp
);
2608 /* Optional third argument: architecture. */
2610 if ((nn
= nn
->next
) == NULL
)
2613 for (p
= nn
->string
; *p
!= '\0'; p
++)
2614 *p
= tolower((unsigned char)*p
);
2615 mdoc
->meta
.arch
= mandoc_strdup(nn
->string
);
2617 /* Ignore fourth and later arguments. */
2619 if ((nn
= nn
->next
) != NULL
)
2620 mandoc_msg(MANDOCERR_ARG_EXCESS
,
2621 nn
->line
, nn
->pos
, "Dt ... %s", nn
->string
);
2627 struct roff_node
*n
, *nch
;
2630 post_delim_nb(mdoc
);
2636 macro
= !strcmp(nch
->string
, "Open") ? "Ox" :
2637 !strcmp(nch
->string
, "Net") ? "Nx" :
2638 !strcmp(nch
->string
, "Free") ? "Fx" :
2639 !strcmp(nch
->string
, "DragonFly") ? "Dx" : NULL
;
2641 mandoc_msg(MANDOCERR_BX
,
2642 n
->line
, n
->pos
, "%s", macro
);
2645 mdoc
->next
= ROFF_NEXT_SIBLING
;
2646 roff_elem_alloc(mdoc
, n
->line
, n
->pos
, MDOC_Ns
);
2647 mdoc
->last
->flags
|= NODE_NOSRC
;
2648 mdoc
->next
= ROFF_NEXT_SIBLING
;
2650 mdoc
->next
= ROFF_NEXT_CHILD
;
2651 roff_word_alloc(mdoc
, n
->line
, n
->pos
, "BSD");
2652 mdoc
->last
->flags
|= NODE_NOSRC
;
2659 roff_elem_alloc(mdoc
, n
->line
, n
->pos
, MDOC_Ns
);
2660 mdoc
->last
->flags
|= NODE_NOSRC
;
2661 mdoc
->next
= ROFF_NEXT_SIBLING
;
2662 roff_word_alloc(mdoc
, n
->line
, n
->pos
, "-");
2663 mdoc
->last
->flags
|= NODE_NOSRC
;
2664 roff_elem_alloc(mdoc
, n
->line
, n
->pos
, MDOC_Ns
);
2665 mdoc
->last
->flags
|= NODE_NOSRC
;
2669 * Make `Bx's second argument always start with an uppercase
2670 * letter. Groff checks if it's an "accepted" term, but we just
2671 * uppercase blindly.
2674 *nch
->string
= (char)toupper((unsigned char)*nch
->string
);
2681 struct utsname utsname
;
2682 static char *defbuf
;
2684 struct roff_node
*n
;
2687 n
->flags
|= NODE_NOPRT
;
2689 if (mdoc
->meta
.os
!= NULL
)
2690 mandoc_msg(MANDOCERR_PROLOG_REP
, n
->line
, n
->pos
, "Os");
2691 else if (mdoc
->flags
& MDOC_PBODY
)
2692 mandoc_msg(MANDOCERR_PROLOG_LATE
, n
->line
, n
->pos
, "Os");
2697 * Set the operating system by way of the `Os' macro.
2698 * The order of precedence is:
2699 * 1. the argument of the `Os' macro, unless empty
2700 * 2. the -Ios=foo command line argument, if provided
2701 * 3. -DOSNAME="\"foo\"", if provided during compilation
2702 * 4. "sysname release" from uname(3)
2705 free(mdoc
->meta
.os
);
2706 mdoc
->meta
.os
= NULL
;
2707 deroff(&mdoc
->meta
.os
, n
);
2711 if (mdoc
->os_s
!= NULL
) {
2712 mdoc
->meta
.os
= mandoc_strdup(mdoc
->os_s
);
2717 mdoc
->meta
.os
= mandoc_strdup(OSNAME
);
2719 if (defbuf
== NULL
) {
2720 if (uname(&utsname
) == -1) {
2721 mandoc_msg(MANDOCERR_OS_UNAME
, n
->line
, n
->pos
, "Os");
2722 defbuf
= mandoc_strdup("UNKNOWN");
2724 mandoc_asprintf(&defbuf
, "%s %s",
2725 utsname
.sysname
, utsname
.release
);
2727 mdoc
->meta
.os
= mandoc_strdup(defbuf
);
2731 if (mdoc
->meta
.os_e
== MANDOC_OS_OTHER
) {
2732 if (strstr(mdoc
->meta
.os
, "OpenBSD") != NULL
)
2733 mdoc
->meta
.os_e
= MANDOC_OS_OPENBSD
;
2734 else if (strstr(mdoc
->meta
.os
, "NetBSD") != NULL
)
2735 mdoc
->meta
.os_e
= MANDOC_OS_NETBSD
;
2739 * This is the earliest point where we can check
2740 * Mdocdate conventions because we don't know
2741 * the operating system earlier.
2744 if (n
->child
!= NULL
)
2745 mandoc_msg(MANDOCERR_OS_ARG
, n
->child
->line
, n
->child
->pos
,
2746 "Os %s (%s)", n
->child
->string
,
2747 mdoc
->meta
.os_e
== MANDOC_OS_OPENBSD
?
2748 "OpenBSD" : "NetBSD");
2750 while (n
->tok
!= MDOC_Dd
)
2751 if ((n
= n
->prev
) == NULL
)
2753 if ((n
= n
->child
) == NULL
)
2755 if (strncmp(n
->string
, "$" "Mdocdate", 9)) {
2756 if (mdoc
->meta
.os_e
== MANDOC_OS_OPENBSD
)
2757 mandoc_msg(MANDOCERR_MDOCDATE_MISSING
, n
->line
,
2758 n
->pos
, "Dd %s (OpenBSD)", n
->string
);
2760 if (mdoc
->meta
.os_e
== MANDOC_OS_NETBSD
)
2761 mandoc_msg(MANDOCERR_MDOCDATE
, n
->line
,
2762 n
->pos
, "Dd %s (NetBSD)", n
->string
);
2767 mdoc_a2sec(const char *p
)
2771 for (i
= 0; i
< (int)SEC__MAX
; i
++)
2772 if (secnames
[i
] && 0 == strcmp(p
, secnames
[i
]))
2773 return (enum roff_sec
)i
;
2779 macro2len(enum roff_tok macro
)