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.274 and 1.298

version 1.274, 2015/02/06 03:38:45

version 1.298, 2015/10/20 02:01:32

Line 8

* 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 PRE_ARGS struct roff_man *mdoc, struct roff_node *n

#define POST_ARGS struct mdoc *mdoc

#define POST_ARGS struct roff_man *mdoc

enum check_ineq {

CHECK_LT,

Line 56 struct valids {

Line 58 struct valids {

v_post post;

};

static void check_count(struct mdoc *, enum mdoc_type,

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

enum check_ineq, int);

static void check_argv(struct roff_man *,

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

struct roff_node *, struct mdoc_argv *);

static void check_argv(struct mdoc *,

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

struct mdoc_node *, struct mdoc_argv *);

static int child_an(const struct roff_node *);

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

static size_t macro2len(int);

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 ewarn_eq1(POST_ARGS);

static void ewarn_ge1(POST_ARGS);

static void post_an(POST_ARGS);

static void post_at(POST_ARGS);

static void post_bf(POST_ARGS);

Line 92 static void post_fn(POST_ARGS);

Line 88 static void post_fn(POST_ARGS);

static void post_fname(POST_ARGS);

static void post_fo(POST_ARGS);

static void post_hyph(POST_ARGS);

static void post_hyphtext(POST_ARGS);

static void post_ignpar(POST_ARGS);

static void post_it(POST_ARGS);

static void post_lb(POST_ARGS);

Line 111 static void post_sh_see_also(POST_ARGS);

Line 106 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 pre_an(PRE_ARGS);

static void pre_bd(PRE_ARGS);

static void pre_bl(PRE_ARGS);

static void pre_dd(PRE_ARGS);

static void pre_display(PRE_ARGS);

static void pre_dt(PRE_ARGS);

static void pre_literal(PRE_ARGS);

static void pre_obsolete(PRE_ARGS);

static void pre_os(PRE_ARGS);

static void pre_par(PRE_ARGS);

static void pre_std(PRE_ARGS);

static const struct valids mdoc_valids[MDOC_MAX] = {

{ NULL, NULL }, /* Ap */

{ pre_dd, post_dd }, /* Dd */

{ NULL, post_dd }, /* Dd */

{ pre_dt, post_dt }, /* Dt */

{ NULL, post_dt }, /* Dt */

{ pre_os, post_os }, /* Os */

{ NULL, post_os }, /* Os */

{ NULL, post_sh }, /* Sh */

{ NULL, post_ignpar }, /* Ss */

{ pre_par, post_par }, /* Pp */

{ pre_display, post_d1 }, /* D1 */

{ pre_literal, post_literal }, /* Dl */

{ pre_display, post_literal }, /* Dl */

{ pre_bd, post_literal }, /* Bd */

{ NULL, NULL }, /* Ed */

{ pre_bl, post_bl }, /* Bl */

Line 165 static const struct valids mdoc_valids[MDOC_MAX] = {

Line 155 static const struct valids mdoc_valids[MDOC_MAX] = {

{ pre_std, NULL }, /* Rv */

{ NULL, post_st }, /* St */

{ NULL, NULL }, /* Va */

{ NULL, post_vt }, /* Vt */

{ NULL, NULL }, /* Vt */

{ NULL, NULL }, /* Xr */

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

{ NULL, NULL }, /* Ac */

{ NULL, NULL }, /* Ao */

{ NULL, NULL }, /* Aq */

Line 239 static const struct valids mdoc_valids[MDOC_MAX] = {

Line 229 static const struct valids mdoc_valids[MDOC_MAX] = {

{ NULL, NULL }, /* Brq */

{ NULL, NULL }, /* Bro */

{ NULL, NULL }, /* Brc */

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

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

{ pre_obsolete, post_es }, /* Es */

{ pre_obsolete, post_en }, /* En */

{ NULL, NULL }, /* Dx */

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

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

{ NULL, post_par }, /* br */

{ NULL, post_par }, /* sp */

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

{ 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 298 static const char * const secnames[SEC__MAX] = {

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

void

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

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

{

v_pre p;

switch (n->type) {

case MDOC_TEXT:

case ROFFT_TEXT:

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

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

/* FALLTHROUGH */

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

case MDOC_TBL:

/* FALLTHROUGH */

case MDOC_EQN:

/* FALLTHROUGH */

case MDOC_ROOT:

return;

case ROFFT_TBL:

case ROFFT_EQN:

case ROFFT_ROOT:

return;

default:

break;

}

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

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

}

void

mdoc_valid_post(struct mdoc *mdoc)

mdoc_node_validate(struct roff_man *mdoc)

{

struct mdoc_node *n;

struct roff_node *n;

v_post p;

n = mdoc->last;

if (n->flags & MDOC_VALID)

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

return;

while (mdoc->last != NULL) {

n->flags |= MDOC_VALID;

mdoc_node_validate(mdoc);

if (mdoc->last == n)

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

else

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

}

mdoc->last = n;

mdoc->next = ROFF_NEXT_SIBLING;

switch (n->type) {

case MDOC_TEXT:

case ROFFT_TEXT:

/* FALLTHROUGH */

case ROFFT_EQN:

case MDOC_EQN:

case ROFFT_TBL:

/* FALLTHROUGH */

case MDOC_TBL:

break;

case MDOC_ROOT:

case ROFFT_ROOT:

post_root(mdoc);

break;

default:

Line 361 mdoc_valid_post(struct mdoc *mdoc)

Line 355 mdoc_valid_post(struct mdoc *mdoc)

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

if (*p)

(*p)(mdoc);

if (mdoc->last == n)

mdoc_state(mdoc, n);

break;

}

static void

check_count(struct mdoc *mdoc, enum mdoc_type type,

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

enum check_ineq ineq, int val)

{

const char *p;

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

return;

switch (ineq) {

case CHECK_LT:

p = "less than ";

if (mdoc->last->nchild < val)

return;

break;

case CHECK_GT:

p = "more than ";

if (mdoc->last->nchild > val)

return;

break;

case CHECK_EQ:

p = "";

if (val == mdoc->last->nchild)

return;

break;

default:

abort();

/* NOTREACHED */

}

mandoc_vmsg(MANDOCERR_ARGCWARN, mdoc->parse, mdoc->last->line,

mdoc->last->pos, "want %s%d children (have %d)",

p, val, mdoc->last->nchild);

}

static void

ewarn_eq1(POST_ARGS)

{

check_count(mdoc, MDOC_ELEM, CHECK_EQ, 1);

}

static void

ewarn_ge1(POST_ARGS)

{

check_count(mdoc, MDOC_ELEM, CHECK_GT, 0);

}

static void

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

{

int i;

if (NULL == n->args)

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

Line 375 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 435 check_argv(struct mdoc *mdoc, struct mdoc_node *n, str

Line 384 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 450 check_text(struct mdoc *mdoc, int ln, int pos, char *p

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

static void

pre_display(PRE_ARGS)

{

struct mdoc_node *node;

struct roff_node *node;

if (MDOC_BLOCK != n->type)

if (n->type != ROFFT_BLOCK)

return;

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

if (MDOC_BLOCK == node->type)

if (node->type == ROFFT_BLOCK)

if (MDOC_Bd == node->tok)

break;

Line 469 pre_display(PRE_ARGS)

Line 418 pre_display(PRE_ARGS)

static void

pre_bl(PRE_ARGS)

{

struct mdoc_node *np;

struct mdoc_argv *argv, *wa;

int i;

enum mdocargt mdoclt;

enum mdoc_list lt;

if (MDOC_BLOCK != n->type) {

if (n->type != ROFFT_BLOCK)

if (ENDBODY_NOT != n->end) {

assert(n->pending);

np = n->pending->parent;

} else

np = n->parent;

assert(np);

assert(MDOC_BLOCK == np->type);

assert(MDOC_Bl == np->tok);

return;

}

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

Line 628 pre_bl(PRE_ARGS)

Line 566 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 642 pre_bl(PRE_ARGS)

Line 576 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 662 pre_bl(PRE_ARGS)

Line 594 pre_bl(PRE_ARGS)

static void

pre_bd(PRE_ARGS)

{

struct mdoc_node *np;

struct mdoc_argv *argv;

int i;

enum mdoc_disp dt;

pre_literal(mdoc, n);

pre_display(mdoc, n);

if (MDOC_BLOCK != n->type) {

if (n->type != ROFFT_BLOCK)

if (ENDBODY_NOT != n->end) {

assert(n->pending);

np = n->pending->parent;

} else

np = n->parent;

assert(np);

assert(MDOC_BLOCK == np->type);

assert(MDOC_Bd == np->tok);

return;

}

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

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

Line 730 pre_bd(PRE_ARGS)

Line 651 pre_bd(PRE_ARGS)

break;

default:

abort();

/* NOTREACHED */

}

if (DISP__NONE == dt)

continue;

Line 792 static void

Line 712 static void

pre_obsolete(PRE_ARGS)

{

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

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

* element, which contains the goods.

if (MDOC_HEAD != mdoc->last->type) {

np = mdoc->last;

if (ENDBODY_NOT != mdoc->last->end) {

if (np->type != ROFFT_HEAD)

assert(mdoc->last->pending);

np = mdoc->last->pending->parent->head;

} else if (MDOC_BLOCK != mdoc->last->type) {

np = mdoc->last->parent->head;

} else

np = mdoc->last->head;

assert(np);

assert(MDOC_HEAD == np->type);

assert(MDOC_Bf == np->tok);

return;

}

np = mdoc->last;

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

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

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

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

/* 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 916 post_bf(POST_ARGS)

Line 785 post_bf(POST_ARGS)

static void

post_lb(POST_ARGS)

{

struct mdoc_node *n;

struct roff_node *n;

const char *stdlibname;

char *libname;

check_count(mdoc, MDOC_ELEM, CHECK_EQ, 1);

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 937 post_lb(POST_ARGS)

Line 805 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 950 post_eoln(POST_ARGS)

Line 818 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 973 post_fn(POST_ARGS)

Line 841 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 990 post_fo(POST_ARGS)

Line 858 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 999 post_fo(POST_ARGS)

Line 867 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 1018 post_fa(POST_ARGS)

Line 886 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 1051 post_nm(POST_ARGS)

Line 897 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 1064 post_nm(POST_ARGS)

Line 910 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 1081 post_nd(POST_ARGS)

Line 927 post_nd(POST_ARGS)

static void

post_d1(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)

mandoc_msg(MANDOCERR_MACRO_EMPTY, mdoc->parse,

mandoc_msg(MANDOCERR_BLK_EMPTY, mdoc->parse,

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

post_hyph(mdoc);

Line 1098 post_d1(POST_ARGS)

Line 944 post_d1(POST_ARGS)

static void

post_literal(POST_ARGS)

{

struct mdoc_node *n;

struct roff_node *n;

n = mdoc->last;

if (n->type != MDOC_BODY)

if (n->type != ROFFT_BODY || n->end != ENDBODY_NOT)

return;

if (n->child == NULL)

mandoc_msg(MANDOCERR_MACRO_EMPTY, mdoc->parse,

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 1128 post_defaults(POST_ARGS)

Line 967 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 1154 post_defaults(POST_ARGS)

Line 992 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 1173 post_at(POST_ARGS)

Line 1011 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 1188 post_at(POST_ARGS)

Line 1026 post_at(POST_ARGS)

static void

post_an(POST_ARGS)

{

struct mdoc_node *np, *nch;

struct roff_node *np, *nch;

np = mdoc->last;

nch = np->child;

Line 1205 static void

Line 1043 static void

post_en(POST_ARGS)

{

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

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

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

}

Line 1219 post_es(POST_ARGS)

Line 1057 post_es(POST_ARGS)

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;

nit = mdoc->last;

if (nit->type != MDOC_BLOCK)

if (nit->type != ROFFT_BLOCK)

return;

nbl = nit->parent->parent;

Line 1232 post_it(POST_ARGS)

Line 1070 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 1247 post_it(POST_ARGS)

Line 1081 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 1270 post_it(POST_ARGS)

Line 1101 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)

mandoc_vmsg(MANDOCERR_ARGCOUNT,

mandoc_vmsg(MANDOCERR_BL_COL,

mdoc->parse, nit->line, nit->pos,

"columns == %d (have %d)", cols, i);

"%d columns, %d cells", cols, i);

break;

default:

abort();

Line 1287 post_it(POST_ARGS)

Line 1119 post_it(POST_ARGS)

static void

post_bl_block(POST_ARGS)

{

struct mdoc_node *n, *ni, *nc;

struct roff_node *n, *ni, *nc;

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

Line 1299 post_bl_block(POST_ARGS)

Line 1131 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 1348 void

Line 1178 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 1366 rewrite_macro2len(char **arg)

Line 1196 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 1381 post_bl_block_tag(POST_ARGS)

Line 1211 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 1411 post_bl_block_tag(POST_ARGS)

Line 1241 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 1431 post_bl_block_tag(POST_ARGS)

Line 1261 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;

Line 1443 post_bl_head(POST_ARGS)

Line 1273 post_bl_head(POST_ARGS)

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 1484 post_bl_head(POST_ARGS)

Line 1314 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;

Line 1493 post_bl_head(POST_ARGS)

Line 1323 post_bl_head(POST_ARGS)

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) {

mandoc_msg(MANDOCERR_MACRO_EMPTY, mdoc->parse,

mandoc_msg(MANDOCERR_BLK_EMPTY, mdoc->parse,

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

return;

}

Line 1544 post_bl(POST_ARGS)

Line 1376 post_bl(POST_ARGS)

* Unlink this child.

assert(NULL == nchild->prev);

assert(nchild->prev == NULL);

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

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

nbody->child = NULL;

nbody->last = NULL;

assert(NULL == nnext);

assert(nnext == NULL);

} else {

nbody->child = nnext;

nnext->prev = NULL;

Line 1564 post_bl(POST_ARGS)

Line 1396 post_bl(POST_ARGS)

nblock->prev = nchild;

nparent->nchild++;

if (NULL == nprev)

if (nprev == NULL)

nparent->child = nchild;

else

nprev->next = nchild;

Line 1576 post_bl(POST_ARGS)

Line 1408 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_MACRO_EMPTY,

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 1599 post_sm(struct mdoc *mdoc)

Line 1431 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 1620 post_sm(struct mdoc *mdoc)

Line 1452 post_sm(struct mdoc *mdoc)

static void

post_root(POST_ARGS)

{

struct mdoc_node *n;

struct roff_node *n;

/* Add missing prologue data. */

Line 1647 post_root(POST_ARGS)

Line 1479 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 1660 post_root(POST_ARGS)

Line 1493 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 1681 post_st(POST_ARGS)

Line 1514 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 1718 post_rs(POST_ARGS)

Line 1551 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 1775 post_rs(POST_ARGS)

Line 1608 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 1793 post_hyph(POST_ARGS)

Line 1626 post_hyph(POST_ARGS)

}

static void

post_hyphtext(POST_ARGS)

{

ewarn_ge1(mdoc);

post_hyph(mdoc);

}

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 1816 post_sh(POST_ARGS)

Line 1641 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 1842 post_sh(POST_ARGS)

Line 1667 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 1921 post_sh_see_also(POST_ARGS)

Line 1750 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 1936 post_sh_see_also(POST_ARGS)

Line 1765 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))

return(1);

return 1;

return(0);

return 0;

}

static void

Line 1957 post_sh_authors(POST_ARGS)

Line 1786 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 1969 post_sh_head(POST_ARGS)

Line 1796 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)

mandoc_vmsg(MANDOCERR_NAMESEC_FIRST, mdoc->parse,

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

"Sh %s", secname);

"Sh %s", 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 1995 post_sh_head(POST_ARGS)

Line 1819 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 2024 post_sh_head(POST_ARGS)

Line 1832 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 2037 post_sh_head(POST_ARGS)

Line 1845 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 2050 post_sh_head(POST_ARGS)

Line 1856 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 2066 post_sh_head(POST_ARGS)

Line 1871 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);

}

Line 2114 pre_par(PRE_ARGS)

Line 1918 pre_par(PRE_ARGS)

if (NULL == mdoc->last)

return;

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

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

return;

Line 2137 pre_par(PRE_ARGS)

Line 1941 pre_par(PRE_ARGS)

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

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

mdoc_macronames[n->tok]);

mdoc_node_delete(mdoc, mdoc->last);

roff_node_delete(mdoc, mdoc->last);

}

static void

post_par(POST_ARGS)

{

struct mdoc_node *np;

struct roff_node *np;

np = mdoc->last;

Line 2157 post_par(POST_ARGS)

Line 1961 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 2229 post_dd(POST_ARGS)

Line 2014 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 2251 post_dt(POST_ARGS)

Line 2048 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 2330 post_bx(POST_ARGS)

Line 2125 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 2342 post_os(POST_ARGS)

Line 2136 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 2357 post_os(POST_ARGS)

Line 2157 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 2369 post_os(POST_ARGS)

Line 2169 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 2382 post_os(POST_ARGS)

Line 2182 post_os(POST_ARGS)

#endif /*!OSNAME*/

out:

mdoc_node_delete(mdoc, n);

roff_node_delete(mdoc, n);

}

Line 2392 out:

Line 2192 out:

static void

post_ex(POST_ARGS)

{

struct mdoc_node *n;

struct roff_node *n;

n = mdoc->last;

if (n->child)

if (n->child != NULL)

return;

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

Line 2405 post_ex(POST_ARGS)

Line 2205 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