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.130 and 1.161

version 1.130, 2010/11/30 10:32:05

version 1.161, 2011/03/17 09:24:51

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

Line 18

Line 19

#include "config.h"

#endif

#ifndef OSNAME

#include <sys/utsname.h>

#endif

#include <sys/types.h>

#include <assert.h>

Line 26

Line 31

#include <stdio.h>

#include <stdlib.h>

#include <string.h>

#include <time.h>

#include "mandoc.h"

#include "libmdoc.h"

Line 36

Line 42

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

#define POST_ARGS struct mdoc *mdoc

#define NUMSIZ 32

#define DATESIZE 32

enum check_ineq {

CHECK_LT,

CHECK_GT,

Line 45 enum check_ineq {

Line 54 enum check_ineq {

enum check_lvl {

CHECK_WARN,

CHECK_ERROR,

CHECK_FATAL

};

typedef int (*v_pre)(PRE_ARGS);

Line 59 struct valids {

Line 67 struct valids {

static int check_count(struct mdoc *, enum mdoc_type,

enum check_lvl, enum check_ineq, int);

static int check_parent(PRE_ARGS, enum mdoct, enum mdoc_type);

static int check_stdarg(PRE_ARGS);

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

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

static void check_argv(struct mdoc *,

static int check_argv(struct mdoc *,

struct mdoc_node *, struct mdoc_argv *);

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

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

static int concat(struct mdoc *, char *,

const struct mdoc_node *, size_t);

static enum mdoc_sec a2sec(const char *);

static size_t macro2len(enum mdoct);

static int ebool(POST_ARGS);

static int berr_ge1(POST_ARGS);

static int bwarn_ge1(POST_ARGS);

static int eerr_eq0(POST_ARGS);

static int eerr_eq1(POST_ARGS);

static int eerr_ge1(POST_ARGS);

static int eerr_le1(POST_ARGS);

static int ewarn_eq0(POST_ARGS);

static int ewarn_eq1(POST_ARGS);

static int ewarn_ge1(POST_ARGS);

static int herr_eq0(POST_ARGS);

static int ewarn_le1(POST_ARGS);

static int herr_ge1(POST_ARGS);

static int hwarn_eq0(POST_ARGS);

static int hwarn_eq1(POST_ARGS);

static int hwarn_ge1(POST_ARGS);

static int hwarn_le1(POST_ARGS);

static int post_an(POST_ARGS);

static int post_at(POST_ARGS);

static int post_bf(POST_ARGS);

static int post_bl(POST_ARGS);

static int post_bl_block(POST_ARGS);

static int post_bl_block_width(POST_ARGS);

static int post_bl_block_tag(POST_ARGS);

static int post_bl_head(POST_ARGS);

static int post_bx(POST_ARGS);

static int post_dd(POST_ARGS);

static int post_dt(POST_ARGS);

static int post_defaults(POST_ARGS);

static int post_literal(POST_ARGS);

static int post_eoln(POST_ARGS);

static int post_dt(POST_ARGS);

static int post_it(POST_ARGS);

static int post_lb(POST_ARGS);

static int post_nm(POST_ARGS);

static int post_ns(POST_ARGS);

static int post_os(POST_ARGS);

static int post_ignpar(POST_ARGS);

static int post_prol(POST_ARGS);

static int post_root(POST_ARGS);

static int post_rs(POST_ARGS);

static int post_sh(POST_ARGS);

static int post_sh_body(POST_ARGS);

static int post_sh_head(POST_ARGS);

static int post_st(POST_ARGS);

static int post_std(POST_ARGS);

static int post_vt(POST_ARGS);

static int pre_an(PRE_ARGS);

static int pre_bd(PRE_ARGS);

Line 109 static int pre_it(PRE_ARGS);

Line 128 static int pre_it(PRE_ARGS);

static int pre_literal(PRE_ARGS);

static int pre_os(PRE_ARGS);

static int pre_par(PRE_ARGS);

static int pre_rv(PRE_ARGS);

static int pre_sh(PRE_ARGS);

static int pre_ss(PRE_ARGS);

static int pre_std(PRE_ARGS);

static v_post posts_an[] = { post_an, NULL };

static v_post posts_at[] = { post_at, post_defaults, NULL };

Line 119 static v_post posts_bd[] = { post_literal, hwarn_eq0,

Line 138 static v_post posts_bd[] = { post_literal, hwarn_eq0,

static v_post posts_bf[] = { hwarn_le1, post_bf, NULL };

static v_post posts_bk[] = { hwarn_eq0, bwarn_ge1, NULL };

static v_post posts_bl[] = { bwarn_ge1, post_bl, NULL };

static v_post posts_bool[] = { eerr_eq1, ebool, NULL };

static v_post posts_bx[] = { post_bx, NULL };

static v_post posts_bool[] = { ebool, NULL };

static v_post posts_eoln[] = { post_eoln, NULL };

static v_post posts_defaults[] = { post_defaults, NULL };

static v_post posts_dl[] = { post_literal, bwarn_ge1, herr_eq0, NULL };

static v_post posts_dd[] = { post_dd, post_prol, NULL };

static v_post posts_dt[] = { post_dt, NULL };

static v_post posts_dl[] = { post_literal, bwarn_ge1, NULL };

static v_post posts_dt[] = { post_dt, post_prol, NULL };

static v_post posts_fo[] = { hwarn_eq1, bwarn_ge1, NULL };

static v_post posts_it[] = { post_it, NULL };

static v_post posts_lb[] = { eerr_eq1, post_lb, NULL };

static v_post posts_lb[] = { post_lb, NULL };

static v_post posts_nd[] = { berr_ge1, NULL };

static v_post posts_nm[] = { post_nm, NULL };

static v_post posts_notext[] = { ewarn_eq0, NULL };

static v_post posts_rs[] = { berr_ge1, herr_eq0, post_rs, NULL };

static v_post posts_ns[] = { post_ns, NULL };

static v_post posts_sh[] = { herr_ge1, bwarn_ge1, post_sh, NULL };

static v_post posts_os[] = { post_os, post_prol, NULL };

static v_post posts_sp[] = { eerr_le1, NULL };

static v_post posts_rs[] = { post_rs, NULL };

static v_post posts_ss[] = { herr_ge1, NULL };

static v_post posts_sh[] = { post_ignpar, hwarn_ge1, bwarn_ge1, post_sh, NULL };

static v_post posts_st[] = { eerr_eq1, post_st, NULL };

static v_post posts_sp[] = { ewarn_le1, NULL };

static v_post posts_text[] = { eerr_ge1, NULL };

static v_post posts_ss[] = { post_ignpar, hwarn_ge1, bwarn_ge1, NULL };

static v_post posts_text1[] = { eerr_eq1, NULL };

static v_post posts_st[] = { post_st, NULL };

static v_post posts_std[] = { post_std, NULL };

static v_post posts_text[] = { ewarn_ge1, NULL };

static v_post posts_text1[] = { ewarn_eq1, NULL };

static v_post posts_vt[] = { post_vt, NULL };

static v_post posts_wline[] = { bwarn_ge1, herr_eq0, NULL };

static v_post posts_wline[] = { bwarn_ge1, NULL };

static v_post posts_wtext[] = { ewarn_ge1, NULL };

static v_pre pres_an[] = { pre_an, NULL };

static v_pre pres_bd[] = { pre_display, pre_bd, pre_literal, pre_par, NULL };

static v_pre pres_bl[] = { pre_bl, pre_par, NULL };

Line 148 static v_pre pres_dl[] = { pre_literal, pre_display,

Line 171 static v_pre pres_dl[] = { pre_literal, pre_display,

static v_pre pres_dd[] = { pre_dd, NULL };

static v_pre pres_dt[] = { pre_dt, NULL };

static v_pre pres_er[] = { NULL, NULL };

static v_pre pres_ex[] = { NULL, NULL };

static v_pre pres_fd[] = { NULL, NULL };

static v_pre pres_it[] = { pre_it, NULL };

static v_pre pres_it[] = { pre_it, pre_par, NULL };

static v_pre pres_os[] = { pre_os, NULL };

static v_pre pres_pp[] = { pre_par, NULL };

static v_pre pres_rv[] = { pre_rv, NULL };

static v_pre pres_sh[] = { pre_sh, NULL };

static v_pre pres_ss[] = { pre_ss, NULL };

static v_pre pres_std[] = { pre_std, NULL };

const struct valids mdoc_valids[MDOC_MAX] = {

{ NULL, NULL }, /* Ap */

{ pres_dd, posts_wtext }, /* Dd */

{ pres_dd, posts_dd }, /* Dd */

{ pres_dt, posts_dt }, /* Dt */

{ pres_os, NULL }, /* Os */

{ pres_os, posts_os }, /* Os */

{ pres_sh, posts_sh }, /* Sh */

{ pres_ss, posts_ss }, /* Ss */

{ pres_pp, posts_notext }, /* Pp */

Line 172 const struct valids mdoc_valids[MDOC_MAX] = {

Line 194 const struct valids mdoc_valids[MDOC_MAX] = {

{ pres_bl, posts_bl }, /* Bl */

{ NULL, NULL }, /* El */

{ pres_it, posts_it }, /* It */

{ NULL, posts_text }, /* Ad */

{ NULL, NULL }, /* Ad */

{ pres_an, posts_an }, /* An */

{ NULL, posts_defaults }, /* Ar */

{ NULL, posts_text }, /* Cd */

{ NULL, NULL }, /* Cd */

{ NULL, NULL }, /* Cm */

{ NULL, NULL }, /* Dv */

{ pres_er, posts_text }, /* Er */

{ pres_er, NULL }, /* Er */

{ NULL, NULL }, /* Ev */

{ pres_ex, NULL }, /* Ex */

{ pres_std, posts_std }, /* Ex */

{ NULL, NULL }, /* Fa */

{ pres_fd, posts_wtext }, /* Fd */

{ pres_fd, posts_text }, /* Fd */

{ NULL, NULL }, /* Fl */

{ NULL, posts_text }, /* Fn */

{ NULL, NULL }, /* Fn */

{ NULL, posts_wtext }, /* Ft */

{ NULL, NULL }, /* Ft */

{ NULL, posts_text }, /* Ic */

{ NULL, NULL }, /* Ic */

{ NULL, posts_text1 }, /* In */

{ NULL, posts_defaults }, /* Li */

{ NULL, posts_nd }, /* Nd */

{ NULL, posts_nm }, /* Nm */

{ NULL, posts_wline }, /* Op */

{ NULL, NULL }, /* Op */

{ NULL, NULL }, /* Ot */

{ NULL, posts_defaults }, /* Pa */

{ pres_rv, NULL }, /* Rv */

{ pres_std, posts_std }, /* Rv */

{ NULL, posts_st }, /* St */

{ NULL, NULL }, /* Va */

{ NULL, posts_vt }, /* Vt */

{ NULL, posts_wtext }, /* Xr */

{ NULL, posts_text }, /* Xr */

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

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

{ NULL, posts_text }, /* %D */ /* FIXME: check date with mandoc_a2time(). */

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

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

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

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

Line 212 const struct valids mdoc_valids[MDOC_MAX] = {

Line 234 const struct valids mdoc_valids[MDOC_MAX] = {

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

{ NULL, NULL }, /* Ac */

{ NULL, NULL }, /* Ao */

{ NULL, posts_wline }, /* Aq */

{ NULL, NULL }, /* Aq */

{ NULL, posts_at }, /* At */

{ NULL, NULL }, /* Bc */

{ NULL, posts_bf }, /* Bf */

{ NULL, NULL }, /* Bo */

{ NULL, posts_wline }, /* Bq */

{ NULL, NULL }, /* Bq */

{ NULL, NULL }, /* Bsx */

{ NULL, NULL }, /* Bx */

{ NULL, posts_bx }, /* Bx */

{ NULL, posts_bool }, /* Db */

{ NULL, NULL }, /* Dc */

{ NULL, NULL }, /* Do */

{ NULL, posts_wline }, /* Dq */

{ NULL, NULL }, /* Dq */

{ NULL, NULL }, /* Ec */

{ NULL, NULL }, /* Ef */

{ NULL, NULL }, /* Em */

{ NULL, NULL }, /* Eo */

{ NULL, NULL }, /* Fx */

{ NULL, posts_text }, /* Ms */

{ NULL, NULL }, /* Ms */

{ NULL, posts_notext }, /* No */

{ NULL, posts_notext }, /* Ns */

{ NULL, posts_ns }, /* Ns */

{ NULL, NULL }, /* Nx */

{ NULL, NULL }, /* Ox */

{ NULL, NULL }, /* Pc */

{ NULL, posts_text1 }, /* Pf */

{ NULL, NULL }, /* Po */

{ NULL, posts_wline }, /* Pq */

{ NULL, NULL }, /* Pq */

{ NULL, NULL }, /* Qc */

{ NULL, posts_wline }, /* Ql */

{ NULL, NULL }, /* Ql */

{ NULL, NULL }, /* Qo */

{ NULL, posts_wline }, /* Qq */

{ NULL, NULL }, /* Qq */

{ NULL, NULL }, /* Re */

{ NULL, posts_rs }, /* Rs */

{ NULL, NULL }, /* Sc */

{ NULL, NULL }, /* So */

{ NULL, posts_wline }, /* Sq */

{ NULL, NULL }, /* Sq */

{ NULL, posts_bool }, /* Sm */

{ NULL, posts_text }, /* Sx */

{ NULL, NULL }, /* Sx */

{ NULL, posts_text }, /* Sy */

{ NULL, NULL }, /* Sy */

{ NULL, posts_text }, /* Tn */

{ NULL, NULL }, /* Tn */

{ NULL, NULL }, /* Ux */

{ NULL, NULL }, /* Xc */

{ NULL, NULL }, /* Xo */

Line 266 const struct valids mdoc_valids[MDOC_MAX] = {

Line 288 const struct valids mdoc_valids[MDOC_MAX] = {

{ NULL, posts_eoln }, /* Ud */

{ NULL, posts_lb }, /* Lb */

{ NULL, posts_notext }, /* Lp */

{ NULL, posts_text }, /* Lk */

{ NULL, NULL }, /* Lk */

{ NULL, posts_defaults }, /* Mt */

{ NULL, posts_wline }, /* Brq */

{ NULL, NULL }, /* Brq */

{ NULL, NULL }, /* Bro */

{ NULL, NULL }, /* Brc */

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

Line 301 static const enum mdoct rsord[RSORD_MAX] = {

Line 323 static const enum mdoct rsord[RSORD_MAX] = {

MDOC__U

};

static const char * const secnames[SEC__MAX] = {

NULL,

"NAME",

"LIBRARY",

"SYNOPSIS",

"DESCRIPTION",

"IMPLEMENTATION NOTES",

"RETURN VALUES",

"ENVIRONMENT",

"FILES",

"EXIT STATUS",

"EXAMPLES",

"DIAGNOSTICS",

"COMPATIBILITY",

"ERRORS",

"SEE ALSO",

"STANDARDS",

"HISTORY",

"AUTHORS",

"CAVEATS",

"BUGS",

"SECURITY CONSIDERATIONS",

NULL

};

int

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

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

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

int line, pos;

char *tp;

if (MDOC_TEXT == n->type) {

switch (n->type) {

case (MDOC_TEXT):

tp = n->string;

line = n->line;

pos = n->pos;

return(check_text(mdoc, line, pos, tp));

check_text(mdoc, line, pos, tp);

/* FALLTHROUGH */

case (MDOC_TBL):

/* FALLTHROUGH */

case (MDOC_EQN):

/* FALLTHROUGH */

case (MDOC_ROOT):

return(1);

default:

break;

}

if ( ! check_args(mdoc, n))

check_args(mdoc, n);

return(0);

if (NULL == mdoc_valids[n->tok].pre)

return(1);

for (p = mdoc_valids[n->tok].pre; *p; p++)

Line 336 mdoc_valid_post(struct mdoc *mdoc)

Line 392 mdoc_valid_post(struct mdoc *mdoc)

return(1);

mdoc->last->flags |= MDOC_VALID;

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

switch (mdoc->last->type) {

case (MDOC_TEXT):

/* FALLTHROUGH */

case (MDOC_EQN):

/* FALLTHROUGH */

case (MDOC_TBL):

return(1);

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

case (MDOC_ROOT):

return(post_root(mdoc));

default:

break;

}

if (NULL == mdoc_valids[mdoc->last->tok].post)

return(1);

Line 355 check_count(struct mdoc *m, enum mdoc_type type,

Line 419 check_count(struct mdoc *m, enum mdoc_type type,

enum check_lvl lvl, enum check_ineq ineq, int val)

{

const char *p;

enum mandocerr t;

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

return(1);

Line 366 check_count(struct mdoc *m, enum mdoc_type type,

Line 431 check_count(struct mdoc *m, enum mdoc_type type,

return(1);

break;

case (CHECK_GT):

p = "greater than ";

p = "more than ";

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

return(1);

break;

Line 375 check_count(struct mdoc *m, enum mdoc_type type,

Line 440 check_count(struct mdoc *m, enum mdoc_type type,

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

return(1);

break;

default:

abort();

/* NOTREACHED */

}

if (CHECK_WARN == lvl) {

t = lvl == CHECK_WARN ? MANDOCERR_ARGCWARN : MANDOCERR_ARGCOUNT;

return(mdoc_vmsg(m, MANDOCERR_ARGCOUNT,

m->last->line, m->last->pos,

"want %s%d children (have %d)",

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

}

return(mdoc_vmsg(m, MANDOCERR_ARGCOUNT,

return(mdoc_vmsg(m, t, m->last->line, m->last->pos,

m->last->line, m->last->pos,

"want %s%d children (have %d)",

"require %s%d children (have %d)",

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

}

Line 394 static int

Line 456 static int

berr_ge1(POST_ARGS)

{

return(check_count(mdoc, MDOC_BODY, CHECK_FATAL, CHECK_GT, 0));

return(check_count(mdoc, MDOC_BODY, CHECK_ERROR, CHECK_GT, 0));

}

static int

Line 404 bwarn_ge1(POST_ARGS)

Line 466 bwarn_ge1(POST_ARGS)

}

static int

eerr_eq0(POST_ARGS)

ewarn_eq0(POST_ARGS)

{

return(check_count(mdoc, MDOC_ELEM, CHECK_FATAL, CHECK_EQ, 0));

return(check_count(mdoc, MDOC_ELEM, CHECK_WARN, CHECK_EQ, 0));

}

static int

eerr_eq1(POST_ARGS)

ewarn_eq1(POST_ARGS)

{

return(check_count(mdoc, MDOC_ELEM, CHECK_FATAL, CHECK_EQ, 1));

return(check_count(mdoc, MDOC_ELEM, CHECK_WARN, CHECK_EQ, 1));

}

static int

eerr_ge1(POST_ARGS)

{

return(check_count(mdoc, MDOC_ELEM, CHECK_FATAL, CHECK_GT, 0));

}

static int

eerr_le1(POST_ARGS)

{

return(check_count(mdoc, MDOC_ELEM, CHECK_FATAL, CHECK_LT, 2));

}

static int

ewarn_eq0(POST_ARGS)

{

return(check_count(mdoc, MDOC_ELEM, CHECK_WARN, CHECK_EQ, 0));

}

static int

ewarn_ge1(POST_ARGS)

{

return(check_count(mdoc, MDOC_ELEM, CHECK_WARN, CHECK_GT, 0));

}

static int

herr_eq0(POST_ARGS)

ewarn_le1(POST_ARGS)

{

return(check_count(mdoc, MDOC_HEAD, CHECK_FATAL, CHECK_EQ, 0));

return(check_count(mdoc, MDOC_ELEM, CHECK_WARN, CHECK_LT, 2));

}

static int

herr_ge1(POST_ARGS)

{

return(check_count(mdoc, MDOC_HEAD, CHECK_FATAL, CHECK_GT, 0));

}

static int

hwarn_eq0(POST_ARGS)

{

return(check_count(mdoc, MDOC_HEAD, CHECK_WARN, CHECK_EQ, 0));

Line 464 hwarn_eq1(POST_ARGS)

Line 502 hwarn_eq1(POST_ARGS)

}

static int

hwarn_le1(POST_ARGS)

hwarn_ge1(POST_ARGS)

{

return(check_count(mdoc, MDOC_HEAD, CHECK_WARN, CHECK_LT, 2));

return(check_count(mdoc, MDOC_HEAD, CHECK_WARN, CHECK_GT, 0));

}

static int

check_stdarg(PRE_ARGS)

hwarn_le1(POST_ARGS)

{

return(check_count(mdoc, MDOC_HEAD, CHECK_WARN, CHECK_LT, 2));

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

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

return(1);

return(mdoc_nmsg(mdoc, n, MANDOCERR_NOARGV));

}

static void

static int

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

{

int i;

if (NULL == n->args)

return(1);

return;

assert(n->args->argc);

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

if ( ! check_argv(m, n, &n->args->argv[i]))

check_argv(m, n, &n->args->argv[i]);

return(0);

return(1);

}

static void

static int

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

{

int i;

for (i = 0; i < (int)v->sz; i++)

if ( ! check_text(m, v->line, v->pos, v->value[i]))

check_text(m, v->line, v->pos, v->value[i]);

return(0);

if (MDOC_Std == v->arg) {

/* FIXME: move to post_std(). */

if (v->sz || m->meta.name)

return(1);

if ( ! mdoc_nmsg(m, n, MANDOCERR_NONAME))

return(0);

}

return(1);

if (MDOC_Std == v->arg)

if ( ! (v->sz || m->meta.name))

mdoc_nmsg(m, n, MANDOCERR_NONAME);

}

static void

static int

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

{

int c;

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

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

pos += (int)sz;

if ('\t' == *p) {

if (MDOC_LITERAL & m->flags)

if ( ! (MDOC_LITERAL & m->flags))

continue;

mdoc_pmsg(m, ln, pos, MANDOCERR_BADTAB);

if (mdoc_pmsg(m, ln, pos, MANDOCERR_BADTAB))

continue;

return(0);

}

/* Check the special character. */

if (0 == (c = mandoc_special(p))) {

c = mandoc_special(p);

if (c) {

p += c - 1;

pos += c - 1;

} else

mdoc_pmsg(m, ln, pos, MANDOCERR_BADESCAPE);

}

continue;

}

return(1);

p += c - 1;

pos += c - 1;

}

static int

check_parent(PRE_ARGS, enum mdoct tok, enum mdoc_type t)

{

Line 577 pre_display(PRE_ARGS)

Line 594 pre_display(PRE_ARGS)

{

struct mdoc_node *node;

/* Display elements (`Bd', `D1'...) cannot be nested. */

if (MDOC_BLOCK != n->type)

return(1);

/* LINTED */

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

if (MDOC_BLOCK == node->type)

if (MDOC_Bd == node->tok)

break;

if (NULL == node)

if (node)

return(1);

mdoc_nmsg(mdoc, n, MANDOCERR_NESTEDDISP);

return(1);

return(0);

}

Line 614 pre_bl(PRE_ARGS)

Line 627 pre_bl(PRE_ARGS)

assert(np);

assert(MDOC_BLOCK == np->type);

assert(MDOC_Bl == np->tok);

assert(np->data.Bl);

n->data.Bl = np->data.Bl;

return(1);

}

Line 625 pre_bl(PRE_ARGS)

Line 636 pre_bl(PRE_ARGS)

* ones. If we find no list type, we default to LIST_item.

assert(NULL == n->data.Bl);

n->data.Bl = mandoc_calloc(1, sizeof(struct mdoc_bl));

/* LINTED */

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

lt = LIST__NONE;

Line 670 pre_bl(PRE_ARGS)

Line 678 pre_bl(PRE_ARGS)

break;

/* Set list arguments. */

case (MDOC_Compact):

dup = n->data.Bl->comp;

dup = n->norm->Bl.comp;

comp = 1;

break;

case (MDOC_Width):

dup = (NULL != n->data.Bl->width);

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

width = n->args->argv[i].value[0];

break;

case (MDOC_Offset):

/* NB: this can be empty! */

if (n->args->argv[i].sz) {

offs = n->args->argv[i].value[0];

dup = (NULL != n->data.Bl->offs);

dup = (NULL != n->norm->Bl.offs);

break;

}

if ( ! mdoc_nmsg(mdoc, n, MANDOCERR_IGNARGV))

mdoc_nmsg(mdoc, n, MANDOCERR_IGNARGV);

return(0);

break;

default:

continue;

Line 693 pre_bl(PRE_ARGS)

Line 700 pre_bl(PRE_ARGS)

/* Check: duplicate auxiliary arguments. */

if (dup && ! mdoc_nmsg(mdoc, n, MANDOCERR_ARGVREP))

if (dup)

return(0);

mdoc_nmsg(mdoc, n, MANDOCERR_ARGVREP);

if (comp && ! dup)

n->data.Bl->comp = comp;

n->norm->Bl.comp = comp;

if (offs && ! dup)

n->data.Bl->offs = offs;

n->norm->Bl.offs = offs;

if (width && ! dup)

n->data.Bl->width = width;

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

/* Check: multiple list types. */

if (LIST__NONE != lt && n->data.Bl->type != LIST__NONE)

if (LIST__NONE != lt && n->norm->Bl.type != LIST__NONE)

if ( ! mdoc_nmsg(mdoc, n, MANDOCERR_LISTREP))

mdoc_nmsg(mdoc, n, MANDOCERR_LISTREP);

return(0);

/* Assign list type. */

if (LIST__NONE != lt && n->data.Bl->type == LIST__NONE) {

if (LIST__NONE != lt && n->norm->Bl.type == LIST__NONE) {

n->data.Bl->type = lt;

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

/* Set column information, too. */

if (LIST_column == lt) {

n->data.Bl->ncols =

n->norm->Bl.ncols =

n->args->argv[i].sz;

n->data.Bl->cols = (const char **)

n->norm->Bl.cols = (const char **)

n->args->argv[i].value;

}

/* The list type should come first. */

if (n->data.Bl->type == LIST__NONE)

if (n->norm->Bl.type == LIST__NONE)

if (n->data.Bl->width ||

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

n->data.Bl->offs ||

n->norm->Bl.offs ||

n->data.Bl->comp)

n->norm->Bl.comp)

if ( ! mdoc_nmsg(mdoc, n, MANDOCERR_LISTFIRST))

mdoc_nmsg(mdoc, n, MANDOCERR_LISTFIRST);

return(0);

continue;

}

/* Allow lists to default to LIST_item. */

if (LIST__NONE == n->data.Bl->type) {

if (LIST__NONE == n->norm->Bl.type) {

if ( ! mdoc_nmsg(mdoc, n, MANDOCERR_LISTTYPE))

mdoc_nmsg(mdoc, n, MANDOCERR_LISTTYPE);

return(0);

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

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

}

Line 748 pre_bl(PRE_ARGS)

Line 752 pre_bl(PRE_ARGS)

* and must also be warned.

switch (n->data.Bl->type) {

switch (n->norm->Bl.type) {

case (LIST_tag):

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

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

break;

if (mdoc_nmsg(mdoc, n, MANDOCERR_NOWIDTHARG))

mdoc_nmsg(mdoc, n, MANDOCERR_NOWIDTHARG);

break;

return(0);

case (LIST_column):

/* FALLTHROUGH */

case (LIST_diag):

Line 764 pre_bl(PRE_ARGS)

Line 767 pre_bl(PRE_ARGS)

case (LIST_inset):

/* FALLTHROUGH */

case (LIST_item):

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

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

break;

mdoc_nmsg(mdoc, n, MANDOCERR_IGNARGV);

if (mdoc_nmsg(mdoc, n, MANDOCERR_WIDTHARG))

break;

return(0);

default:

break;

}

Line 795 pre_bd(PRE_ARGS)

Line 796 pre_bd(PRE_ARGS)

assert(np);

assert(MDOC_BLOCK == np->type);

assert(MDOC_Bd == np->tok);

assert(np->data.Bd);

n->data.Bd = np->data.Bd;

return(1);

}

assert(NULL == n->data.Bd);

n->data.Bd = mandoc_calloc(1, sizeof(struct mdoc_bd));

/* LINTED */

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

dt = DISP__NONE;

Line 832 pre_bd(PRE_ARGS)

Line 828 pre_bd(PRE_ARGS)

/* NB: this can be empty! */

if (n->args->argv[i].sz) {

offs = n->args->argv[i].value[0];

dup = (NULL != n->data.Bd->offs);

dup = (NULL != n->norm->Bd.offs);

break;

}

if ( ! mdoc_nmsg(mdoc, n, MANDOCERR_IGNARGV))

mdoc_nmsg(mdoc, n, MANDOCERR_IGNARGV);

return(0);

break;

case (MDOC_Compact):

comp = 1;

dup = n->data.Bd->comp;

dup = n->norm->Bd.comp;

break;

default:

abort();

Line 849 pre_bd(PRE_ARGS)

Line 844 pre_bd(PRE_ARGS)

/* Check whether we have duplicates. */

if (dup && ! mdoc_nmsg(mdoc, n, MANDOCERR_ARGVREP))

if (dup)

return(0);

mdoc_nmsg(mdoc, n, MANDOCERR_ARGVREP);

/* Make our auxiliary assignments. */

if (offs && ! dup)

n->data.Bd->offs = offs;

n->norm->Bd.offs = offs;

if (comp && ! dup)

n->data.Bd->comp = comp;

n->norm->Bd.comp = comp;

/* Check whether a type has already been assigned. */

if (DISP__NONE != dt && n->data.Bd->type != DISP__NONE)

if (DISP__NONE != dt && n->norm->Bd.type != DISP__NONE)

if ( ! mdoc_nmsg(mdoc, n, MANDOCERR_DISPREP))

mdoc_nmsg(mdoc, n, MANDOCERR_DISPREP);

return(0);

/* Make our type assignment. */

if (DISP__NONE != dt && n->data.Bd->type == DISP__NONE)

if (DISP__NONE != dt && n->norm->Bd.type == DISP__NONE)

n->data.Bd->type = dt;

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

}

if (DISP__NONE == n->data.Bd->type) {

if (DISP__NONE == n->norm->Bd.type) {

if ( ! mdoc_nmsg(mdoc, n, MANDOCERR_DISPTYPE))

mdoc_nmsg(mdoc, n, MANDOCERR_DISPTYPE);

return(0);

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

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

}

return(1);

Line 909 pre_it(PRE_ARGS)

Line 902 pre_it(PRE_ARGS)

if (MDOC_BLOCK != n->type)

return(1);

* FIXME: this can probably be lifted if we make the It into

* something else on-the-fly?

return(check_parent(mdoc, n, MDOC_Bl, MDOC_BODY));

}

Line 926 pre_an(PRE_ARGS)

Line 916 pre_an(PRE_ARGS)

return(1);

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

if ( ! mdoc_pmsg(mdoc, n->args->argv[i].line,

mdoc_pmsg(mdoc, n->args->argv[i].line,

n->args->argv[i].pos, MANDOCERR_IGNARGV))

n->args->argv[i].pos, MANDOCERR_IGNARGV);

return(0);

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

n->data.An.auth = AUTH_split;

n->norm->An.auth = AUTH_split;

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

n->data.An.auth = AUTH_nosplit;

n->norm->An.auth = AUTH_nosplit;

else

abort();

return(1);

}

static int

pre_rv(PRE_ARGS)

pre_std(PRE_ARGS)

{

return(check_stdarg(mdoc, n));

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

}

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

return(1);

mdoc_nmsg(mdoc, n, MANDOCERR_NOARGV);

static int

post_dt(POST_ARGS)

{

const struct mdoc_node *nn;

const char *p;

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

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

if (toupper((u_char)*p) == *p)

continue;

if ( ! mdoc_nmsg(mdoc, nn, MANDOCERR_UPPERCASE))

return(0);

break;

}

return(1);

}

static int

pre_dt(PRE_ARGS)

{

if (0 == mdoc->meta.date || mdoc->meta.os)

if (NULL == mdoc->meta.date || mdoc->meta.os)

if ( ! mdoc_nmsg(mdoc, n, MANDOCERR_PROLOGOOO))

mdoc_nmsg(mdoc, n, MANDOCERR_PROLOGOOO);

return(0);

if (mdoc->meta.title)

if ( ! mdoc_nmsg(mdoc, n, MANDOCERR_PROLOGREP))

mdoc_nmsg(mdoc, n, MANDOCERR_PROLOGREP);

return(0);

return(1);

}

static int

pre_os(PRE_ARGS)

{

if (NULL == mdoc->meta.title || 0 == mdoc->meta.date)

if (NULL == mdoc->meta.title || NULL == mdoc->meta.date)

if ( ! mdoc_nmsg(mdoc, n, MANDOCERR_PROLOGOOO))

mdoc_nmsg(mdoc, n, MANDOCERR_PROLOGOOO);

return(0);

if (mdoc->meta.os)

if ( ! mdoc_nmsg(mdoc, n, MANDOCERR_PROLOGREP))

mdoc_nmsg(mdoc, n, MANDOCERR_PROLOGREP);

return(0);

return(1);

}

static int

pre_dd(PRE_ARGS)

{

if (mdoc->meta.title || mdoc->meta.os)

if ( ! mdoc_nmsg(mdoc, n, MANDOCERR_PROLOGOOO))

mdoc_nmsg(mdoc, n, MANDOCERR_PROLOGOOO);

return(0);

if (mdoc->meta.date)

if ( ! mdoc_nmsg(mdoc, n, MANDOCERR_PROLOGREP))

mdoc_nmsg(mdoc, n, MANDOCERR_PROLOGREP);

return(0);

return(1);

}

Line 1033 post_bf(POST_ARGS)

Line 1004 post_bf(POST_ARGS)

assert(np);

assert(MDOC_HEAD == np->type);

assert(MDOC_Bf == np->tok);

assert(np->data.Bf);

mdoc->last->data.Bf = np->data.Bf;

return(1);

}

np = mdoc->last;

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

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

np->data.Bf = mandoc_calloc(1, sizeof(struct mdoc_bf));

* Cannot have both argument and parameter.

Line 1051 post_bf(POST_ARGS)

Line 1019 post_bf(POST_ARGS)

if (np->parent->args && np->child) {

mdoc_nmsg(mdoc, np, MANDOCERR_SYNTARGVCOUNT);

return(0);

} else if (NULL == np->parent->args && NULL == np->child)

} else if (NULL == np->parent->args && NULL == np->child) {

return(mdoc_nmsg(mdoc, np, MANDOCERR_FONTTYPE));

mdoc_nmsg(mdoc, np, MANDOCERR_FONTTYPE);

return(1);

}

/* Extract argument into data. */

if (np->parent->args) {

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

if (MDOC_Emphasis == arg)

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

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

else if (MDOC_Literal == arg)

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

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

else if (MDOC_Symbolic == arg)

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

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

else

abort();

return(1);

Line 1072 post_bf(POST_ARGS)

Line 1042 post_bf(POST_ARGS)

/* Extract parameter into data. */

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

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

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

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

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

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

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

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

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

else if ( ! mdoc_nmsg(mdoc, np, MANDOCERR_FONTTYPE))

else

return(0);

mdoc_nmsg(mdoc, np, MANDOCERR_FONTTYPE);

return(1);

}

Line 1090 post_lb(POST_ARGS)

Line 1060 post_lb(POST_ARGS)

char *buf;

size_t sz;

check_count(mdoc, MDOC_ELEM, CHECK_WARN, CHECK_EQ, 1);

assert(mdoc->last->child);

assert(MDOC_TEXT == mdoc->last->child->type);

Line 1119 static int

Line 1091 static int

post_eoln(POST_ARGS)

{

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

if (mdoc->last->child)

return(1);

mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_ARGSLOST);

return(mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_ARGSLOST));

return(1);

}

Line 1133 post_vt(POST_ARGS)

Line 1105 post_vt(POST_ARGS)

* 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; BLOCK types,

* 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_ELEM == mdoc->last->type)

return(eerr_ge1(mdoc));

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

return(1);

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

if (MDOC_TEXT != n->type)

if ( ! mdoc_nmsg(mdoc, n, MANDOCERR_CHILD))

mdoc_nmsg(mdoc, n, MANDOCERR_CHILD);

return(0);

return(1);

}

Line 1154 post_vt(POST_ARGS)

Line 1124 post_vt(POST_ARGS)

static int

post_nm(POST_ARGS)

{

struct mdoc_node *nn;

char buf[BUFSIZ];

/* If no child specified, make sure we have the meta name. */

Line 1167 post_nm(POST_ARGS)

Line 1136 post_nm(POST_ARGS)

/* If no meta name, set it from the child. */

buf[0] = '\0';

if ( ! concat(mdoc, buf, mdoc->last->child, BUFSIZ))

return(0);

for (nn = mdoc->last->child; nn; nn = nn->next) {

/* XXX - copied from concat(). */

assert(MDOC_TEXT == nn->type);

if (strlcat(buf, nn->string, BUFSIZ) >= BUFSIZ) {

mdoc_nmsg(mdoc, nn, MANDOCERR_MEM);

return(0);

}

if (NULL == nn->next)

continue;

if (strlcat(buf, " ", BUFSIZ) >= BUFSIZ) {

mdoc_nmsg(mdoc, nn, MANDOCERR_MEM);

return(0);

}

mdoc->meta.name = mandoc_strdup(buf);

return(1);

}

Line 1203 post_literal(POST_ARGS)

Line 1156 post_literal(POST_ARGS)

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

mdoc->last->flags &= ~MDOC_LITERAL;

mdoc->flags &= ~MDOC_LITERAL;

return(1);

}

Line 1300 post_an(POST_ARGS)

Line 1253 post_an(POST_ARGS)

struct mdoc_node *np;

np = mdoc->last;

if (AUTH__NONE != np->data.An.auth && np->child)

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

return(eerr_eq0(mdoc));

if (0 == np->child)

check_count(mdoc, MDOC_ELEM, CHECK_WARN, CHECK_GT, 0);

* FIXME: make this ewarn and make sure that the front-ends

} else if (np->child)

* don't print the arguments.

check_count(mdoc, MDOC_ELEM, CHECK_WARN, CHECK_EQ, 0);

if (AUTH__NONE != np->data.An.auth || np->child)

return(1);

return(mdoc_nmsg(mdoc, np, MANDOCERR_NOARGS));

}

Line 1324 post_it(POST_ARGS)

Line 1275 post_it(POST_ARGS)

return(1);

n = mdoc->last->parent->parent;

assert(n->data.Bl);

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

lt = n->data.Bl->type;

if (LIST__NONE == lt) {

mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_LISTTYPE);

return(0);

return(1);

}

switch (lt) {

Line 1337 post_it(POST_ARGS)

Line 1287 post_it(POST_ARGS)

if (mdoc->last->head->child)

break;

/* FIXME: give this a dummy value. */

if ( ! mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_NOARGS))

mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_NOARGS);

return(0);

break;

case (LIST_hang):

/* FALLTHROUGH */

Line 1348 post_it(POST_ARGS)

Line 1297 post_it(POST_ARGS)

/* FALLTHROUGH */

case (LIST_diag):

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

if ( ! mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_NOARGS))

mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_NOARGS);

return(0);

break;

case (LIST_bullet):

/* FALLTHROUGH */

Line 1359 post_it(POST_ARGS)

Line 1307 post_it(POST_ARGS)

/* FALLTHROUGH */

case (LIST_hyphen):

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

if ( ! mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_NOBODY))

mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_NOBODY);

return(0);

/* FALLTHROUGH */

case (LIST_item):

if (mdoc->last->head->child)

if ( ! mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_ARGSLOST))

mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_ARGSLOST);

return(0);

break;

case (LIST_column):

cols = (int)n->data.Bl->ncols;

cols = (int)n->norm->Bl.ncols;

assert(NULL == mdoc->last->head->child);

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

if ( ! mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_NOBODY))

mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_NOBODY);

return(0);

for (i = 0, c = mdoc->last->child; c; c = c->next)

if (MDOC_BODY == c->type)

Line 1398 post_it(POST_ARGS)

Line 1343 post_it(POST_ARGS)

return(1);

}

static int

post_bl_block(POST_ARGS)

{

struct mdoc_node *n;

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

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

* specified, but no -width (it must be guessed). The second

* when a -width is specified (macro indicators must be

* rewritten into real lengths).

n = mdoc->last;

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

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

if ( ! post_bl_block_tag(mdoc))

return(0);

} else if (NULL != n->norm->Bl.width) {

if ( ! post_bl_block_width(mdoc))

return(0);

} else

return(1);

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

return(1);

}

static int

post_bl_block_width(POST_ARGS)

{

size_t width;

int i;

enum mdoct tok;

struct mdoc_node *n;

char buf[NUMSIZ];

n = mdoc->last;

* Calculate the real width of a list from the -width string,

* which may contain a macro (with a known default width), a

* literal string, or a scaling width.

* If the value to -width is a macro, then we re-write it to be

* the macro's width as set in share/tmac/mdoc/doc-common.

if (0 == strcmp(n->norm->Bl.width, "Ds"))

width = 6;

else if (MDOC_MAX == (tok = mdoc_hash_find(n->norm->Bl.width)))

return(1);

else if (0 == (width = macro2len(tok))) {

mdoc_nmsg(mdoc, n, MANDOCERR_BADWIDTH);

return(1);

}

/* The value already exists: free and reallocate it. */

assert(n->args);

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

if (MDOC_Width == n->args->argv[i].arg)

break;

assert(i < (int)n->args->argc);

snprintf(buf, NUMSIZ, "%zun", width);

free(n->args->argv[i].value[0]);

n->args->argv[i].value[0] = mandoc_strdup(buf);

/* Set our width! */

n->norm->Bl.width = n->args->argv[i].value[0];

return(1);

}

static int

post_bl_block_tag(POST_ARGS)

{

struct mdoc_node *n, *nn;

size_t sz, ssz;

int i;

char buf[NUMSIZ];

* Calculate the -width for a `Bl -tag' list if it hasn't been

* provided. Uses the first head macro. NOTE AGAIN: this is

* ONLY if the -width argument has NOT been provided. See

* post_bl_block_width() for converting the -width string.

sz = 10;

n = mdoc->last;

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

if (MDOC_It != nn->tok)

continue;

assert(MDOC_BLOCK == nn->type);

nn = nn->head->child;

if (nn == NULL)

break;

if (MDOC_TEXT == nn->type) {

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

break;

}

if (0 != (ssz = macro2len(nn->tok)))

sz = ssz;

break;

}

/* Defaults to ten ens. */

snprintf(buf, NUMSIZ, "%zun", sz);

* We have to dynamically add this to the macro's argument list.

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

assert(n->args);

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

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

n->args->argc * sizeof(struct mdoc_argv));

n->args->argv[i].arg = MDOC_Width;

n->args->argv[i].line = n->line;

n->args->argv[i].pos = n->pos;

n->args->argv[i].sz = 1;

n->args->argv[i].value = mandoc_malloc(sizeof(char *));

n->args->argv[i].value[0] = mandoc_strdup(buf);

/* Set our width! */

n->norm->Bl.width = n->args->argv[i].value[0];

return(1);

}

static int

post_bl_head(POST_ARGS)

{

struct mdoc_node *np, *nn, *nnp;

int i, j;

if (LIST_column != mdoc->last->data.Bl->type)

if (LIST_column != mdoc->last->norm->Bl.type)

/* FIXME: this should be ERROR class... */

return(hwarn_eq0(mdoc));

Line 1422 post_bl_head(POST_ARGS)

Line 1510 post_bl_head(POST_ARGS)

* lists, but I'll leave that for another day.

if (mdoc->last->data.Bl->ncols && mdoc->last->nchild) {

if (mdoc->last->norm->Bl.ncols && mdoc->last->nchild) {

mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_COLUMNS);

return(0);

} else if (NULL == mdoc->last->child)

Line 1448 post_bl_head(POST_ARGS)

Line 1536 post_bl_head(POST_ARGS)

np->args->argv[j].value = mandoc_malloc

((size_t)mdoc->last->nchild * sizeof(char *));

mdoc->last->data.Bl->ncols = np->args->argv[j].sz;

mdoc->last->norm->Bl.ncols = np->args->argv[j].sz;

mdoc->last->data.Bl->cols = (const char **)np->args->argv[j].value;

mdoc->last->norm->Bl.cols = (const char **)np->args->argv[j].value;

for (i = 0, nn = mdoc->last->child; nn; i++) {

np->args->argv[j].value[i] = nn->string;

Line 1472 post_bl(POST_ARGS)

Line 1560 post_bl(POST_ARGS)

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

return(post_bl_head(mdoc));

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

return(post_bl_block(mdoc));

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

return(1);

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

return(1);

* We only allow certain children of `Bl'. This is usually on

* `It', but apparently `Sm' occurs here and there, so we let

* that one through, too.

/* LINTED */

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

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

switch (n->tok) {

case (MDOC_Lp):

/* FALLTHROUGH */

case (MDOC_Pp):

mdoc_nmsg(mdoc, n, MANDOCERR_CHILD);

/* FALLTHROUGH */

case (MDOC_It):

/* FALLTHROUGH */

case (MDOC_Sm):

continue;

if (MDOC_Sm == n->tok)

default:

continue;

break;

}

mdoc_nmsg(mdoc, n, MANDOCERR_SYNTCHILD);

return(0);

}

Line 1496 post_bl(POST_ARGS)

Line 1587 post_bl(POST_ARGS)

return(1);

}

static int

ebool(struct mdoc *mdoc)

{

struct mdoc_node *n;

/* LINTED */

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

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

mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_MACROEMPTY);

if (MDOC_TEXT != n->type)

mdoc_node_delete(mdoc, mdoc->last);

break;

return(1);

if (0 == strcmp(n->string, "on"))

continue;

if (0 == strcmp(n->string, "off"))

continue;

break;

}

check_count(mdoc, MDOC_ELEM, CHECK_WARN, CHECK_EQ, 1);

if (NULL == n)

assert(MDOC_TEXT == mdoc->last->child->type);

if (0 == strcmp(mdoc->last->child->string, "on"))

return(1);

return(mdoc_nmsg(mdoc, n, MANDOCERR_BADBOOL));

if (0 == strcmp(mdoc->last->child->string, "off"))

return(1);

mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_BADBOOL);

return(1);

}

static int

post_root(POST_ARGS)

{

int erc;

struct mdoc_node *n;

if (NULL == mdoc->first->child)

erc = 0;

mdoc_nmsg(mdoc, mdoc->first, MANDOCERR_NODOCBODY);

else if ( ! (MDOC_PBODY & mdoc->flags))

/* Check that we have a finished prologue. */

if ( ! (MDOC_PBODY & mdoc->flags)) {

erc++;

mdoc_nmsg(mdoc, mdoc->first, MANDOCERR_NODOCPROLOG);

else if (MDOC_BLOCK != mdoc->first->child->type)

}

mdoc_nmsg(mdoc, mdoc->first, MANDOCERR_NODOCBODY);

else if (MDOC_Sh != mdoc->first->child->tok)

mdoc_nmsg(mdoc, mdoc->first, MANDOCERR_NODOCBODY);

else

return(1);

return(0);

n = mdoc->first;

assert(n);

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

if (NULL == n->child) {

erc++;

mdoc_nmsg(mdoc, n, MANDOCERR_NODOCBODY);

} else if (MDOC_BLOCK != n->child->type ||

MDOC_Sh != n->child->tok) {

erc++;

/* Can this be lifted? See rxdebug.1 for example. */

mdoc_nmsg(mdoc, n, MANDOCERR_NODOCBODY);

}

return(erc ? 0 : 1);

}

static int

post_st(POST_ARGS)

{

const char *p;

struct mdoc_node *ch;

const char *p;

assert(MDOC_TEXT == mdoc->last->child->type);

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

mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_MACROEMPTY);

mdoc_node_delete(mdoc, mdoc->last);

return(1);

}

p = mdoc_a2st(mdoc->last->child->string);

assert(MDOC_TEXT == ch->type);

if (p == NULL) {

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

mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_BADSTANDARD);

mdoc_node_delete(mdoc, mdoc->last);

} else {

free(mdoc->last->child->string);

free(ch->string);

mdoc->last->child->string = mandoc_strdup(p);

ch->string = mandoc_strdup(p);

}

return(1);

Line 1563 post_rs(POST_ARGS)

Line 1673 post_rs(POST_ARGS)

struct mdoc_node *nn, *next, *prev;

int i, j;

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

switch (mdoc->last->type) {

case (MDOC_HEAD):

check_count(mdoc, MDOC_HEAD, CHECK_WARN, CHECK_EQ, 0);

return(1);

case (MDOC_BODY):

if (mdoc->last->child)

break;

check_count(mdoc, MDOC_BODY, CHECK_WARN, CHECK_GT, 0);

return(1);

default:

return(1);

}

* Make sure only certain types of nodes are allowed within the

Line 1579 post_rs(POST_ARGS)

Line 1699 post_rs(POST_ARGS)

break;

if (i < RSORD_MAX) {

if (MDOC__J == rsord[i] || MDOC__B == rsord[i])

mdoc->last->norm->Rs.quote_T++;

next = nn->next;

continue;

}

Line 1653 post_rs(POST_ARGS)

Line 1775 post_rs(POST_ARGS)

return(1);

}

static int

post_ns(POST_ARGS)

{

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

mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_IGNNS);

return(1);

}

static int

post_sh(POST_ARGS)

{

Line 1666 post_sh(POST_ARGS)

Line 1796 post_sh(POST_ARGS)

return(1);

}

static int

post_sh_body(POST_ARGS)

{

Line 1681 post_sh_body(POST_ARGS)

Line 1810 post_sh_body(POST_ARGS)

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

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

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

return(mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_BADNAMESEC));

mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_BADNAMESEC);

return(1);

}

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

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

continue;

if (MDOC_TEXT == n->type)

continue;

if ( ! mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_BADNAMESEC))

mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_BADNAMESEC);

return(0);

}

assert(n);

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

return(1);

return(mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_BADNAMESEC));

mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_BADNAMESEC);

return(1);

}

static int

post_sh_head(POST_ARGS)

{

char buf[BUFSIZ];

enum mdoc_sec sec;

struct mdoc_node *n;

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

Line 1714 post_sh_head(POST_ARGS)

Line 1844 post_sh_head(POST_ARGS)

* manual sections.

buf[0] = '\0';

if ( ! concat(mdoc, buf, mdoc->last->child, BUFSIZ))

return(0);

/* FIXME: use dynamic buffer... */

sec = a2sec(buf);

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

/* XXX - copied from concat(). */

assert(MDOC_TEXT == n->type);

if (strlcat(buf, n->string, BUFSIZ) >= BUFSIZ) {

mdoc_nmsg(mdoc, n, MANDOCERR_MEM);

return(0);

}

if (NULL == n->next)

continue;

if (strlcat(buf, " ", BUFSIZ) >= BUFSIZ) {

mdoc_nmsg(mdoc, n, MANDOCERR_MEM);

return(0);

}

sec = mdoc_str2sec(buf);

/* The NAME should be first. */

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

Line 1800 post_sh_head(POST_ARGS)

Line 1911 post_sh_head(POST_ARGS)

}

static int

post_ignpar(POST_ARGS)

{

struct mdoc_node *np;

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

return(1);

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

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

mdoc_nmsg(mdoc, np, MANDOCERR_IGNPAR);

mdoc_node_delete(mdoc, np);

}

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

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

mdoc_nmsg(mdoc, np, MANDOCERR_IGNPAR);

mdoc_node_delete(mdoc, np);

}

return(1);

}

static int

pre_par(PRE_ARGS)

{

if (NULL == mdoc->last)

return(1);

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

return(1);

* Don't allow prior `Lp' or `Pp' prior to a paragraph-type

Line 1813 pre_par(PRE_ARGS)

Line 1949 pre_par(PRE_ARGS)

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

return(1);

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

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

return(1);

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

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

return(1);

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

return(1);

mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_IGNPAR);

mdoc_node_delete(mdoc, mdoc->last);

Line 1841 pre_literal(PRE_ARGS)

Line 1978 pre_literal(PRE_ARGS)

mdoc->flags |= MDOC_LITERAL;

break;

case (MDOC_Bd):

assert(n->data.Bd);

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

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

mdoc->flags |= MDOC_LITERAL;

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

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

mdoc->flags |= MDOC_LITERAL;

break;

default:

Line 1853 pre_literal(PRE_ARGS)

Line 1989 pre_literal(PRE_ARGS)

}

return(1);

}

static int

post_dd(POST_ARGS)

{

char buf[DATESIZE];

struct mdoc_node *n;

if (mdoc->meta.date)

free(mdoc->meta.date);

n = mdoc->last;

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

mdoc->meta.date = mandoc_normdate(NULL,

mdoc->msg, mdoc->data, n->line, n->pos);

return(1);

}

if ( ! concat(mdoc, buf, n->child, DATESIZE))

return(0);

mdoc->meta.date = mandoc_normdate(buf,

mdoc->msg, mdoc->data, n->line, n->pos);

return(1);

}

static int

post_dt(POST_ARGS)

{

struct mdoc_node *nn, *n;

const char *cp;

char *p;

n = mdoc->last;

if (mdoc->meta.title)

free(mdoc->meta.title);

if (mdoc->meta.vol)

free(mdoc->meta.vol);

if (mdoc->meta.arch)

free(mdoc->meta.arch);

mdoc->meta.title = mdoc->meta.vol = mdoc->meta.arch = NULL;

/* First make all characters uppercase. */

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

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

if (toupper((u_char)*p) == *p)

continue;

* FIXME: don't be lazy: have this make all

* characters be uppercase and just warn once.

mdoc_nmsg(mdoc, nn, MANDOCERR_UPPERCASE);

break;

}

/* Handles: `.Dt'

* --> title = unknown, volume = local, msec = 0, arch = NULL

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

/* XXX: make these macro values. */

/* FIXME: warn about missing values. */

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

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

mdoc->meta.msec = mandoc_strdup("1");

return(1);

}

/* Handles: `.Dt TITLE'

* --> title = TITLE, volume = local, msec = 0, arch = NULL

mdoc->meta.title = mandoc_strdup

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

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

/* FIXME: warn about missing msec. */

/* XXX: make this a macro value. */

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

mdoc->meta.msec = mandoc_strdup("1");

return(1);

}

/* Handles: `.Dt TITLE SEC'

* --> title = TITLE, volume = SEC is msec ?

* format(msec) : SEC,

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

* arch = NULL

cp = mdoc_a2msec(nn->string);

if (cp) {

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

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

} else {

mdoc_nmsg(mdoc, n, MANDOCERR_BADMSEC);

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

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

}

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

return(1);

/* Handles: `.Dt TITLE SEC VOL'

* --> title = TITLE, volume = VOL is vol ?

* format(VOL) :

* VOL is arch ? format(arch) :

* VOL

cp = mdoc_a2vol(nn->string);

if (cp) {

free(mdoc->meta.vol);

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

} else {

/* FIXME: warn about bad arch. */

cp = mdoc_a2arch(nn->string);

if (NULL == cp) {

free(mdoc->meta.vol);

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

} else

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

}

/* Ignore any subsequent parameters... */

/* FIXME: warn about subsequent parameters. */

return(1);

}

static int

post_prol(POST_ARGS)

{

* Remove prologue macros from the document after they're

* processed. The final document uses mdoc_meta for these

* values and discards the originals.

mdoc_node_delete(mdoc, mdoc->last);

if (mdoc->meta.title && mdoc->meta.date && mdoc->meta.os)

mdoc->flags |= MDOC_PBODY;

return(1);

}

static int

post_bx(POST_ARGS)

{

struct mdoc_node *n;

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

* letter. Groff checks if it's an "accepted" term, but we just

* uppercase blindly.

n = mdoc->last->child;

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

*n->string = (char)toupper

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

return(1);

}

static int

post_os(POST_ARGS)

{

struct mdoc_node *n;

char buf[BUFSIZ];

#ifndef OSNAME

struct utsname utsname;

#endif

n = mdoc->last;

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

* if an argument isn't provided and -DOSNAME="\"foo\"" is

* provided during compilation, this value will be used instead

* of filling in "sysname release" from uname().

if (mdoc->meta.os)

free(mdoc->meta.os);

if ( ! concat(mdoc, buf, n->child, BUFSIZ))

return(0);

/* XXX: yes, these can all be dynamically-adjusted buffers, but

* it's really not worth the extra hackery.

if ('\0' == buf[0]) {

#ifdef OSNAME

if (strlcat(buf, OSNAME, BUFSIZ) >= BUFSIZ) {

mdoc_nmsg(mdoc, n, MANDOCERR_MEM);

return(0);

}

#else /*!OSNAME */

if (uname(&utsname)) {

mdoc_nmsg(mdoc, n, MANDOCERR_UNAME);

mdoc->meta.os = mandoc_strdup("UNKNOWN");

return(post_prol(mdoc));

}

if (strlcat(buf, utsname.sysname, BUFSIZ) >= BUFSIZ) {

mdoc_nmsg(mdoc, n, MANDOCERR_MEM);

return(0);

}

if (strlcat(buf, " ", BUFSIZ) >= BUFSIZ) {

mdoc_nmsg(mdoc, n, MANDOCERR_MEM);

return(0);

}

if (strlcat(buf, utsname.release, BUFSIZ) >= BUFSIZ) {

mdoc_nmsg(mdoc, n, MANDOCERR_MEM);

return(0);

}

#endif /*!OSNAME*/

}

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

return(1);

}

static int

post_std(POST_ARGS)

{

struct mdoc_node *nn, *n;

n = mdoc->last;

* Macros accepting `-std' as an argument have the name of the

* current document (`Nm') filled in as the argument if it's not

* provided.

if (n->child)

return(1);

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

return(1);

nn = n;

mdoc->next = MDOC_NEXT_CHILD;

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

return(0);

mdoc->last = nn;

return(1);

}

static int

concat(struct mdoc *m, char *p, const struct mdoc_node *n, size_t sz)

{

p[0] = '\0';

* Concatenate sibling nodes together. All siblings must be of

* type MDOC_TEXT or an assertion is raised. Concatenation is

* separated by a single whitespace. Returns 0 on fatal (string

* overrun) error.

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

assert(MDOC_TEXT == n->type);

if (strlcat(p, n->string, sz) >= sz) {

mdoc_nmsg(m, n, MANDOCERR_MEM);

return(0);

}

if (NULL == n->next)

continue;

if (strlcat(p, " ", sz) >= sz) {

mdoc_nmsg(m, n, MANDOCERR_MEM);

return(0);

}

return(1);

}

static enum mdoc_sec

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(SEC_CUSTOM);

}

static size_t

macro2len(enum mdoct macro)

{

switch (macro) {

case(MDOC_Ad):

return(12);

case(MDOC_Ao):

return(12);

case(MDOC_An):

return(12);

case(MDOC_Aq):

return(12);

case(MDOC_Ar):

return(12);

case(MDOC_Bo):

return(12);

case(MDOC_Bq):

return(12);

case(MDOC_Cd):

return(12);

case(MDOC_Cm):

return(10);

case(MDOC_Do):

return(10);

case(MDOC_Dq):

return(12);

case(MDOC_Dv):

return(12);

case(MDOC_Eo):

return(12);

case(MDOC_Em):

return(10);

case(MDOC_Er):

return(17);

case(MDOC_Ev):

return(15);

case(MDOC_Fa):

return(12);

case(MDOC_Fl):

return(10);

case(MDOC_Fo):

return(16);

case(MDOC_Fn):

return(16);

case(MDOC_Ic):

return(10);

case(MDOC_Li):

return(16);

case(MDOC_Ms):

return(6);

case(MDOC_Nm):

return(10);

case(MDOC_No):

return(12);

case(MDOC_Oo):

return(10);

case(MDOC_Op):

return(14);

case(MDOC_Pa):

return(32);

case(MDOC_Pf):

return(12);

case(MDOC_Po):

return(12);

case(MDOC_Pq):

return(12);

case(MDOC_Ql):

return(16);

case(MDOC_Qo):

return(12);

case(MDOC_So):

return(12);

case(MDOC_Sq):

return(12);

case(MDOC_Sy):

return(6);

case(MDOC_Sx):

return(16);

case(MDOC_Tn):

return(10);

case(MDOC_Va):

return(12);

case(MDOC_Vt):

return(12);

case(MDOC_Xr):

return(10);

default:

break;

};

return(0);

}

CVSweb