]> git.cameronkatri.com Git - mandoc.git/blobdiff - mdoc_macro.c
Fix man.7 to include AT and UC in its syntax table.
[mandoc.git] / mdoc_macro.c
index bb5afede44192e38ef6ae26711f9a39e15f38118..6754c9a08ec4b6039e0f2e9008b6a01202f2e13d 100644 (file)
@@ -1,4 +1,4 @@
-/*     $Id: mdoc_macro.c,v 1.63 2010/05/14 13:31:20 kristaps Exp $ */
+/*     $Id: mdoc_macro.c,v 1.68 2010/05/17 22:11:42 kristaps Exp $ */
 /*
  * Copyright (c) 2008, 2009 Kristaps Dzonsons <kristaps@kth.se>
  *
@@ -25,7 +25,9 @@
 #include <string.h>
 #include <time.h>
 
+#include "mandoc.h"
 #include "libmdoc.h"
+#include "libmandoc.h"
 
 enum   rew {
        REWIND_REWIND,
@@ -194,6 +196,7 @@ swarn(struct mdoc *mdoc, enum mdoc_type type,
                int line, int pos, const struct mdoc_node *p)
 {
        const char      *n, *t, *tt;
+       int              rc;
 
        n = t = "<root>";
        tt = "block";
@@ -226,13 +229,11 @@ swarn(struct mdoc *mdoc, enum mdoc_type type,
                break;
        }
 
-       if ( ! (MDOC_IGN_SCOPE & mdoc->pflags))
-               return(mdoc_verr(mdoc, line, pos, 
-                               "%s scope breaks %s scope of %s", 
-                               tt, t, n));
-       return(mdoc_vwarn(mdoc, line, pos, 
-                               "%s scope breaks %s scope of %s", 
-                               tt, t, n));
+       rc = mdoc_vmsg(mdoc, MANDOCERR_SCOPE, line, pos,
+                       "%s scope breaks %s of %s", tt, t, n);
+
+       /* FIXME: logic should be in driver. */
+       return(MDOC_IGN_SCOPE & mdoc->pflags ? rc : 0);
 }
 
 
@@ -255,7 +256,8 @@ mdoc_macroend(struct mdoc *m)
                        continue;
                if ( ! (MDOC_EXPLICIT & mdoc_macros[n->tok].flags))
                        continue;
-               return(mdoc_nerr(m, n, EOPEN));
+               mdoc_nmsg(m, n, MANDOCERR_SYNTSCOPE);
+               return(0);
        }
 
        /* Rewind to the first. */
@@ -587,7 +589,9 @@ rew_sub(enum mdoc_type t, struct mdoc *m,
                                return(1);
                        if ( ! (MDOC_EXPLICIT & mdoc_macros[tok].flags))
                                return(1);
-                       return(mdoc_perr(m, line, ppos, ENOCTX));
+                       /* FIXME: shouldn't raise an error */
+                       mdoc_pmsg(m, line, ppos, MANDOCERR_SYNTNOSCOPE);
+                       return(0);
                }
                if (REWIND_REWIND == c)
                        break;
@@ -621,26 +625,41 @@ rew_sub(enum mdoc_type t, struct mdoc *m,
 
 
 static int
-append_delims(struct mdoc *mdoc, int line, int *pos, char *buf)
+append_delims(struct mdoc *m, int line, int *pos, char *buf)
 {
-       int              lastarg;
+       int              la;
        enum margserr    ac;
        char            *p;
 
-       if (0 == buf[*pos])
+       if ('\0' == buf[*pos])
                return(1);
 
        for (;;) {
-               lastarg = *pos;
-               ac = mdoc_zargs(mdoc, line, pos, buf, ARGS_NOWARN, &p);
+               la = *pos;
+               ac = mdoc_zargs(m, line, pos, buf, ARGS_NOWARN, &p);
 
                if (ARGS_ERROR == ac)
                        return(0);
                else if (ARGS_EOLN == ac)
                        break;
-               assert(mdoc_isdelim(p));
-               if ( ! mdoc_word_alloc(mdoc, line, lastarg, p))
+
+               assert(DELIM_NONE != mdoc_isdelim(p));
+               if ( ! mdoc_word_alloc(m, line, la, p))
                        return(0);
+
+               /*
+                * If we encounter end-of-sentence symbols, then trigger
+                * the double-space.
+                *
+                * XXX: it's easy to allow this to propogate outward to
+                * the last symbol, such that `. )' will cause the
+                * correct double-spacing.  However, (1) groff isn't
+                * smart enough to do this and (2) it would require
+                * knowing which symbols break this behaviour, for
+                * example, `.  ;' shouldn't propogate the double-space.
+                */
+               if (mandoc_eos(p, strlen(p)))
+                       m->last->flags |= MDOC_EOS;
        }
 
        return(1);
@@ -670,8 +689,9 @@ blk_exp_close(MACRO_PROT_ARGS)
        }
 
        if ( ! (MDOC_CALLABLE & mdoc_macros[tok].flags)) {
+               /* FIXME: do this in validate */
                if (buf[*pos]) 
-                       if ( ! mdoc_pwarn(m, line, ppos, ENOLINE))
+                       if ( ! mdoc_pmsg(m, line, ppos, MANDOCERR_ARGSLOST))
                                return(0);
 
                if ( ! rew_sub(MDOC_BODY, m, tok, line, ppos))
@@ -734,10 +754,11 @@ blk_exp_close(MACRO_PROT_ARGS)
 static int
 in_line(MACRO_PROT_ARGS)
 {
-       int              la, lastpunct, cnt, d, nc, nl;
+       int              la, lastpunct, cnt, nc, nl;
        enum margverr    av;
        enum mdoct       ntok;
        enum margserr    ac;
+       enum mdelim      d;
        struct mdoc_arg *arg;
        char            *p;
 
@@ -814,7 +835,7 @@ in_line(MACRO_PROT_ARGS)
                                        return(0);
                        } else if ( ! nc && 0 == cnt) {
                                mdoc_argv_free(arg);
-                               if ( ! mdoc_pwarn(m, line, ppos, EIGNE))
+                               if ( ! mdoc_pmsg(m, line, ppos, MANDOCERR_MACROEMPTY))
                                        return(0);
                        }
                        if ( ! mdoc_macro(m, ntok, line, la, pos, buf))
@@ -830,9 +851,9 @@ in_line(MACRO_PROT_ARGS)
                 * the word. 
                 */
 
-               d = ARGS_QWORD == ac ? 0 : mdoc_isdelim(p);
+               d = ARGS_QWORD == ac ? DELIM_NONE : mdoc_isdelim(p);
 
-               if (ARGS_QWORD != ac && d) {
+               if (ARGS_QWORD != ac && DELIM_NONE != d) {
                        if (0 == lastpunct && ! rew_elem(m, tok))
                                return(0);
                        lastpunct = 1;
@@ -842,7 +863,7 @@ in_line(MACRO_PROT_ARGS)
                        lastpunct = 0;
                }
 
-               if ( ! d)
+               if (DELIM_NONE == d)
                        cnt++;
                if ( ! mdoc_word_alloc(m, line, la, p))
                        return(0);
@@ -875,7 +896,7 @@ in_line(MACRO_PROT_ARGS)
                        return(0);
        } else if ( ! nc && 0 == cnt) {
                mdoc_argv_free(arg);
-               if ( ! mdoc_pwarn(m, line, ppos, EIGNE))
+               if ( ! mdoc_pmsg(m, line, ppos, MANDOCERR_MACROEMPTY))
                        return(0);
        }
 
@@ -971,14 +992,20 @@ blk_full(MACRO_PROT_ARGS)
                if (ARGS_EOLN == ac)
                        break;
 
+               if (ARGS_PEND == ac) {
+                       if (ARGS_PPHRASE == lac)
+                               ac = ARGS_PPHRASE;
+                       else
+                               ac = ARGS_PHRASE;
+               }
+
                /* Don't emit leading punct. for phrases. */
 
                if (NULL == head && 
                                ARGS_PHRASE != ac &&
                                ARGS_PPHRASE != ac &&
-                               ARGS_PEND != ac &&
                                ARGS_QWORD != ac &&
-                               1 == mdoc_isdelim(p)) {
+                               DELIM_OPEN == mdoc_isdelim(p)) {
                        if ( ! mdoc_word_alloc(m, line, la, p))
                                return(0);
                        continue;
@@ -988,29 +1015,18 @@ blk_full(MACRO_PROT_ARGS)
 
                if (NULL == head || 
                                ARGS_PHRASE == ac || 
-                               ARGS_PEND == ac || 
                                ARGS_PPHRASE == ac) {
                        if ( ! mdoc_head_alloc(m, line, ppos, tok))
                                return(0);
                        head = m->last;
                }
 
-               if (ARGS_PHRASE == ac || 
-                               ARGS_PEND == ac ||
-                               ARGS_PPHRASE == ac) {
-                       /*
-                        * Special treatment for the last phrase.  A
-                        * prior ARGS_PHRASE gets is handled as a
-                        * regular ARGS_PHRASE, but a prior ARGS_PPHRASE
-                        * has special handling.
-                        */
-                       if (ARGS_PEND == ac && ARGS_ERROR == lac)
-                               ac = ARGS_PHRASE;
-                       else if (ARGS_PEND == ac && ARGS_PHRASE == lac)
-                               ac = ARGS_PHRASE;
-
+               if (ARGS_PHRASE == ac || ARGS_PPHRASE == ac) {
+                       if (ARGS_PPHRASE == ac)
+                               m->flags |= MDOC_PPHRASE;
                        if ( ! phrase(m, line, la, buf, ac))
                                return(0);
+                       m->flags &= ~MDOC_PPHRASE;
                        if ( ! rew_sub(MDOC_HEAD, m, tok, line, ppos))
                                return(0);
                        continue;
@@ -1122,7 +1138,7 @@ blk_part_imp(MACRO_PROT_ARGS)
                        break;
 
                if (NULL == body && ARGS_QWORD != ac &&
-                               1 == mdoc_isdelim(p)) {
+                   DELIM_OPEN == mdoc_isdelim(p)) {
                        if ( ! mdoc_word_alloc(m, line, la, p))
                                return(0);
                        continue;
@@ -1155,6 +1171,25 @@ blk_part_imp(MACRO_PROT_ARGS)
                body = m->last;
        }
 
+       for (n = body->child; n && n->next; n = n->next)
+               /* Do nothing. */ ;
+       
+       /* 
+        * End of sentence spacing: if the last node is a text node and
+        * has a trailing period, then mark it as being end-of-sentence.
+        */
+
+       if (n && MDOC_TEXT == n->type && n->string)
+               if (mandoc_eos(n->string, strlen(n->string)))
+                       n->flags |= MDOC_EOS;
+
+       /* Up-propogate the end-of-space flag. */
+
+       if (n && (MDOC_EOS & n->flags)) {
+               body->flags |= MDOC_EOS;
+               body->parent->flags |= MDOC_EOS;
+       }
+
        /* 
         * If we can't rewind to our body, then our scope has already
         * been closed by another macro (like `Oc' closing `Op').  This
@@ -1167,7 +1202,7 @@ blk_part_imp(MACRO_PROT_ARGS)
                if (body == n)
                        break;
 
-       if (NULL == n && ! mdoc_nwarn(m, body, EIMPBRK))
+       if (NULL == n && ! mdoc_nmsg(m, body, MANDOCERR_SCOPE))
                return(0);
 
        if (n && ! rew_last(m, body))
@@ -1222,7 +1257,7 @@ blk_part_exp(MACRO_PROT_ARGS)
                /* Flush out leading punctuation. */
 
                if (NULL == head && ARGS_QWORD != ac &&
-                               1 == mdoc_isdelim(p)) {
+                   DELIM_OPEN == mdoc_isdelim(p)) {
                        assert(NULL == body);
                        if ( ! mdoc_word_alloc(m, line, la, p))
                                return(0);
@@ -1367,7 +1402,7 @@ in_line_argn(MACRO_PROT_ARGS)
 
                if ( ! (MDOC_IGNDELIM & mdoc_macros[tok].flags) && 
                                ARGS_QWORD != ac &&
-                               0 == j && 1 == mdoc_isdelim(p)) {
+                               0 == j && DELIM_OPEN == mdoc_isdelim(p)) {
                        if ( ! mdoc_word_alloc(m, line, la, p))
                                return(0);
                        continue;
@@ -1395,7 +1430,8 @@ in_line_argn(MACRO_PROT_ARGS)
 
                if ( ! (MDOC_IGNDELIM & mdoc_macros[tok].flags) &&
                                ARGS_QWORD != ac &&
-                               ! flushed && mdoc_isdelim(p)) {
+                               ! flushed &&
+                               DELIM_NONE != mdoc_isdelim(p)) {
                        if ( ! rew_elem(m, tok))
                                return(0);
                        flushed = 1;
@@ -1532,7 +1568,7 @@ static int
 obsolete(MACRO_PROT_ARGS)
 {
 
-       return(mdoc_pwarn(m, line, ppos, EOBS));
+       return(mdoc_pmsg(m, line, ppos, MANDOCERR_MACROOBS));
 }
 
 
@@ -1549,22 +1585,19 @@ phrase(struct mdoc *m, int line, int ppos, char *buf, enum margserr ac)
        enum mdoct       ntok;
        char            *p;
 
-       assert(ARGS_PHRASE == ac || 
-                       ARGS_PEND == ac ||
-                       ARGS_PPHRASE == ac);
+       assert(ARGS_PHRASE == ac || ARGS_PPHRASE == ac);
 
        for (pos = ppos; ; ) {
                la = pos;
 
-               aac = mdoc_zargs(m, line, &pos, buf, ARGS_PPHRASED, &p);
+               aac = mdoc_zargs(m, line, &pos, buf, 0, &p);
 
                if (ARGS_ERROR == aac)
                        return(0);
                if (ARGS_EOLN == aac)
                        break;
 
-               ntok = ARGS_QWORD == aac || ARGS_PEND == ac ? 
-                       MDOC_MAX : lookup_raw(p);
+               ntok = ARGS_QWORD == aac ? MDOC_MAX : lookup_raw(p);
 
                if (MDOC_MAX == ntok) {
                        if ( ! mdoc_word_alloc(m, line, la, p))