[BACK]Return to mdoc.c CVS log [TXT][DIR] Up to [cvsweb.bsd.lv] / mandoc

Diff for /mandoc/mdoc.c between version 1.28 and 1.111

version 1.28, 2009/01/12 16:39:57 version 1.111, 2009/10/26 07:11:07
Line 1 
Line 1 
 /* $Id$ */  /*      $Id$ */
 /*  /*
  * Copyright (c) 2008 Kristaps Dzonsons <kristaps@kth.se>   * 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 <sys/types.h>
   
 #include <assert.h>  #include <assert.h>
 #include <ctype.h>  #include <ctype.h>
 #include <err.h>  
 #include <stdarg.h>  #include <stdarg.h>
 #include <stdlib.h>  
 #include <stdio.h>  #include <stdio.h>
   #include <stdlib.h>
 #include <string.h>  #include <string.h>
   
 #include "private.h"  #include "libmdoc.h"
   
   const   char *const __mdoc_merrnames[MERRMAX] = {
           "trailing whitespace", /* ETAILWS */
           "unexpected quoted parameter", /* EQUOTPARM */
           "unterminated quoted parameter", /* EQUOTTERM */
           "system: malloc error", /* EMALLOC */
           "argument parameter suggested", /* EARGVAL */
           "macro disallowed in prologue", /* EBODYPROL */
           "macro disallowed in body", /* EPROLBODY */
           "text disallowed in prologue", /* ETEXTPROL */
           "blank line disallowed", /* ENOBLANK */
           "text parameter too long", /* ETOOLONG */
           "invalid escape sequence", /* EESCAPE */
           "invalid character", /* EPRINT */
           "document has no body", /* ENODAT */
           "document has no prologue", /* ENOPROLOGUE */
           "expected line arguments", /* ELINE */
           "invalid AT&T argument", /* EATT */
           "default name not yet set", /* ENAME */
           "missing list type", /* ELISTTYPE */
           "missing display type", /* EDISPTYPE */
           "too many display types", /* EMULTIDISP */
           "too many list types", /* EMULTILIST */
           "NAME section must be first", /* ESECNAME */
           "badly-formed NAME section", /* ENAMESECINC */
           "argument repeated", /* EARGREP */
           "expected boolean parameter", /* EBOOL */
           "inconsistent column syntax", /* ECOLMIS */
           "nested display invalid", /* ENESTDISP */
           "width argument missing", /* EMISSWIDTH */
           "invalid section for this manual section", /* EWRONGMSEC */
           "section out of conventional order", /* ESECOOO */
           "section repeated", /* ESECREP */
           "invalid standard argument", /* EBADSTAND */
           "multi-line arguments discouraged", /* ENOMULTILINE */
           "multi-line arguments suggested", /* EMULTILINE */
           "line arguments discouraged", /* ENOLINE */
           "prologue macro out of conventional order", /* EPROLOOO */
           "prologue macro repeated", /* EPROLREP */
           "invalid manual section", /* EBADMSEC */
           "invalid section", /* EBADSEC */
           "invalid font mode", /* EFONT */
           "invalid date syntax", /* EBADDATE */
           "invalid number format", /* ENUMFMT */
           "superfluous width argument", /* ENOWIDTH */
           "system: utsname error", /* EUTSNAME */
           "obsolete macro", /* EOBS */
           "end-of-line scope violation", /* EIMPBRK */
           "empty macro ignored", /* EIGNE */
           "unclosed explicit scope", /* EOPEN */
           "unterminated quoted phrase", /* EQUOTPHR */
           "closure macro without prior context", /* ENOCTX */
           "no description found for library", /* ELIB */
           "bad child for parent context", /* EBADCHILD */
           "list arguments preceding type", /* ENOTYPE */
   };
   
 const   char *const __mdoc_macronames[MDOC_MAX] = {  const   char *const __mdoc_macronames[MDOC_MAX] = {
         "\\\"",         "Dd",           "Dt",           "Os",          "Ap",           "Dd",           "Dt",           "Os",
         "Sh",           "Ss",           "Pp",           "D1",          "Sh",           "Ss",           "Pp",           "D1",
         "Dl",           "Bd",           "Ed",           "Bl",          "Dl",           "Bd",           "Ed",           "Bl",
         "El",           "It",           "Ad",           "An",          "El",           "It",           "Ad",           "An",
Line 56  const char *const __mdoc_macronames[MDOC_MAX] = {   
Line 111  const char *const __mdoc_macronames[MDOC_MAX] = {   
         "Tn",           "Ux",           "Xc",           "Xo",          "Tn",           "Ux",           "Xc",           "Xo",
         "Fo",           "Fc",           "Oo",           "Oc",          "Fo",           "Fc",           "Oo",           "Oc",
         "Bk",           "Ek",           "Bt",           "Hf",          "Bk",           "Ek",           "Bt",           "Hf",
         "Fr",           "Ud",          "Fr",           "Ud",           "Lb",           "Lp",
           "Lk",           "Mt",           "Brq",          "Bro",
           /* LINTED */
           "Brc",          "\%C",          "Es",           "En",
           /* LINTED */
           "Dx",           "\%Q",          "br",           "sp",
           /* LINTED */
           "\%U"
         };          };
   
 const   char *const __mdoc_argnames[MDOC_ARG_MAX] = {  const   char *const __mdoc_argnames[MDOC_ARG_MAX] = {
Line 67  const char *const __mdoc_argnames[MDOC_ARG_MAX] = {   
Line 129  const char *const __mdoc_argnames[MDOC_ARG_MAX] = {   
         "tag",                  "diag",                 "hang",          "tag",                  "diag",                 "hang",
         "ohang",                "inset",                "column",          "ohang",                "inset",                "column",
         "width",                "compact",              "std",          "width",                "compact",              "std",
         "p1003.1-88",           "p1003.1-90",           "p1003.1-96",          "filled",               "words",                "emphasis",
         "p1003.1-2001",         "p1003.1-2004",         "p1003.1",          "symbolic",             "nested",               "centered"
         "p1003.1b",             "p1003.1b-93",          "p1003.1c-95",  
         "p1003.1g-2000",        "p1003.2-92",           "p1387.2-95",  
         "p1003.2",              "p1387.2",              "isoC-90",  
         "isoC-amd1",            "isoC-tcor1",           "isoC-tcor2",  
         "isoC-99",              "ansiC",                "ansiC-89",  
         "ansiC-99",             "ieee754",              "iso8802-3",  
         "xpg3",                 "xpg4",                 "xpg4.2",  
         "xpg4.3",               "xbd5",                 "xcu5",  
         "xsh5",                 "xns5",                 "xns5.2d2.0",  
         "xcurses4.2",           "susv2",                "susv3",  
         "svid4",                "filled",               "words",  
         "emphasis",             "symbolic",  
         };          };
   
 const   struct mdoc_macro __mdoc_macros[MDOC_MAX] = {  
         { NULL, 0 }, /* \" */  
         { macro_constant, MDOC_PROLOGUE }, /* Dd */  
         { macro_constant, MDOC_PROLOGUE }, /* Dt */  
         { macro_constant, MDOC_PROLOGUE }, /* Os */  
         { macro_scoped, 0 }, /* Sh */  
         { macro_scoped, 0 }, /* Ss */  
         { macro_text, 0 }, /* Pp */  
         { macro_scoped_line, MDOC_PARSED }, /* D1 */  
         { macro_scoped_line, MDOC_PARSED }, /* Dl */  
         { macro_scoped, MDOC_EXPLICIT }, /* Bd */  
         { macro_close_explicit, 0 }, /* Ed */  
         { macro_scoped, MDOC_EXPLICIT }, /* Bl */  
         { macro_close_explicit, 0 }, /* El */  
         { macro_scoped, MDOC_NESTED | MDOC_PARSED | MDOC_TABSEP}, /* It */  
         { macro_text, MDOC_CALLABLE | MDOC_PARSED }, /* Ad */  
         { macro_constant, MDOC_PARSED }, /* An */  
         { macro_text, MDOC_CALLABLE | MDOC_PARSED }, /* Ar */  
         { macro_constant, MDOC_QUOTABLE }, /* Cd */  
         { macro_text, MDOC_CALLABLE | MDOC_PARSED }, /* Cm */  
         { macro_text, MDOC_CALLABLE | MDOC_PARSED }, /* Dv */  
         { macro_text, MDOC_CALLABLE | MDOC_PARSED }, /* Er */  
         { macro_text, MDOC_CALLABLE | MDOC_PARSED }, /* Ev */  
         { macro_constant, 0 }, /* Ex */  
         { macro_text, MDOC_CALLABLE | MDOC_QUOTABLE | MDOC_PARSED }, /* Fa */  
         { macro_constant, 0 }, /* Fd */  
         { macro_text, MDOC_CALLABLE | MDOC_PARSED }, /* Fl */  
         { macro_text, MDOC_CALLABLE | MDOC_QUOTABLE | MDOC_PARSED }, /* Fn */  
         { macro_text, MDOC_PARSED }, /* Ft */  
         { macro_text, MDOC_CALLABLE | MDOC_PARSED }, /* Ic */  
         { macro_constant, 0 }, /* In */  
         { macro_text, MDOC_CALLABLE | MDOC_PARSED }, /* Li */  
         { macro_constant, 0 }, /* Nd */  
         { macro_text, MDOC_CALLABLE | MDOC_PARSED }, /* Nm */  
         { macro_scoped_line, MDOC_CALLABLE | MDOC_PARSED }, /* Op */  
         { macro_obsolete, 0 }, /* Ot */  
         { macro_text, MDOC_CALLABLE | MDOC_PARSED }, /* Pa */  
         { macro_constant, 0 }, /* Rv */  
         /* XXX - .St supposed to be (but isn't) callable. */  
         { macro_constant_delimited, MDOC_PARSED }, /* St */  
         { macro_text, MDOC_CALLABLE | MDOC_PARSED }, /* Va */  
         { macro_text, MDOC_CALLABLE | MDOC_PARSED }, /* Vt */  
         { macro_text, MDOC_CALLABLE | MDOC_PARSED }, /* Xr */  
         { macro_constant, MDOC_QUOTABLE }, /* %A */  
         { macro_constant, MDOC_QUOTABLE }, /* %B */  
         { macro_constant, MDOC_QUOTABLE }, /* %D */  
         { macro_constant, MDOC_QUOTABLE }, /* %I */  
         { macro_constant, MDOC_QUOTABLE }, /* %J */  
         { macro_constant, MDOC_QUOTABLE }, /* %N */  
         { macro_constant, MDOC_QUOTABLE }, /* %O */  
         { macro_constant, MDOC_QUOTABLE }, /* %P */  
         { macro_constant, MDOC_QUOTABLE }, /* %R */  
         { macro_constant, MDOC_QUOTABLE }, /* %T */  
         { macro_constant, MDOC_QUOTABLE }, /* %V */  
         { macro_close_explicit, MDOC_CALLABLE | MDOC_PARSED }, /* Ac */  
         { macro_constant_scoped, MDOC_CALLABLE | MDOC_PARSED }, /* Ao */  
         { macro_scoped_line, MDOC_CALLABLE | MDOC_PARSED }, /* Aq */  
         { macro_constant, 0 }, /* At */  
         { macro_close_explicit, MDOC_CALLABLE | MDOC_PARSED }, /* Bc */  
         { macro_scoped, MDOC_EXPLICIT }, /* Bf */  
         { macro_constant_scoped, MDOC_CALLABLE | MDOC_PARSED }, /* Bo */  
         { macro_scoped_line, MDOC_CALLABLE | MDOC_PARSED }, /* Bq */  
         { macro_constant_delimited, MDOC_PARSED }, /* Bsx */  
         { macro_constant_delimited, MDOC_PARSED }, /* Bx */  
         { macro_constant, 0 }, /* Db */  
         { macro_close_explicit, MDOC_CALLABLE | MDOC_PARSED }, /* Dc */  
         { macro_constant_scoped, MDOC_CALLABLE | MDOC_PARSED }, /* Do */  
         { macro_scoped_line, MDOC_CALLABLE | MDOC_PARSED }, /* Dq */  
         { macro_close_explicit, MDOC_CALLABLE | MDOC_PARSED }, /* Ec */  
         { macro_close_explicit, 0 }, /* Ef */  
         { macro_text, MDOC_CALLABLE | MDOC_PARSED }, /* Em */  
         { macro_constant_scoped, MDOC_CALLABLE | MDOC_PARSED }, /* Eo */  
         { macro_constant_delimited, MDOC_PARSED }, /* Fx */  
         { macro_text, MDOC_PARSED }, /* Ms */  
         { macro_constant_delimited, MDOC_CALLABLE | MDOC_PARSED }, /* No */  
         { macro_constant_delimited, MDOC_CALLABLE | MDOC_PARSED }, /* Ns */  
         { macro_constant_delimited, MDOC_PARSED }, /* Nx */  
         { macro_constant_delimited, MDOC_PARSED }, /* Ox */  
         { macro_close_explicit, MDOC_CALLABLE | MDOC_PARSED }, /* Pc */  
         { macro_constant, MDOC_PARSED }, /* Pf */  
         { macro_constant_scoped, MDOC_CALLABLE | MDOC_PARSED }, /* Po */  
         { macro_scoped_line, MDOC_CALLABLE | MDOC_PARSED }, /* Pq */  
         { macro_close_explicit, MDOC_CALLABLE | MDOC_PARSED }, /* Qc */  
         { macro_scoped_line, MDOC_CALLABLE | MDOC_PARSED }, /* Ql */  
         { macro_constant_scoped, MDOC_CALLABLE | MDOC_PARSED }, /* Qo */  
         { macro_scoped_line, MDOC_CALLABLE | MDOC_PARSED }, /* Qq */  
         { macro_close_explicit, 0 }, /* Re */  
         { macro_scoped, MDOC_EXPLICIT }, /* Rs */  
         { macro_close_explicit, MDOC_CALLABLE | MDOC_PARSED }, /* Sc */  
         { macro_constant_scoped, MDOC_CALLABLE | MDOC_PARSED }, /* So */  
         { macro_scoped_line, MDOC_CALLABLE | MDOC_PARSED }, /* Sq */  
         { macro_constant, 0 }, /* Sm */  
         { macro_text, MDOC_CALLABLE | MDOC_PARSED }, /* Sx */  
         { macro_text, MDOC_CALLABLE | MDOC_PARSED }, /* Sy */  
         { macro_text, MDOC_CALLABLE | MDOC_PARSED }, /* Tn */  
         { macro_constant_delimited, MDOC_PARSED }, /* Ux */  
         { macro_close_explicit, MDOC_CALLABLE | MDOC_PARSED }, /* Xc */  
         { macro_constant_scoped, MDOC_CALLABLE | MDOC_PARSED }, /* Xo */  
         /* XXX - .Fo supposed to be (but isn't) callable. */  
         { macro_scoped, MDOC_EXPLICIT | MDOC_PARSED }, /* Fo */  
         /* XXX - .Fc supposed to be (but isn't) callable. */  
         { macro_close_explicit, MDOC_PARSED }, /* Fc */  
         { macro_constant_scoped, MDOC_CALLABLE | MDOC_PARSED }, /* Oo */  
         { macro_close_explicit, MDOC_CALLABLE | MDOC_PARSED }, /* Oc */  
         { macro_scoped, MDOC_EXPLICIT }, /* Bk */  
         { macro_close_explicit, 0 }, /* Ek */  
         { macro_constant, 0 }, /* Bt */  
         { macro_constant, 0 }, /* Hf */  
         { macro_obsolete, 0 }, /* Fr */  
         { macro_constant, 0 }, /* Ud */  
 };  
   
 const   char * const *mdoc_macronames = __mdoc_macronames;  const   char * const *mdoc_macronames = __mdoc_macronames;
 const   char * const *mdoc_argnames = __mdoc_argnames;  const   char * const *mdoc_argnames = __mdoc_argnames;
 const   struct mdoc_macro * const mdoc_macros = __mdoc_macros;  
   
   static  void              mdoc_free1(struct mdoc *);
 static  struct mdoc_arg  *argdup(size_t, const struct mdoc_arg *);  static  int               mdoc_alloc1(struct mdoc *);
 static  void              argfree(size_t, struct mdoc_arg *);  static  struct mdoc_node *node_alloc(struct mdoc *, int, int,
 static  void              argcpy(struct mdoc_arg *,                                  int, enum mdoc_type);
                                 const struct mdoc_arg *);  static  int               node_append(struct mdoc *,
   
 static  void              mdoc_node_freelist(struct mdoc_node *);  
 static  int               mdoc_node_append(struct mdoc *,  
                                 struct mdoc_node *);                                  struct mdoc_node *);
 static  void              mdoc_elem_free(struct mdoc_elem *);  static  int               parsetext(struct mdoc *, int, char *);
 static  void              mdoc_text_free(struct mdoc_text *);  static  int               parsemacro(struct mdoc *, int, char *);
   static  int               macrowarn(struct mdoc *, int, const char *);
   static  int               pstring(struct mdoc *, int, int,
                                   const char *, size_t);
   
   #ifdef __linux__
   extern  size_t            strlcpy(char *, const char *, size_t);
   #endif
   
   
 const struct mdoc_node *  const struct mdoc_node *
 mdoc_result(struct mdoc *mdoc)  mdoc_node(const struct mdoc *m)
 {  {
   
         return(mdoc->first);          return(MDOC_HALT & m->flags ? NULL : m->first);
 }  }
   
   
 void  const struct mdoc_meta *
 mdoc_free(struct mdoc *mdoc)  mdoc_meta(const struct mdoc *m)
 {  {
   
         if (mdoc->first)          return(MDOC_HALT & m->flags ? NULL : &m->meta);
                 mdoc_node_freelist(mdoc->first);  
         if (mdoc->htab)  
                 mdoc_tokhash_free(mdoc->htab);  
   
         free(mdoc);  
 }  }
   
   
 struct mdoc *  /*
 mdoc_alloc(void *data, const struct mdoc_cb *cb)   * Frees volatile resources (parse tree, meta-data, fields).
    */
   static void
   mdoc_free1(struct mdoc *mdoc)
 {  {
         struct mdoc     *p;  
   
         p = xcalloc(1, sizeof(struct mdoc));          if (mdoc->first)
                   mdoc_node_freelist(mdoc->first);
         p->data = data;          if (mdoc->meta.title)
         (void)memcpy(&p->cb, cb, sizeof(struct mdoc_cb));                  free(mdoc->meta.title);
           if (mdoc->meta.os)
         p->last = xcalloc(1, sizeof(struct mdoc_node));                  free(mdoc->meta.os);
         p->last->type = MDOC_ROOT;          if (mdoc->meta.name)
         p->first = p->last;                  free(mdoc->meta.name);
           if (mdoc->meta.arch)
         p->next = MDOC_NEXT_CHILD;                  free(mdoc->meta.arch);
         p->htab = mdoc_tokhash_alloc();          if (mdoc->meta.vol)
                   free(mdoc->meta.vol);
         return(p);  
 }  }
   
   
 int  /*
 mdoc_endparse(struct mdoc *mdoc)   * Allocate all volatile resources (parse tree, meta-data, fields).
    */
   static int
   mdoc_alloc1(struct mdoc *mdoc)
 {  {
   
         if (MDOC_HALT & mdoc->flags)          bzero(&mdoc->meta, sizeof(struct mdoc_meta));
           mdoc->flags = 0;
           mdoc->lastnamed = mdoc->lastsec = SEC_NONE;
           mdoc->last = calloc(1, sizeof(struct mdoc_node));
           if (NULL == mdoc->last)
                 return(0);                  return(0);
         if (NULL == mdoc->first)  
                 return(1);  
   
         assert(mdoc->last);          mdoc->first = mdoc->last;
         if ( ! macro_end(mdoc)) {          mdoc->last->type = MDOC_ROOT;
                 mdoc->flags |= MDOC_HALT;          mdoc->next = MDOC_NEXT_CHILD;
                 return(0);  
         }  
         return(1);          return(1);
 }  }
   
   
   /*
    * Free up volatile resources (see mdoc_free1()) then re-initialises the
    * data with mdoc_alloc1().  After invocation, parse data has been reset
    * and the parser is ready for re-invocation on a new tree; however,
    * cross-parse non-volatile data is kept intact.
    */
 int  int
 mdoc_parseln(struct mdoc *mdoc, int line, char *buf)  mdoc_reset(struct mdoc *mdoc)
 {  {
         int               c, i;  
         char              tmp[5];  
   
         if (MDOC_HALT & mdoc->flags)          mdoc_free1(mdoc);
                 return(0);          return(mdoc_alloc1(mdoc));
   }
   
         if ('.' != *buf) {  
                 if (SEC_PROLOGUE != mdoc->sec_lastn) {  
                         if ( ! mdoc_word_alloc(mdoc, line, 0, buf))  
                                 return(0);  
                         mdoc->next = MDOC_NEXT_SIBLING;  
                         return(1);  
                 }  
                 return(mdoc_perr(mdoc, line, 0, ERR_SYNTAX_NOTEXT));  
         }  
   
         if (buf[1] && '\\' == buf[1])  /*
                 if (buf[2] && '\"' == buf[2])   * Completely free up all volatile and non-volatile parse resources.
                         return(1);   * After invocation, the pointer is no longer usable.
    */
   void
   mdoc_free(struct mdoc *mdoc)
   {
   
         i = 1;          mdoc_free1(mdoc);
         while (buf[i] && ! isspace(buf[i]) && i < (int)sizeof(tmp))          free(mdoc);
                 i++;  }
   
         if (i == (int)sizeof(tmp)) {  
                 mdoc->flags |= MDOC_HALT;  
                 return(mdoc_perr(mdoc, line, 1, ERR_MACRO_NOTSUP));  
         } else if (i <= 2) {  
                 mdoc->flags |= MDOC_HALT;  
                 return(mdoc_perr(mdoc, line, 1, ERR_MACRO_NOTSUP));  
         }  
   
         i--;  /*
    * Allocate volatile and non-volatile parse resources.
    */
   struct mdoc *
   mdoc_alloc(void *data, int pflags, const struct mdoc_cb *cb)
   {
           struct mdoc     *p;
   
         (void)memcpy(tmp, buf + 1, (size_t)i);          if (NULL == (p = calloc(1, sizeof(struct mdoc))))
         tmp[i++] = 0;                  return(NULL);
           if (cb)
                   (void)memcpy(&p->cb, cb, sizeof(struct mdoc_cb));
   
         if (MDOC_MAX == (c = mdoc_find(mdoc, tmp))) {          mdoc_hash_init();
                 mdoc->flags |= MDOC_HALT;  
                 return(mdoc_perr(mdoc, line, 1, ERR_MACRO_NOTSUP));  
         }  
   
         while (buf[i] && isspace(buf[i]))          p->data = data;
                 i++;          p->pflags = pflags;
   
         if ( ! mdoc_macro(mdoc, c, line, 1, &i, buf)) {          if (mdoc_alloc1(p))
                 mdoc->flags |= MDOC_HALT;                  return(p);
                 return(0);  
         }          free(p);
         return(1);          return(NULL);
 }  }
   
   
 void  /*
 mdoc_msg(struct mdoc *mdoc, const char *fmt, ...)   * Climb back up the parse tree, validating open scopes.  Mostly calls
    * through to macro_end() in macro.c.
    */
   int
   mdoc_endparse(struct mdoc *m)
 {  {
         struct mdoc_node *n;  
         va_list           ap;  
         char              buf[256];  
   
         if (NULL == mdoc->cb.mdoc_msg)          if (MDOC_HALT & m->flags)
                 return;                  return(0);
           else if (mdoc_macroend(m))
                   return(1);
           m->flags |= MDOC_HALT;
           return(0);
   }
   
         n = mdoc->last;  
         assert(n);  
   
         va_start(ap, fmt);  /*
         (void)vsnprintf(buf, sizeof(buf), fmt, ap);   * Main parse routine.  Parses a single line -- really just hands off to
         va_end(ap);   * the macro (parsemacro()) or text parser (parsetext()).
    */
   int
   mdoc_parseln(struct mdoc *m, int ln, char *buf)
   {
   
         (*mdoc->cb.mdoc_msg)(mdoc->data, n->line, n->pos, buf);          if (MDOC_HALT & m->flags)
                   return(0);
   
           return('.' == *buf ? parsemacro(m, ln, buf) :
                           parsetext(m, ln, buf));
 }  }
   
   
 int  int
 mdoc_perr(struct mdoc *mdoc,  mdoc_verr(struct mdoc *mdoc, int ln, int pos,
                 int line, int pos, enum mdoc_err type)                  const char *fmt, ...)
 {  {
           char             buf[256];
           va_list          ap;
   
         if (NULL == mdoc->cb.mdoc_err)          if (NULL == mdoc->cb.mdoc_err)
                 return(0);                  return(0);
         return((*mdoc->cb.mdoc_err)(mdoc->data, line, pos, type));  
           va_start(ap, fmt);
           (void)vsnprintf(buf, sizeof(buf) - 1, fmt, ap);
           va_end(ap);
   
           return((*mdoc->cb.mdoc_err)(mdoc->data, ln, pos, buf));
 }  }
   
   
 int  int
 mdoc_pwarn(struct mdoc *mdoc,  mdoc_vwarn(struct mdoc *mdoc, int ln, int pos, const char *fmt, ...)
                 int line, int pos, enum mdoc_warn type)  
 {  {
           char             buf[256];
           va_list          ap;
   
         if (NULL == mdoc->cb.mdoc_warn)          if (NULL == mdoc->cb.mdoc_warn)
                 return(0);                  return(0);
         return((*mdoc->cb.mdoc_warn)(mdoc->data, line, pos, type));  
           va_start(ap, fmt);
           (void)vsnprintf(buf, sizeof(buf) - 1, fmt, ap);
           va_end(ap);
   
           return((*mdoc->cb.mdoc_warn)(mdoc->data, ln, pos, buf));
 }  }
   
   
 int  int
 mdoc_macro(struct mdoc *mdoc, int tok,  mdoc_err(struct mdoc *m, int line, int pos, int iserr, enum merr type)
                 int ln, int ppos, int *pos, char *buf)  
 {  {
           const char      *p;
   
         if ( ! (MDOC_PROLOGUE & mdoc_macros[tok].flags) &&          p = __mdoc_merrnames[(int)type];
                         SEC_PROLOGUE == mdoc->sec_lastn)          assert(p);
                 return(mdoc_perr(mdoc, ln, ppos, ERR_SEC_PROLOGUE));  
   
         if (NULL == (mdoc_macros[tok].fp))          if (iserr)
                 return(mdoc_perr(mdoc, ln, ppos, ERR_MACRO_NOTSUP));                  return(mdoc_verr(m, line, pos, p));
   
         if (1 != ppos && ! (MDOC_CALLABLE & mdoc_macros[tok].flags))          return(mdoc_vwarn(m, line, pos, p));
                 return(mdoc_perr(mdoc, ln, ppos, ERR_MACRO_NOTCALL));  }
   
         return((*mdoc_macros[tok].fp)(mdoc, tok, ln, ppos, pos, buf));  
   int
   mdoc_macro(struct mdoc *m, int tok,
                   int ln, int pp, int *pos, char *buf)
   {
           /*
            * If we're in the prologue, deny "body" macros.  Similarly, if
            * we're in the body, deny prologue calls.
            */
           if (MDOC_PROLOGUE & mdoc_macros[tok].flags &&
                           MDOC_PBODY & m->flags)
                   return(mdoc_perr(m, ln, pp, EPROLBODY));
           if ( ! (MDOC_PROLOGUE & mdoc_macros[tok].flags) &&
                           ! (MDOC_PBODY & m->flags))
                   return(mdoc_perr(m, ln, pp, EBODYPROL));
   
           return((*mdoc_macros[tok].fp)(m, tok, ln, pp, pos, buf));
 }  }
   
   
 static int  static int
 mdoc_node_append(struct mdoc *mdoc, struct mdoc_node *p)  node_append(struct mdoc *mdoc, struct mdoc_node *p)
 {  {
         const char       *on, *ot, *act;  
   
         assert(mdoc->last);          assert(mdoc->last);
         assert(mdoc->first);          assert(mdoc->first);
         assert(MDOC_ROOT != p->type);          assert(MDOC_ROOT != p->type);
   
         if (MDOC_TEXT == mdoc->last->type)  
                 on = "<text>";  
         else if (MDOC_ROOT == mdoc->last->type)  
                 on = "<root>";  
         else  
                 on = mdoc_macronames[mdoc->last->tok];  
   
         /* FIXME: put this into util.c. */  
         switch (mdoc->last->type) {  
         case (MDOC_TEXT):  
                 ot = "text";  
                 break;  
         case (MDOC_BODY):  
                 ot = "body";  
                 break;  
         case (MDOC_ELEM):  
                 ot = "elem";  
                 break;  
         case (MDOC_HEAD):  
                 ot = "head";  
                 break;  
         case (MDOC_TAIL):  
                 ot = "tail";  
                 break;  
         case (MDOC_BLOCK):  
                 ot = "block";  
                 break;  
         case (MDOC_ROOT):  
                 ot = "root";  
                 break;  
         default:  
                 abort();  
                 /* NOTREACHED */  
         }  
   
         switch (mdoc->next) {          switch (mdoc->next) {
         case (MDOC_NEXT_SIBLING):          case (MDOC_NEXT_SIBLING):
                 mdoc->last->next = p;                  mdoc->last->next = p;
                 p->prev = mdoc->last;                  p->prev = mdoc->last;
                 p->parent = mdoc->last->parent;                  p->parent = mdoc->last->parent;
                 act = "sibling";  
                 break;                  break;
         case (MDOC_NEXT_CHILD):          case (MDOC_NEXT_CHILD):
                 mdoc->last->child = p;                  mdoc->last->child = p;
                 p->parent = mdoc->last;                  p->parent = mdoc->last;
                 act = "child";  
                 break;                  break;
         default:          default:
                 abort();                  abort();
                 /* NOTREACHED */                  /* NOTREACHED */
         }          }
   
           p->parent->nchild++;
   
         if ( ! mdoc_valid_pre(mdoc, p))          if ( ! mdoc_valid_pre(mdoc, p))
                 return(0);                  return(0);
         if ( ! mdoc_action_pre(mdoc, p))          if ( ! mdoc_action_pre(mdoc, p))
Line 459  mdoc_node_append(struct mdoc *mdoc, struct mdoc_node *
Line 401  mdoc_node_append(struct mdoc *mdoc, struct mdoc_node *
         switch (p->type) {          switch (p->type) {
         case (MDOC_HEAD):          case (MDOC_HEAD):
                 assert(MDOC_BLOCK == p->parent->type);                  assert(MDOC_BLOCK == p->parent->type);
                 p->parent->data.block.head = p;                  p->parent->head = p;
                 break;                  break;
         case (MDOC_TAIL):          case (MDOC_TAIL):
                 assert(MDOC_BLOCK == p->parent->type);                  assert(MDOC_BLOCK == p->parent->type);
                 p->parent->data.block.tail = p;                  p->parent->tail = p;
                 break;                  break;
         case (MDOC_BODY):          case (MDOC_BODY):
                 assert(MDOC_BLOCK == p->parent->type);                  assert(MDOC_BLOCK == p->parent->type);
                 p->parent->data.block.body = p;                  p->parent->body = p;
                 break;                  break;
         default:          default:
                 break;                  break;
         }          }
   
         mdoc->last = p;          mdoc->last = p;
         mdoc_msg(mdoc, "parse: %s of %s `%s'", act, ot, on);  
         return(1);  
 }  
   
           switch (p->type) {
           case (MDOC_TEXT):
                   if ( ! mdoc_valid_post(mdoc))
                           return(0);
                   if ( ! mdoc_action_post(mdoc))
                           return(0);
                   break;
           default:
                   break;
           }
   
 int          return(1);
 mdoc_tail_alloc(struct mdoc *mdoc, int line, int pos, int tok)  
 {  
         struct mdoc_node *p;  
   
         assert(mdoc->first);  
         assert(mdoc->last);  
   
         p = xcalloc(1, sizeof(struct mdoc_node));  
   
         p->line = line;  
         p->pos = pos;  
         p->type = MDOC_TAIL;  
         p->tok = tok;  
   
         return(mdoc_node_append(mdoc, p));  
 }  }
   
   
 int  static struct mdoc_node *
 mdoc_head_alloc(struct mdoc *mdoc, int line, int pos, int tok)  node_alloc(struct mdoc *m, int line,
                   int pos, int tok, enum mdoc_type type)
 {  {
         struct mdoc_node *p;          struct mdoc_node *p;
   
         assert(mdoc->first);          if (NULL == (p = calloc(1, sizeof(struct mdoc_node)))) {
         assert(mdoc->last);                  (void)mdoc_nerr(m, m->last, EMALLOC);
                   return(NULL);
           }
   
         p = xcalloc(1, sizeof(struct mdoc_node));          p->sec = m->lastsec;
   
         p->line = line;          p->line = line;
         p->pos = pos;          p->pos = pos;
         p->type = MDOC_HEAD;  
         p->tok = tok;          p->tok = tok;
           if (MDOC_TEXT != (p->type = type))
                   assert(p->tok >= 0);
   
         return(mdoc_node_append(mdoc, p));          return(p);
 }  }
   
   
 int  int
 mdoc_body_alloc(struct mdoc *mdoc, int line, int pos, int tok)  mdoc_tail_alloc(struct mdoc *m, int line, int pos, int tok)
 {  {
         struct mdoc_node *p;          struct mdoc_node *p;
   
         assert(mdoc->first);          p = node_alloc(m, line, pos, tok, MDOC_TAIL);
         assert(mdoc->last);          if (NULL == p)
                   return(0);
         p = xcalloc(1, sizeof(struct mdoc_node));          if ( ! node_append(m, p))
                   return(0);
         p->line = line;          m->next = MDOC_NEXT_CHILD;
         p->pos = pos;          return(1);
         p->type = MDOC_BODY;  
         p->tok = tok;  
   
         return(mdoc_node_append(mdoc, p));  
 }  }
   
   
 int  int
 mdoc_root_alloc(struct mdoc *mdoc)  mdoc_head_alloc(struct mdoc *m, int line, int pos, int tok)
 {  {
         struct mdoc_node *p;          struct mdoc_node *p;
   
         p = xcalloc(1, sizeof(struct mdoc_node));          assert(m->first);
           assert(m->last);
   
         p->type = MDOC_ROOT;          p = node_alloc(m, line, pos, tok, MDOC_HEAD);
           if (NULL == p)
         return(mdoc_node_append(mdoc, p));                  return(0);
           if ( ! node_append(m, p))
                   return(0);
           m->next = MDOC_NEXT_CHILD;
           return(1);
 }  }
   
   
 int  int
 mdoc_block_alloc(struct mdoc *mdoc, int line, int pos,  mdoc_body_alloc(struct mdoc *m, int line, int pos, int tok)
                 int tok, size_t argsz, const struct mdoc_arg *args)  
 {  {
         struct mdoc_node *p;          struct mdoc_node *p;
   
         p = xcalloc(1, sizeof(struct mdoc_node));          p = node_alloc(m, line, pos, tok, MDOC_BODY);
           if (NULL == p)
         p->pos = pos;                  return(0);
         p->line = line;          if ( ! node_append(m, p))
         p->type = MDOC_BLOCK;                  return(0);
         p->tok = tok;          m->next = MDOC_NEXT_CHILD;
         p->data.block.argc = argsz;          return(1);
         p->data.block.argv = argdup(argsz, args);  
   
         return(mdoc_node_append(mdoc, p));  
 }  }
   
   
 int  int
 mdoc_elem_alloc(struct mdoc *mdoc, int line, int pos,  mdoc_block_alloc(struct mdoc *m, int line, int pos,
                 int tok, size_t argsz, const struct mdoc_arg *args)                  int tok, struct mdoc_arg *args)
 {  {
         struct mdoc_node *p;          struct mdoc_node *p;
   
         p = xcalloc(1, sizeof(struct mdoc_node));          p = node_alloc(m, line, pos, tok, MDOC_BLOCK);
           if (NULL == p)
         p->line = line;                  return(0);
         p->pos = pos;          p->args = args;
         p->type = MDOC_ELEM;          if (p->args)
         p->tok = tok;                  (args->refcnt)++;
         p->data.elem.argc = argsz;          if ( ! node_append(m, p))
         p->data.elem.argv = argdup(argsz, args);                  return(0);
           m->next = MDOC_NEXT_CHILD;
         return(mdoc_node_append(mdoc, p));          return(1);
 }  }
   
   
 int  int
 mdoc_word_alloc(struct mdoc *mdoc,  mdoc_elem_alloc(struct mdoc *m, int line, int pos,
                 int line, int pos, const char *word)                  int tok, struct mdoc_arg *args)
 {  {
         struct mdoc_node *p;          struct mdoc_node *p;
   
         p = xcalloc(1, sizeof(struct mdoc_node));          p = node_alloc(m, line, pos, tok, MDOC_ELEM);
         p->line = line;          if (NULL == p)
         p->pos = pos;                  return(0);
         p->type = MDOC_TEXT;          p->args = args;
         p->data.text.string = xstrdup(word);          if (p->args)
                   (args->refcnt)++;
         return(mdoc_node_append(mdoc, p));          if ( ! node_append(m, p))
                   return(0);
           m->next = MDOC_NEXT_CHILD;
           return(1);
 }  }
   
   
 static void  static int
 argfree(size_t sz, struct mdoc_arg *p)  pstring(struct mdoc *m, int line, int pos, const char *p, size_t len)
 {  {
         int              i, j;          struct mdoc_node *n;
           size_t            sv;
   
         if (0 == sz)          n = node_alloc(m, line, pos, -1, MDOC_TEXT);
                 return;          if (NULL == n)
                   return(mdoc_nerr(m, m->last, EMALLOC));
   
         assert(p);          n->string = malloc(len + 1);
         /* LINTED */          if (NULL == n->string) {
         for (i = 0; i < (int)sz; i++)                  free(n);
                 if (p[i].sz > 0) {                  return(mdoc_nerr(m, m->last, EMALLOC));
                         assert(p[i].value);          }
                         /* LINTED */  
                         for (j = 0; j < (int)p[i].sz; j++)  
                                 free(p[i].value[j]);  
                         free(p[i].value);  
                 }  
         free(p);  
 }  
   
           sv = strlcpy(n->string, p, len + 1);
   
 static void          /* Prohibit truncation. */
 mdoc_elem_free(struct mdoc_elem *p)          assert(sv < len + 1);
 {  
   
         argfree(p->argc, p->argv);          if ( ! node_append(m, n))
                   return(0);
           m->next = MDOC_NEXT_SIBLING;
           return(1);
 }  }
   
   
 static void  int
 mdoc_block_free(struct mdoc_block *p)  mdoc_word_alloc(struct mdoc *m, int line, int pos, const char *p)
 {  {
   
         argfree(p->argc, p->argv);          return(pstring(m, line, pos, p, strlen(p)));
 }  }
   
   
 static void  
 mdoc_text_free(struct mdoc_text *p)  
 {  
   
         if (p->string)  
                 free(p->string);  
 }  
   
   
 void  void
 mdoc_node_free(struct mdoc_node *p)  mdoc_node_free(struct mdoc_node *p)
 {  {
   
         switch (p->type) {          if (p->parent)
         case (MDOC_TEXT):                  p->parent->nchild--;
                 mdoc_text_free(&p->data.text);          if (p->string)
                 break;                  free(p->string);
         case (MDOC_ELEM):          if (p->args)
                 mdoc_elem_free(&p->data.elem);                  mdoc_argv_free(p->args);
                 break;  
         case (MDOC_BLOCK):  
                 mdoc_block_free(&p->data.block);  
                 break;  
         default:  
                 break;  
         }  
   
         free(p);          free(p);
 }  }
   
   
 static void  void
 mdoc_node_freelist(struct mdoc_node *p)  mdoc_node_freelist(struct mdoc_node *p)
 {  {
   
Line 681  mdoc_node_freelist(struct mdoc_node *p)
Line 599  mdoc_node_freelist(struct mdoc_node *p)
         if (p->next)          if (p->next)
                 mdoc_node_freelist(p->next);                  mdoc_node_freelist(p->next);
   
           assert(0 == p->nchild);
         mdoc_node_free(p);          mdoc_node_free(p);
 }  }
   
   
 int  /*
 mdoc_find(const struct mdoc *mdoc, const char *key)   * Parse free-form text, that is, a line that does not begin with the
    * control character.
    */
   static int
   parsetext(struct mdoc *m, int line, char *buf)
 {  {
           int              i, j;
   
         return(mdoc_tokhash_find(mdoc->htab, key));          if (SEC_NONE == m->lastnamed)
                   return(mdoc_perr(m, line, 0, ETEXTPROL));
   
           /*
            * If in literal mode, then pass the buffer directly to the
            * back-end, as it should be preserved as a single term.
            */
   
           if (MDOC_LITERAL & m->flags)
                   return(mdoc_word_alloc(m, line, 0, buf));
   
           /* Disallow blank/white-space lines in non-literal mode. */
   
           for (i = 0; ' ' == buf[i]; i++)
                   /* Skip leading whitespace. */ ;
           if (0 == buf[i])
                   return(mdoc_perr(m, line, 0, ENOBLANK));
   
           /*
            * Break apart a free-form line into tokens.  Spaces are
            * stripped out of the input.
            */
   
           for (j = i; buf[i]; i++) {
                   if (' ' != buf[i])
                           continue;
   
                   /* Escaped whitespace. */
                   if (i && ' ' == buf[i] && '\\' == buf[i - 1])
                           continue;
   
                   buf[i++] = 0;
                   if ( ! pstring(m, line, j, &buf[j], (size_t)(i - j)))
                           return(0);
   
                   for ( ; ' ' == buf[i]; i++)
                           /* Skip trailing whitespace. */ ;
   
                   j = i;
                   if (0 == buf[i])
                           break;
           }
   
           if (j != i && ! pstring(m, line, j, &buf[j], (size_t)(i - j)))
                   return(0);
   
           m->next = MDOC_NEXT_SIBLING;
           return(1);
 }  }
   
   
 static void  
 argcpy(struct mdoc_arg *dst, const struct mdoc_arg *src)  
 {  
         int              i;  
   
         dst->line = src->line;  static int
         dst->pos = src->pos;  macrowarn(struct mdoc *m, int ln, const char *buf)
         dst->arg = src->arg;  {
         if (0 == (dst->sz = src->sz))          if ( ! (MDOC_IGN_MACRO & m->pflags))
                 return;                  return(mdoc_verr(m, ln, 0,
         dst->value = xcalloc(dst->sz, sizeof(char *));                                  "unknown macro: %s%s",
         for (i = 0; i < (int)dst->sz; i++)                                  buf, strlen(buf) > 3 ? "..." : ""));
                 dst->value[i] = xstrdup(src->value[i]);          return(mdoc_vwarn(m, ln, 0, "unknown macro: %s%s",
                                   buf, strlen(buf) > 3 ? "..." : ""));
 }  }
   
   
 static struct mdoc_arg *  /*
 argdup(size_t argsz, const struct mdoc_arg *args)   * Parse a macro line, that is, a line beginning with the control
    * character.
    */
   int
   parsemacro(struct mdoc *m, int ln, char *buf)
 {  {
         struct mdoc_arg *pp;          int               i, j, c;
         int              i;          char              mac[5];
   
         if (0 == argsz)          /* Empty lines are ignored. */
                 return(NULL);  
   
         pp = xcalloc((size_t)argsz, sizeof(struct mdoc_arg));          if (0 == buf[1])
         for (i = 0; i < (int)argsz; i++)                  return(1);
                 argcpy(&pp[i], &args[i]);  
   
         return(pp);          i = 1;
   
           /* Accept whitespace after the initial control char. */
   
           if (' ' == buf[i]) {
                   i++;
                   while (buf[i] && ' ' == buf[i])
                           i++;
                   if (0 == buf[i])
                           return(1);
           }
   
           /* Copy the first word into a nil-terminated buffer. */
   
           for (j = 0; j < 4; j++, i++) {
                   if (0 == (mac[j] = buf[i]))
                           break;
                   else if (' ' == buf[i])
                           break;
   
                   /* Check for invalid characters. */
   
                   if (isgraph((u_char)buf[i]))
                           continue;
                   return(mdoc_perr(m, ln, i, EPRINT));
           }
   
           mac[j] = 0;
   
           if (j == 4 || j < 2) {
                   if ( ! macrowarn(m, ln, mac))
                           goto err;
                   return(1);
           }
   
           if (MDOC_MAX == (c = mdoc_hash_find(mac))) {
                   if ( ! macrowarn(m, ln, mac))
                           goto err;
                   return(1);
           }
   
           /* The macro is sane.  Jump to the next word. */
   
           while (buf[i] && ' ' == buf[i])
                   i++;
   
           /*
            * Begin recursive parse sequence.  Since we're at the start of
            * the line, we don't need to do callable/parseable checks.
            */
           if ( ! mdoc_macro(m, c, ln, 1, &i, buf))
                   goto err;
   
           return(1);
   
   err:    /* Error out. */
   
           m->flags |= MDOC_HALT;
           return(0);
 }  }
   
   

Legend:
Removed from v.1.28  
changed lines
  Added in v.1.111

CVSweb