Return to man.c CVS log | Up to [cvsweb.bsd.lv] / mandoc |
version 1.99, 2011/02/06 22:05:20 | version 1.149, 2015/01/30 21:28:46 | ||
---|---|---|---|
|
|
||
/* $Id$ */ | /* $Id$ */ | ||
/* | /* | ||
* Copyright (c) 2008, 2009, 2010 Kristaps Dzonsons <kristaps@bsd.lv> | * Copyright (c) 2008, 2009, 2010, 2011 Kristaps Dzonsons <kristaps@bsd.lv> | ||
* Copyright (c) 2013, 2014, 2015 Ingo Schwarze <schwarze@openbsd.org> | |||
* Copyright (c) 2011 Joerg Sonnenberger <joerg@netbsd.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 <sys/types.h> | ||
#include <assert.h> | #include <assert.h> | ||
#include <ctype.h> | |||
#include <stdarg.h> | #include <stdarg.h> | ||
#include <stdlib.h> | #include <stdlib.h> | ||
#include <stdio.h> | #include <stdio.h> | ||
#include <string.h> | #include <string.h> | ||
#include "man.h" | |||
#include "mandoc.h" | #include "mandoc.h" | ||
#include "mandoc_aux.h" | |||
#include "libman.h" | #include "libman.h" | ||
#include "libmandoc.h" | #include "libmandoc.h" | ||
const char *const __man_macronames[MAN_MAX] = { | const char *const __man_macronames[MAN_MAX] = { | ||
"br", "TH", "SH", "SS", | "br", "TH", "SH", "SS", | ||
"TP", "LP", "PP", "P", | "TP", "LP", "PP", "P", | ||
"IP", "HP", "SM", "SB", | "IP", "HP", "SM", "SB", | ||
"BI", "IB", "BR", "RB", | "BI", "IB", "BR", "RB", | ||
"R", "B", "I", "IR", | "R", "B", "I", "IR", | ||
"RI", "na", "sp", "nf", | "RI", "sp", "nf", | ||
"fi", "RE", "RS", "DT", | "fi", "RE", "RS", "DT", | ||
"UC", "PD", "AT", "in", | "UC", "PD", "AT", "in", | ||
"ft" | "ft", "OP", "EX", "EE", | ||
"UR", "UE", "ll" | |||
}; | }; | ||
const char * const *man_macronames = __man_macronames; | const char * const *man_macronames = __man_macronames; | ||
static struct man_node *man_node_alloc(struct man *, int, int, | static void man_alloc1(struct man *); | ||
static void man_breakscope(struct man *, enum mant); | |||
static void man_descope(struct man *, int, int); | |||
static void man_free1(struct man *); | |||
static struct man_node *man_node_alloc(struct man *, int, int, | |||
enum man_type, enum mant); | enum man_type, enum mant); | ||
static int man_node_append(struct man *, | static void man_node_append(struct man *, struct man_node *); | ||
struct man_node *); | |||
static int man_span_alloc(struct man *, | |||
const struct tbl_span *); | |||
static void man_node_free(struct man_node *); | static void man_node_free(struct man_node *); | ||
static void man_node_unlink(struct man *, | static void man_node_unlink(struct man *, | ||
struct man_node *); | struct man_node *); | ||
static int man_ptext(struct man *, int, char *, int); | static int man_ptext(struct man *, int, char *, int); | ||
static int man_pmacro(struct man *, int, char *, int); | static int man_pmacro(struct man *, int, char *, int); | ||
static void man_free1(struct man *); | |||
static void man_alloc1(struct man *); | |||
static int man_descope(struct man *, int, int); | |||
const struct man_node * | const struct man_node * | ||
man_node(const struct man *m) | man_node(const struct man *man) | ||
{ | { | ||
assert( ! (MAN_HALT & m->flags)); | return(man->first); | ||
return(m->first); | |||
} | } | ||
const struct man_meta * | const struct man_meta * | ||
man_meta(const struct man *m) | man_meta(const struct man *man) | ||
{ | { | ||
assert( ! (MAN_HALT & m->flags)); | return(&man->meta); | ||
return(&m->meta); | |||
} | } | ||
void | void | ||
man_reset(struct man *man) | man_reset(struct man *man) | ||
{ | { | ||
|
|
||
man_alloc1(man); | man_alloc1(man); | ||
} | } | ||
void | void | ||
man_free(struct man *man) | man_free(struct man *man) | ||
{ | { | ||
|
|
||
free(man); | free(man); | ||
} | } | ||
struct man * | struct man * | ||
man_alloc(struct regset *regs, void *data, mandocmsg msg) | man_alloc(struct roff *roff, struct mparse *parse, | ||
const char *defos, int quick) | |||
{ | { | ||
struct man *p; | struct man *p; | ||
p = mandoc_calloc(1, sizeof(struct man)); | p = mandoc_calloc(1, sizeof(struct man)); | ||
man_hash_init(); | man_hash_init(); | ||
p->data = data; | p->parse = parse; | ||
p->msg = msg; | p->defos = defos; | ||
p->regs = regs; | p->quick = quick; | ||
p->roff = roff; | |||
man_alloc1(p); | man_alloc1(p); | ||
return(p); | return(p); | ||
} | } | ||
void | |||
int | man_endparse(struct man *man) | ||
man_endparse(struct man *m) | |||
{ | { | ||
assert( ! (MAN_HALT & m->flags)); | man_macroend(man); | ||
if (man_macroend(m)) | |||
return(1); | |||
m->flags |= MAN_HALT; | |||
return(0); | |||
} | } | ||
int | int | ||
man_parseln(struct man *m, int ln, char *buf, int offs) | man_parseln(struct man *man, int ln, char *buf, int offs) | ||
{ | { | ||
m->flags |= MAN_NEWLINE; | if (man->last->type != MAN_EQN || ln > man->last->line) | ||
man->flags |= MAN_NEWLINE; | |||
assert( ! (MAN_HALT & m->flags)); | return (roff_getcontrol(man->roff, buf, &offs) ? | ||
return(('.' == buf[offs] || '\'' == buf[offs]) ? | man_pmacro(man, ln, buf, offs) : | ||
man_pmacro(m, ln, buf, offs) : | man_ptext(man, ln, buf, offs)); | ||
man_ptext(m, ln, buf, offs)); | |||
} | } | ||
static void | static void | ||
man_free1(struct man *man) | man_free1(struct man *man) | ||
{ | { | ||
if (man->first) | if (man->first) | ||
man_node_delete(man, man->first); | man_node_delete(man, man->first); | ||
if (man->meta.title) | free(man->meta.title); | ||
free(man->meta.title); | free(man->meta.source); | ||
if (man->meta.source) | free(man->meta.date); | ||
free(man->meta.source); | free(man->meta.vol); | ||
if (man->meta.rawdate) | free(man->meta.msec); | ||
free(man->meta.rawdate); | |||
if (man->meta.vol) | |||
free(man->meta.vol); | |||
if (man->meta.msec) | |||
free(man->meta.msec); | |||
} | } | ||
static void | static void | ||
man_alloc1(struct man *m) | man_alloc1(struct man *man) | ||
{ | { | ||
memset(&m->meta, 0, sizeof(struct man_meta)); | memset(&man->meta, 0, sizeof(struct man_meta)); | ||
m->flags = 0; | man->flags = 0; | ||
m->last = mandoc_calloc(1, sizeof(struct man_node)); | man->last = mandoc_calloc(1, sizeof(struct man_node)); | ||
m->first = m->last; | man->first = man->last; | ||
m->last->type = MAN_ROOT; | man->last->type = MAN_ROOT; | ||
m->last->tok = MAN_MAX; | man->last->tok = MAN_MAX; | ||
m->next = MAN_NEXT_CHILD; | man->next = MAN_NEXT_CHILD; | ||
} | } | ||
static int | static void | ||
man_node_append(struct man *man, struct man_node *p) | man_node_append(struct man *man, struct man_node *p) | ||
{ | { | ||
assert(man->last); | assert(man->last); | ||
assert(man->first); | assert(man->first); | ||
assert(MAN_ROOT != p->type); | assert(p->type != MAN_ROOT); | ||
switch (man->next) { | switch (man->next) { | ||
case (MAN_NEXT_SIBLING): | case MAN_NEXT_SIBLING: | ||
man->last->next = p; | man->last->next = p; | ||
p->prev = man->last; | p->prev = man->last; | ||
p->parent = man->last->parent; | p->parent = man->last->parent; | ||
break; | break; | ||
case (MAN_NEXT_CHILD): | case MAN_NEXT_CHILD: | ||
man->last->child = p; | man->last->child = p; | ||
p->parent = man->last; | p->parent = man->last; | ||
break; | break; | ||
|
|
||
abort(); | abort(); | ||
/* NOTREACHED */ | /* NOTREACHED */ | ||
} | } | ||
assert(p->parent); | assert(p->parent); | ||
p->parent->nchild++; | p->parent->nchild++; | ||
if ( ! man_valid_pre(man, p)) | |||
return(0); | |||
switch (p->type) { | switch (p->type) { | ||
case (MAN_HEAD): | case MAN_BLOCK: | ||
assert(MAN_BLOCK == p->parent->type); | if (p->tok == MAN_SH || p->tok == MAN_SS) | ||
man->flags &= ~MAN_LITERAL; | |||
break; | |||
case MAN_HEAD: | |||
assert(p->parent->type == MAN_BLOCK); | |||
p->parent->head = p; | p->parent->head = p; | ||
break; | break; | ||
case (MAN_BODY): | case MAN_BODY: | ||
assert(MAN_BLOCK == p->parent->type); | assert(p->parent->type == MAN_BLOCK); | ||
p->parent->body = p; | p->parent->body = p; | ||
break; | break; | ||
default: | default: | ||
|
|
||
man->last = p; | man->last = p; | ||
switch (p->type) { | switch (p->type) { | ||
case (MAN_TBL): | case MAN_TBL: | ||
/* FALLTHROUGH */ | /* FALLTHROUGH */ | ||
case (MAN_TEXT): | case MAN_TEXT: | ||
if ( ! man_valid_post(man)) | man_valid_post(man); | ||
return(0); | |||
break; | break; | ||
default: | default: | ||
break; | break; | ||
} | } | ||
return(1); | |||
} | } | ||
static struct man_node * | static struct man_node * | ||
man_node_alloc(struct man *m, int line, int pos, | man_node_alloc(struct man *man, int line, int pos, | ||
enum man_type type, enum mant tok) | enum man_type type, enum mant tok) | ||
{ | { | ||
struct man_node *p; | struct man_node *p; | ||
|
|
||
p->type = type; | p->type = type; | ||
p->tok = tok; | p->tok = tok; | ||
if (MAN_NEWLINE & m->flags) | if (man->flags & MAN_NEWLINE) | ||
p->flags |= MAN_LINE; | p->flags |= MAN_LINE; | ||
m->flags &= ~MAN_NEWLINE; | man->flags &= ~MAN_NEWLINE; | ||
return(p); | return(p); | ||
} | } | ||
void | |||
int | man_elem_alloc(struct man *man, int line, int pos, enum mant tok) | ||
man_elem_alloc(struct man *m, int line, int pos, enum mant tok) | |||
{ | { | ||
struct man_node *p; | struct man_node *p; | ||
p = man_node_alloc(m, line, pos, MAN_ELEM, tok); | p = man_node_alloc(man, line, pos, MAN_ELEM, tok); | ||
if ( ! man_node_append(m, p)) | man_node_append(man, p); | ||
return(0); | man->next = MAN_NEXT_CHILD; | ||
m->next = MAN_NEXT_CHILD; | |||
return(1); | |||
} | } | ||
void | |||
int | man_head_alloc(struct man *man, int line, int pos, enum mant tok) | ||
man_head_alloc(struct man *m, int line, int pos, enum mant tok) | |||
{ | { | ||
struct man_node *p; | struct man_node *p; | ||
p = man_node_alloc(m, line, pos, MAN_HEAD, tok); | p = man_node_alloc(man, line, pos, MAN_HEAD, tok); | ||
if ( ! man_node_append(m, p)) | man_node_append(man, p); | ||
return(0); | man->next = MAN_NEXT_CHILD; | ||
m->next = MAN_NEXT_CHILD; | |||
return(1); | |||
} | } | ||
void | |||
int | man_body_alloc(struct man *man, int line, int pos, enum mant tok) | ||
man_body_alloc(struct man *m, int line, int pos, enum mant tok) | |||
{ | { | ||
struct man_node *p; | struct man_node *p; | ||
p = man_node_alloc(m, line, pos, MAN_BODY, tok); | p = man_node_alloc(man, line, pos, MAN_BODY, tok); | ||
if ( ! man_node_append(m, p)) | man_node_append(man, p); | ||
return(0); | man->next = MAN_NEXT_CHILD; | ||
m->next = MAN_NEXT_CHILD; | |||
return(1); | |||
} | } | ||
void | |||
int | man_block_alloc(struct man *man, int line, int pos, enum mant tok) | ||
man_block_alloc(struct man *m, int line, int pos, enum mant tok) | |||
{ | { | ||
struct man_node *p; | struct man_node *p; | ||
p = man_node_alloc(m, line, pos, MAN_BLOCK, tok); | p = man_node_alloc(man, line, pos, MAN_BLOCK, tok); | ||
if ( ! man_node_append(m, p)) | man_node_append(man, p); | ||
return(0); | man->next = MAN_NEXT_CHILD; | ||
m->next = MAN_NEXT_CHILD; | |||
return(1); | |||
} | } | ||
static int | void | ||
man_span_alloc(struct man *m, const struct tbl_span *span) | man_word_alloc(struct man *man, int line, int pos, const char *word) | ||
{ | { | ||
struct man_node *n; | struct man_node *n; | ||
n = man_node_alloc(m, span->line, 0, MAN_TBL, MAN_MAX); | n = man_node_alloc(man, line, pos, MAN_TEXT, MAN_MAX); | ||
n->span = span; | n->string = roff_strdup(man->roff, word); | ||
man_node_append(man, n); | |||
if ( ! man_node_append(m, n)) | man->next = MAN_NEXT_SIBLING; | ||
return(0); | |||
m->next = MAN_NEXT_SIBLING; | |||
return(1); | |||
} | } | ||
int | void | ||
man_word_alloc(struct man *m, int line, int pos, const char *word) | man_word_append(struct man *man, const char *word) | ||
{ | { | ||
struct man_node *n; | struct man_node *n; | ||
size_t sv, len; | char *addstr, *newstr; | ||
len = strlen(word); | n = man->last; | ||
addstr = roff_strdup(man->roff, word); | |||
n = man_node_alloc(m, line, pos, MAN_TEXT, MAN_MAX); | mandoc_asprintf(&newstr, "%s %s", n->string, addstr); | ||
n->string = mandoc_malloc(len + 1); | free(addstr); | ||
sv = strlcpy(n->string, word, len + 1); | free(n->string); | ||
n->string = newstr; | |||
/* Prohibit truncation. */ | man->next = MAN_NEXT_SIBLING; | ||
assert(sv < len + 1); | |||
if ( ! man_node_append(m, n)) | |||
return(0); | |||
m->next = MAN_NEXT_SIBLING; | |||
return(1); | |||
} | } | ||
/* | /* | ||
* Free all of the resources held by a node. This does NOT unlink a | * Free all of the resources held by a node. This does NOT unlink a | ||
* node from its context; for that, see man_node_unlink(). | * node from its context; for that, see man_node_unlink(). | ||
|
|
||
man_node_free(struct man_node *p) | man_node_free(struct man_node *p) | ||
{ | { | ||
if (p->string) | free(p->string); | ||
free(p->string); | |||
free(p); | free(p); | ||
} | } | ||
void | void | ||
man_node_delete(struct man *m, struct man_node *p) | man_node_delete(struct man *man, struct man_node *p) | ||
{ | { | ||
while (p->child) | while (p->child) | ||
man_node_delete(m, p->child); | man_node_delete(man, p->child); | ||
man_node_unlink(m, p); | man_node_unlink(man, p); | ||
man_node_free(p); | man_node_free(p); | ||
} | } | ||
void | |||
man_addeqn(struct man *man, const struct eqn *ep) | |||
{ | |||
struct man_node *n; | |||
int | n = man_node_alloc(man, ep->ln, ep->pos, MAN_EQN, MAN_MAX); | ||
man_addspan(struct man *m, const struct tbl_span *sp) | n->eqn = ep; | ||
if (ep->ln > man->last->line) | |||
n->flags |= MAN_LINE; | |||
man_node_append(man, n); | |||
man->next = MAN_NEXT_SIBLING; | |||
man_descope(man, ep->ln, ep->pos); | |||
} | |||
void | |||
man_addspan(struct man *man, const struct tbl_span *sp) | |||
{ | { | ||
struct man_node *n; | |||
assert( ! (MAN_HALT & m->flags)); | man_breakscope(man, MAN_MAX); | ||
if ( ! man_span_alloc(m, sp)) | n = man_node_alloc(man, sp->line, 0, MAN_TBL, MAN_MAX); | ||
return(0); | n->span = sp; | ||
return(man_descope(m, sp->line, 0)); | man_node_append(man, n); | ||
man->next = MAN_NEXT_SIBLING; | |||
man_descope(man, sp->line, 0); | |||
} | } | ||
static int | static void | ||
man_descope(struct man *m, int line, int offs) | man_descope(struct man *man, int line, int offs) | ||
{ | { | ||
/* | /* | ||
* Co-ordinate what happens with having a next-line scope open: | * Co-ordinate what happens with having a next-line scope open: | ||
|
|
||
* out the block scope (also if applicable). | * out the block scope (also if applicable). | ||
*/ | */ | ||
if (MAN_ELINE & m->flags) { | if (man->flags & MAN_ELINE) { | ||
m->flags &= ~MAN_ELINE; | man->flags &= ~MAN_ELINE; | ||
if ( ! man_unscope(m, m->last->parent, MANDOCERR_MAX)) | man_unscope(man, man->last->parent); | ||
return(0); | |||
} | } | ||
if ( ! (man->flags & MAN_BLINE)) | |||
if ( ! (MAN_BLINE & m->flags)) | return; | ||
return(1); | man->flags &= ~MAN_BLINE; | ||
m->flags &= ~MAN_BLINE; | man_unscope(man, man->last->parent); | ||
man_body_alloc(man, line, offs, man->last->tok); | |||
if ( ! man_unscope(m, m->last->parent, MANDOCERR_MAX)) | |||
return(0); | |||
return(man_body_alloc(m, line, offs, m->last->tok)); | |||
} | } | ||
static int | static int | ||
man_ptext(struct man *m, int line, char *buf, int offs) | man_ptext(struct man *man, int line, char *buf, int offs) | ||
{ | { | ||
int i; | int i; | ||
/* Ignore bogus comments. */ | /* Literal free-form text whitespace is preserved. */ | ||
if ('\\' == buf[offs] && | if (man->flags & MAN_LITERAL) { | ||
'.' == buf[offs + 1] && | man_word_alloc(man, line, offs, buf + offs); | ||
'"' == buf[offs + 2]) { | man_descope(man, line, offs); | ||
man_pmsg(m, line, offs, MANDOCERR_BADCOMMENT); | |||
return(1); | return(1); | ||
} | } | ||
/* Literal free-form text whitespace is preserved. */ | for (i = offs; buf[i] == ' '; i++) | ||
if (MAN_LITERAL & m->flags) { | |||
if ( ! man_word_alloc(m, line, offs, buf + offs)) | |||
return(0); | |||
return(man_descope(m, line, offs)); | |||
} | |||
/* Pump blank lines directly into the backend. */ | |||
for (i = offs; ' ' == buf[i]; i++) | |||
/* Skip leading whitespace. */ ; | /* Skip leading whitespace. */ ; | ||
if ('\0' == buf[i]) { | /* | ||
* Blank lines are ignored right after headings | |||
* but add a single vertical space elsewhere. | |||
*/ | |||
if (buf[i] == '\0') { | |||
/* Allocate a blank entry. */ | /* Allocate a blank entry. */ | ||
if ( ! man_word_alloc(m, line, offs, "")) | if (man->last->tok != MAN_SH && | ||
return(0); | man->last->tok != MAN_SS) { | ||
return(man_descope(m, line, offs)); | man_elem_alloc(man, line, offs, MAN_sp); | ||
man->next = MAN_NEXT_SIBLING; | |||
} | |||
return(1); | |||
} | } | ||
/* | /* | ||
* Warn if the last un-escaped character is whitespace. Then | * Warn if the last un-escaped character is whitespace. Then | ||
* strip away the remaining spaces (tabs stay!). | * strip away the remaining spaces (tabs stay!). | ||
*/ | */ | ||
i = (int)strlen(buf); | i = (int)strlen(buf); | ||
|
|
||
if (' ' == buf[i - 1] || '\t' == buf[i - 1]) { | if (' ' == buf[i - 1] || '\t' == buf[i - 1]) { | ||
if (i > 1 && '\\' != buf[i - 2]) | if (i > 1 && '\\' != buf[i - 2]) | ||
man_pmsg(m, line, i - 1, MANDOCERR_EOLNSPACE); | mandoc_msg(MANDOCERR_SPACE_EOL, man->parse, | ||
line, i - 1, NULL); | |||
for (--i; i && ' ' == buf[i]; i--) | for (--i; i && ' ' == buf[i]; i--) | ||
/* Spin back to non-space. */ ; | /* Spin back to non-space. */ ; | ||
|
|
||
buf[i] = '\0'; | buf[i] = '\0'; | ||
} | } | ||
man_word_alloc(man, line, offs, buf + offs); | |||
if ( ! man_word_alloc(m, line, offs, buf + offs)) | |||
return(0); | |||
/* | /* | ||
* End-of-sentence check. If the last character is an unescaped | * End-of-sentence check. If the last character is an unescaped | ||
* EOS character, then flag the node as being the end of a | * EOS character, then flag the node as being the end of a | ||
|
|
||
*/ | */ | ||
assert(i); | assert(i); | ||
if (mandoc_eos(buf, (size_t)i, 0)) | if (mandoc_eos(buf, (size_t)i)) | ||
m->last->flags |= MAN_EOS; | man->last->flags |= MAN_EOS; | ||
return(man_descope(m, line, offs)); | man_descope(man, line, offs); | ||
return(1); | |||
} | } | ||
static int | static int | ||
man_pmacro(struct man *m, int ln, char *buf, int offs) | man_pmacro(struct man *man, int ln, char *buf, int offs) | ||
{ | { | ||
int i, j, ppos; | struct man_node *n; | ||
const char *cp; | |||
enum mant tok; | enum mant tok; | ||
int i, ppos; | |||
int bline; | |||
char mac[5]; | char mac[5]; | ||
struct man_node *n; | |||
/* Comments and empties are quickly ignored. */ | ppos = offs; | ||
offs++; | |||
if ('\0' == buf[offs]) | |||
return(1); | |||
i = offs; | |||
/* | /* | ||
* Skip whitespace between the control character and initial | * Copy the first word into a nil-terminated buffer. | ||
* text. "Whitespace" is both spaces and tabs. | * Stop when a space, tab, escape, or eoln is encountered. | ||
*/ | */ | ||
if (' ' == buf[i] || '\t' == buf[i]) { | i = 0; | ||
i++; | while (i < 4 && strchr(" \t\\", buf[offs]) == NULL) | ||
while (buf[i] && (' ' == buf[i] || '\t' == buf[i])) | mac[i++] = buf[offs++]; | ||
i++; | |||
if ('\0' == buf[i]) | |||
goto out; | |||
} | |||
ppos = i; | mac[i] = '\0'; | ||
/* | tok = (i > 0 && i < 4) ? man_hash_find(mac) : MAN_MAX; | ||
* Copy the first word into a nil-terminated buffer. | |||
* Stop copying when a tab, space, or eoln is encountered. | |||
*/ | |||
j = 0; | if (tok == MAN_MAX) { | ||
while (j < 4 && '\0' != buf[i] && ' ' != buf[i] && '\t' != buf[i]) | mandoc_msg(MANDOCERR_MACRO, man->parse, | ||
mac[j++] = buf[i++]; | ln, ppos, buf + ppos - 1); | ||
mac[j] = '\0'; | |||
tok = (j > 0 && j < 4) ? man_hash_find(mac) : MAN_MAX; | |||
if (MAN_MAX == tok) { | |||
man_vmsg(m, MANDOCERR_MACRO, ln, ppos, "%s", buf + ppos - 1); | |||
return(1); | return(1); | ||
} | } | ||
/* The macro is sane. Jump to the next word. */ | /* Skip a leading escape sequence or tab. */ | ||
while (buf[i] && ' ' == buf[i]) | switch (buf[offs]) { | ||
i++; | case '\\': | ||
cp = buf + offs + 1; | |||
mandoc_escape(&cp, NULL, NULL); | |||
offs = cp - buf; | |||
break; | |||
case '\t': | |||
offs++; | |||
break; | |||
default: | |||
break; | |||
} | |||
/* | /* Jump to the next non-whitespace word. */ | ||
while (buf[offs] && buf[offs] == ' ') | |||
offs++; | |||
/* | |||
* Trailing whitespace. Note that tabs are allowed to be passed | * Trailing whitespace. Note that tabs are allowed to be passed | ||
* into the parser as "text", so we only warn about spaces here. | * into the parser as "text", so we only warn about spaces here. | ||
*/ | */ | ||
if ('\0' == buf[i] && ' ' == buf[i - 1]) | if (buf[offs] == '\0' && buf[offs - 1] == ' ') | ||
man_pmsg(m, ln, i - 1, MANDOCERR_EOLNSPACE); | mandoc_msg(MANDOCERR_SPACE_EOL, man->parse, | ||
ln, offs - 1, NULL); | |||
/* | |||
* Remove prior ELINE macro, as it's being clobbered by a new | |||
* macro. Note that NSCOPED macros do not close out ELINE | |||
* macros---they don't print text---so we let those slip by. | |||
*/ | |||
if ( ! (MAN_NSCOPED & man_macros[tok].flags) && | |||
m->flags & MAN_ELINE) { | |||
n = m->last; | |||
assert(MAN_TEXT != n->type); | |||
/* Remove repeated NSCOPED macros causing ELINE. */ | |||
if (MAN_NSCOPED & man_macros[n->tok].flags) | |||
n = n->parent; | |||
man_vmsg(m, MANDOCERR_LINESCOPE, n->line, n->pos, | |||
"%s", man_macronames[n->tok]); | |||
man_node_delete(m, n); | |||
m->flags &= ~MAN_ELINE; | |||
} | |||
/* | /* | ||
* Save the fact that we're in the next-line for a block. In | * Some macros break next-line scopes; otherwise, remember | ||
* this way, embedded roff instructions can "remember" state | * whether we are in next-line scope for a block head. | ||
* when they exit. | |||
*/ | */ | ||
if (MAN_BLINE & m->flags) | man_breakscope(man, tok); | ||
m->flags |= MAN_BPLINE; | bline = man->flags & MAN_BLINE; | ||
/* Call to handler... */ | /* Call to handler... */ | ||
assert(man_macros[tok].fp); | assert(man_macros[tok].fp); | ||
if ( ! (*man_macros[tok].fp)(m, tok, ln, ppos, &i, buf)) | (*man_macros[tok].fp)(man, tok, ln, ppos, &offs, buf); | ||
goto err; | |||
out: | /* In quick mode (for mandocdb), abort after the NAME section. */ | ||
/* | |||
* We weren't in a block-line scope when entering the | |||
* above-parsed macro, so return. | |||
*/ | |||
if ( ! (MAN_BPLINE & m->flags)) { | if (man->quick && tok == MAN_SH) { | ||
m->flags &= ~MAN_ILINE; | n = man->last; | ||
return(1); | if (n->type == MAN_BODY && | ||
strcmp(n->prev->child->string, "NAME")) | |||
return(2); | |||
} | } | ||
m->flags &= ~MAN_BPLINE; | |||
/* | /* | ||
* If we're in a block scope, then allow this macro to slip by | * If we are in a next-line scope for a block head, | ||
* without closing scope around it. | * close it out now and switch to the body, | ||
* unless the next-line scope is allowed to continue. | |||
*/ | */ | ||
if (MAN_ILINE & m->flags) { | if ( ! bline || man->flags & MAN_ELINE || | ||
m->flags &= ~MAN_ILINE; | man_macros[tok].flags & MAN_NSCOPED) | ||
return(1); | return(1); | ||
} | |||
/* | assert(man->flags & MAN_BLINE); | ||
* If we've opened a new next-line element scope, then return | man->flags &= ~MAN_BLINE; | ||
* now, as the next line will close out the block scope. | |||
*/ | |||
if (MAN_ELINE & m->flags) | man_unscope(man, man->last->parent); | ||
return(1); | man_body_alloc(man, ln, ppos, man->last->tok); | ||
return(1); | |||
} | |||
/* Close out the block scope opened in the prior line. */ | void | ||
man_breakscope(struct man *man, enum mant tok) | |||
{ | |||
struct man_node *n; | |||
assert(MAN_BLINE & m->flags); | /* | ||
m->flags &= ~MAN_BLINE; | * An element next line scope is open, | ||
* and the new macro is not allowed inside elements. | |||
* Delete the element that is being broken. | |||
*/ | |||
if ( ! man_unscope(m, m->last->parent, MANDOCERR_MAX)) | if (man->flags & MAN_ELINE && (tok == MAN_MAX || | ||
return(0); | ! (man_macros[tok].flags & MAN_NSCOPED))) { | ||
return(man_body_alloc(m, ln, offs, m->last->tok)); | n = man->last; | ||
assert(n->type != MAN_TEXT); | |||
if (man_macros[n->tok].flags & MAN_NSCOPED) | |||
n = n->parent; | |||
err: /* Error out. */ | mandoc_vmsg(MANDOCERR_BLK_LINE, man->parse, | ||
n->line, n->pos, "%s breaks %s", | |||
tok == MAN_MAX ? "TS" : man_macronames[tok], | |||
man_macronames[n->tok]); | |||
m->flags |= MAN_HALT; | man_node_delete(man, n); | ||
return(0); | man->flags &= ~MAN_ELINE; | ||
} | } | ||
/* | |||
* A block header next line scope is open, | |||
* and the new macro is not allowed inside block headers. | |||
* Delete the block that is being broken. | |||
*/ | |||
int | if (man->flags & MAN_BLINE && (tok == MAN_MAX || | ||
man_vmsg(struct man *man, enum mandocerr t, | man_macros[tok].flags & MAN_BSCOPE)) { | ||
int ln, int pos, const char *fmt, ...) | n = man->last; | ||
{ | if (n->type == MAN_TEXT) | ||
char buf[256]; | n = n->parent; | ||
va_list ap; | if ( ! (man_macros[n->tok].flags & MAN_BSCOPE)) | ||
n = n->parent; | |||
va_start(ap, fmt); | assert(n->type == MAN_HEAD); | ||
vsnprintf(buf, sizeof(buf) - 1, fmt, ap); | n = n->parent; | ||
va_end(ap); | assert(n->type == MAN_BLOCK); | ||
return((*man->msg)(t, man->data, ln, pos, buf)); | assert(man_macros[n->tok].flags & MAN_SCOPED); | ||
} | |||
mandoc_vmsg(MANDOCERR_BLK_LINE, man->parse, | |||
n->line, n->pos, "%s breaks %s", | |||
tok == MAN_MAX ? "TS" : man_macronames[tok], | |||
man_macronames[n->tok]); | |||
man_node_delete(man, n); | |||
man->flags &= ~MAN_BLINE; | |||
} | |||
} | |||
/* | /* | ||
* Unlink a node from its context. If "m" is provided, the last parse | * Unlink a node from its context. If "man" is provided, the last parse | ||
* point will also be adjusted accordingly. | * point will also be adjusted accordingly. | ||
*/ | */ | ||
static void | static void | ||
man_node_unlink(struct man *m, struct man_node *n) | man_node_unlink(struct man *man, struct man_node *n) | ||
{ | { | ||
/* Adjust siblings. */ | /* Adjust siblings. */ | ||
|
|
||
/* Adjust parse point, if applicable. */ | /* Adjust parse point, if applicable. */ | ||
if (m && m->last == n) { | if (man && man->last == n) { | ||
/*XXX: this can occur when bailing from validation. */ | /*XXX: this can occur when bailing from validation. */ | ||
/*assert(NULL == n->next);*/ | /*assert(NULL == n->next);*/ | ||
if (n->prev) { | if (n->prev) { | ||
m->last = n->prev; | man->last = n->prev; | ||
m->next = MAN_NEXT_SIBLING; | man->next = MAN_NEXT_SIBLING; | ||
} else { | } else { | ||
m->last = n->parent; | man->last = n->parent; | ||
m->next = MAN_NEXT_CHILD; | man->next = MAN_NEXT_CHILD; | ||
} | } | ||
} | } | ||
if (m && m->first == n) | if (man && man->first == n) | ||
m->first = NULL; | man->first = NULL; | ||
} | |||
const struct mparse * | |||
man_mparse(const struct man *man) | |||
{ | |||
assert(man && man->parse); | |||
return(man->parse); | |||
} | |||
void | |||
man_deroff(char **dest, const struct man_node *n) | |||
{ | |||
char *cp; | |||
size_t sz; | |||
if (n->type != MAN_TEXT) { | |||
for (n = n->child; n; n = n->next) | |||
man_deroff(dest, n); | |||
return; | |||
} | |||
/* Skip leading whitespace and escape sequences. */ | |||
cp = n->string; | |||
while ('\0' != *cp) { | |||
if ('\\' == *cp) { | |||
cp++; | |||
mandoc_escape((const char **)&cp, NULL, NULL); | |||
} else if (isspace((unsigned char)*cp)) | |||
cp++; | |||
else | |||
break; | |||
} | |||
/* Skip trailing whitespace. */ | |||
for (sz = strlen(cp); sz; sz--) | |||
if (0 == isspace((unsigned char)cp[sz-1])) | |||
break; | |||
/* Skip empty strings. */ | |||
if (0 == sz) | |||
return; | |||
if (NULL == *dest) { | |||
*dest = mandoc_strndup(cp, sz); | |||
return; | |||
} | |||
mandoc_asprintf(&cp, "%s %*s", *dest, (int)sz, cp); | |||
free(*dest); | |||
*dest = cp; | |||
} | } |