version 1.2, 2009/03/23 14:31:58 |
version 1.127, 2018/08/17 20:33:37 |
|
|
/* $Id$ */ |
/* $Id$ */ |
/* |
/* |
* Copyright (c) 2008, 2009 Kristaps Dzonsons <kristaps@openbsd.org> |
* Copyright (c) 2008, 2009, 2010, 2011 Kristaps Dzonsons <kristaps@bsd.lv> |
|
* Copyright (c) 2012-2015, 2017, 2018 Ingo Schwarze <schwarze@openbsd.org> |
|
* Copyright (c) 2013 Franco Fichtner <franco@lastsummer.de> |
* |
* |
* Permission to use, copy, modify, and distribute this software for any |
* Permission to use, copy, modify, and distribute this software for any |
* purpose with or without fee is hereby granted, provided that the |
* purpose with or without fee is hereby granted, provided that the above |
* above copyright notice and this permission notice appear in all |
* copyright notice and this permission notice appear in all copies. |
* copies. |
|
* |
* |
* THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL |
* THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHORS DISCLAIM ALL WARRANTIES |
* WARRANTIES WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED |
* WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF |
* WARRANTIES OF MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE |
* MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHORS BE LIABLE FOR |
* AUTHOR BE LIABLE FOR ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL |
* ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES |
* DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR |
* WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN |
* PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER |
* ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF |
* TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR |
* OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. |
* PERFORMANCE OF THIS SOFTWARE. |
|
*/ |
*/ |
|
#include "config.h" |
|
|
|
#include <sys/types.h> |
|
|
#include <assert.h> |
#include <assert.h> |
#include <ctype.h> |
#include <ctype.h> |
#include <stdlib.h> |
#include <stdlib.h> |
#include <stdio.h> |
|
#include <string.h> |
#include <string.h> |
|
|
|
#include "mandoc.h" |
|
#include "roff.h" |
|
#include "man.h" |
|
#include "libmandoc.h" |
|
#include "roff_int.h" |
#include "libman.h" |
#include "libman.h" |
|
|
static int in_line_eoln(MACRO_PROT_ARGS); |
static void blk_close(MACRO_PROT_ARGS); |
|
static void blk_exp(MACRO_PROT_ARGS); |
|
static void blk_imp(MACRO_PROT_ARGS); |
|
static void in_line_eoln(MACRO_PROT_ARGS); |
|
static int man_args(struct roff_man *, int, |
|
int *, char *, char **); |
|
static void rew_scope(struct roff_man *, enum roff_tok); |
|
|
const struct man_macro __man_macros[MAN_MAX] = { |
static const struct man_macro man_macros[MAN_MAX - MAN_TH] = { |
{ in_line_eoln, 0 }, /* MAN___ */ |
{ in_line_eoln, MAN_BSCOPE }, /* TH */ |
{ in_line_eoln, 0 }, /* MAN_TH */ |
{ blk_imp, MAN_BSCOPE | MAN_SCOPED }, /* SH */ |
{ in_line_eoln, 0 }, /* MAN_SH */ |
{ blk_imp, MAN_BSCOPE | MAN_SCOPED }, /* SS */ |
{ in_line_eoln, 0 }, /* MAN_SS */ |
{ blk_imp, MAN_BSCOPE | MAN_SCOPED }, /* TP */ |
{ in_line_eoln, 0 }, /* MAN_TP */ |
{ blk_imp, MAN_BSCOPE | MAN_SCOPED }, /* TQ */ |
{ in_line_eoln, 0 }, /* MAN_LP */ |
{ blk_imp, MAN_BSCOPE }, /* LP */ |
{ in_line_eoln, 0 }, /* MAN_PP */ |
{ blk_imp, MAN_BSCOPE }, /* PP */ |
{ in_line_eoln, 0 }, /* MAN_P */ |
{ blk_imp, MAN_BSCOPE }, /* P */ |
{ in_line_eoln, 0 }, /* MAN_IP */ |
{ blk_imp, MAN_BSCOPE }, /* IP */ |
{ in_line_eoln, 0 }, /* MAN_HP */ |
{ blk_imp, MAN_BSCOPE }, /* HP */ |
{ in_line_eoln, 0 }, /* MAN_SM */ |
{ in_line_eoln, MAN_SCOPED | MAN_JOIN }, /* SM */ |
{ in_line_eoln, 0 }, /* MAN_SB */ |
{ in_line_eoln, MAN_SCOPED | MAN_JOIN }, /* SB */ |
{ in_line_eoln, 0 }, /* MAN_BI */ |
{ in_line_eoln, 0 }, /* BI */ |
{ in_line_eoln, 0 }, /* MAN_IB */ |
{ in_line_eoln, 0 }, /* IB */ |
{ in_line_eoln, 0 }, /* MAN_BR */ |
{ in_line_eoln, 0 }, /* BR */ |
{ in_line_eoln, 0 }, /* MAN_RB */ |
{ in_line_eoln, 0 }, /* RB */ |
{ in_line_eoln, 0 }, /* MAN_R */ |
{ in_line_eoln, MAN_SCOPED | MAN_JOIN }, /* R */ |
{ in_line_eoln, 0 }, /* MAN_B */ |
{ in_line_eoln, MAN_SCOPED | MAN_JOIN }, /* B */ |
{ in_line_eoln, 0 }, /* MAN_I */ |
{ in_line_eoln, MAN_SCOPED | MAN_JOIN }, /* I */ |
|
{ in_line_eoln, 0 }, /* IR */ |
|
{ in_line_eoln, 0 }, /* RI */ |
|
{ in_line_eoln, MAN_NSCOPED }, /* nf */ |
|
{ in_line_eoln, MAN_NSCOPED }, /* fi */ |
|
{ blk_close, MAN_BSCOPE }, /* RE */ |
|
{ blk_exp, MAN_BSCOPE }, /* RS */ |
|
{ in_line_eoln, 0 }, /* DT */ |
|
{ in_line_eoln, 0 }, /* UC */ |
|
{ in_line_eoln, MAN_NSCOPED }, /* PD */ |
|
{ in_line_eoln, 0 }, /* AT */ |
|
{ in_line_eoln, MAN_NSCOPED }, /* in */ |
|
{ in_line_eoln, 0 }, /* OP */ |
|
{ in_line_eoln, MAN_BSCOPE }, /* EX */ |
|
{ in_line_eoln, MAN_BSCOPE }, /* EE */ |
|
{ blk_exp, MAN_BSCOPE }, /* UR */ |
|
{ blk_close, MAN_BSCOPE }, /* UE */ |
|
{ blk_exp, MAN_BSCOPE }, /* MT */ |
|
{ blk_close, MAN_BSCOPE }, /* ME */ |
}; |
}; |
|
|
const struct man_macro * const man_macros = __man_macros; |
|
|
|
|
const struct man_macro * |
|
man_macro(enum roff_tok tok) |
|
{ |
|
assert(tok >= MAN_TH && tok <= MAN_MAX); |
|
return man_macros + (tok - MAN_TH); |
|
} |
|
|
|
void |
|
man_unscope(struct roff_man *man, const struct roff_node *to) |
|
{ |
|
struct roff_node *n; |
|
|
|
to = to->parent; |
|
n = man->last; |
|
while (n != to) { |
|
|
|
/* Reached the end of the document? */ |
|
|
|
if (to == NULL && ! (n->flags & NODE_VALID)) { |
|
if (man->flags & (MAN_BLINE | MAN_ELINE) && |
|
man_macro(n->tok)->flags & MAN_SCOPED) { |
|
mandoc_vmsg(MANDOCERR_BLK_LINE, |
|
man->parse, n->line, n->pos, |
|
"EOF breaks %s", roff_name[n->tok]); |
|
if (man->flags & MAN_ELINE) |
|
man->flags &= ~MAN_ELINE; |
|
else { |
|
assert(n->type == ROFFT_HEAD); |
|
n = n->parent; |
|
man->flags &= ~MAN_BLINE; |
|
} |
|
man->last = n; |
|
n = n->parent; |
|
roff_node_delete(man, man->last); |
|
continue; |
|
} |
|
if (n->type == ROFFT_BLOCK && |
|
man_macro(n->tok)->fp == blk_exp) |
|
mandoc_msg(MANDOCERR_BLK_NOEND, |
|
man->parse, n->line, n->pos, |
|
roff_name[n->tok]); |
|
} |
|
|
|
/* |
|
* We might delete the man->last node |
|
* in the post-validation phase. |
|
* Save a pointer to the parent such that |
|
* we know where to continue the iteration. |
|
*/ |
|
|
|
man->last = n; |
|
n = n->parent; |
|
man->last->flags |= NODE_VALID; |
|
} |
|
|
|
/* |
|
* If we ended up at the parent of the node we were |
|
* supposed to rewind to, that means the target node |
|
* got deleted, so add the next node we parse as a child |
|
* of the parent instead of as a sibling of the target. |
|
*/ |
|
|
|
man->next = (man->last == to) ? |
|
ROFF_NEXT_CHILD : ROFF_NEXT_SIBLING; |
|
} |
|
|
/* |
/* |
* In-line macro that spans an entire line. May be callable, but has no |
* Rewinding entails ascending the parse tree until a coherent point, |
* subsequent parsed arguments. |
* for example, the `SH' macro will close out any intervening `SS' |
|
* scopes. When a scope is closed, it must be validated and actioned. |
*/ |
*/ |
static int |
static void |
in_line_eoln(MACRO_PROT_ARGS) |
rew_scope(struct roff_man *man, enum roff_tok tok) |
{ |
{ |
#if 0 |
struct roff_node *n; |
int c, w, la; |
|
char *p; |
|
|
|
if ( ! man_elem_alloc(man, line, ppos, tok, arg)) |
/* Preserve empty paragraphs before RS. */ |
return(0); |
|
man->next = MDOC_NEXT_SIBLING; |
|
|
|
|
n = man->last; |
|
if (tok == MAN_RS && n->child == NULL && |
|
(n->tok == MAN_P || n->tok == MAN_PP || n->tok == MAN_LP)) |
|
return; |
|
|
for (;;) { |
for (;;) { |
|
if (n->type == ROFFT_ROOT) |
|
return; |
|
if (n->flags & NODE_VALID) { |
|
n = n->parent; |
|
continue; |
|
} |
|
if (n->type != ROFFT_BLOCK) { |
|
if (n->parent->type == ROFFT_ROOT) { |
|
man_unscope(man, n); |
|
return; |
|
} else { |
|
n = n->parent; |
|
continue; |
|
} |
|
} |
|
if (tok != MAN_SH && (n->tok == MAN_SH || |
|
(tok != MAN_SS && (n->tok == MAN_SS || |
|
man_macro(n->tok)->fp == blk_exp)))) |
|
return; |
|
man_unscope(man, n); |
|
n = man->last; |
|
} |
|
} |
|
|
|
|
|
/* |
|
* Close out a generic explicit macro. |
|
*/ |
|
void |
|
blk_close(MACRO_PROT_ARGS) |
|
{ |
|
enum roff_tok ctok, ntok; |
|
const struct roff_node *nn; |
|
char *p; |
|
int cline, cpos, nrew, target; |
|
|
|
nrew = 1; |
|
switch (tok) { |
|
case MAN_RE: |
|
ntok = MAN_RS; |
|
if ( ! man_args(man, line, pos, buf, &p)) |
|
break; |
|
for (nn = man->last->parent; nn; nn = nn->parent) |
|
if (nn->tok == ntok && nn->type == ROFFT_BLOCK) |
|
nrew++; |
|
target = strtol(p, &p, 10); |
|
if (*p != '\0') |
|
mandoc_vmsg(MANDOCERR_ARG_EXCESS, man->parse, |
|
line, p - buf, "RE ... %s", p); |
|
if (target == 0) |
|
target = 1; |
|
nrew -= target; |
|
if (nrew < 1) { |
|
mandoc_vmsg(MANDOCERR_RE_NOTOPEN, man->parse, |
|
line, ppos, "RE %d", target); |
|
return; |
|
} |
|
break; |
|
case MAN_UE: |
|
ntok = MAN_UR; |
|
break; |
|
case MAN_ME: |
|
ntok = MAN_MT; |
|
break; |
|
default: |
|
abort(); |
|
} |
|
|
|
for (nn = man->last->parent; nn; nn = nn->parent) |
|
if (nn->tok == ntok && nn->type == ROFFT_BLOCK && ! --nrew) |
|
break; |
|
|
|
if (nn == NULL) { |
|
mandoc_msg(MANDOCERR_BLK_NOTOPEN, man->parse, |
|
line, ppos, roff_name[tok]); |
|
rew_scope(man, MAN_PP); |
|
return; |
|
} |
|
|
|
cline = man->last->line; |
|
cpos = man->last->pos; |
|
ctok = man->last->tok; |
|
man_unscope(man, nn); |
|
|
|
if (tok == MAN_RE && nn->head->aux > 0) |
|
roff_setreg(man->roff, "an-margin", nn->head->aux, '-'); |
|
|
|
/* Trailing text. */ |
|
|
|
if (buf[*pos] != '\0') { |
|
roff_word_alloc(man, line, ppos, buf + *pos); |
|
man->last->flags |= NODE_DELIMC; |
|
} |
|
|
|
/* Move a trailing paragraph behind the block. */ |
|
|
|
if (ctok == MAN_LP || ctok == MAN_PP || ctok == MAN_P) { |
|
*pos = strlen(buf); |
|
blk_imp(man, ctok, cline, cpos, pos, buf); |
|
} |
|
} |
|
|
|
void |
|
blk_exp(MACRO_PROT_ARGS) |
|
{ |
|
struct roff_node *head; |
|
char *p; |
|
int la; |
|
|
|
rew_scope(man, tok); |
|
roff_block_alloc(man, line, ppos, tok); |
|
head = roff_head_alloc(man, line, ppos, tok); |
|
|
|
la = *pos; |
|
if (man_args(man, line, pos, buf, &p)) { |
|
roff_word_alloc(man, line, la, p); |
|
if (tok == MAN_RS) { |
|
if (roff_getreg(man->roff, "an-margin") == 0) |
|
roff_setreg(man->roff, "an-margin", |
|
7 * 24, '='); |
|
if ((head->aux = strtod(p, NULL) * 24.0) > 0) |
|
roff_setreg(man->roff, "an-margin", |
|
head->aux, '+'); |
|
} |
|
} |
|
|
|
if (buf[*pos] != '\0') |
|
mandoc_vmsg(MANDOCERR_ARG_EXCESS, man->parse, line, |
|
*pos, "%s ... %s", roff_name[tok], buf + *pos); |
|
|
|
man_unscope(man, head); |
|
roff_body_alloc(man, line, ppos, tok); |
|
} |
|
|
|
/* |
|
* Parse an implicit-block macro. These contain a ROFFT_HEAD and a |
|
* ROFFT_BODY contained within a ROFFT_BLOCK. Rules for closing out other |
|
* scopes, such as `SH' closing out an `SS', are defined in the rew |
|
* routines. |
|
*/ |
|
void |
|
blk_imp(MACRO_PROT_ARGS) |
|
{ |
|
int la; |
|
char *p; |
|
struct roff_node *n; |
|
|
|
rew_scope(man, tok); |
|
n = roff_block_alloc(man, line, ppos, tok); |
|
if (n->tok == MAN_SH || n->tok == MAN_SS) |
|
man->flags &= ~MAN_LITERAL; |
|
n = roff_head_alloc(man, line, ppos, tok); |
|
|
|
/* Add line arguments. */ |
|
|
|
for (;;) { |
la = *pos; |
la = *pos; |
w = man_args(man, line, pos, buf, tok, &p); |
if ( ! man_args(man, line, pos, buf, &p)) |
|
break; |
|
roff_word_alloc(man, line, la, p); |
|
} |
|
|
if (ARGS_ERROR == w) |
/* |
return(0); |
* For macros having optional next-line scope, |
if (ARGS_EOLN == w) |
* keep the head open if there were no arguments. |
|
* For `TP', always keep the head open. |
|
*/ |
|
|
|
if (man_macro(tok)->flags & MAN_SCOPED && |
|
(tok == MAN_TP || tok == MAN_TQ || n == man->last)) { |
|
man->flags |= MAN_BLINE; |
|
return; |
|
} |
|
|
|
/* Close out the head and open the body. */ |
|
|
|
man_unscope(man, n); |
|
roff_body_alloc(man, line, ppos, tok); |
|
} |
|
|
|
void |
|
in_line_eoln(MACRO_PROT_ARGS) |
|
{ |
|
int la; |
|
char *p; |
|
struct roff_node *n; |
|
|
|
roff_elem_alloc(man, line, ppos, tok); |
|
n = man->last; |
|
|
|
for (;;) { |
|
if (buf[*pos] != '\0' && (tok == MAN_fi || tok == MAN_nf)) { |
|
mandoc_vmsg(MANDOCERR_ARG_SKIP, |
|
man->parse, line, *pos, "%s %s", |
|
roff_name[tok], buf + *pos); |
break; |
break; |
|
} |
|
if (buf[*pos] != '\0' && man->last != n && tok == MAN_PD) { |
|
mandoc_vmsg(MANDOCERR_ARG_EXCESS, |
|
man->parse, line, *pos, "%s ... %s", |
|
roff_name[tok], buf + *pos); |
|
break; |
|
} |
|
la = *pos; |
|
if ( ! man_args(man, line, pos, buf, &p)) |
|
break; |
|
if (man_macro(tok)->flags & MAN_JOIN && |
|
man->last->type == ROFFT_TEXT) |
|
roff_word_append(man, p); |
|
else |
|
roff_word_alloc(man, line, la, p); |
|
} |
|
|
c = ARGS_QWORD == w ? MAN_MAX : |
/* |
lookup(man, line, la, tok, p); |
* Append NODE_EOS in case the last snipped argument |
|
* ends with a dot, e.g. `.IR syslog (3).' |
|
*/ |
|
|
if (MDOC_MAX != c && -1 != c) { |
if (n != man->last && |
if ( ! rew_elem(mdoc, tok)) |
mandoc_eos(man->last->string, strlen(man->last->string))) |
return(0); |
man->last->flags |= NODE_EOS; |
return(mdoc_macro(mdoc, c, line, la, pos, buf)); |
|
} else if (-1 == c) |
|
return(0); |
|
|
|
if ( ! mdoc_word_alloc(mdoc, line, la, p)) |
/* |
return(0); |
* If no arguments are specified and this is MAN_SCOPED (i.e., |
|
* next-line scoped), then set our mode to indicate that we're |
|
* waiting for terms to load into our context. |
|
*/ |
|
|
|
if (n == man->last && man_macro(tok)->flags & MAN_SCOPED) { |
|
assert((man_macro(tok)->flags & MAN_NSCOPED) == 0); |
|
man->flags |= MAN_ELINE; |
|
return; |
} |
} |
|
|
return(rew_elem(mdoc, tok)); |
assert(man->last->type != ROFFT_ROOT); |
#endif |
man->next = ROFF_NEXT_SIBLING; |
return(1); |
|
|
/* Rewind our element scope. */ |
|
|
|
for ( ; man->last; man->last = man->last->parent) { |
|
man_state(man, man->last); |
|
if (man->last == n) |
|
break; |
|
} |
} |
} |
|
|
|
void |
|
man_endparse(struct roff_man *man) |
|
{ |
|
|
|
man_unscope(man, man->first); |
|
man->flags &= ~MAN_LITERAL; |
|
} |
|
|
|
static int |
|
man_args(struct roff_man *man, int line, int *pos, char *buf, char **v) |
|
{ |
|
char *start; |
|
|
|
assert(*pos); |
|
*v = start = buf + *pos; |
|
assert(' ' != *start); |
|
|
|
if ('\0' == *start) |
|
return 0; |
|
|
|
*v = mandoc_getarg(man->parse, v, line, pos); |
|
return 1; |
|
} |