mandoc/mdoc_validate.c - diff

Return to mdoc_validate.c CVS log

Up to [cvsweb.bsd.lv] / mandoc

Diff for /mandoc/mdoc_validate.c between version 1.278 and 1.303

version 1.278, 2015/02/12 12:24:33

version 1.303, 2016/08/10 12:06:41

Line 1

/* $Id$ */

* Permission to use, copy, modify, and distribute this software for any

* purpose with or without fee is hereby granted, provided that the above

* copyright notice and this permission notice appear in all copies.

* THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES

* THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHORS DISCLAIM ALL WARRANTIES

* WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF

* MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR

* MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHORS BE LIABLE FOR

* ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES

* WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN

* ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF

Line 31

#include <string.h>

#include <time.h>

#include "mdoc.h"

#include "mandoc.h"

#include "mandoc_aux.h"

#include "libmdoc.h"

#include "mandoc.h"

#include "roff.h"

#include "mdoc.h"

#include "libmandoc.h"

#include "roff_int.h"

#include "libmdoc.h"

/* FIXME: .Bl -diag can't have non-text children in HEAD. */

#define PRE_ARGS struct mdoc *mdoc, struct mdoc_node *n

#define POST_ARGS struct roff_man *mdoc

#define POST_ARGS struct mdoc *mdoc

enum check_ineq {

CHECK_LT,

Line 48 enum check_ineq {

Line 49 enum check_ineq {

CHECK_EQ

};

typedef void (*v_pre)(PRE_ARGS);

typedef void (*v_post)(POST_ARGS);

struct valids {

static void check_text(struct roff_man *, int, int, char *);

v_pre pre;

static void check_argv(struct roff_man *,

v_post post;

struct roff_node *, struct mdoc_argv *);

};

static void check_args(struct roff_man *, struct roff_node *);

static int child_an(const struct roff_node *);

static void check_text(struct mdoc *, int, int, char *);

static size_t macro2len(int);

static void check_argv(struct mdoc *,

struct mdoc_node *, struct mdoc_argv *);

static void check_args(struct mdoc *, struct mdoc_node *);

static int child_an(const struct mdoc_node *);

static enum mdoc_sec a2sec(const char *);

static size_t macro2len(enum mdoct);

static void rewrite_macro2len(char **);

static void post_an(POST_ARGS);

static void post_an_norm(POST_ARGS);

static void post_at(POST_ARGS);

static void post_bd(POST_ARGS);

static void post_bf(POST_ARGS);

static void post_bk(POST_ARGS);

static void post_bl(POST_ARGS);

static void post_bl_block(POST_ARGS);

static void post_bl_block_tag(POST_ARGS);

static void post_bl_head(POST_ARGS);

static void post_bl_norm(POST_ARGS);

static void post_bx(POST_ARGS);

static void post_d1(POST_ARGS);

static void post_defaults(POST_ARGS);

static void post_display(POST_ARGS);

static void post_dd(POST_ARGS);

static void post_dt(POST_ARGS);

static void post_en(POST_ARGS);

Line 90 static void post_hyph(POST_ARGS);

Line 87 static void post_hyph(POST_ARGS);

static void post_ignpar(POST_ARGS);

static void post_it(POST_ARGS);

static void post_lb(POST_ARGS);

static void post_literal(POST_ARGS);

static void post_nd(POST_ARGS);

static void post_nm(POST_ARGS);

static void post_ns(POST_ARGS);

static void post_obsolete(POST_ARGS);

static void post_os(POST_ARGS);

static void post_par(POST_ARGS);

static void post_prevpar(POST_ARGS);

static void post_root(POST_ARGS);

static void post_rs(POST_ARGS);

static void post_sh(POST_ARGS);

Line 105 static void post_sh_see_also(POST_ARGS);

Line 103 static void post_sh_see_also(POST_ARGS);

static void post_sh_authors(POST_ARGS);

static void post_sm(POST_ARGS);

static void post_st(POST_ARGS);

static void post_vt(POST_ARGS);

static void post_std(POST_ARGS);

static void pre_an(PRE_ARGS);

static v_post mdoc_valids[MDOC_MAX] = {

static void pre_bd(PRE_ARGS);

NULL, /* Ap */

static void pre_bl(PRE_ARGS);

post_dd, /* Dd */

static void pre_dd(PRE_ARGS);

post_dt, /* Dt */

static void pre_display(PRE_ARGS);

post_os, /* Os */

static void pre_dt(PRE_ARGS);

post_sh, /* Sh */

static void pre_literal(PRE_ARGS);

post_ignpar, /* Ss */

static void pre_obsolete(PRE_ARGS);

post_par, /* Pp */

static void pre_os(PRE_ARGS);

post_display, /* D1 */

static void pre_par(PRE_ARGS);

post_display, /* Dl */

static void pre_std(PRE_ARGS);

post_display, /* Bd */

NULL, /* Ed */

static const struct valids mdoc_valids[MDOC_MAX] = {

post_bl, /* Bl */

{ NULL, NULL }, /* Ap */

NULL, /* El */

{ pre_dd, post_dd }, /* Dd */

post_it, /* It */

{ pre_dt, post_dt }, /* Dt */

NULL, /* Ad */

{ pre_os, post_os }, /* Os */

post_an, /* An */

{ NULL, post_sh }, /* Sh */

post_defaults, /* Ar */

{ NULL, post_ignpar }, /* Ss */

NULL, /* Cd */

{ pre_par, post_par }, /* Pp */

NULL, /* Cm */

{ pre_display, post_d1 }, /* D1 */

NULL, /* Dv */

{ pre_literal, post_literal }, /* Dl */

NULL, /* Er */

{ pre_bd, post_literal }, /* Bd */

NULL, /* Ev */

{ NULL, NULL }, /* Ed */

post_ex, /* Ex */

{ pre_bl, post_bl }, /* Bl */

post_fa, /* Fa */

{ NULL, NULL }, /* El */

NULL, /* Fd */

{ pre_par, post_it }, /* It */

NULL, /* Fl */

{ NULL, NULL }, /* Ad */

post_fn, /* Fn */

{ pre_an, post_an }, /* An */

NULL, /* Ft */

{ NULL, post_defaults }, /* Ar */

NULL, /* Ic */

{ NULL, NULL }, /* Cd */

NULL, /* In */

{ NULL, NULL }, /* Cm */

post_defaults, /* Li */

{ NULL, NULL }, /* Dv */

post_nd, /* Nd */

{ NULL, NULL }, /* Er */

post_nm, /* Nm */

{ NULL, NULL }, /* Ev */

NULL, /* Op */

{ pre_std, post_ex }, /* Ex */

post_obsolete, /* Ot */

{ NULL, post_fa }, /* Fa */

post_defaults, /* Pa */

{ NULL, NULL }, /* Fd */

post_std, /* Rv */

{ NULL, NULL }, /* Fl */

post_st, /* St */

{ NULL, post_fn }, /* Fn */

NULL, /* Va */

{ NULL, NULL }, /* Ft */

NULL, /* Vt */

{ NULL, NULL }, /* Ic */

NULL, /* Xr */

{ NULL, NULL }, /* In */

NULL, /* %A */

{ NULL, post_defaults }, /* Li */

post_hyph, /* %B */ /* FIXME: can be used outside Rs/Re. */

{ NULL, post_nd }, /* Nd */

NULL, /* %D */

{ NULL, post_nm }, /* Nm */

NULL, /* %I */

{ NULL, NULL }, /* Op */

NULL, /* %J */

{ pre_obsolete, NULL }, /* Ot */

post_hyph, /* %N */

{ NULL, post_defaults }, /* Pa */

post_hyph, /* %O */

{ pre_std, NULL }, /* Rv */

NULL, /* %P */

{ NULL, post_st }, /* St */

post_hyph, /* %R */

{ NULL, NULL }, /* Va */

post_hyph, /* %T */ /* FIXME: can be used outside Rs/Re. */

{ NULL, post_vt }, /* Vt */

NULL, /* %V */

{ NULL, NULL }, /* Xr */

NULL, /* Ac */

{ NULL, NULL }, /* %A */

NULL, /* Ao */

{ NULL, post_hyph }, /* %B */ /* FIXME: can be used outside Rs/Re. */

NULL, /* Aq */

{ NULL, NULL }, /* %D */

post_at, /* At */

{ NULL, NULL }, /* %I */

NULL, /* Bc */

{ NULL, NULL }, /* %J */

post_bf, /* Bf */

{ NULL, post_hyph }, /* %N */

NULL, /* Bo */

{ NULL, post_hyph }, /* %O */

NULL, /* Bq */

{ NULL, NULL }, /* %P */

NULL, /* Bsx */

{ NULL, post_hyph }, /* %R */

post_bx, /* Bx */

{ NULL, post_hyph }, /* %T */ /* FIXME: can be used outside Rs/Re. */

post_obsolete, /* Db */

{ NULL, NULL }, /* %V */

NULL, /* Dc */

{ NULL, NULL }, /* Ac */

NULL, /* Do */

{ NULL, NULL }, /* Ao */

NULL, /* Dq */

{ NULL, NULL }, /* Aq */

NULL, /* Ec */

{ NULL, post_at }, /* At */

NULL, /* Ef */

{ NULL, NULL }, /* Bc */

NULL, /* Em */

{ NULL, post_bf }, /* Bf */

NULL, /* Eo */

{ NULL, NULL }, /* Bo */

NULL, /* Fx */

{ NULL, NULL }, /* Bq */

NULL, /* Ms */

{ NULL, NULL }, /* Bsx */

NULL, /* No */

{ NULL, post_bx }, /* Bx */

post_ns, /* Ns */

{ pre_obsolete, NULL }, /* Db */

NULL, /* Nx */

{ NULL, NULL }, /* Dc */

NULL, /* Ox */

{ NULL, NULL }, /* Do */

NULL, /* Pc */

{ NULL, NULL }, /* Dq */

NULL, /* Pf */

{ NULL, NULL }, /* Ec */

NULL, /* Po */

{ NULL, NULL }, /* Ef */

NULL, /* Pq */

{ NULL, NULL }, /* Em */

NULL, /* Qc */

{ NULL, NULL }, /* Eo */

NULL, /* Ql */

{ NULL, NULL }, /* Fx */

NULL, /* Qo */

{ NULL, NULL }, /* Ms */

NULL, /* Qq */

{ NULL, NULL }, /* No */

NULL, /* Re */

{ NULL, post_ns }, /* Ns */

post_rs, /* Rs */

{ NULL, NULL }, /* Nx */

NULL, /* Sc */

{ NULL, NULL }, /* Ox */

NULL, /* So */

{ NULL, NULL }, /* Pc */

NULL, /* Sq */

{ NULL, NULL }, /* Pf */

post_sm, /* Sm */

{ NULL, NULL }, /* Po */

post_hyph, /* Sx */

{ NULL, NULL }, /* Pq */

NULL, /* Sy */

{ NULL, NULL }, /* Qc */

NULL, /* Tn */

{ NULL, NULL }, /* Ql */

NULL, /* Ux */

{ NULL, NULL }, /* Qo */

NULL, /* Xc */

{ NULL, NULL }, /* Qq */

NULL, /* Xo */

{ NULL, NULL }, /* Re */

post_fo, /* Fo */

{ NULL, post_rs }, /* Rs */

NULL, /* Fc */

{ NULL, NULL }, /* Sc */

NULL, /* Oo */

{ NULL, NULL }, /* So */

NULL, /* Oc */

{ NULL, NULL }, /* Sq */

post_bk, /* Bk */

{ NULL, post_sm }, /* Sm */

NULL, /* Ek */

{ NULL, post_hyph }, /* Sx */

post_eoln, /* Bt */

{ NULL, NULL }, /* Sy */

NULL, /* Hf */

{ NULL, NULL }, /* Tn */

post_obsolete, /* Fr */

{ NULL, NULL }, /* Ux */

post_eoln, /* Ud */

{ NULL, NULL }, /* Xc */

post_lb, /* Lb */

{ NULL, NULL }, /* Xo */

post_par, /* Lp */

{ NULL, post_fo }, /* Fo */

NULL, /* Lk */

{ NULL, NULL }, /* Fc */

post_defaults, /* Mt */

{ NULL, NULL }, /* Oo */

NULL, /* Brq */

{ NULL, NULL }, /* Oc */

NULL, /* Bro */

{ NULL, post_bk }, /* Bk */

NULL, /* Brc */

{ NULL, NULL }, /* Ek */

NULL, /* %C */

{ NULL, post_eoln }, /* Bt */

post_es, /* Es */

{ NULL, NULL }, /* Hf */

post_en, /* En */

{ pre_obsolete, NULL }, /* Fr */

NULL, /* Dx */

{ NULL, post_eoln }, /* Ud */

NULL, /* %Q */

{ NULL, post_lb }, /* Lb */

post_par, /* br */

{ pre_par, post_par }, /* Lp */

post_par, /* sp */

{ NULL, NULL }, /* Lk */

NULL, /* %U */

{ NULL, post_defaults }, /* Mt */

NULL, /* Ta */

{ NULL, NULL }, /* Brq */

NULL, /* ll */

{ NULL, NULL }, /* Bro */

{ NULL, NULL }, /* Brc */

{ NULL, NULL }, /* %C */

{ pre_obsolete, post_es }, /* Es */

{ pre_obsolete, post_en }, /* En */

{ NULL, NULL }, /* Dx */

{ NULL, NULL }, /* %Q */

{ NULL, post_par }, /* br */

{ NULL, post_par }, /* sp */

{ NULL, NULL }, /* %U */

{ NULL, NULL }, /* Ta */

{ NULL, NULL }, /* ll */

};

#define RSORD_MAX 14 /* Number of `Rs' blocks. */

static const enum mdoct rsord[RSORD_MAX] = {

static const int rsord[RSORD_MAX] = {

MDOC__A,

MDOC__T,

MDOC__B,

Line 292 static const char * const secnames[SEC__MAX] = {

Line 278 static const char * const secnames[SEC__MAX] = {

void

mdoc_valid_pre(struct mdoc *mdoc, struct mdoc_node *n)

mdoc_node_validate(struct roff_man *mdoc)

{

v_pre p;

struct roff_node *n;

v_post *p;

switch (n->type) {

n = mdoc->last;

case MDOC_TEXT:

mdoc->last = mdoc->last->child;

check_text(mdoc, n->line, n->pos, n->string);

while (mdoc->last != NULL) {

/* FALLTHROUGH */

mdoc_node_validate(mdoc);

case MDOC_TBL:

if (mdoc->last == n)

/* FALLTHROUGH */

mdoc->last = mdoc->last->child;

case MDOC_EQN:

else

/* FALLTHROUGH */

mdoc->last = mdoc->last->next;

case MDOC_ROOT:

return;

default:

break;

}

check_args(mdoc, n);

mdoc->last = n;

p = mdoc_valids[n->tok].pre;

mdoc->next = ROFF_NEXT_SIBLING;

if (*p)

(*p)(mdoc, n);

}

void

mdoc_valid_post(struct mdoc *mdoc)

{

struct mdoc_node *n;

v_post p;

n = mdoc->last;

if (n->flags & MDOC_VALID)

return;

n->flags |= MDOC_VALID | MDOC_ENDED;

switch (n->type) {

case MDOC_TEXT:

case ROFFT_TEXT:

/* FALLTHROUGH */

if (n->sec != SEC_SYNOPSIS || n->parent->tok != MDOC_Fd)

case MDOC_EQN:

check_text(mdoc, n->line, n->pos, n->string);

/* FALLTHROUGH */

case MDOC_TBL:

break;

case MDOC_ROOT:

case ROFFT_EQN:

case ROFFT_TBL:

break;

case ROFFT_ROOT:

post_root(mdoc);

break;

default:

check_args(mdoc, mdoc->last);

* Closing delimiters are not special at the

Line 352 mdoc_valid_post(struct mdoc *mdoc)

Line 322 mdoc_valid_post(struct mdoc *mdoc)

/* Call the macro's postprocessor. */

p = mdoc_valids[n->tok].post;

p = mdoc_valids + n->tok;

if (*p)

(*p)(mdoc);

if (mdoc->last == n)

mdoc_state(mdoc, n);

break;

}

static void

check_args(struct mdoc *mdoc, struct mdoc_node *n)

check_args(struct roff_man *mdoc, struct roff_node *n)

{

int i;

Line 373 check_args(struct mdoc *mdoc, struct mdoc_node *n)

Line 345 check_args(struct mdoc *mdoc, struct mdoc_node *n)

}

static void

check_argv(struct mdoc *mdoc, struct mdoc_node *n, struct mdoc_argv *v)

check_argv(struct roff_man *mdoc, struct roff_node *n, struct mdoc_argv *v)

{

int i;

Line 382 check_argv(struct mdoc *mdoc, struct mdoc_node *n, str

Line 354 check_argv(struct mdoc *mdoc, struct mdoc_node *n, str

}

static void

check_text(struct mdoc *mdoc, int ln, int pos, char *p)

check_text(struct roff_man *mdoc, int ln, int pos, char *p)

{

char *cp;

Line 395 check_text(struct mdoc *mdoc, int ln, int pos, char *p

Line 367 check_text(struct mdoc *mdoc, int ln, int pos, char *p

}

static void

pre_display(PRE_ARGS)

post_bl_norm(POST_ARGS)

{

struct mdoc_node *node;

struct roff_node *n;

if (MDOC_BLOCK != n->type)

return;

for (node = mdoc->last->parent; node; node = node->parent)

if (MDOC_BLOCK == node->type)

if (MDOC_Bd == node->tok)

break;

if (node)

mandoc_vmsg(MANDOCERR_BD_NEST,

mdoc->parse, n->line, n->pos,

"%s in Bd", mdoc_macronames[n->tok]);

}

static void

pre_bl(PRE_ARGS)

{

struct mdoc_argv *argv, *wa;

int i;

enum mdocargt mdoclt;

enum mdoc_list lt;

if (n->type != MDOC_BLOCK)

n = mdoc->last->parent;

return;

n->norm->Bl.type = LIST__NONE;

* First figure out which kind of list to use: bind ourselves to

Line 548 pre_bl(PRE_ARGS)

Line 502 pre_bl(PRE_ARGS)

mandoc_msg(MANDOCERR_BL_NOTYPE, mdoc->parse,

n->line, n->pos, "Bl");

n->norm->Bl.type = LIST_item;

mdoclt = MDOC_Item;

}

Line 564 pre_bl(PRE_ARGS)

Line 519 pre_bl(PRE_ARGS)

n->line, n->pos, "Bl -tag");

break;

case LIST_column:

/* FALLTHROUGH */

case LIST_diag:

/* FALLTHROUGH */

case LIST_ohang:

/* FALLTHROUGH */

case LIST_inset:

/* FALLTHROUGH */

case LIST_item:

if (n->norm->Bl.width)

mandoc_vmsg(MANDOCERR_BL_SKIPW, mdoc->parse,

Line 578 pre_bl(PRE_ARGS)

Line 529 pre_bl(PRE_ARGS)

mdoc_argnames[mdoclt]);

break;

case LIST_bullet:

/* FALLTHROUGH */

case LIST_dash:

/* FALLTHROUGH */

case LIST_hyphen:

if (NULL == n->norm->Bl.width)

n->norm->Bl.width = "2n";

Line 592 pre_bl(PRE_ARGS)

Line 541 pre_bl(PRE_ARGS)

default:

break;

}

pre_par(mdoc, n);

}

static void

pre_bd(PRE_ARGS)

post_bd(POST_ARGS)

{

struct roff_node *n;

struct mdoc_argv *argv;

int i;

enum mdoc_disp dt;

pre_literal(mdoc, n);

n = mdoc->last;

if (n->type != MDOC_BLOCK)

return;

for (i = 0; n->args && i < (int)n->args->argc; i++) {

argv = n->args->argv + i;

dt = DISP__NONE;

Line 655 pre_bd(PRE_ARGS)

Line 600 pre_bd(PRE_ARGS)

break;

default:

abort();

/* NOTREACHED */

}

if (DISP__NONE == dt)

continue;

Line 673 pre_bd(PRE_ARGS)

Line 617 pre_bd(PRE_ARGS)

n->line, n->pos, "Bd");

n->norm->Bd.type = DISP_ragged;

}

pre_par(mdoc, n);

}

static void

pre_an(PRE_ARGS)

post_an_norm(POST_ARGS)

{

struct roff_node *n;

struct mdoc_argv *argv;

size_t i;

n = mdoc->last;

if (n->args == NULL)

return;

Line 702 pre_an(PRE_ARGS)

Line 647 pre_an(PRE_ARGS)

}

static void

pre_std(PRE_ARGS)

post_std(POST_ARGS)

{

struct roff_node *n;

if (n->args && 1 == n->args->argc)

n = mdoc->last;

if (MDOC_Std == n->args->argv[0].arg)

if (n->args && n->args->argc == 1)

if (n->args->argv[0].arg == MDOC_Std)

return;

mandoc_msg(MANDOCERR_ARG_STD, mdoc->parse,

Line 714 pre_std(PRE_ARGS)

Line 661 pre_std(PRE_ARGS)

}

static void

pre_obsolete(PRE_ARGS)

post_obsolete(POST_ARGS)

{

struct roff_node *n;

if (MDOC_ELEM == n->type || MDOC_BLOCK == n->type)

n = mdoc->last;

if (n->type == ROFFT_ELEM || n->type == ROFFT_BLOCK)

mandoc_msg(MANDOCERR_MACRO_OBS, mdoc->parse,

n->line, n->pos, mdoc_macronames[n->tok]);

}

static void

pre_dt(PRE_ARGS)

{

if (mdoc->meta.title != NULL)

mandoc_msg(MANDOCERR_PROLOG_REP, mdoc->parse,

n->line, n->pos, "Dt");

else if (mdoc->meta.os != NULL)

mandoc_msg(MANDOCERR_PROLOG_ORDER, mdoc->parse,

n->line, n->pos, "Dt after Os");

}

static void

pre_os(PRE_ARGS)

{

if (mdoc->meta.os != NULL)

mandoc_msg(MANDOCERR_PROLOG_REP, mdoc->parse,

n->line, n->pos, "Os");

else if (mdoc->flags & MDOC_PBODY)

mandoc_msg(MANDOCERR_PROLOG_LATE, mdoc->parse,

n->line, n->pos, "Os");

}

static void

pre_dd(PRE_ARGS)

{

if (mdoc->meta.date != NULL)

mandoc_msg(MANDOCERR_PROLOG_REP, mdoc->parse,

n->line, n->pos, "Dd");

else if (mdoc->flags & MDOC_PBODY)

mandoc_msg(MANDOCERR_PROLOG_LATE, mdoc->parse,

n->line, n->pos, "Dd");

else if (mdoc->meta.title != NULL)

mandoc_msg(MANDOCERR_PROLOG_ORDER, mdoc->parse,

n->line, n->pos, "Dd after Dt");

else if (mdoc->meta.os != NULL)

mandoc_msg(MANDOCERR_PROLOG_ORDER, mdoc->parse,

n->line, n->pos, "Dd after Os");

}

static void

post_bf(POST_ARGS)

{

struct mdoc_node *np, *nch;

struct roff_node *np, *nch;

enum mdocargt arg;

* Unlike other data pointers, these are "housed" by the HEAD

Line 776 post_bf(POST_ARGS)

Line 682 post_bf(POST_ARGS)

np = mdoc->last;

if (MDOC_HEAD != np->type)

if (np->type != ROFFT_HEAD)

return;

assert(MDOC_BLOCK == np->parent->type);

assert(np->parent->type == ROFFT_BLOCK);

assert(MDOC_Bf == np->parent->tok);

assert(np->parent->tok == MDOC_Bf);

/* Check the number of arguments. */

nch = np->child;

if (NULL == np->parent->args) {

if (np->parent->args == NULL) {

if (NULL == nch) {

if (nch == NULL) {

mandoc_msg(MANDOCERR_BF_NOFONT, mdoc->parse,

np->line, np->pos, "Bf");

return;

}

nch = nch->next;

}

if (NULL != nch)

if (nch != NULL)

mandoc_vmsg(MANDOCERR_ARG_EXCESS, mdoc->parse,

nch->line, nch->pos, "Bf ... %s", nch->string);

/* Extract argument into data. */

if (np->parent->args) {

if (np->parent->args != NULL) {

arg = np->parent->args->argv[0].arg;

switch (np->parent->args->argv[0].arg) {

if (MDOC_Emphasis == arg)

case MDOC_Emphasis:

np->norm->Bf.font = FONT_Em;

else if (MDOC_Literal == arg)

break;

case MDOC_Literal:

np->norm->Bf.font = FONT_Li;

else if (MDOC_Symbolic == arg)

break;

case MDOC_Symbolic:

np->norm->Bf.font = FONT_Sy;

else

break;

default:

abort();

}

return;

}

/* Extract parameter into data. */

if (0 == strcmp(np->child->string, "Em"))

if ( ! strcmp(np->child->string, "Em"))

np->norm->Bf.font = FONT_Em;

else if (0 == strcmp(np->child->string, "Li"))

else if ( ! strcmp(np->child->string, "Li"))

np->norm->Bf.font = FONT_Li;

else if (0 == strcmp(np->child->string, "Sy"))

else if ( ! strcmp(np->child->string, "Sy"))

np->norm->Bf.font = FONT_Sy;

else

mandoc_vmsg(MANDOCERR_BF_BADFONT, mdoc->parse,

Line 829 post_bf(POST_ARGS)

Line 739 post_bf(POST_ARGS)

static void

post_lb(POST_ARGS)

{

struct mdoc_node *n;

struct roff_node *n;

const char *stdlibname;

char *libname;

n = mdoc->last->child;

assert(MDOC_TEXT == n->type);

assert(n->type == ROFFT_TEXT);

if (NULL == (stdlibname = mdoc_a2lib(n->string)))

mandoc_asprintf(&libname,

"library \\(lq%s\\(rq", n->string);

"library \\(Lq%s\\(Rq", n->string);

else

libname = mandoc_strdup(stdlibname);

Line 849 post_lb(POST_ARGS)

Line 759 post_lb(POST_ARGS)

static void

post_eoln(POST_ARGS)

{

const struct mdoc_node *n;

const struct roff_node *n;

n = mdoc->last;

if (n->child)

if (n->child != NULL)

mandoc_vmsg(MANDOCERR_ARG_SKIP,

mdoc->parse, n->line, n->pos,

"%s %s", mdoc_macronames[n->tok],

Line 862 post_eoln(POST_ARGS)

Line 772 post_eoln(POST_ARGS)

static void

post_fname(POST_ARGS)

{

const struct mdoc_node *n;

const struct roff_node *n;

const char *cp;

size_t pos;

Line 885 post_fn(POST_ARGS)

Line 795 post_fn(POST_ARGS)

static void

post_fo(POST_ARGS)

{

const struct mdoc_node *n;

const struct roff_node *n;

n = mdoc->last;

if (n->type != MDOC_HEAD)

if (n->type != ROFFT_HEAD)

return;

if (n->child == NULL) {

Line 902 post_fo(POST_ARGS)

Line 812 post_fo(POST_ARGS)

n->child->next->line, n->child->next->pos,

"Fo ... %s", n->child->next->string);

while (n->child != n->last)

mdoc_node_delete(mdoc, n->last);

roff_node_delete(mdoc, n->last);

}

post_fname(mdoc);

Line 911 post_fo(POST_ARGS)

Line 821 post_fo(POST_ARGS)

static void

post_fa(POST_ARGS)

{

const struct mdoc_node *n;

const struct roff_node *n;

const char *cp;

for (n = mdoc->last->child; n != NULL; n = n->next) {

Line 930 post_fa(POST_ARGS)

Line 840 post_fa(POST_ARGS)

}

static void

post_vt(POST_ARGS)

{

const struct mdoc_node *n;

* The Vt macro comes in both ELEM and BLOCK form, both of which

* have different syntaxes (yet more context-sensitive

* behaviour). ELEM types must have a child, which is already

* guaranteed by the in_line parsing routine; BLOCK types,

* specifically the BODY, should only have TEXT children.

if (MDOC_BODY != mdoc->last->type)

return;

for (n = mdoc->last->child; n; n = n->next)

if (MDOC_TEXT != n->type)

mandoc_msg(MANDOCERR_VT_CHILD, mdoc->parse,

n->line, n->pos, mdoc_macronames[n->tok]);

}

static void

post_nm(POST_ARGS)

{

struct mdoc_node *n;

struct roff_node *n;

n = mdoc->last;

Line 963 post_nm(POST_ARGS)

Line 851 post_nm(POST_ARGS)

n->last->tok == MDOC_Lp))

mdoc_node_relink(mdoc, n->last);

if (NULL != mdoc->meta.name)

if (mdoc->meta.name != NULL)

return;

mdoc_deroff(&mdoc->meta.name, n);

deroff(&mdoc->meta.name, n);

if (NULL == mdoc->meta.name)

if (mdoc->meta.name == NULL)

mandoc_msg(MANDOCERR_NM_NONAME, mdoc->parse,

n->line, n->pos, "Nm");

}

Line 976 post_nm(POST_ARGS)

Line 864 post_nm(POST_ARGS)

static void

post_nd(POST_ARGS)

{

struct mdoc_node *n;

struct roff_node *n;

n = mdoc->last;

if (n->type != MDOC_BODY)

if (n->type != ROFFT_BODY)

return;

if (n->child == NULL)

Line 991 post_nd(POST_ARGS)

Line 879 post_nd(POST_ARGS)

}

static void

post_d1(POST_ARGS)

post_display(POST_ARGS)

{

struct mdoc_node *n;

struct roff_node *n, *np;

n = mdoc->last;

switch (n->type) {

if (n->type != MDOC_BODY)

case ROFFT_BODY:

return;

if (n->end != ENDBODY_NOT)

break;

if (n->child == NULL)

mandoc_msg(MANDOCERR_BLK_EMPTY, mdoc->parse,

n->line, n->pos, "D1");

n->line, n->pos, mdoc_macronames[n->tok]);

else if (n->tok == MDOC_D1)

post_hyph(mdoc);

break;

case ROFFT_BLOCK:

if (n->tok == MDOC_Bd) {

if (n->args == NULL) {

mandoc_msg(MANDOCERR_BD_NOARG,

mdoc->parse, n->line, n->pos, "Bd");

mdoc->next = ROFF_NEXT_SIBLING;

while (n->body->child != NULL)

mdoc_node_relink(mdoc,

n->body->child);

roff_node_delete(mdoc, n);

break;

}

post_bd(mdoc);

post_prevpar(mdoc);

}

for (np = n->parent; np != NULL; np = np->parent) {

if (np->type == ROFFT_BLOCK && np->tok == MDOC_Bd) {

mandoc_vmsg(MANDOCERR_BD_NEST,

mdoc->parse, n->line, n->pos,

"%s in Bd", mdoc_macronames[n->tok]);

break;

}

break;

default:

break;

}

static void

post_literal(POST_ARGS)

{

struct mdoc_node *n;

n = mdoc->last;

if (n->type != MDOC_BODY)

return;

if (n->child == NULL)

mandoc_msg(MANDOCERR_BLK_EMPTY, mdoc->parse,

n->line, n->pos, mdoc_macronames[n->tok]);

if (n->tok == MDOC_Bd &&

n->norm->Bd.type != DISP_literal &&

n->norm->Bd.type != DISP_unfilled)

return;

mdoc->flags &= ~MDOC_LITERAL;

}

static void

post_defaults(POST_ARGS)

{

struct mdoc_node *nn;

struct roff_node *nn;

* The `Ar' defaults to "file ..." if no value is provided as an

Line 1040 post_defaults(POST_ARGS)

Line 934 post_defaults(POST_ARGS)

* gets an empty string.

if (mdoc->last->child)

if (mdoc->last->child != NULL)

return;

nn = mdoc->last;

mdoc->next = MDOC_NEXT_CHILD;

switch (nn->tok) {

case MDOC_Ar:

mdoc_word_alloc(mdoc, nn->line, nn->pos, "file");

mdoc->next = ROFF_NEXT_CHILD;

mdoc_word_alloc(mdoc, nn->line, nn->pos, "...");

roff_word_alloc(mdoc, nn->line, nn->pos, "file");

roff_word_alloc(mdoc, nn->line, nn->pos, "...");

break;

case MDOC_Pa:

/* FALLTHROUGH */

case MDOC_Mt:

mdoc_word_alloc(mdoc, nn->line, nn->pos, "~");

mdoc->next = ROFF_NEXT_CHILD;

roff_word_alloc(mdoc, nn->line, nn->pos, "~");

break;

default:

abort();

/* NOTREACHED */

}

mdoc->last = nn;

}

Line 1066 post_defaults(POST_ARGS)

Line 959 post_defaults(POST_ARGS)

static void

post_at(POST_ARGS)

{

struct mdoc_node *n;

struct roff_node *n;

const char *std_att;

char *att;

n = mdoc->last;

if (n->child == NULL) {

mdoc->next = MDOC_NEXT_CHILD;

mdoc->next = ROFF_NEXT_CHILD;

mdoc_word_alloc(mdoc, n->line, n->pos, "AT&T UNIX");

roff_word_alloc(mdoc, n->line, n->pos, "AT&T UNIX");

mdoc->last = n;

return;

}

Line 1085 post_at(POST_ARGS)

Line 978 post_at(POST_ARGS)

n = n->child;

assert(MDOC_TEXT == n->type);

assert(n->type == ROFFT_TEXT);

if (NULL == (std_att = mdoc_a2att(n->string))) {

if ((std_att = mdoc_a2att(n->string)) == NULL) {

mandoc_vmsg(MANDOCERR_AT_BAD, mdoc->parse,

n->line, n->pos, "At %s", n->string);

mandoc_asprintf(&att, "AT&T UNIX %s", n->string);

Line 1100 post_at(POST_ARGS)

Line 993 post_at(POST_ARGS)

static void

post_an(POST_ARGS)

{

struct mdoc_node *np, *nch;

struct roff_node *np, *nch;

post_an_norm(mdoc);

np = mdoc->last;

nch = np->child;

if (np->norm->An.auth == AUTH__NONE) {

Line 1117 static void

Line 1012 static void

post_en(POST_ARGS)

{

if (MDOC_BLOCK == mdoc->last->type)

post_obsolete(mdoc);

if (mdoc->last->type == ROFFT_BLOCK)

mdoc->last->norm->Es = mdoc->last_es;

}

Line 1125 static void

Line 1021 static void

post_es(POST_ARGS)

{

post_obsolete(mdoc);

mdoc->last_es = mdoc->last;

}

static void

post_it(POST_ARGS)

{

struct roff_node *nbl, *nit, *nch;

int i, cols;

enum mdoc_list lt;

struct mdoc_node *nbl, *nit, *nch;

post_prevpar(mdoc);

nit = mdoc->last;

if (nit->type != MDOC_BLOCK)

if (nit->type != ROFFT_BLOCK)

return;

nbl = nit->parent->parent;

Line 1144 post_it(POST_ARGS)

Line 1043 post_it(POST_ARGS)

switch (lt) {

case LIST_tag:

/* FALLTHROUGH */

case LIST_hang:

/* FALLTHROUGH */

case LIST_ohang:

/* FALLTHROUGH */

case LIST_inset:

/* FALLTHROUGH */

case LIST_diag:

if (nit->head->child == NULL)

mandoc_vmsg(MANDOCERR_IT_NOHEAD,

Line 1159 post_it(POST_ARGS)

Line 1054 post_it(POST_ARGS)

mdoc_argnames[nbl->args->argv[0].arg]);

break;

case LIST_bullet:

/* FALLTHROUGH */

case LIST_dash:

/* FALLTHROUGH */

case LIST_enum:

/* FALLTHROUGH */

case LIST_hyphen:

if (nit->body == NULL || nit->body->child == NULL)

mandoc_vmsg(MANDOCERR_IT_NOBODY,

Line 1182 post_it(POST_ARGS)

Line 1074 post_it(POST_ARGS)

assert(nit->head->child == NULL);

for (i = 0, nch = nit->child; nch; nch = nch->next)

i = 0;

if (nch->type == MDOC_BODY)

for (nch = nit->child; nch != NULL; nch = nch->next)

if (nch->type == ROFFT_BODY)

i++;

if (i < cols || i > cols + 1)

Line 1199 post_it(POST_ARGS)

Line 1092 post_it(POST_ARGS)

static void

post_bl_block(POST_ARGS)

{

struct mdoc_node *n, *ni, *nc;

struct roff_node *n, *ni, *nc;

post_prevpar(mdoc);

* These are fairly complicated, so we've broken them into two

* functions. post_bl_block_tag() is called when a -tag is

Line 1211 post_bl_block(POST_ARGS)

Line 1106 post_bl_block(POST_ARGS)

n = mdoc->last;

if (LIST_tag == n->norm->Bl.type &&

if (n->norm->Bl.type == LIST_tag &&

NULL == n->norm->Bl.width) {

n->norm->Bl.width == NULL) {

post_bl_block_tag(mdoc);

assert(n->norm->Bl.width);

assert(n->norm->Bl.width != NULL);

}

for (ni = n->body->child; ni; ni = ni->next) {

for (ni = n->body->child; ni != NULL; ni = ni->next) {

if (NULL == ni->body)

if (ni->body == NULL)

continue;

nc = ni->body->last;

while (NULL != nc) {

while (nc != NULL) {

switch (nc->tok) {

case MDOC_Pp:

/* FALLTHROUGH */

case MDOC_Lp:

/* FALLTHROUGH */

case MDOC_br:

break;

default:

nc = NULL;

continue;

}

if (NULL == ni->next) {

if (ni->next == NULL) {

mandoc_msg(MANDOCERR_PAR_MOVE,

mdoc->parse, nc->line, nc->pos,

mdoc_macronames[nc->tok]);

mdoc_node_relink(mdoc, nc);

} else if (0 == n->norm->Bl.comp &&

} else if (n->norm->Bl.comp == 0 &&

LIST_column != n->norm->Bl.type) {

n->norm->Bl.type != LIST_column) {

mandoc_vmsg(MANDOCERR_PAR_SKIP,

mdoc->parse, nc->line, nc->pos,

"%s before It",

mdoc_macronames[nc->tok]);

mdoc_node_delete(mdoc, nc);

roff_node_delete(mdoc, nc);

} else

break;

nc = ni->body->last;

Line 1260 void

Line 1153 void

rewrite_macro2len(char **arg)

{

size_t width;

enum mdoct tok;

int tok;

if (*arg == NULL)

return;

else if ( ! strcmp(*arg, "Ds"))

width = 6;

else if ((tok = mdoc_hash_find(*arg)) == MDOC_MAX)

else if ((tok = mdoc_hash_find(*arg)) == TOKEN_NONE)

return;

else

width = macro2len(tok);

Line 1278 rewrite_macro2len(char **arg)

Line 1171 rewrite_macro2len(char **arg)

static void

post_bl_block_tag(POST_ARGS)

{

struct mdoc_node *n, *nn;

struct roff_node *n, *nn;

size_t sz, ssz;

int i;

char buf[24];

Line 1293 post_bl_block_tag(POST_ARGS)

Line 1186 post_bl_block_tag(POST_ARGS)

sz = 10;

n = mdoc->last;

for (nn = n->body->child; nn; nn = nn->next) {

for (nn = n->body->child; nn != NULL; nn = nn->next) {

if (MDOC_It != nn->tok)

if (nn->tok != MDOC_It)

continue;

assert(MDOC_BLOCK == nn->type);

assert(nn->type == ROFFT_BLOCK);

nn = nn->head->child;

if (nn == NULL)

break;

if (MDOC_TEXT == nn->type) {

if (nn->type == ROFFT_TEXT) {

sz = strlen(nn->string) + 1;

break;

}

Line 1323 post_bl_block_tag(POST_ARGS)

Line 1216 post_bl_block_tag(POST_ARGS)

* We're guaranteed that a MDOC_Width doesn't already exist.

assert(n->args);

assert(n->args != NULL);

i = (int)(n->args->argc)++;

n->args->argv = mandoc_reallocarray(n->args->argv,

Line 1343 post_bl_block_tag(POST_ARGS)

Line 1236 post_bl_block_tag(POST_ARGS)

static void

post_bl_head(POST_ARGS)

{

struct mdoc_node *nbl, *nh, *nch, *nnext;

struct roff_node *nbl, *nh, *nch, *nnext;

struct mdoc_argv *argv;

int i, j;

nh = mdoc->last;

post_bl_norm(mdoc);

nh = mdoc->last;

if (nh->norm->Bl.type != LIST_column) {

if ((nch = nh->child) == NULL)

return;

mandoc_vmsg(MANDOCERR_ARG_EXCESS, mdoc->parse,

nch->line, nch->pos, "Bl ... %s", nch->string);

while (nch != NULL) {

mdoc_node_delete(mdoc, nch);

roff_node_delete(mdoc, nch);

nch = nh->child;

}

return;

Line 1385 post_bl_head(POST_ARGS)

Line 1279 post_bl_head(POST_ARGS)

argv = nbl->args->argv + j;

i = argv->sz;

argv->sz += nh->nchild;

for (nch = nh->child; nch != NULL; nch = nch->next)

argv->sz++;

argv->value = mandoc_reallocarray(argv->value,

argv->sz, sizeof(char *));

Line 1396 post_bl_head(POST_ARGS)

Line 1291 post_bl_head(POST_ARGS)

argv->value[i++] = nch->string;

nch->string = NULL;

nnext = nch->next;

mdoc_node_delete(NULL, nch);

roff_node_delete(NULL, nch);

}

nh->nchild = 0;

nh->child = NULL;

}

static void

post_bl(POST_ARGS)

{

struct mdoc_node *nparent, *nprev; /* of the Bl block */

struct roff_node *nparent, *nprev; /* of the Bl block */

struct mdoc_node *nblock, *nbody; /* of the Bl */

struct roff_node *nblock, *nbody; /* of the Bl */

struct mdoc_node *nchild, *nnext; /* of the Bl body */

struct roff_node *nchild, *nnext; /* of the Bl body */

nbody = mdoc->last;

switch (nbody->type) {

case MDOC_BLOCK:

case ROFFT_BLOCK:

post_bl_block(mdoc);

return;

case MDOC_HEAD:

case ROFFT_HEAD:

post_bl_head(mdoc);

return;

case MDOC_BODY:

case ROFFT_BODY:

break;

default:

return;

}

if (nbody->end != ENDBODY_NOT)

return;

nchild = nbody->child;

if (nchild == NULL) {

Line 1456 post_bl(POST_ARGS)

Line 1352 post_bl(POST_ARGS)

* Unlink this child.

assert(NULL == nchild->prev);

assert(nchild->prev == NULL);

if (0 == --nbody->nchild) {

nbody->child = nnext;

nbody->child = NULL;

if (nnext == NULL)

nbody->last = NULL;

assert(NULL == nnext);

else

} else {

nbody->child = nnext;

nnext->prev = NULL;

}

* Relink this child.

Line 1475 post_bl(POST_ARGS)

Line 1368 post_bl(POST_ARGS)

nchild->next = nblock;

nblock->prev = nchild;

nparent->nchild++;

if (nprev == NULL)

if (NULL == nprev)

nparent->child = nchild;

else

nprev->next = nchild;

Line 1488 post_bl(POST_ARGS)

Line 1380 post_bl(POST_ARGS)

static void

post_bk(POST_ARGS)

{

struct mdoc_node *n;

struct roff_node *n;

n = mdoc->last;

if (n->type == MDOC_BLOCK && n->body->child == NULL) {

if (n->type == ROFFT_BLOCK && n->body->child == NULL) {

mandoc_msg(MANDOCERR_BLK_EMPTY,

mdoc->parse, n->line, n->pos, "Bk");

mdoc_node_delete(mdoc, n);

roff_node_delete(mdoc, n);

}

static void

post_sm(struct mdoc *mdoc)

post_sm(POST_ARGS)

{

struct mdoc_node *nch;

struct roff_node *nch;

nch = mdoc->last->child;

Line 1511 post_sm(struct mdoc *mdoc)

Line 1403 post_sm(struct mdoc *mdoc)

return;

}

assert(nch->type == MDOC_TEXT);

assert(nch->type == ROFFT_TEXT);

if ( ! strcmp(nch->string, "on")) {

mdoc->flags &= ~MDOC_SMOFF;

Line 1532 post_sm(struct mdoc *mdoc)

Line 1424 post_sm(struct mdoc *mdoc)

static void

post_root(POST_ARGS)

{

struct mdoc_node *n;

struct roff_node *n;

/* Add missing prologue data. */

Line 1559 post_root(POST_ARGS)

Line 1451 post_root(POST_ARGS)

/* Check that we begin with a proper `Sh'. */

n = mdoc->first->child;

while (n != NULL && mdoc_macros[n->tok].flags & MDOC_PROLOGUE)

while (n != NULL && n->tok != TOKEN_NONE &&

mdoc_macros[n->tok].flags & MDOC_PROLOGUE)

n = n->next;

if (n == NULL)

Line 1572 post_root(POST_ARGS)

Line 1465 post_root(POST_ARGS)

static void

post_st(POST_ARGS)

{

struct mdoc_node *n, *nch;

struct roff_node *n, *nch;

const char *p;

n = mdoc->last;

nch = n->child;

assert(MDOC_TEXT == nch->type);

assert(nch->type == ROFFT_TEXT);

if (NULL == (p = mdoc_a2st(nch->string))) {

if ((p = mdoc_a2st(nch->string)) == NULL) {

mandoc_vmsg(MANDOCERR_ST_BAD, mdoc->parse,

nch->line, nch->pos, "St %s", nch->string);

mdoc_node_delete(mdoc, n);

roff_node_delete(mdoc, n);

} else {

free(nch->string);

nch->string = mandoc_strdup(p);

Line 1593 post_st(POST_ARGS)

Line 1486 post_st(POST_ARGS)

static void

post_rs(POST_ARGS)

{

struct mdoc_node *np, *nch, *next, *prev;

struct roff_node *np, *nch, *next, *prev;

int i, j;

np = mdoc->last;

if (np->type != MDOC_BODY)

if (np->type != ROFFT_BODY)

return;

if (np->child == NULL) {

Line 1630 post_rs(POST_ARGS)

Line 1523 post_rs(POST_ARGS)

* Remove this child from the chain. This somewhat

* repeats mdoc_node_unlink(), but since we're

* repeats roff_node_unlink(), but since we're

* just re-ordering, there's no need for the

* full unlink process.

Line 1687 post_rs(POST_ARGS)

Line 1580 post_rs(POST_ARGS)

static void

post_hyph(POST_ARGS)

{

struct mdoc_node *nch;

struct roff_node *nch;

char *cp;

for (nch = mdoc->last->child; nch != NULL; nch = nch->next) {

if (nch->type != MDOC_TEXT)

if (nch->type != ROFFT_TEXT)

continue;

cp = nch->string;

if (*cp == '\0')

Line 1708 static void

Line 1601 static void

post_ns(POST_ARGS)

{

if (MDOC_LINE & mdoc->last->flags)

if (mdoc->last->flags & MDOC_LINE)

mandoc_msg(MANDOCERR_NS_SKIP, mdoc->parse,

mdoc->last->line, mdoc->last->pos, NULL);

}

Line 1720 post_sh(POST_ARGS)

Line 1613 post_sh(POST_ARGS)

post_ignpar(mdoc);

switch (mdoc->last->type) {

case MDOC_HEAD:

case ROFFT_HEAD:

post_sh_head(mdoc);

break;

case MDOC_BODY:

case ROFFT_BODY:

switch (mdoc->lastsec) {

case SEC_NAME:

post_sh_name(mdoc);

Line 1746 post_sh(POST_ARGS)

Line 1639 post_sh(POST_ARGS)

static void

post_sh_name(POST_ARGS)

{

struct mdoc_node *n;

struct roff_node *n;

int hasnm, hasnd;

hasnm = hasnd = 0;

* Warn if the NAME section doesn't contain the `Nm' and `Nd'

* macros (can have multiple `Nm' and one `Nd'). Note that the

* children of the BODY declaration can also be "text".

if (NULL == (n = mdoc->last->child)) {

for (n = mdoc->last->child; n != NULL; n = n->next) {

mandoc_msg(MANDOCERR_NAMESEC_BAD, mdoc->parse,

switch (n->tok) {

mdoc->last->line, mdoc->last->pos, "empty");

case MDOC_Nm:

return;

hasnm = 1;

break;

case MDOC_Nd:

hasnd = 1;

if (n->next != NULL)

mandoc_msg(MANDOCERR_NAMESEC_ND,

mdoc->parse, n->line, n->pos, NULL);

break;

case TOKEN_NONE:

if (hasnm)

break;

/* FALLTHROUGH */

default:

mandoc_msg(MANDOCERR_NAMESEC_BAD, mdoc->parse,

n->line, n->pos, mdoc_macronames[n->tok]);

break;

}

for ( ; n && n->next; n = n->next) {

if ( ! hasnm)

if (MDOC_ELEM == n->type && MDOC_Nm == n->tok)

mandoc_msg(MANDOCERR_NAMESEC_NONM, mdoc->parse,

continue;

mdoc->last->line, mdoc->last->pos, NULL);

if (MDOC_TEXT == n->type)

if ( ! hasnd)

continue;

mandoc_msg(MANDOCERR_NAMESEC_NOND, mdoc->parse,

mandoc_msg(MANDOCERR_NAMESEC_BAD, mdoc->parse,

mdoc->last->line, mdoc->last->pos, NULL);

n->line, n->pos, mdoc_macronames[n->tok]);

}

assert(n);

if (MDOC_BLOCK == n->type && MDOC_Nd == n->tok)

return;

mandoc_msg(MANDOCERR_NAMESEC_BAD, mdoc->parse,

n->line, n->pos, mdoc_macronames[n->tok]);

}

static void

post_sh_see_also(POST_ARGS)

{

const struct mdoc_node *n;

const struct roff_node *n;

const char *name, *sec;

const char *lastname, *lastsec, *lastpunct;

int cmp;

Line 1788 post_sh_see_also(POST_ARGS)

Line 1685 post_sh_see_also(POST_ARGS)

n = mdoc->last->child;

lastname = lastsec = lastpunct = NULL;

while (n != NULL) {

if (n->tok != MDOC_Xr || n->nchild < 2)

if (n->tok != MDOC_Xr ||

n->child == NULL ||

n->child->next == NULL)

break;

/* Process one .Xr node. */

Line 1825 post_sh_see_also(POST_ARGS)

Line 1724 post_sh_see_also(POST_ARGS)

lastpunct = "none";

continue;

}

if (n->type != MDOC_TEXT)

if (n->type != ROFFT_TEXT)

break;

for (name = n->string; *name != '\0'; name++)

if (isalpha((const unsigned char)*name))

Line 1840 post_sh_see_also(POST_ARGS)

Line 1739 post_sh_see_also(POST_ARGS)

}

static int

child_an(const struct mdoc_node *n)

child_an(const struct roff_node *n)

{

for (n = n->child; n != NULL; n = n->next)

if ((n->tok == MDOC_An && n->nchild) || child_an(n))

if ((n->tok == MDOC_An && n->child != NULL) || child_an(n))

return(1);

return 1;

return(0);

return 0;

}

static void

Line 1861 post_sh_authors(POST_ARGS)

Line 1760 post_sh_authors(POST_ARGS)

static void

post_sh_head(POST_ARGS)

{

struct mdoc_node *n;

const char *goodsec;

char *secname;

enum roff_sec sec;

enum mdoc_sec sec;

* Process a new section. Sections are either "named" or

Line 1873 post_sh_head(POST_ARGS)

Line 1770 post_sh_head(POST_ARGS)

* manual sections.

secname = NULL;

sec = mdoc->last->sec;

sec = SEC_CUSTOM;

mdoc_deroff(&secname, mdoc->last);

sec = NULL == secname ? SEC_CUSTOM : a2sec(secname);

/* The NAME should be first. */

if (SEC_NAME != sec && SEC_NONE == mdoc->lastnamed)

if (sec != SEC_NAME && mdoc->lastnamed == SEC_NONE)

mandoc_vmsg(MANDOCERR_NAMESEC_FIRST, mdoc->parse,

mdoc->last->line, mdoc->last->pos,

mdoc->last->line, mdoc->last->pos, "Sh %s",

"Sh %s", secname);

sec == SEC_CUSTOM ? mdoc->last->child->string :

secnames[sec]);

/* The SYNOPSIS gets special attention in other areas. */

if (SEC_SYNOPSIS == sec) {

if (sec == SEC_SYNOPSIS) {

roff_setreg(mdoc->roff, "nS", 1, '=');

mdoc->flags |= MDOC_SYNOPSIS;

} else {

Line 1899 post_sh_head(POST_ARGS)

Line 1794 post_sh_head(POST_ARGS)

mdoc->lastsec = sec;

* Set the section attribute for the current HEAD, for its

* parent BLOCK, and for the HEAD children; the latter can

* only be TEXT nodes, so no recursion is needed.

* For other blocks and elements, including .Sh BODY, this is

* done when allocating the node data structures, but for .Sh

* BLOCK and HEAD, the section is still unknown at that time.

mdoc->last->parent->sec = sec;

mdoc->last->sec = sec;

for (n = mdoc->last->child; n; n = n->next)

n->sec = sec;

/* We don't care about custom sections after this. */

if (SEC_CUSTOM == sec) {

if (sec == SEC_CUSTOM)

free(secname);

return;

}

* Check whether our non-custom section is being repeated or is

Line 1928 post_sh_head(POST_ARGS)

Line 1807 post_sh_head(POST_ARGS)

if (sec == mdoc->lastnamed)

mandoc_vmsg(MANDOCERR_SEC_REP, mdoc->parse,

mdoc->last->line, mdoc->last->pos,

"Sh %s", secname);

"Sh %s", secnames[sec]);

if (sec < mdoc->lastnamed)

mandoc_vmsg(MANDOCERR_SEC_ORDER, mdoc->parse,

mdoc->last->line, mdoc->last->pos,

"Sh %s", secname);

"Sh %s", secnames[sec]);

/* Mark the last named section. */

Line 1941 post_sh_head(POST_ARGS)

Line 1820 post_sh_head(POST_ARGS)

/* Check particular section/manual conventions. */

if (mdoc->meta.msec == NULL) {

if (mdoc->meta.msec == NULL)

free(secname);

return;

}

goodsec = NULL;

switch (sec) {

Line 1954 post_sh_head(POST_ARGS)

Line 1831 post_sh_head(POST_ARGS)

goodsec = "2, 3, 4, 9";

/* FALLTHROUGH */

case SEC_RETURN_VALUES:

/* FALLTHROUGH */

case SEC_LIBRARY:

if (*mdoc->meta.msec == '2')

break;

Line 1970 post_sh_head(POST_ARGS)

Line 1846 post_sh_head(POST_ARGS)

goodsec = "9";

mandoc_vmsg(MANDOCERR_SEC_MSEC, mdoc->parse,

mdoc->last->line, mdoc->last->pos,

"Sh %s for %s only", secname, goodsec);

"Sh %s for %s only", secnames[sec], goodsec);

break;

default:

break;

}

free(secname);

}

static void

post_ignpar(POST_ARGS)

{

struct mdoc_node *np;

struct roff_node *np;

switch (mdoc->last->type) {

case MDOC_HEAD:

case ROFFT_HEAD:

post_hyph(mdoc);

return;

case MDOC_BODY:

case ROFFT_BODY:

break;

default:

return;

}

if (NULL != (np = mdoc->last->child))

if ((np = mdoc->last->child) != NULL)

if (MDOC_Pp == np->tok || MDOC_Lp == np->tok) {

if (np->tok == MDOC_Pp || np->tok == MDOC_Lp) {

mandoc_vmsg(MANDOCERR_PAR_SKIP,

mdoc->parse, np->line, np->pos,

"%s after %s", mdoc_macronames[np->tok],

mdoc_macronames[mdoc->last->tok]);

mdoc_node_delete(mdoc, np);

roff_node_delete(mdoc, np);

}

if (NULL != (np = mdoc->last->last))

if ((np = mdoc->last->last) != NULL)

if (MDOC_Pp == np->tok || MDOC_Lp == np->tok) {

if (np->tok == MDOC_Pp || np->tok == MDOC_Lp) {

mandoc_vmsg(MANDOCERR_PAR_SKIP, mdoc->parse,

np->line, np->pos, "%s at the end of %s",

mdoc_macronames[np->tok],

mdoc_macronames[mdoc->last->tok]);

mdoc_node_delete(mdoc, np);

roff_node_delete(mdoc, np);

}

static void

pre_par(PRE_ARGS)

post_prevpar(POST_ARGS)

{

struct roff_node *n;

if (NULL == mdoc->last)

n = mdoc->last;

if (NULL == n->prev)

return;

if (MDOC_ELEM != n->type && MDOC_BLOCK != n->type)

if (n->type != ROFFT_ELEM && n->type != ROFFT_BLOCK)

return;

Line 2026 pre_par(PRE_ARGS)

Line 1903 pre_par(PRE_ARGS)

* block: `Lp', `Pp', or non-compact `Bd' or `Bl'.

if (MDOC_Pp != mdoc->last->tok &&

if (n->prev->tok != MDOC_Pp &&

MDOC_Lp != mdoc->last->tok &&

n->prev->tok != MDOC_Lp &&

MDOC_br != mdoc->last->tok)

n->prev->tok != MDOC_br)

return;

if (MDOC_Bl == n->tok && n->norm->Bl.comp)

if (n->tok == MDOC_Bl && n->norm->Bl.comp)

return;

if (MDOC_Bd == n->tok && n->norm->Bd.comp)

if (n->tok == MDOC_Bd && n->norm->Bd.comp)

return;

if (MDOC_It == n->tok && n->parent->norm->Bl.comp)

if (n->tok == MDOC_It && n->parent->norm->Bl.comp)

return;

mandoc_vmsg(MANDOCERR_PAR_SKIP, mdoc->parse,

mdoc->last->line, mdoc->last->pos,

n->prev->line, n->prev->pos,

"%s before %s", mdoc_macronames[mdoc->last->tok],

"%s before %s", mdoc_macronames[n->prev->tok],

mdoc_macronames[n->tok]);

mdoc_node_delete(mdoc, mdoc->last);

roff_node_delete(mdoc, n->prev);

}

static void

post_par(POST_ARGS)

{

struct mdoc_node *np;

struct roff_node *np;

np = mdoc->last;

if (np->tok != MDOC_br && np->tok != MDOC_sp)

post_prevpar(mdoc);

if (np->tok == MDOC_sp) {

if (np->nchild > 1)

if (np->child != NULL && np->child->next != NULL)

mandoc_vmsg(MANDOCERR_ARG_EXCESS, mdoc->parse,

np->child->next->line, np->child->next->pos,

"sp ... %s", np->child->next->string);

Line 2061 post_par(POST_ARGS)

Line 1940 post_par(POST_ARGS)

mdoc->parse, np->line, np->pos, "%s %s",

mdoc_macronames[np->tok], np->child->string);

if (NULL == (np = mdoc->last->prev)) {

if ((np = mdoc->last->prev) == NULL) {

np = mdoc->last->parent;

if (MDOC_Sh != np->tok && MDOC_Ss != np->tok)

if (np->tok != MDOC_Sh && np->tok != MDOC_Ss)

return;

} else if (MDOC_Pp != np->tok && MDOC_Lp != np->tok &&

} else if (np->tok != MDOC_Pp && np->tok != MDOC_Lp &&

(MDOC_br != mdoc->last->tok ||

(mdoc->last->tok != MDOC_br ||

(MDOC_sp != np->tok && MDOC_br != np->tok)))

(np->tok != MDOC_sp && np->tok != MDOC_br)))

return;

mandoc_vmsg(MANDOCERR_PAR_SKIP, mdoc->parse,

mdoc->last->line, mdoc->last->pos,

"%s after %s", mdoc_macronames[mdoc->last->tok],

mdoc_macronames[np->tok]);

mdoc_node_delete(mdoc, mdoc->last);

roff_node_delete(mdoc, mdoc->last);

}

static void

pre_literal(PRE_ARGS)

{

pre_display(mdoc, n);

if (MDOC_BODY != n->type)

return;

* The `Dl' (note "el" not "one") and `Bd -literal' and `Bd

* -unfilled' macros set MDOC_LITERAL on entrance to the body.

switch (n->tok) {

case MDOC_Dl:

mdoc->flags |= MDOC_LITERAL;

break;

case MDOC_Bd:

if (DISP_literal == n->norm->Bd.type)

mdoc->flags |= MDOC_LITERAL;

if (DISP_unfilled == n->norm->Bd.type)

mdoc->flags |= MDOC_LITERAL;

break;

default:

abort();

/* NOTREACHED */

}

static void

post_dd(POST_ARGS)

{

struct mdoc_node *n;

struct roff_node *n;

char *datestr;

if (mdoc->meta.date)

n = mdoc->last;

if (mdoc->meta.date != NULL) {

mandoc_msg(MANDOCERR_PROLOG_REP, mdoc->parse,

n->line, n->pos, "Dd");

free(mdoc->meta.date);

} else if (mdoc->flags & MDOC_PBODY)

mandoc_msg(MANDOCERR_PROLOG_LATE, mdoc->parse,

n->line, n->pos, "Dd");

else if (mdoc->meta.title != NULL)

mandoc_msg(MANDOCERR_PROLOG_ORDER, mdoc->parse,

n->line, n->pos, "Dd after Dt");

else if (mdoc->meta.os != NULL)

mandoc_msg(MANDOCERR_PROLOG_ORDER, mdoc->parse,

n->line, n->pos, "Dd after Os");

n = mdoc->last;

if (n->child == NULL || n->child->string[0] == '\0') {

if (NULL == n->child || '\0' == n->child->string[0]) {

mdoc->meta.date = mdoc->quick ? mandoc_strdup("") :

mandoc_normdate(mdoc->parse, NULL, n->line, n->pos);

goto out;

}

datestr = NULL;

mdoc_deroff(&datestr, n);

deroff(&datestr, n);

if (mdoc->quick)

mdoc->meta.date = datestr;

else {

Line 2133 post_dd(POST_ARGS)

Line 1993 post_dd(POST_ARGS)

free(datestr);

}

out:

mdoc_node_delete(mdoc, n);

roff_node_delete(mdoc, n);

}

static void

post_dt(POST_ARGS)

{

struct mdoc_node *nn, *n;

struct roff_node *nn, *n;

const char *cp;

char *p;

n = mdoc->last;

if (mdoc->flags & MDOC_PBODY) {

mandoc_msg(MANDOCERR_DT_LATE, mdoc->parse,

n->line, n->pos, "Dt");

goto out;

}

if (mdoc->meta.title != NULL)

mandoc_msg(MANDOCERR_PROLOG_REP, mdoc->parse,

n->line, n->pos, "Dt");

else if (mdoc->meta.os != NULL)

mandoc_msg(MANDOCERR_PROLOG_ORDER, mdoc->parse,

n->line, n->pos, "Dt after Os");

free(mdoc->meta.title);

free(mdoc->meta.msec);

free(mdoc->meta.vol);

Line 2155 post_dt(POST_ARGS)

Line 2027 post_dt(POST_ARGS)

mdoc->meta.vol = NULL;

mdoc->meta.arch = NULL;

/* First check that all characters are uppercase. */

/* Mandatory first argument: title. */

if (NULL != (nn = n->child))

nn = n->child;

for (p = nn->string; *p; p++) {

if (nn == NULL || *nn->string == '\0') {

if (toupper((unsigned char)*p) == *p)

continue;

mandoc_vmsg(MANDOCERR_TITLE_CASE,

mdoc->parse, nn->line,

nn->pos + (p - nn->string),

"Dt %s", nn->string);

break;

}

/* No argument: msec and arch remain NULL. */

if (NULL == (nn = n->child)) {

mandoc_msg(MANDOCERR_DT_NOTITLE,

mdoc->parse, n->line, n->pos, "Dt");

mdoc->meta.title = mandoc_strdup("UNTITLED");

mdoc->meta.vol = mandoc_strdup("LOCAL");

} else {

goto out;

mdoc->meta.title = mandoc_strdup(nn->string);

/* Check that all characters are uppercase. */

for (p = nn->string; *p != '\0'; p++)

if (islower((unsigned char)*p)) {

mandoc_vmsg(MANDOCERR_TITLE_CASE,

mdoc->parse, nn->line,

nn->pos + (p - nn->string),

"Dt %s", nn->string);

break;

}

/* One argument: msec and arch remain NULL. */

/* Mandatory second argument: section.�*/

mdoc->meta.title = mandoc_strdup(

if (nn != NULL)

'\0' == nn->string[0] ? "UNTITLED" : nn->string);

nn = nn->next;

if (NULL == (nn = nn->next)) {

if (nn == NULL) {

mandoc_vmsg(MANDOCERR_MSEC_MISSING,

mdoc->parse, n->line, n->pos,

"Dt %s", mdoc->meta.title);

mdoc->meta.vol = mandoc_strdup("LOCAL");

goto out;

goto out; /* msec and arch remain NULL. */

}

/* Handles: `.Dt TITLE SEC'

mdoc->meta.msec = mandoc_strdup(nn->string);

* title = TITLE,

* volume = SEC is msec ? format(msec) : SEC,

* msec = SEC is msec ? atoi(msec) : 0,

* arch = NULL

/* Infer volume title from section number. */

cp = mandoc_a2msec(nn->string);

if (cp) {

if (cp == NULL) {

mdoc->meta.vol = mandoc_strdup(cp);

mdoc->meta.msec = mandoc_strdup(nn->string);

} else {

mandoc_vmsg(MANDOCERR_MSEC_BAD, mdoc->parse,

nn->line, nn->pos, "Dt ... %s", nn->string);

mdoc->meta.vol = mandoc_strdup(nn->string);

mdoc->meta.msec = mandoc_strdup(nn->string);

} else

}

mdoc->meta.vol = mandoc_strdup(cp);

/* Handle an optional architecture */

/* Optional third argument: architecture. */

if ((nn = nn->next) != NULL) {

if ((nn = nn->next) == NULL)

for (p = nn->string; *p; p++)

goto out;

*p = tolower((unsigned char)*p);

mdoc->meta.arch = mandoc_strdup(nn->string);

}

/* Ignore any subsequent parameters... */

for (p = nn->string; *p != '\0'; p++)

/* FIXME: warn about subsequent parameters. */

*p = tolower((unsigned char)*p);

mdoc->meta.arch = mandoc_strdup(nn->string);

/* Ignore fourth and later arguments. */

if ((nn = nn->next) != NULL)

mandoc_vmsg(MANDOCERR_ARG_EXCESS, mdoc->parse,

nn->line, nn->pos, "Dt ... %s", nn->string);

out:

mdoc_node_delete(mdoc, n);

roff_node_delete(mdoc, n);

}

static void

post_bx(POST_ARGS)

{

struct mdoc_node *n;

struct roff_node *n;

* Make `Bx's second argument always start with an uppercase

Line 2234 post_bx(POST_ARGS)

Line 2104 post_bx(POST_ARGS)

* uppercase blindly.

n = mdoc->last->child;

if ((n = mdoc->last->child) != NULL && (n = n->next) != NULL)

if (n && NULL != (n = n->next))

*n->string = (char)toupper((unsigned char)*n->string);

}

Line 2246 post_os(POST_ARGS)

Line 2115 post_os(POST_ARGS)

struct utsname utsname;

static char *defbuf;

#endif

struct mdoc_node *n;

struct roff_node *n;

n = mdoc->last;

if (mdoc->meta.os != NULL)

mandoc_msg(MANDOCERR_PROLOG_REP, mdoc->parse,

n->line, n->pos, "Os");

else if (mdoc->flags & MDOC_PBODY)

mandoc_msg(MANDOCERR_PROLOG_LATE, mdoc->parse,

n->line, n->pos, "Os");

* Set the operating system by way of the `Os' macro.

Line 2261 post_os(POST_ARGS)

Line 2136 post_os(POST_ARGS)

free(mdoc->meta.os);

mdoc->meta.os = NULL;

mdoc_deroff(&mdoc->meta.os, n);

deroff(&mdoc->meta.os, n);

if (mdoc->meta.os)

goto out;

Line 2273 post_os(POST_ARGS)

Line 2148 post_os(POST_ARGS)

#ifdef OSNAME

mdoc->meta.os = mandoc_strdup(OSNAME);

#else /*!OSNAME */

if (NULL == defbuf) {

if (defbuf == NULL) {

if (-1 == uname(&utsname)) {

if (uname(&utsname) == -1) {

mandoc_msg(MANDOCERR_OS_UNAME, mdoc->parse,

n->line, n->pos, "Os");

defbuf = mandoc_strdup("UNKNOWN");

Line 2286 post_os(POST_ARGS)

Line 2161 post_os(POST_ARGS)

#endif /*!OSNAME*/

out:

mdoc_node_delete(mdoc, n);

roff_node_delete(mdoc, n);

}

Line 2296 out:

Line 2171 out:

static void

post_ex(POST_ARGS)

{

struct mdoc_node *n;

struct roff_node *n;

n = mdoc->last;

post_std(mdoc);

if (n->child)

n = mdoc->last;

if (n->child != NULL)

return;

if (mdoc->meta.name == NULL) {

Line 2309 post_ex(POST_ARGS)

Line 2185 post_ex(POST_ARGS)

return;

}

mdoc->next = MDOC_NEXT_CHILD;

mdoc->next = ROFF_NEXT_CHILD;

mdoc_word_alloc(mdoc, n->line, n->pos, mdoc->meta.name);

roff_word_alloc(mdoc, n->line, n->pos, mdoc->meta.name);

mdoc->last = n;

}

static enum mdoc_sec

enum roff_sec

a2sec(const char *p)

mdoc_a2sec(const char *p)

{

int i;

for (i = 0; i < (int)SEC__MAX; i++)

if (secnames[i] && 0 == strcmp(p, secnames[i]))

return((enum mdoc_sec)i);

return (enum roff_sec)i;

return(SEC_CUSTOM);

return SEC_CUSTOM;

}

static size_t

macro2len(enum mdoct macro)

macro2len(int macro)

{

switch (macro) {

case MDOC_Ad:

return(12);

return 12;

case MDOC_Ao:

return(12);

return 12;

case MDOC_An:

return(12);

return 12;

case MDOC_Aq:

return(12);

return 12;

case MDOC_Ar:

return(12);

return 12;

case MDOC_Bo:

return(12);

return 12;

case MDOC_Bq:

return(12);

return 12;

case MDOC_Cd:

return(12);

return 12;

case MDOC_Cm:

return(10);

return 10;

case MDOC_Do:

return(10);

return 10;

case MDOC_Dq:

return(12);

return 12;

case MDOC_Dv:

return(12);

return 12;

case MDOC_Eo:

return(12);

return 12;

case MDOC_Em:

return(10);

return 10;

case MDOC_Er:

return(17);

return 17;

case MDOC_Ev:

return(15);

return 15;

case MDOC_Fa:

return(12);

return 12;

case MDOC_Fl:

return(10);

return 10;

case MDOC_Fo:

return(16);

return 16;

case MDOC_Fn:

return(16);

return 16;

case MDOC_Ic:

return(10);

return 10;

case MDOC_Li:

return(16);

return 16;

case MDOC_Ms:

return(6);

return 6;

case MDOC_Nm:

return(10);

return 10;

case MDOC_No:

return(12);

return 12;

case MDOC_Oo:

return(10);

return 10;

case MDOC_Op:

return(14);

return 14;

case MDOC_Pa:

return(32);

return 32;

case MDOC_Pf:

return(12);

return 12;

case MDOC_Po:

return(12);

return 12;

case MDOC_Pq:

return(12);

return 12;

case MDOC_Ql:

return(16);

return 16;

case MDOC_Qo:

return(12);

return 12;

case MDOC_So:

return(12);

return 12;

case MDOC_Sq:

return(12);

return 12;

case MDOC_Sy:

return(6);

return 6;

case MDOC_Sx:

return(16);

return 16;

case MDOC_Tn:

return(10);

return 10;

case MDOC_Va:

return(12);

return 12;

case MDOC_Vt:

return(12);

return 12;

case MDOC_Xr:

return(10);

return 10;

default:

break;

};

return(0);

return 0;

}

CVSweb