version 1.136, 2014/07/04 16:12:08 |
version 1.145, 2014/11/20 00:31:28 |
|
|
/* $Id$ */ |
/* $Id$ */ |
/* |
/* |
* Copyright (c) 2008-2012 Kristaps Dzonsons <kristaps@bsd.lv> |
* Copyright (c) 2008-2012 Kristaps Dzonsons <kristaps@bsd.lv> |
* Copyright (c) 2010, 2012, 2013 Ingo Schwarze <schwarze@openbsd.org> |
* Copyright (c) 2010, 2012, 2013, 2014 Ingo Schwarze <schwarze@openbsd.org> |
* |
* |
* 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 above |
* purpose with or without fee is hereby granted, provided that the above |
|
|
* ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF |
* ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF |
* OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. |
* OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. |
*/ |
*/ |
#ifdef HAVE_CONFIG_H |
|
#include "config.h" |
#include "config.h" |
#endif |
|
|
|
|
#include <sys/types.h> |
|
|
#include <assert.h> |
#include <assert.h> |
#include <ctype.h> |
#include <ctype.h> |
#include <stdlib.h> |
#include <stdlib.h> |
Line 147 const struct mdoc_macro __mdoc_macros[MDOC_MAX] = { |
|
Line 147 const struct mdoc_macro __mdoc_macros[MDOC_MAX] = { |
|
{ blk_part_exp, MDOC_CALLABLE | MDOC_PARSED | MDOC_EXPLICIT }, /* Eo */ |
{ blk_part_exp, MDOC_CALLABLE | MDOC_PARSED | MDOC_EXPLICIT }, /* Eo */ |
{ in_line_argn, MDOC_CALLABLE | MDOC_PARSED }, /* Fx */ |
{ in_line_argn, MDOC_CALLABLE | MDOC_PARSED }, /* Fx */ |
{ in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Ms */ |
{ in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Ms */ |
|
{ in_line, MDOC_CALLABLE | MDOC_PARSED | MDOC_JOIN }, /* No */ |
{ in_line_argn, MDOC_CALLABLE | MDOC_PARSED | |
{ in_line_argn, MDOC_CALLABLE | MDOC_PARSED | |
MDOC_IGNDELIM | MDOC_JOIN }, /* No */ |
|
{ in_line_argn, MDOC_CALLABLE | MDOC_PARSED | |
|
MDOC_IGNDELIM | MDOC_JOIN }, /* Ns */ |
MDOC_IGNDELIM | MDOC_JOIN }, /* Ns */ |
{ in_line_argn, MDOC_CALLABLE | MDOC_PARSED }, /* Nx */ |
{ in_line_argn, MDOC_CALLABLE | MDOC_PARSED }, /* Nx */ |
{ in_line_argn, MDOC_CALLABLE | MDOC_PARSED }, /* Ox */ |
{ in_line_argn, MDOC_CALLABLE | MDOC_PARSED }, /* Ox */ |
Line 210 const struct mdoc_macro __mdoc_macros[MDOC_MAX] = { |
|
Line 209 const struct mdoc_macro __mdoc_macros[MDOC_MAX] = { |
|
{ in_line_eoln, 0 }, /* sp */ |
{ in_line_eoln, 0 }, /* sp */ |
{ in_line_eoln, 0 }, /* %U */ |
{ in_line_eoln, 0 }, /* %U */ |
{ phrase_ta, MDOC_CALLABLE | MDOC_PARSED | MDOC_JOIN }, /* Ta */ |
{ phrase_ta, MDOC_CALLABLE | MDOC_PARSED | MDOC_JOIN }, /* Ta */ |
{ in_line_eoln, 0 }, /* ll */ |
{ in_line_eoln, MDOC_PROLOGUE }, /* ll */ |
}; |
}; |
|
|
const struct mdoc_macro * const mdoc_macros = __mdoc_macros; |
const struct mdoc_macro * const mdoc_macros = __mdoc_macros; |
Line 234 mdoc_macroend(struct mdoc *mdoc) |
|
Line 233 mdoc_macroend(struct mdoc *mdoc) |
|
for ( ; n; n = n->parent) |
for ( ; n; n = n->parent) |
if (MDOC_BLOCK == n->type && |
if (MDOC_BLOCK == n->type && |
MDOC_EXPLICIT & mdoc_macros[n->tok].flags) |
MDOC_EXPLICIT & mdoc_macros[n->tok].flags) |
mdoc_nmsg(mdoc, n, MANDOCERR_SCOPEEXIT); |
mandoc_msg(MANDOCERR_BLK_NOEND, mdoc->parse, |
|
n->line, n->pos, mdoc_macronames[n->tok]); |
|
|
/* Rewind to the first. */ |
/* Rewind to the first. */ |
|
|
Line 423 rew_dohalt(enum mdoct tok, enum mdoc_type type, |
|
Line 423 rew_dohalt(enum mdoct tok, enum mdoc_type type, |
|
return(REWIND_NONE); |
return(REWIND_NONE); |
/* FALLTHROUGH */ |
/* FALLTHROUGH */ |
case MDOC_Sh: |
case MDOC_Sh: |
|
if (MDOC_ROOT == p->parent->type) |
|
return(REWIND_THIS); |
if (MDOC_Nd == p->tok || MDOC_Ss == p->tok || |
if (MDOC_Nd == p->tok || MDOC_Ss == p->tok || |
MDOC_Sh == p->tok) |
MDOC_Sh == p->tok) |
return(REWIND_MORE); |
return(REWIND_MORE); |
Line 528 make_pending(struct mdoc_node *broken, enum mdoct tok, |
|
Line 530 make_pending(struct mdoc_node *broken, enum mdoct tok, |
|
taker->pending = broken->pending; |
taker->pending = broken->pending; |
} |
} |
broken->pending = breaker; |
broken->pending = breaker; |
mandoc_vmsg(MANDOCERR_BLOCK_NEST, mdoc->parse, line, ppos, |
mandoc_vmsg(MANDOCERR_BLK_NEST, mdoc->parse, line, ppos, |
"%s breaks %s", mdoc_macronames[tok], |
"%s breaks %s", mdoc_macronames[tok], |
mdoc_macronames[broken->tok]); |
mdoc_macronames[broken->tok]); |
return(1); |
return(1); |
Line 558 rew_sub(enum mdoc_type t, struct mdoc *mdoc, |
|
Line 560 rew_sub(enum mdoc_type t, struct mdoc *mdoc, |
|
! (MDOC_EXPLICIT & mdoc_macros[tok].flags)); |
! (MDOC_EXPLICIT & mdoc_macros[tok].flags)); |
break; |
break; |
case REWIND_FORCE: |
case REWIND_FORCE: |
mandoc_vmsg(MANDOCERR_SCOPEBROKEN, mdoc->parse, |
mandoc_vmsg(MANDOCERR_BLK_BROKEN, mdoc->parse, |
line, ppos, "%s breaks %s", |
line, ppos, "%s breaks %s", |
mdoc_macronames[tok], |
mdoc_macronames[tok], |
mdoc_macronames[n->tok]); |
mdoc_macronames[n->tok]); |
Line 574 rew_sub(enum mdoc_type t, struct mdoc *mdoc, |
|
Line 576 rew_sub(enum mdoc_type t, struct mdoc *mdoc, |
|
return(1); |
return(1); |
/* FALLTHROUGH */ |
/* FALLTHROUGH */ |
case REWIND_ERROR: |
case REWIND_ERROR: |
mdoc_pmsg(mdoc, line, ppos, MANDOCERR_NOSCOPE); |
mandoc_msg(MANDOCERR_BLK_NOTOPEN, |
|
mdoc->parse, line, ppos, |
|
mdoc_macronames[tok]); |
return(1); |
return(1); |
} |
} |
break; |
break; |
Line 622 dword(struct mdoc *mdoc, int line, int col, const char |
|
Line 626 dword(struct mdoc *mdoc, int line, int col, const char |
|
if ( ! mdoc_word_alloc(mdoc, line, col, p)) |
if ( ! mdoc_word_alloc(mdoc, line, col, p)) |
return(0); |
return(0); |
|
|
if (DELIM_OPEN == d) |
|
mdoc->last->flags |= MDOC_DELIMO; |
|
|
|
/* |
/* |
* Closing delimiters only suppress the preceding space |
* If the word consists of a bare delimiter, |
* when they follow something, not when they start a new |
* flag the new node accordingly, |
* block or element, and not when they follow `No'. |
* unless doing so was vetoed by the invoking macro. |
* |
* Always clear the veto, it is only valid for one word. |
* XXX Explicitly special-casing MDOC_No here feels |
|
* like a layering violation. Find a better way |
|
* and solve this in the code related to `No'! |
|
*/ |
*/ |
|
|
else if (DELIM_CLOSE == d && mdoc->last->prev && |
if (d == DELIM_OPEN) |
mdoc->last->prev->tok != MDOC_No && |
mdoc->last->flags |= MDOC_DELIMO; |
|
else if (d == DELIM_CLOSE && |
|
! (mdoc->flags & MDOC_NODELIMC) && |
mdoc->last->parent->tok != MDOC_Fd) |
mdoc->last->parent->tok != MDOC_Fd) |
mdoc->last->flags |= MDOC_DELIMC; |
mdoc->last->flags |= MDOC_DELIMC; |
|
|
|
mdoc->flags &= ~MDOC_NODELIMC; |
|
|
return(1); |
return(1); |
} |
} |
|
|
Line 838 blk_exp_close(MACRO_PROT_ARGS) |
|
Line 840 blk_exp_close(MACRO_PROT_ARGS) |
|
static int |
static int |
in_line(MACRO_PROT_ARGS) |
in_line(MACRO_PROT_ARGS) |
{ |
{ |
int la, scope, cnt, nc, nl; |
int la, scope, cnt, firstarg, mayopen, nc, nl; |
enum margverr av; |
enum margverr av; |
enum mdoct ntok; |
enum mdoct ntok; |
enum margserr ac; |
enum margserr ac; |
Line 889 in_line(MACRO_PROT_ARGS) |
|
Line 891 in_line(MACRO_PROT_ARGS) |
|
return(0); |
return(0); |
} |
} |
|
|
|
d = DELIM_NONE; |
|
firstarg = 1; |
|
mayopen = 1; |
for (cnt = scope = 0;; ) { |
for (cnt = scope = 0;; ) { |
la = *pos; |
la = *pos; |
ac = mdoc_args(mdoc, line, pos, buf, tok, &p); |
ac = mdoc_args(mdoc, line, pos, buf, tok, &p); |
|
|
if (ARGS_ERROR == ac) |
if (ac == ARGS_ERROR) |
return(0); |
return(0); |
if (ARGS_EOLN == ac) |
|
|
/* |
|
* At the end of a macro line, |
|
* opening delimiters do not suppress spacing. |
|
*/ |
|
|
|
if (ac == ARGS_EOLN) { |
|
if (d == DELIM_OPEN) |
|
mdoc->last->flags &= ~MDOC_DELIMO; |
break; |
break; |
if (ARGS_PUNCT == ac) |
} |
|
|
|
/* |
|
* The rest of the macro line is only punctuation, |
|
* to be handled by append_delims(). |
|
* If there were no other arguments, |
|
* do not allow the first one to suppress spacing, |
|
* even if it turns out to be a closing one. |
|
*/ |
|
|
|
if (ac == ARGS_PUNCT) { |
|
if (cnt == 0 && nc == 0) |
|
mdoc->flags |= MDOC_NODELIMC; |
break; |
break; |
|
} |
|
|
ntok = ARGS_QWORD == ac ? MDOC_MAX : lookup(tok, p); |
ntok = (ac == ARGS_QWORD || (tok == MDOC_Fn && !cnt)) ? |
|
MDOC_MAX : lookup(tok, p); |
|
|
/* |
/* |
* In this case, we've located a submacro and must |
* In this case, we've located a submacro and must |
Line 943 in_line(MACRO_PROT_ARGS) |
|
Line 970 in_line(MACRO_PROT_ARGS) |
|
if (DELIM_NONE != d) { |
if (DELIM_NONE != d) { |
/* |
/* |
* If we encounter closing punctuation, no word |
* If we encounter closing punctuation, no word |
* has been omitted, no scope is open, and we're |
* has been emitted, no scope is open, and we're |
* allowed to have an empty element, then start |
* allowed to have an empty element, then start |
* a new scope. `Ar', `Fl', and `Li', only do |
* a new scope. |
* this once per invocation. There may be more |
|
* of these (all of them?). |
|
*/ |
*/ |
if (0 == cnt && (nc || MDOC_Li == tok) && |
if ((d == DELIM_CLOSE || |
DELIM_CLOSE == d && ! scope) { |
(d == DELIM_MIDDLE && tok == MDOC_Fl)) && |
|
!cnt && !scope && nc && mayopen) { |
if ( ! mdoc_elem_alloc(mdoc, |
if ( ! mdoc_elem_alloc(mdoc, |
line, ppos, tok, arg)) |
line, ppos, tok, arg)) |
return(0); |
return(0); |
if (MDOC_Ar == tok || MDOC_Li == tok || |
|
MDOC_Fl == tok) |
|
cnt++; |
|
scope = 1; |
scope = 1; |
|
cnt++; |
|
if (MDOC_Nm == tok) |
|
mayopen = 0; |
} |
} |
/* |
/* |
* Close out our scope, if one is open, before |
* Close out our scope, if one is open, before |
Line 966 in_line(MACRO_PROT_ARGS) |
|
Line 992 in_line(MACRO_PROT_ARGS) |
|
if (scope && ! rew_elem(mdoc, tok)) |
if (scope && ! rew_elem(mdoc, tok)) |
return(0); |
return(0); |
scope = 0; |
scope = 0; |
} else if ( ! scope) { |
if (tok == MDOC_Fn) |
|
mayopen = 0; |
|
} else if (mayopen && !scope) { |
if ( ! mdoc_elem_alloc(mdoc, line, ppos, tok, arg)) |
if ( ! mdoc_elem_alloc(mdoc, line, ppos, tok, arg)) |
return(0); |
return(0); |
scope = 1; |
scope = 1; |
|
cnt++; |
} |
} |
|
|
if (DELIM_NONE == d) |
|
cnt++; |
|
|
|
if ( ! dword(mdoc, line, la, p, d, |
if ( ! dword(mdoc, line, la, p, d, |
MDOC_JOIN & mdoc_macros[tok].flags)) |
MDOC_JOIN & mdoc_macros[tok].flags)) |
return(0); |
return(0); |
|
|
/* |
/* |
|
* If the first argument is a closing delimiter, |
|
* do not suppress spacing before it. |
|
*/ |
|
|
|
if (firstarg && d == DELIM_CLOSE && !nc) |
|
mdoc->last->flags &= ~MDOC_DELIMC; |
|
firstarg = 0; |
|
|
|
/* |
* `Fl' macros have their scope re-opened with each new |
* `Fl' macros have their scope re-opened with each new |
* word so that the `-' can be added to each one without |
* word so that the `-' can be added to each one without |
* having to parse out spaces. |
* having to parse out spaces. |
Line 1032 blk_full(MACRO_PROT_ARGS) |
|
Line 1067 blk_full(MACRO_PROT_ARGS) |
|
|
|
nl = MDOC_NEWLINE & mdoc->flags; |
nl = MDOC_NEWLINE & mdoc->flags; |
|
|
|
/* Skip items outside lists. */ |
|
|
|
if (tok == MDOC_It) { |
|
for (n = mdoc->last; n; n = n->parent) |
|
if (n->tok == MDOC_Bl && |
|
! (n->flags & MDOC_VALID)) |
|
break; |
|
if (n == NULL) { |
|
mandoc_vmsg(MANDOCERR_IT_STRAY, mdoc->parse, |
|
line, ppos, "It %s", buf + *pos); |
|
if ( ! mdoc_elem_alloc(mdoc, line, ppos, |
|
MDOC_br, NULL)) |
|
return(0); |
|
return(rew_elem(mdoc, MDOC_br)); |
|
} |
|
} |
|
|
/* Close out prior implicit scope. */ |
/* Close out prior implicit scope. */ |
|
|
if ( ! (MDOC_EXPLICIT & mdoc_macros[tok].flags)) { |
if ( ! (MDOC_EXPLICIT & mdoc_macros[tok].flags)) { |
Line 1512 in_line_argn(MACRO_PROT_ARGS) |
|
Line 1564 in_line_argn(MACRO_PROT_ARGS) |
|
switch (tok) { |
switch (tok) { |
case MDOC_Ap: |
case MDOC_Ap: |
/* FALLTHROUGH */ |
/* FALLTHROUGH */ |
case MDOC_No: |
|
/* FALLTHROUGH */ |
|
case MDOC_Ns: |
case MDOC_Ns: |
/* FALLTHROUGH */ |
/* FALLTHROUGH */ |
case MDOC_Ux: |
case MDOC_Ux: |
Line 1763 phrase_ta(MACRO_PROT_ARGS) |
|
Line 1813 phrase_ta(MACRO_PROT_ARGS) |
|
while (NULL != n && MDOC_Bl != n->tok) |
while (NULL != n && MDOC_Bl != n->tok) |
n = n->parent; |
n = n->parent; |
if (NULL == n || LIST_column != n->norm->Bl.type) { |
if (NULL == n || LIST_column != n->norm->Bl.type) { |
mdoc_pmsg(mdoc, line, ppos, MANDOCERR_STRAYTA); |
mandoc_msg(MANDOCERR_TA_STRAY, mdoc->parse, |
|
line, ppos, "Ta"); |
return(1); |
return(1); |
} |
} |
|
|