term.c

   1 /*      $Id: term.c,v 1.169 2010/08/20 23:34:02 schwarze Exp $ */
   2 /*
   3  * Copyright (c) 2008, 2009, 2010 Kristaps Dzonsons <kristaps@bsd.lv>
   4  * Copyright (c) 2010 Ingo Schwarze <schwarze@openbsd.org>
   5  *
   6  * Permission to use, copy, modify, and distribute this software for any
   7  * purpose with or without fee is hereby granted, provided that the above
   8  * copyright notice and this permission notice appear in all copies.
   9  *
  10  * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
  11  * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
  12  * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
  13  * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
  14  * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
  15  * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
  16  * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
  17  */
  18 #ifdef HAVE_CONFIG_H
  19 #include "config.h"
  20 #endif
  21
  22 #include <sys/types.h>
  23
  24 #include <assert.h>
  25 #include <ctype.h>
  26 #include <stdint.h>
  27 #include <stdio.h>
  28 #include <stdlib.h>
  29 #include <string.h>
  30
  31 #include "mandoc.h"
  32 #include "chars.h"
  33 #include "out.h"
  34 #include "term.h"
  35 #include "main.h"
  36
  37 static  void              spec(struct termp *, enum roffdeco,
  38                                 const char *, size_t);
  39 static  void              res(struct termp *, const char *, size_t);
  40 static  void              bufferc(struct termp *, char);
  41 static  void              adjbuf(struct termp *p, size_t);
  42 static  void              encode(struct termp *, const char *, size_t);
  43
  44
  45 void
  46 term_free(struct termp *p)
  47 {
  48
  49         if (p->buf)
  50                 free(p->buf);
  51         if (p->symtab)
  52                 chars_free(p->symtab);
  53
  54         free(p);
  55 }
  56
  57
  58 void
  59 term_begin(struct termp *p, term_margin head,
  60                 term_margin foot, const void *arg)
  61 {
  62
  63         p->headf = head;
  64         p->footf = foot;
  65         p->argf = arg;
  66         (*p->begin)(p);
  67 }
  68
  69
  70 void
  71 term_end(struct termp *p)
  72 {
  73
  74         (*p->end)(p);
  75 }
  76
  77
  78 struct termp *
  79 term_alloc(enum termenc enc)
  80 {
  81         struct termp    *p;
  82
  83         p = calloc(1, sizeof(struct termp));
  84         if (NULL == p) {
  85                 perror(NULL);
  86                 exit(MANDOCLEVEL_SYSERR);
  87         }
  88
  89         p->enc = enc;
  90         return(p);
  91 }
  92
  93
  94 /*
  95  * Flush a line of text.  A "line" is loosely defined as being something
  96  * that should be followed by a newline, regardless of whether it's
  97  * broken apart by newlines getting there.  A line can also be a
  98  * fragment of a columnar list (`Bl -tag' or `Bl -column'), which does
  99  * not have a trailing newline.
 100  *
 101  * The following flags may be specified:
 102  *
 103  *  - TERMP_NOLPAD: when beginning to write the line, don't left-pad the
 104  *    offset value.  This is useful when doing columnar lists where the
 105  *    prior column has right-padded.
 106  *
 107  *  - TERMP_NOBREAK: this is the most important and is used when making
 108  *    columns.  In short: don't print a newline and instead pad to the
 109  *    right margin.  Used in conjunction with TERMP_NOLPAD.
 110  *
 111  *  - TERMP_TWOSPACE: when padding, make sure there are at least two
 112  *    space characters of padding.  Otherwise, rather break the line.
 113  *
 114  *  - TERMP_DANGLE: don't newline when TERMP_NOBREAK is specified and
 115  *    the line is overrun, and don't pad-right if it's underrun.
 116  *
 117  *  - TERMP_HANG: like TERMP_DANGLE, but doesn't newline when
 118  *    overruning, instead save the position and continue at that point
 119  *    when the next invocation.
 120  *
 121  *  In-line line breaking:
 122  *
 123  *  If TERMP_NOBREAK is specified and the line overruns the right
 124  *  margin, it will break and pad-right to the right margin after
 125  *  writing.  If maxrmargin is violated, it will break and continue
 126  *  writing from the right-margin, which will lead to the above scenario
 127  *  upon exit.  Otherwise, the line will break at the right margin.
 128  */
 129 void
 130 term_flushln(struct termp *p)
 131 {
 132         int              i;     /* current input position in p->buf */
 133         size_t           vis;   /* current visual position on output */
 134         size_t           vbl;   /* number of blanks to prepend to output */
 135         size_t           vend;  /* end of word visual position on output */
 136         size_t           bp;    /* visual right border position */
 137         int              j;     /* temporary loop index for p->buf */
 138         int              jhy;   /* last hyph before overflow w/r/t j */
 139         size_t           maxvis; /* output position of visible boundary */
 140         size_t           mmax; /* used in calculating bp */
 141
 142         /*
 143          * First, establish the maximum columns of "visible" content.
 144          * This is usually the difference between the right-margin and
 145          * an indentation, but can be, for tagged lists or columns, a
 146          * small set of values.
 147          */
 148
 149         assert(p->offset < p->rmargin);
 150
 151         maxvis = (int)(p->rmargin - p->offset) - p->overstep < 0 ?
 152                 /* LINTED */
 153                 0 : p->rmargin - p->offset - p->overstep;
 154         mmax = (int)(p->maxrmargin - p->offset) - p->overstep < 0 ?
 155                 /* LINTED */
 156                 0 : p->maxrmargin - p->offset - p->overstep;
 157
 158         bp = TERMP_NOBREAK & p->flags ? mmax : maxvis;
 159
 160         /*
 161          * Indent the first line of a paragraph.
 162          */
 163         vbl = p->flags & TERMP_NOLPAD ? 0 : p->offset;
 164
 165         vis = vend = i = 0;
 166
 167         while (i < (int)p->col) {
 168                 /*
 169                  * Handle literal tab characters: collapse all
 170                  * subsequent tabs into a single huge set of spaces.
 171                  */
 172                 while (i < (int)p->col && '\t' == p->buf[i]) {
 173                         vend = (vis / p->tabwidth + 1) * p->tabwidth;
 174                         vbl += vend - vis;
 175                         vis = vend;
 176                         i++;
 177                 }
 178
 179                 /*
 180                  * Count up visible word characters.  Control sequences
 181                  * (starting with the CSI) aren't counted.  A space
 182                  * generates a non-printing word, which is valid (the
 183                  * space is printed according to regular spacing rules).
 184                  */
 185
 186                 /* LINTED */
 187                 for (j = i, jhy = 0; j < (int)p->col; j++) {
 188                         if ((j && ' ' == p->buf[j]) || '\t' == p->buf[j])
 189                                 break;
 190
 191                         /* Back over the the last printed character. */
 192                         if (8 == p->buf[j]) {
 193                                 assert(j);
 194                                 vend -= (*p->width)(p, p->buf[j - 1]);
 195                                 continue;
 196                         }
 197
 198                         /* Regular word. */
 199                         /* Break at the hyphen point if we overrun. */
 200                         if (vend > vis && vend < bp &&
 201                                         ASCII_HYPH == p->buf[j])
 202                                 jhy = j;
 203
 204                         vend += (*p->width)(p, p->buf[j]);
 205                 }
 206
 207                 /*
 208                  * Find out whether we would exceed the right margin.
 209                  * If so, break to the next line.
 210                  */
 211                 if (vend > bp && 0 == jhy && vis > 0) {
 212                         vend -= vis;
 213                         (*p->endline)(p);
 214                         if (TERMP_NOBREAK & p->flags) {
 215                                 p->viscol = p->rmargin;
 216                                 (*p->advance)(p, p->rmargin);
 217                                 vend += p->rmargin - p->offset;
 218                         } else {
 219                                 p->viscol = 0;
 220                                 vbl = p->offset;
 221                         }
 222
 223                         /* Remove the p->overstep width. */
 224
 225                         bp += (int)/* LINTED */
 226                                 p->overstep;
 227                         p->overstep = 0;
 228                 }
 229
 230                 /* Write out the [remaining] word. */
 231                 for ( ; i < (int)p->col; i++) {
 232                         if (vend > bp && jhy > 0 && i > jhy)
 233                                 break;
 234                         if ('\t' == p->buf[i])
 235                                 break;
 236                         if (' ' == p->buf[i]) {
 237                                 j = i;
 238                                 while (' ' == p->buf[i])
 239                                         i++;
 240                                 vbl += (i - j) * (*p->width)(p, ' ');
 241                                 break;
 242                         }
 243                         if (ASCII_NBRSP == p->buf[i]) {
 244                                 vbl += (*p->width)(p, ' ');
 245                                 continue;
 246                         }
 247
 248                         /*
 249                          * Now we definitely know there will be
 250                          * printable characters to output,
 251                          * so write preceding white space now.
 252                          */
 253                         if (vbl) {
 254                                 (*p->advance)(p, vbl);
 255                                 p->viscol += vbl;
 256                                 vbl = 0;
 257                         }
 258
 259                         if (ASCII_HYPH == p->buf[i]) {
 260                                 (*p->letter)(p, '-');
 261                                 p->viscol += (*p->width)(p, '-');
 262                         } else {
 263                                 (*p->letter)(p, p->buf[i]);
 264                                 p->viscol += (*p->width)(p, p->buf[i]);
 265                         }
 266                 }
 267                 vend += vbl;
 268                 vis = vend;
 269         }
 270
 271         /*
 272          * If there was trailing white space, it was not printed;
 273          * so reset the cursor position accordingly.
 274          */
 275         vis -= vbl;
 276
 277         p->col = 0;
 278         p->overstep = 0;
 279
 280         if ( ! (TERMP_NOBREAK & p->flags)) {
 281                 p->viscol = 0;
 282                 (*p->endline)(p);
 283                 return;
 284         }
 285
 286         if (TERMP_HANG & p->flags) {
 287                 /* We need one blank after the tag. */
 288                 p->overstep = /* LINTED */
 289                         vis - maxvis + (*p->width)(p, ' ');
 290
 291                 /*
 292                  * Behave exactly the same way as groff:
 293                  * If we have overstepped the margin, temporarily move
 294                  * it to the right and flag the rest of the line to be
 295                  * shorter.
 296                  * If we landed right at the margin, be happy.
 297                  * If we are one step before the margin, temporarily
 298                  * move it one step LEFT and flag the rest of the line
 299                  * to be longer.
 300                  */
 301                 if (p->overstep >= -1) {
 302                         assert((int)maxvis + p->overstep >= 0);
 303                         /* LINTED */
 304                         maxvis += p->overstep;
 305                 } else
 306                         p->overstep = 0;
 307
 308         } else if (TERMP_DANGLE & p->flags)
 309                 return;
 310
 311         /* Right-pad. */
 312         if (maxvis > vis + /* LINTED */
 313                         ((TERMP_TWOSPACE & p->flags) ?
 314                          (*p->width)(p, ' ') : 0)) {
 315                 p->viscol += maxvis - vis;
 316                 (*p->advance)(p, maxvis - vis);
 317                 vis += (maxvis - vis);
 318         } else {        /* ...or newline break. */
 319                 (*p->endline)(p);
 320                 p->viscol = p->rmargin;
 321                 (*p->advance)(p, p->rmargin);
 322         }
 323 }
 324
 325
 326 /*
 327  * A newline only breaks an existing line; it won't assert vertical
 328  * space.  All data in the output buffer is flushed prior to the newline
 329  * assertion.
 330  */
 331 void
 332 term_newln(struct termp *p)
 333 {
 334
 335         p->flags |= TERMP_NOSPACE;
 336         if (0 == p->col && 0 == p->viscol) {
 337                 p->flags &= ~TERMP_NOLPAD;
 338                 return;
 339         }
 340         term_flushln(p);
 341         p->flags &= ~TERMP_NOLPAD;
 342 }
 343
 344
 345 /*
 346  * Asserts a vertical space (a full, empty line-break between lines).
 347  * Note that if used twice, this will cause two blank spaces and so on.
 348  * All data in the output buffer is flushed prior to the newline
 349  * assertion.
 350  */
 351 void
 352 term_vspace(struct termp *p)
 353 {
 354
 355         term_newln(p);
 356         p->viscol = 0;
 357         (*p->endline)(p);
 358 }
 359
 360
 361 static void
 362 spec(struct termp *p, enum roffdeco d, const char *word, size_t len)
 363 {
 364         const char      *rhs;
 365         size_t           sz;
 366
 367         rhs = chars_spec2str(p->symtab, word, len, &sz);
 368         if (rhs)
 369                 encode(p, rhs, sz);
 370         else if (DECO_SSPECIAL == d)
 371                 encode(p, word, len);
 372 }
 373
 374
 375 static void
 376 res(struct termp *p, const char *word, size_t len)
 377 {
 378         const char      *rhs;
 379         size_t           sz;
 380
 381         rhs = chars_res2str(p->symtab, word, len, &sz);
 382         if (rhs)
 383                 encode(p, rhs, sz);
 384 }
 385
 386
 387 void
 388 term_fontlast(struct termp *p)
 389 {
 390         enum termfont    f;
 391
 392         f = p->fontl;
 393         p->fontl = p->fontq[p->fonti];
 394         p->fontq[p->fonti] = f;
 395 }
 396
 397
 398 void
 399 term_fontrepl(struct termp *p, enum termfont f)
 400 {
 401
 402         p->fontl = p->fontq[p->fonti];
 403         p->fontq[p->fonti] = f;
 404 }
 405
 406
 407 void
 408 term_fontpush(struct termp *p, enum termfont f)
 409 {
 410
 411         assert(p->fonti + 1 < 10);
 412         p->fontl = p->fontq[p->fonti];
 413         p->fontq[++p->fonti] = f;
 414 }
 415
 416
 417 const void *
 418 term_fontq(struct termp *p)
 419 {
 420
 421         return(&p->fontq[p->fonti]);
 422 }
 423
 424
 425 enum termfont
 426 term_fonttop(struct termp *p)
 427 {
 428
 429         return(p->fontq[p->fonti]);
 430 }
 431
 432
 433 void
 434 term_fontpopq(struct termp *p, const void *key)
 435 {
 436
 437         while (p->fonti >= 0 && key != &p->fontq[p->fonti])
 438                 p->fonti--;
 439         assert(p->fonti >= 0);
 440 }
 441
 442
 443 void
 444 term_fontpop(struct termp *p)
 445 {
 446
 447         assert(p->fonti);
 448         p->fonti--;
 449 }
 450
 451
 452 /*
 453  * Handle pwords, partial words, which may be either a single word or a
 454  * phrase that cannot be broken down (such as a literal string).  This
 455  * handles word styling.
 456  */
 457 void
 458 term_word(struct termp *p, const char *word)
 459 {
 460         const char      *sv, *seq;
 461         int              sz;
 462         size_t           ssz;
 463         enum roffdeco    deco;
 464
 465         sv = word;
 466
 467         if (word[0] && '\0' == word[1])
 468                 switch (word[0]) {
 469                 case('.'):
 470                         /* FALLTHROUGH */
 471                 case(','):
 472                         /* FALLTHROUGH */
 473                 case(';'):
 474                         /* FALLTHROUGH */
 475                 case(':'):
 476                         /* FALLTHROUGH */
 477                 case('?'):
 478                         /* FALLTHROUGH */
 479                 case('!'):
 480                         /* FALLTHROUGH */
 481                 case(')'):
 482                         /* FALLTHROUGH */
 483                 case(']'):
 484                         if ( ! (TERMP_IGNDELIM & p->flags))
 485                                 p->flags |= TERMP_NOSPACE;
 486                         break;
 487                 default:
 488                         break;
 489                 }
 490
 491         if ( ! (TERMP_NOSPACE & p->flags)) {
 492                 if ( ! (TERMP_KEEP & p->flags)) {
 493                         if (TERMP_PREKEEP & p->flags)
 494                                 p->flags |= TERMP_KEEP;
 495                         bufferc(p, ' ');
 496                         if (TERMP_SENTENCE & p->flags)
 497                                 bufferc(p, ' ');
 498                 } else
 499                         bufferc(p, ASCII_NBRSP);
 500         }
 501
 502         if ( ! (p->flags & TERMP_NONOSPACE))
 503                 p->flags &= ~TERMP_NOSPACE;
 504         else
 505                 p->flags |= TERMP_NOSPACE;
 506
 507         p->flags &= ~TERMP_SENTENCE;
 508
 509         while (*word) {
 510                 if ((ssz = strcspn(word, "\\")) > 0)
 511                         encode(p, word, ssz);
 512
 513                 word += ssz;
 514                 if ('\\' != *word)
 515                         continue;
 516
 517                 seq = ++word;
 518                 sz = a2roffdeco(&deco, &seq, &ssz);
 519
 520                 switch (deco) {
 521                 case (DECO_RESERVED):
 522                         res(p, seq, ssz);
 523                         break;
 524                 case (DECO_SPECIAL):
 525                         /* FALLTHROUGH */
 526                 case (DECO_SSPECIAL):
 527                         spec(p, deco, seq, ssz);
 528                         break;
 529                 case (DECO_BOLD):
 530                         term_fontrepl(p, TERMFONT_BOLD);
 531                         break;
 532                 case (DECO_ITALIC):
 533                         term_fontrepl(p, TERMFONT_UNDER);
 534                         break;
 535                 case (DECO_ROMAN):
 536                         term_fontrepl(p, TERMFONT_NONE);
 537                         break;
 538                 case (DECO_PREVIOUS):
 539                         term_fontlast(p);
 540                         break;
 541                 default:
 542                         break;
 543                 }
 544
 545                 word += sz;
 546                 if (DECO_NOSPACE == deco && '\0' == *word)
 547                         p->flags |= TERMP_NOSPACE;
 548         }
 549
 550         /*
 551          * Note that we don't process the pipe: the parser sees it as
 552          * punctuation, but we don't in terms of typography.
 553          */
 554         if (sv[0] && '\0' == sv[1])
 555                 switch (sv[0]) {
 556                 case('('):
 557                         /* FALLTHROUGH */
 558                 case('['):
 559                         p->flags |= TERMP_NOSPACE;
 560                         break;
 561                 default:
 562                         break;
 563                 }
 564 }
 565
 566
 567 static void
 568 adjbuf(struct termp *p, size_t sz)
 569 {
 570
 571         if (0 == p->maxcols)
 572                 p->maxcols = 1024;
 573         while (sz >= p->maxcols)
 574                 p->maxcols <<= 2;
 575
 576         p->buf = realloc(p->buf, p->maxcols);
 577         if (NULL == p->buf) {
 578                 perror(NULL);
 579                 exit(MANDOCLEVEL_SYSERR);
 580         }
 581 }
 582
 583
 584 static void
 585 bufferc(struct termp *p, char c)
 586 {
 587
 588         if (p->col + 1 >= p->maxcols)
 589                 adjbuf(p, p->col + 1);
 590
 591         p->buf[(int)p->col++] = c;
 592 }
 593
 594
 595 static void
 596 encode(struct termp *p, const char *word, size_t sz)
 597 {
 598         enum termfont     f;
 599         int               i;
 600
 601         /*
 602          * Encode and buffer a string of characters.  If the current
 603          * font mode is unset, buffer directly, else encode then buffer
 604          * character by character.
 605          */
 606
 607         if (TERMFONT_NONE == (f = term_fonttop(p))) {
 608                 if (p->col + sz >= p->maxcols)
 609                         adjbuf(p, p->col + sz);
 610                 memcpy(&p->buf[(int)p->col], word, sz);
 611                 p->col += sz;
 612                 return;
 613         }
 614
 615         /* Pre-buffer, assuming worst-case. */
 616
 617         if (p->col + 1 + (sz * 3) >= p->maxcols)
 618                 adjbuf(p, p->col + 1 + (sz * 3));
 619
 620         for (i = 0; i < (int)sz; i++) {
 621                 if ( ! isgraph((u_char)word[i])) {
 622                         p->buf[(int)p->col++] = word[i];
 623                         continue;
 624                 }
 625
 626                 if (TERMFONT_UNDER == f)
 627                         p->buf[(int)p->col++] = '_';
 628                 else
 629                         p->buf[(int)p->col++] = word[i];
 630
 631                 p->buf[(int)p->col++] = 8;
 632                 p->buf[(int)p->col++] = word[i];
 633         }
 634 }
 635
 636
 637 size_t
 638 term_len(const struct termp *p, size_t sz)
 639 {
 640
 641         return((*p->width)(p, ' ') * sz);
 642 }
 643
 644
 645 size_t
 646 term_strlen(const struct termp *p, const char *cp)
 647 {
 648         size_t           sz;
 649
 650         for (sz = 0; *cp; cp++)
 651                 sz += (*p->width)(p, *cp);
 652
 653         return(sz);
 654 }
 655
 656
 657 /* ARGSUSED */
 658 size_t
 659 term_vspan(const struct termp *p, const struct roffsu *su)
 660 {
 661         double           r;
 662
 663         switch (su->unit) {
 664         case (SCALE_CM):
 665                 r = su->scale * 2;
 666                 break;
 667         case (SCALE_IN):
 668                 r = su->scale * 6;
 669                 break;
 670         case (SCALE_PC):
 671                 r = su->scale;
 672                 break;
 673         case (SCALE_PT):
 674                 r = su->scale / 8;
 675                 break;
 676         case (SCALE_MM):
 677                 r = su->scale / 1000;
 678                 break;
 679         case (SCALE_VS):
 680                 r = su->scale;
 681                 break;
 682         default:
 683                 r = su->scale - 1;
 684                 break;
 685         }
 686
 687         if (r < 0.0)
 688                 r = 0.0;
 689         return(/* LINTED */(size_t)
 690                         r);
 691 }
 692
 693
 694 size_t
 695 term_hspan(const struct termp *p, const struct roffsu *su)
 696 {
 697         double           v;
 698
 699         v = ((*p->hspan)(p, su));
 700         if (v < 0.0)
 701                 v = 0.0;
 702         return((size_t) /* LINTED */
 703                         v);
 704 }