=================================================================== RCS file: /cvs/mandoc/Attic/macro.c,v retrieving revision 1.54 retrieving revision 1.65 diff -u -p -r1.54 -r1.65 --- mandoc/Attic/macro.c 2009/02/27 09:39:40 1.54 +++ mandoc/Attic/macro.c 2009/03/10 15:01:54 1.65 @@ -1,4 +1,4 @@ -/* $Id: macro.c,v 1.54 2009/02/27 09:39:40 kristaps Exp $ */ +/* $Id: macro.c,v 1.65 2009/03/10 15:01:54 kristaps Exp $ */ /* * Copyright (c) 2008 Kristaps Dzonsons * @@ -21,17 +21,16 @@ #include #include #include -#ifdef __linux__ -#include -#endif +#include "private.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. */ -#include "private.h" +/* FIXME: .Fl, .Ar, .Cd handling of `|'. */ static int macro_obsolete(MACRO_PROT_ARGS); static int macro_constant(MACRO_PROT_ARGS); @@ -60,13 +59,14 @@ static int append_delims(struct mdoc *, int, int *, static int lookup(struct mdoc *, int, int, int, const char *); static int pwarn(struct mdoc *, int, int, int); static int perr(struct mdoc *, int, int, int); +static int scopewarn(struct mdoc *, enum mdoc_type, int, int, + const struct mdoc_node *); #define WMACPARM (1) #define WOBS (2) #define ENOCTX (1) #define ENOPARMS (2) -#define EARGVLIM (3) /* Central table of library: who gets parsed how. */ @@ -179,6 +179,11 @@ const struct mdoc_macro __mdoc_macros[MDOC_MAX] = { { macro_constant, 0 }, /* Hf */ { macro_obsolete, 0 }, /* Fr */ { macro_constant, 0 }, /* Ud */ + { macro_constant, 0 }, /* Lb */ + { macro_constant_delimited, MDOC_CALLABLE | MDOC_PARSED }, /* Ap */ + { macro_text, 0 }, /* Lp */ + { macro_text, MDOC_PARSED }, /* Lk */ + { macro_text, MDOC_PARSED }, /* Mt */ }; const struct mdoc_macro * const mdoc_macros = __mdoc_macros; @@ -192,17 +197,12 @@ perr(struct mdoc *mdoc, int line, int pos, int type) switch (type) { case (ENOCTX): c = mdoc_perr(mdoc, line, pos, - "closing macro has prior context"); + "closing macro has no prior context"); break; case (ENOPARMS): c = mdoc_perr(mdoc, line, pos, "macro doesn't expect parameters"); break; - case (EARGVLIM): - c = mdoc_perr(mdoc, line, pos, - "argument hard-limit %d reached", - MDOC_LINEARG_MAX); - break; default: abort(); /* NOTREACHED */ @@ -233,11 +233,58 @@ pwarn(struct mdoc *mdoc, int line, int pos, int type) static int +scopewarn(struct mdoc *mdoc, enum mdoc_type type, + int line, int pos, const struct mdoc_node *p) +{ + const char *n, *t, *tt; + + n = t = ""; + tt = "block"; + + switch (type) { + case (MDOC_BODY): + tt = "multi-line"; + break; + case (MDOC_HEAD): + tt = "line"; + break; + default: + break; + } + + switch (p->type) { + case (MDOC_BLOCK): + n = mdoc_macronames[p->tok]; + t = "block"; + break; + case (MDOC_BODY): + n = mdoc_macronames[p->tok]; + t = "multi-line"; + break; + case (MDOC_HEAD): + n = mdoc_macronames[p->tok]; + t = "line"; + break; + default: + break; + } + + if ( ! (MDOC_IGN_SCOPE & mdoc->pflags)) + return(mdoc_perr(mdoc, line, pos, + "%s scope breaks %s scope of %s", + tt, t, n)); + return(mdoc_pwarn(mdoc, line, pos, WARN_SYNTAX, + "%s scope breaks %s scope of %s", + tt, t, n)); +} + + +static int lookup(struct mdoc *mdoc, int line, int pos, int from, const char *p) { int res; - res = mdoc_find(mdoc, p); + res = mdoc_tokhash_find(mdoc->htab, p); if (MDOC_PARSED & mdoc_macros[from].flags) return(res); if (MDOC_MAX == res) @@ -517,7 +564,8 @@ rewind_subblock(enum mdoc_type type, struct mdoc *mdoc break; else if (rewind_dobreak(tok, n)) continue; - return(mdoc_perr(mdoc, line, ppos, "scope breaks prior %s", mdoc_node2a(n))); + if ( ! scopewarn(mdoc, type, line, ppos, n)) + return(0); } assert(n); @@ -540,9 +588,8 @@ rewind_expblock(struct mdoc *mdoc, int tok, int line, break; else if (rewind_dobreak(tok, n)) continue; - return(mdoc_perr(mdoc, line, ppos, - "scope breaks prior %s", - mdoc_node2a(n))); + if ( ! scopewarn(mdoc, MDOC_BLOCK, line, ppos, n)) + return(0); } assert(n); @@ -565,9 +612,8 @@ rewind_impblock(struct mdoc *mdoc, int tok, int line, break; else if (rewind_dobreak(tok, n)) continue; - return(mdoc_perr(mdoc, line, ppos, - "scope breaks prior %s", - mdoc_node2a(n))); + if ( ! scopewarn(mdoc, MDOC_BLOCK, line, ppos, n)) + return(0); } assert(n); @@ -723,16 +769,17 @@ macro_scoped_close(MACRO_PROT_ARGS) static int macro_text(MACRO_PROT_ARGS) { - int la, lastpunct, c, w, argc; - struct mdoc_arg argv[MDOC_LINEARG_MAX]; + int la, lastpunct, c, w; + struct mdoc_arg *arg; char *p; la = ppos; lastpunct = 0; + arg = NULL; - for (argc = 0; argc < MDOC_LINEARG_MAX; argc++) { + for (;;) { la = *pos; - c = mdoc_argv(mdoc, line, tok, &argv[argc], pos, buf); + c = mdoc_argv(mdoc, line, tok, &arg, pos, buf); if (ARGV_EOLN == c) break; if (ARGV_WORD == c) { @@ -740,23 +787,12 @@ macro_text(MACRO_PROT_ARGS) break; } else if (ARGV_ARG == c) continue; - - mdoc_argv_free(argc, argv); + mdoc_argv_free(arg); return(0); } - if (MDOC_LINEARG_MAX == argc) { - mdoc_argv_free(argc - 1, argv); - return(perr(mdoc, line, ppos, EARGVLIM)); - } - - c = mdoc_elem_alloc(mdoc, line, ppos, - tok, (size_t)argc, argv); - - if (0 == c) { - mdoc_argv_free(argc, argv); + if ( ! mdoc_elem_alloc(mdoc, line, ppos, tok, arg)) return(0); - } mdoc->next = MDOC_NEXT_CHILD; @@ -764,51 +800,46 @@ macro_text(MACRO_PROT_ARGS) for (;;) { la = *pos; w = mdoc_args(mdoc, line, pos, buf, tok, &p); - assert(ARGS_PHRASE != c); + assert(ARGS_PHRASE != w); - if (ARGS_ERROR == w) { - mdoc_argv_free(argc, argv); + if (ARGS_ERROR == w) return(0); - } - if (ARGS_EOLN == w) break; if (ARGS_PUNCT == w) break; + /* Quoted words shouldn't be looked-up. */ + c = ARGS_QWORD == w ? MDOC_MAX : lookup(mdoc, line, la, tok, p); + /* MDOC_MAX (not a macro) or -1 (error). */ + if (MDOC_MAX != c && -1 != c) { - if (0 == lastpunct && ! rewind_elem(mdoc, tok)) { - mdoc_argv_free(argc, argv); + if (0 == lastpunct && ! rewind_elem(mdoc, tok)) return(0); - } - mdoc_argv_free(argc, argv); c = mdoc_macro(mdoc, c, line, la, pos, buf); if (0 == c) return(0); if (ppos > 1) return(1); return(append_delims(mdoc, line, pos, buf)); - } else if (-1 == c) { - mdoc_argv_free(argc, argv); + } else if (-1 == c) return(0); - } + /* Non-quote-enclosed punctuation. */ + if (ARGS_QWORD != w && mdoc_isdelim(p)) { - if (0 == lastpunct && ! rewind_elem(mdoc, tok)) { - mdoc_argv_free(argc, argv); + if (0 == lastpunct && ! rewind_elem(mdoc, tok)) return(0); - } lastpunct = 1; } else if (lastpunct) { - c = mdoc_elem_alloc(mdoc, line, ppos, - tok, (size_t)argc, argv); - if (0 == c) { - mdoc_argv_free(argc, argv); + c = mdoc_elem_alloc(mdoc, line, ppos, tok, arg); + + if (0 == c) return(0); - } + mdoc->next = MDOC_NEXT_CHILD; lastpunct = 0; } @@ -818,8 +849,6 @@ macro_text(MACRO_PROT_ARGS) mdoc->next = MDOC_NEXT_SIBLING; } - mdoc_argv_free(argc, argv); - if (0 == lastpunct && ! rewind_elem(mdoc, tok)) return(0); if (ppos > 1) @@ -855,8 +884,8 @@ macro_text(MACRO_PROT_ARGS) static int macro_scoped(MACRO_PROT_ARGS) { - int c, lastarg, argc; - struct mdoc_arg argv[MDOC_LINEARG_MAX]; + int c, lastarg; + struct mdoc_arg *arg; char *p; assert ( ! (MDOC_CALLABLE & mdoc_macros[tok].flags)); @@ -871,10 +900,12 @@ macro_scoped(MACRO_PROT_ARGS) } /* Parse arguments. */ + + arg = NULL; - for (argc = 0; argc < MDOC_LINEARG_MAX; argc++) { + for (;;) { lastarg = *pos; - c = mdoc_argv(mdoc, line, tok, &argv[argc], pos, buf); + c = mdoc_argv(mdoc, line, tok, &arg, pos, buf); if (ARGV_EOLN == c) break; if (ARGV_WORD == c) { @@ -882,20 +913,11 @@ macro_scoped(MACRO_PROT_ARGS) break; } else if (ARGV_ARG == c) continue; - mdoc_argv_free(argc, argv); + mdoc_argv_free(arg); return(0); } - if (MDOC_LINEARG_MAX == argc) { - mdoc_argv_free(argc - 1, argv); - return(perr(mdoc, line, ppos, EARGVLIM)); - } - - c = mdoc_block_alloc(mdoc, line, ppos, - tok, (size_t)argc, argv); - mdoc_argv_free(argc, argv); - - if (0 == c) + if ( ! mdoc_block_alloc(mdoc, line, ppos, tok, arg)) return(0); mdoc->next = MDOC_NEXT_CHILD; @@ -988,7 +1010,7 @@ macro_scoped_line(MACRO_PROT_ARGS) int lastarg, c; char *p; - if ( ! mdoc_block_alloc(mdoc, line, ppos, tok, 0, NULL)) + if ( ! mdoc_block_alloc(mdoc, line, ppos, tok, NULL)) return(0); mdoc->next = MDOC_NEXT_CHILD; @@ -1072,7 +1094,7 @@ macro_constant_scoped(MACRO_PROT_ARGS) break; } - if ( ! mdoc_block_alloc(mdoc, line, ppos, tok, 0, NULL)) + if ( ! mdoc_block_alloc(mdoc, line, ppos, tok, NULL)) return(0); mdoc->next = MDOC_NEXT_CHILD; @@ -1175,22 +1197,27 @@ macro_constant_scoped(MACRO_PROT_ARGS) static int macro_constant_delimited(MACRO_PROT_ARGS) { - int lastarg, flushed, j, c, maxargs, argc, - igndelim; - struct mdoc_arg argv[MDOC_LINEARG_MAX]; + int lastarg, flushed, j, c, maxargs, + igndelim, ignargs; + struct mdoc_arg *arg; char *p; lastarg = ppos; flushed = 0; + + /* + * Maximum arguments per macro. Some of these have none and + * exit as soon as they're parsed. + */ switch (tok) { + case (MDOC_Ap): + /* FALLTHROUGH */ case (MDOC_No): /* FALLTHROUGH */ case (MDOC_Ns): /* FALLTHROUGH */ case (MDOC_Ux): - /* FALLTHROUGH */ - case (MDOC_St): maxargs = 0; break; default: @@ -1198,6 +1225,12 @@ macro_constant_delimited(MACRO_PROT_ARGS) break; } + /* + * Whether to ignore delimiter characters. `Pf' accepts its + * first token as a parameter no matter what it looks like (if + * it's text). + */ + switch (tok) { case (MDOC_Pf): igndelim = 1; @@ -1207,31 +1240,38 @@ macro_constant_delimited(MACRO_PROT_ARGS) break; } - for (argc = 0; argc < MDOC_LINEARG_MAX; argc++) { - lastarg = *pos; - c = mdoc_argv(mdoc, line, tok, &argv[argc], pos, buf); - if (ARGV_EOLN == c) - break; - if (ARGV_WORD == c) { - *pos = lastarg; - break; - } else if (ARGV_ARG == c) - continue; - mdoc_argv_free(argc, argv); - return(0); - } + /* + * Whether to ignore arguments: `St', for example, handles its + * argument-like parameters as regular parameters. + */ - if (MDOC_LINEARG_MAX == argc) { - mdoc_argv_free(argc - 1, argv); - return(perr(mdoc, line, ppos, EARGVLIM)); + switch (tok) { + case (MDOC_St): + ignargs = 1; + break; + default: + ignargs = 0; + break; } - c = mdoc_elem_alloc(mdoc, line, ppos, - tok, (size_t)argc, argv); + arg = NULL; - mdoc_argv_free(argc, argv); + if ( ! ignargs) + for (;;) { + lastarg = *pos; + c = mdoc_argv(mdoc, line, tok, &arg, pos, buf); + if (ARGV_EOLN == c) + break; + if (ARGV_WORD == c) { + *pos = lastarg; + break; + } else if (ARGV_ARG == c) + continue; + mdoc_argv_free(arg); + return(0); + } - if (0 == c) + if ( ! mdoc_elem_alloc(mdoc, line, ppos, tok, arg)) return(0); mdoc->next = MDOC_NEXT_CHILD; @@ -1293,15 +1333,17 @@ macro_constant_delimited(MACRO_PROT_ARGS) static int macro_constant(MACRO_PROT_ARGS) { - int c, w, la, argc; - struct mdoc_arg argv[MDOC_LINEARG_MAX]; + int c, w, la; + struct mdoc_arg *arg; char *p; assert( ! (MDOC_CALLABLE & mdoc_macros[tok].flags)); - for (argc = 0; argc < MDOC_LINEARG_MAX; argc++) { + arg = NULL; + + for (;;) { la = *pos; - c = mdoc_argv(mdoc, line, tok, &argv[argc], pos, buf); + c = mdoc_argv(mdoc, line, tok, &arg, pos, buf); if (ARGV_EOLN == c) break; if (ARGV_WORD == c) { @@ -1309,22 +1351,11 @@ macro_constant(MACRO_PROT_ARGS) break; } else if (ARGV_ARG == c) continue; - - mdoc_argv_free(argc, argv); + mdoc_argv_free(arg); return(0); } - if (MDOC_LINEARG_MAX == argc) { - mdoc_argv_free(argc - 1, argv); - return(perr(mdoc, line, ppos, EARGVLIM)); - } - - c = mdoc_elem_alloc(mdoc, line, ppos, - tok, (size_t)argc, argv); - - mdoc_argv_free(argc, argv); - - if (0 == c) + if ( ! mdoc_elem_alloc(mdoc, line, ppos, tok, arg)) return(0); mdoc->next = MDOC_NEXT_CHILD;