version 1.1, 2009/03/23 14:22:11 |
version 1.11, 2009/06/11 20:02:37 |
|
|
/* $Id$ */ |
/* $Id$ */ |
/* |
/* |
* Copyright (c) 2008, 2009 Kristaps Dzonsons <kristaps@openbsd.org> |
* Copyright (c) 2008, 2009 Kristaps Dzonsons <kristaps@kth.se> |
* |
* |
* 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 AUTHOR DISCLAIMS 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 AUTHOR 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 <assert.h> |
#include <assert.h> |
#include <ctype.h> |
#include <ctype.h> |
|
|
|
|
#include "libmdoc.h" |
#include "libmdoc.h" |
|
|
/* |
|
* This has scanning/parsing routines, each of which extract a macro and |
|
* its arguments and parameters, then know how to progress to the next |
|
* macro. |
|
*/ |
|
|
|
/* FIXME: .Fl, .Ar, .Cd handling of `|'. */ |
/* FIXME: .Fl, .Ar, .Cd handling of `|'. */ |
|
|
enum mwarn { |
enum mwarn { |
|
WIGNE, |
WIMPBRK, |
WIMPBRK, |
WMACPARM, |
WMACPARM, |
WOBS |
WOBS |
Line 96 const struct mdoc_macro __mdoc_macros[MDOC_MAX] = { |
|
Line 89 const struct mdoc_macro __mdoc_macros[MDOC_MAX] = { |
|
{ blk_exp_close, MDOC_EXPLICIT }, /* El */ |
{ blk_exp_close, MDOC_EXPLICIT }, /* El */ |
{ blk_full, MDOC_PARSED }, /* It */ |
{ blk_full, MDOC_PARSED }, /* It */ |
{ in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Ad */ |
{ in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Ad */ |
{ in_line, MDOC_PARSED }, /* An */ |
{ in_line, MDOC_CALLABLE | MDOC_PARSED }, /* An */ |
{ in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Ar */ |
{ in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Ar */ |
{ in_line_eoln, MDOC_CALLABLE }, /* Cd */ |
{ in_line_eoln, MDOC_CALLABLE }, /* Cd */ |
{ in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Cm */ |
{ in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Cm */ |
Line 108 const struct mdoc_macro __mdoc_macros[MDOC_MAX] = { |
|
Line 101 const struct mdoc_macro __mdoc_macros[MDOC_MAX] = { |
|
{ in_line_eoln, 0 }, /* Fd */ |
{ in_line_eoln, 0 }, /* Fd */ |
{ in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Fl */ |
{ in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Fl */ |
{ in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Fn */ |
{ in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Fn */ |
{ in_line, MDOC_PARSED }, /* Ft */ |
{ in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Ft */ |
{ in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Ic */ |
{ in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Ic */ |
{ in_line_eoln, 0 }, /* In */ |
{ in_line_eoln, 0 }, /* In */ /* FIXME: historic usage! */ |
{ in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Li */ |
{ in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Li */ |
{ in_line_eoln, 0 }, /* Nd */ |
{ in_line_eoln, 0 }, /* Nd */ |
{ in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Nm */ |
{ in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Nm */ |
Line 152 const struct mdoc_macro __mdoc_macros[MDOC_MAX] = { |
|
Line 145 const struct mdoc_macro __mdoc_macros[MDOC_MAX] = { |
|
{ in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Em */ |
{ in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Em */ |
{ 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_PARSED }, /* Ms */ |
{ in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Ms */ |
{ in_line_argn, MDOC_CALLABLE | MDOC_PARSED }, /* No */ |
{ in_line_argn, MDOC_CALLABLE | MDOC_PARSED }, /* No */ |
{ in_line_argn, MDOC_CALLABLE | MDOC_PARSED }, /* Ns */ |
{ in_line_argn, MDOC_CALLABLE | MDOC_PARSED }, /* Ns */ |
{ in_line_argn, MDOC_CALLABLE | MDOC_PARSED }, /* Nx */ |
{ in_line_argn, MDOC_CALLABLE | MDOC_PARSED }, /* Nx */ |
Line 237 pwarn(struct mdoc *mdoc, int line, int pos, enum mwarn |
|
Line 230 pwarn(struct mdoc *mdoc, int line, int pos, enum mwarn |
|
|
|
p = NULL; |
p = NULL; |
switch (type) { |
switch (type) { |
|
case (WIGNE): |
|
p = "ignoring empty element"; |
|
break; |
case (WIMPBRK): |
case (WIMPBRK): |
p = "crufty end-of-line scope violation"; |
p = "crufty end-of-line scope violation"; |
break; |
break; |
Line 305 swarn(struct mdoc *mdoc, enum mdoc_type type, |
|
Line 301 swarn(struct mdoc *mdoc, enum mdoc_type type, |
|
* are errors. |
* are errors. |
*/ |
*/ |
int |
int |
macro_end(struct mdoc *mdoc) |
mdoc_macroend(struct mdoc *mdoc) |
{ |
{ |
struct mdoc_node *n; |
struct mdoc_node *n; |
|
|
assert(mdoc->first); |
|
assert(mdoc->last); |
|
|
|
/* Scan for open explicit scopes. */ |
/* Scan for open explicit scopes. */ |
|
|
n = MDOC_VALID & mdoc->last->flags ? |
n = MDOC_VALID & mdoc->last->flags ? |
Line 333 lookup(struct mdoc *mdoc, int line, int pos, int from, |
|
Line 326 lookup(struct mdoc *mdoc, int line, int pos, int from, |
|
{ |
{ |
int res; |
int res; |
|
|
res = mdoc_tokhash_find(mdoc->htab, p); |
res = mdoc_hash_find(mdoc->htab, p); |
if (MDOC_PARSED & mdoc_macros[from].flags) |
if (MDOC_PARSED & mdoc_macros[from].flags) |
return(res); |
return(res); |
if (MDOC_MAX == res) |
if (MDOC_MAX == res) |
Line 803 blk_exp_close(MACRO_PROT_ARGS) |
|
Line 796 blk_exp_close(MACRO_PROT_ARGS) |
|
static int |
static int |
in_line(MACRO_PROT_ARGS) |
in_line(MACRO_PROT_ARGS) |
{ |
{ |
int la, lastpunct, c, w; |
int la, lastpunct, c, w, cnt, d, nc; |
struct mdoc_arg *arg; |
struct mdoc_arg *arg; |
char *p; |
char *p; |
|
|
|
/* |
|
* Whether we allow ignored elements (those without content, |
|
* usually because of reserved words) to squeak by. |
|
*/ |
|
switch (tok) { |
|
case (MDOC_Lp): |
|
/* FALLTHROUGH */ |
|
case (MDOC_Pp): |
|
/* FALLTHROUGH */ |
|
case (MDOC_Nm): |
|
/* FALLTHROUGH */ |
|
case (MDOC_Fl): |
|
/* FALLTHROUGH */ |
|
case (MDOC_Ar): |
|
nc = 1; |
|
break; |
|
default: |
|
nc = 0; |
|
break; |
|
} |
|
|
for (la = ppos, arg = NULL;; ) { |
for (la = ppos, arg = NULL;; ) { |
la = *pos; |
la = *pos; |
c = mdoc_argv(mdoc, line, tok, &arg, pos, buf); |
c = mdoc_argv(mdoc, line, tok, &arg, pos, buf); |
Line 815 in_line(MACRO_PROT_ARGS) |
|
Line 829 in_line(MACRO_PROT_ARGS) |
|
*pos = la; |
*pos = la; |
break; |
break; |
} |
} |
|
|
if (ARGV_EOLN == c) |
if (ARGV_EOLN == c) |
break; |
break; |
if (ARGV_ARG == c) |
if (ARGV_ARG == c) |
Line 825 in_line(MACRO_PROT_ARGS) |
|
Line 838 in_line(MACRO_PROT_ARGS) |
|
return(0); |
return(0); |
} |
} |
|
|
if ( ! mdoc_elem_alloc(mdoc, line, ppos, tok, arg)) |
for (cnt = 0, lastpunct = 1;; ) { |
return(0); |
|
mdoc->next = MDOC_NEXT_CHILD; |
|
|
|
for (lastpunct = 0;; ) { |
|
la = *pos; |
la = *pos; |
w = mdoc_args(mdoc, line, pos, buf, tok, &p); |
w = mdoc_args(mdoc, line, pos, buf, tok, &p); |
|
|
Line 845 in_line(MACRO_PROT_ARGS) |
|
Line 854 in_line(MACRO_PROT_ARGS) |
|
c = ARGS_QWORD == w ? MDOC_MAX : |
c = ARGS_QWORD == w ? MDOC_MAX : |
lookup(mdoc, line, la, tok, p); |
lookup(mdoc, line, la, tok, p); |
|
|
/* MDOC_MAX (not a macro) or -1 (error). */ |
/* |
|
* In this case, we've located a submacro and must |
|
* execute it. Close out scope, if open. If no |
|
* elements have been generated, either create one (nc) |
|
* or raise a warning. |
|
*/ |
|
|
if (MDOC_MAX != c && -1 != c) { |
if (MDOC_MAX != c && -1 != c) { |
if (0 == lastpunct && ! rew_elem(mdoc, tok)) |
if (0 == lastpunct && ! rew_elem(mdoc, tok)) |
return(0); |
return(0); |
|
if (nc && 0 == cnt) { |
|
if ( ! mdoc_elem_alloc(mdoc, line, ppos, |
|
tok, arg)) |
|
return(0); |
|
mdoc->next = MDOC_NEXT_SIBLING; |
|
} else if ( ! nc && 0 == cnt) { |
|
mdoc_argv_free(arg); |
|
if ( ! pwarn(mdoc, line, ppos, WIGNE)) |
|
return(0); |
|
} |
c = mdoc_macro(mdoc, c, line, la, pos, buf); |
c = mdoc_macro(mdoc, c, line, la, pos, buf); |
if (0 == c) |
if (0 == c) |
return(0); |
return(0); |
Line 859 in_line(MACRO_PROT_ARGS) |
|
Line 883 in_line(MACRO_PROT_ARGS) |
|
} else if (-1 == c) |
} else if (-1 == c) |
return(0); |
return(0); |
|
|
/* Non-quote-enclosed punctuation. */ |
/* |
|
* Non-quote-enclosed punctuation. Set up our scope, if |
|
* a word; rewind the scope, if a delimiter; then append |
|
* the word. |
|
*/ |
|
|
if (ARGS_QWORD != w && mdoc_isdelim(p)) { |
d = mdoc_isdelim(p); |
|
|
|
if (ARGS_QWORD != w && d) { |
if (0 == lastpunct && ! rew_elem(mdoc, tok)) |
if (0 == lastpunct && ! rew_elem(mdoc, tok)) |
return(0); |
return(0); |
lastpunct = 1; |
lastpunct = 1; |
} else if (lastpunct) { |
} else if (lastpunct) { |
c = mdoc_elem_alloc(mdoc, line, ppos, tok, arg); |
c = mdoc_elem_alloc(mdoc, line, ppos, tok, arg); |
|
|
if (0 == c) |
if (0 == c) |
return(0); |
return(0); |
|
|
mdoc->next = MDOC_NEXT_CHILD; |
mdoc->next = MDOC_NEXT_CHILD; |
lastpunct = 0; |
lastpunct = 0; |
} |
} |
|
|
|
if ( ! d) |
|
cnt++; |
if ( ! mdoc_word_alloc(mdoc, line, la, p)) |
if ( ! mdoc_word_alloc(mdoc, line, la, p)) |
return(0); |
return(0); |
mdoc->next = MDOC_NEXT_SIBLING; |
mdoc->next = MDOC_NEXT_SIBLING; |
Line 882 in_line(MACRO_PROT_ARGS) |
|
Line 912 in_line(MACRO_PROT_ARGS) |
|
|
|
if (0 == lastpunct && ! rew_elem(mdoc, tok)) |
if (0 == lastpunct && ! rew_elem(mdoc, tok)) |
return(0); |
return(0); |
|
|
|
/* |
|
* If no elements have been collected and we're allowed to have |
|
* empties (nc), open a scope and close it out. Otherwise, |
|
* raise a warning. |
|
* |
|
*/ |
|
if (nc && 0 == cnt) { |
|
c = mdoc_elem_alloc(mdoc, line, ppos, tok, arg); |
|
if (0 == c) |
|
return(0); |
|
mdoc->next = MDOC_NEXT_SIBLING; |
|
} else if ( ! nc && 0 == cnt) { |
|
mdoc_argv_free(arg); |
|
if ( ! pwarn(mdoc, line, ppos, WIGNE)) |
|
return(0); |
|
} |
|
|
if (ppos > 1) |
if (ppos > 1) |
return(1); |
return(1); |
return(append_delims(mdoc, line, pos, buf)); |
return(append_delims(mdoc, line, pos, buf)); |
Line 1427 phrase(struct mdoc *mdoc, int line, int ppos, char *bu |
|
Line 1475 phrase(struct mdoc *mdoc, int line, int ppos, char *bu |
|
*/ |
*/ |
|
|
c = quoted ? MDOC_MAX : |
c = quoted ? MDOC_MAX : |
mdoc_tokhash_find(mdoc->htab, &buf[la]); |
mdoc_hash_find(mdoc->htab, &buf[la]); |
|
|
if (MDOC_MAX != c) { |
if (MDOC_MAX != c) { |
if ( ! mdoc_macro(mdoc, c, line, la, &i, buf)) |
if ( ! mdoc_macro(mdoc, c, line, la, &i, buf)) |