]>
git.cameronkatri.com Git - mandoc.git/blob - man.c
1 /* $Id: man.c,v 1.39 2009/08/22 09:10:38 kristaps Exp $ */
3 * Copyright (c) 2008, 2009 Kristaps Dzonsons <kristaps@kth.se>
5 * Permission to use, copy, modify, and distribute this software for any
6 * purpose with or without fee is hereby granted, provided that the above
7 * copyright notice and this permission notice appear in all copies.
9 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
10 * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
11 * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
12 * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
13 * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
14 * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
15 * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
26 const char *const __man_merrnames
[WERRMAX
] = {
27 "invalid character", /* WNPRINT */
28 "system: malloc error", /* WNMEM */
29 "invalid manual section", /* WMSEC */
30 "invalid date format", /* WDATE */
31 "scope of prior line violated", /* WLNSCOPE */
32 "trailing whitespace", /* WTSPACE */
33 "unterminated quoted parameter", /* WTQUOTE */
34 "document has no body", /* WNODATA */
35 "document has no title/section", /* WNOTITLE */
36 "invalid escape sequence", /* WESCAPE */
37 "invalid number format", /* WNUMFMT */
38 "expected block head arguments", /* WHEADARGS */
39 "expected block body arguments", /* WBODYARGS */
40 "expected empty block head", /* WNHEADARGS */
41 "unknown macro", /* WMACRO */
42 "ill-formed macro", /* WMACROFORM */
43 "scope open on exit", /* WEXITSCOPE */
44 "no scope context", /* WNOSCOPE */
45 "literal context already open", /* WOLITERAL */
46 "no literal context open" /* WNLITERAL */
49 const char *const __man_macronames
[MAN_MAX
] = {
50 "br", "TH", "SH", "SS",
51 "TP", "LP", "PP", "P",
52 "IP", "HP", "SM", "SB",
53 "BI", "IB", "BR", "RB",
55 "RI", "na", "i", "sp",
56 "nf", "fi", "r", "RE",
60 const char * const *man_macronames
= __man_macronames
;
62 static struct man_node
*man_node_alloc(int, int,
64 static int man_node_append(struct man
*,
66 static int man_ptext(struct man
*, int, char *);
67 static int man_pmacro(struct man
*, int, char *);
68 static void man_free1(struct man
*);
69 static int man_alloc1(struct man
*);
70 static int pstring(struct man
*, int, int,
71 const char *, size_t);
74 extern size_t strlcpy(char *, const char *, size_t);
78 const struct man_node
*
79 man_node(const struct man
*m
)
82 return(MAN_HALT
& m
->flags
? NULL
: m
->first
);
86 const struct man_meta
*
87 man_meta(const struct man
*m
)
90 return(MAN_HALT
& m
->flags
? NULL
: &m
->meta
);
95 man_reset(struct man
*man
)
99 return(man_alloc1(man
));
104 man_free(struct man
*man
)
110 man_hash_free(man
->htab
);
116 man_alloc(void *data
, int pflags
, const struct man_cb
*cb
)
120 if (NULL
== (p
= calloc(1, sizeof(struct man
))))
123 if ( ! man_alloc1(p
)) {
130 (void)memcpy(&p
->cb
, cb
, sizeof(struct man_cb
));
132 if (NULL
== (p
->htab
= man_hash_alloc())) {
141 man_endparse(struct man
*m
)
144 if (MAN_HALT
& m
->flags
)
146 else if (man_macroend(m
))
148 m
->flags
|= MAN_HALT
;
154 man_parseln(struct man
*m
, int ln
, char *buf
)
158 man_pmacro(m
, ln
, buf
) :
159 man_ptext(m
, ln
, buf
));
164 man_free1(struct man
*man
)
168 man_node_freelist(man
->first
);
170 free(man
->meta
.title
);
171 if (man
->meta
.source
)
172 free(man
->meta
.source
);
179 man_alloc1(struct man
*m
)
182 bzero(&m
->meta
, sizeof(struct man_meta
));
184 m
->last
= calloc(1, sizeof(struct man_node
));
188 m
->last
->type
= MAN_ROOT
;
189 m
->next
= MAN_NEXT_CHILD
;
195 man_node_append(struct man
*man
, struct man_node
*p
)
200 assert(MAN_ROOT
!= p
->type
);
203 case (MAN_NEXT_SIBLING
):
206 p
->parent
= man
->last
->parent
;
208 case (MAN_NEXT_CHILD
):
209 man
->last
->child
= p
;
210 p
->parent
= man
->last
;
219 if ( ! man_valid_pre(man
, p
))
224 assert(MAN_BLOCK
== p
->parent
->type
);
228 assert(MAN_BLOCK
== p
->parent
->type
);
239 if ( ! man_valid_post(man
))
241 if ( ! man_action_post(man
))
252 static struct man_node
*
253 man_node_alloc(int line
, int pos
, enum man_type type
, int tok
)
257 p
= calloc(1, sizeof(struct man_node
));
270 man_elem_alloc(struct man
*m
, int line
, int pos
, int tok
)
274 p
= man_node_alloc(line
, pos
, MAN_ELEM
, tok
);
277 if ( ! man_node_append(m
, p
))
279 m
->next
= MAN_NEXT_CHILD
;
285 man_head_alloc(struct man
*m
, int line
, int pos
, int tok
)
289 p
= man_node_alloc(line
, pos
, MAN_HEAD
, tok
);
292 if ( ! man_node_append(m
, p
))
294 m
->next
= MAN_NEXT_CHILD
;
300 man_body_alloc(struct man
*m
, int line
, int pos
, int tok
)
304 p
= man_node_alloc(line
, pos
, MAN_BODY
, tok
);
307 if ( ! man_node_append(m
, p
))
309 m
->next
= MAN_NEXT_CHILD
;
315 man_block_alloc(struct man
*m
, int line
, int pos
, int tok
)
319 p
= man_node_alloc(line
, pos
, MAN_BLOCK
, tok
);
322 if ( ! man_node_append(m
, p
))
324 m
->next
= MAN_NEXT_CHILD
;
330 pstring(struct man
*m
, int line
, int pos
,
331 const char *p
, size_t len
)
336 n
= man_node_alloc(line
, pos
, MAN_TEXT
, -1);
340 n
->string
= malloc(len
+ 1);
341 if (NULL
== n
->string
) {
346 sv
= strlcpy(n
->string
, p
, len
+ 1);
348 /* Prohibit truncation. */
349 assert(sv
< len
+ 1);
351 if ( ! man_node_append(m
, n
))
353 m
->next
= MAN_NEXT_SIBLING
;
359 man_word_alloc(struct man
*m
, int line
, int pos
, const char *word
)
362 return(pstring(m
, line
, pos
, word
, strlen(word
)));
367 man_node_free(struct man_node
*p
)
379 man_node_freelist(struct man_node
*p
)
384 man_node_freelist(p
->child
);
385 assert(0 == p
->nchild
);
389 man_node_freelist(n
);
394 man_ptext(struct man
*m
, int line
, char *buf
)
398 /* Literal free-form text whitespace is preserved. */
400 if (MAN_LITERAL
& m
->flags
) {
401 if ( ! man_word_alloc(m
, line
, 0, buf
))
406 /* First de-chunk and allocate words. */
408 for (i
= 0; ' ' == buf
[i
]; i
++)
409 /* Skip leading whitespace. */ ;
411 if ( ! pstring(m
, line
, 0, &buf
[i
], 0))
416 for (j
= i
; buf
[i
]; i
++) {
420 /* Escaped whitespace. */
421 if (i
&& ' ' == buf
[i
] && '\\' == buf
[i
- 1])
425 if ( ! pstring(m
, line
, j
, &buf
[j
], (size_t)(i
- j
)))
428 for ( ; ' ' == buf
[i
]; i
++)
429 /* Skip trailing whitespace. */ ;
436 if (j
!= i
&& ! pstring(m
, line
, j
, &buf
[j
], (size_t)(i
- j
)))
442 * Co-ordinate what happens with having a next-line scope open:
443 * first close out the element scope (if applicable), then close
444 * out the block scope (also if applicable).
447 if (MAN_ELINE
& m
->flags
) {
448 m
->flags
&= ~MAN_ELINE
;
449 if ( ! man_unscope(m
, m
->last
->parent
))
453 if ( ! (MAN_BLINE
& m
->flags
))
455 m
->flags
&= ~MAN_BLINE
;
457 if ( ! man_unscope(m
, m
->last
->parent
))
459 return(man_body_alloc(m
, line
, 0, m
->last
->tok
));
464 man_pmacro(struct man
*m
, int ln
, char *buf
)
466 int i
, j
, c
, ppos
, fl
;
470 /* Comments and empties are quickly ignored. */
481 while (buf
[i
] && ' ' == buf
[i
])
489 /* Copy the first word into a nil-terminated buffer. */
491 for (j
= 0; j
< 4; j
++, i
++) {
492 if (0 == (mac
[j
] = buf
[i
]))
494 else if (' ' == buf
[i
])
497 /* Check for invalid characters. */
499 if (isgraph((u_char
)buf
[i
]))
501 return(man_perr(m
, ln
, i
, WNPRINT
));
506 if (j
== 4 || j
< 1) {
507 if ( ! (MAN_IGN_MACRO
& m
->pflags
)) {
508 (void)man_perr(m
, ln
, ppos
, WMACROFORM
);
511 if ( ! man_pwarn(m
, ln
, ppos
, WMACROFORM
))
516 if (MAN_MAX
== (c
= man_hash_find(m
->htab
, mac
))) {
517 if ( ! (MAN_IGN_MACRO
& m
->pflags
)) {
518 (void)man_perr(m
, ln
, ppos
, WMACRO
);
521 if ( ! man_pwarn(m
, ln
, ppos
, WMACRO
))
526 /* The macro is sane. Jump to the next word. */
528 while (buf
[i
] && ' ' == buf
[i
])
531 /* Remove prior ELINE macro, if applicable. */
533 if (m
->flags
& MAN_ELINE
) {
535 assert(NULL
== n
->child
);
536 assert(0 == n
->nchild
);
537 if ( ! man_nwarn(m
, n
, WLNSCOPE
))
541 assert(n
!= n
->parent
->child
);
542 assert(n
== n
->prev
->next
);
543 n
->prev
->next
= NULL
;
545 m
->next
= MAN_NEXT_SIBLING
;
547 assert(n
== n
->parent
->child
);
548 n
->parent
->child
= NULL
;
550 m
->next
= MAN_NEXT_CHILD
;
554 m
->flags
&= ~MAN_ELINE
;
557 /* Begin recursive parse sequence. */
559 assert(man_macros
[c
].fp
);
561 if ( ! (*man_macros
[c
].fp
)(m
, c
, ln
, ppos
, &i
, buf
))
565 if ( ! (MAN_BLINE
& fl
))
569 * If we've opened a new next-line element scope, then return
570 * now, as the next line will close out the block scope.
573 if (MAN_ELINE
& m
->flags
)
576 /* Close out the block scope opened in the prior line. */
578 assert(MAN_BLINE
& m
->flags
);
579 m
->flags
&= ~MAN_BLINE
;
581 if ( ! man_unscope(m
, m
->last
->parent
))
583 return(man_body_alloc(m
, ln
, 0, m
->last
->tok
));
585 err
: /* Error out. */
587 m
->flags
|= MAN_HALT
;
593 man_verr(struct man
*man
, int ln
, int pos
, const char *fmt
, ...)
598 if (NULL
== man
->cb
.man_err
)
602 (void)vsnprintf(buf
, sizeof(buf
) - 1, fmt
, ap
);
604 return((*man
->cb
.man_err
)(man
->data
, ln
, pos
, buf
));
609 man_vwarn(struct man
*man
, int ln
, int pos
, const char *fmt
, ...)
614 if (NULL
== man
->cb
.man_warn
)
618 (void)vsnprintf(buf
, sizeof(buf
) - 1, fmt
, ap
);
620 return((*man
->cb
.man_warn
)(man
->data
, ln
, pos
, buf
));
625 man_err(struct man
*m
, int line
, int pos
, int iserr
, enum merr type
)
629 p
= __man_merrnames
[(int)type
];
633 return(man_verr(m
, line
, pos
, p
));
635 return(man_vwarn(m
, line
, pos
, p
));