ncurses/tinfo/comp_parse.c

   1 /****************************************************************************
   2  * Copyright (c) 1998-2010,2011 Free Software Foundation, Inc.              *
   3  *                                                                          *
   4  * Permission is hereby granted, free of charge, to any person obtaining a  *
   5  * copy of this software and associated documentation files (the            *
   6  * "Software"), to deal in the Software without restriction, including      *
   7  * without limitation the rights to use, copy, modify, merge, publish,      *
   8  * distribute, distribute with modifications, sublicense, and/or sell       *
   9  * copies of the Software, and to permit persons to whom the Software is    *
  10  * furnished to do so, subject to the following conditions:                 *
  11  *                                                                          *
  12  * The above copyright notice and this permission notice shall be included  *
  13  * in all copies or substantial portions of the Software.                   *
  14  *                                                                          *
  15  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS  *
  16  * OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF               *
  17  * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.   *
  18  * IN NO EVENT SHALL THE ABOVE COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM,   *
  19  * DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR    *
  20  * OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR    *
  21  * THE USE OR OTHER DEALINGS IN THE SOFTWARE.                               *
  22  *                                                                          *
  23  * Except as contained in this notice, the name(s) of the above copyright   *
  24  * holders shall not be used in advertising or otherwise to promote the     *
  25  * sale, use or other dealings in this Software without prior written       *
  26  * authorization.                                                           *
  27  ****************************************************************************/
  28
  29 /****************************************************************************
  30  *  Author: Zeyd M. Ben-Halim <zmbenhal@netcom.com> 1992,1995               *
  31  *     and: Eric S. Raymond <esr@snark.thyrsus.com>                         *
  32  *     and: Thomas E. Dickey                        1996-on                 *
  33  ****************************************************************************/
  34
  35 /*
  36  *      comp_parse.c -- parser driver loop and use handling.
  37  *
  38  *      Use this code by calling _nc_read_entry_source() on as many source
  39  *      files as you like (either terminfo or termcap syntax).  If you
  40  *      want use-resolution, call _nc_resolve_uses2().  To free the list
  41  *      storage, do _nc_free_entries().
  42  */
  43
  44 #include <curses.priv.h>
  45
  46 #include <ctype.h>
  47
  48 #include <tic.h>
  49
  50 MODULE_ID("$Id: comp_parse.c,v 1.78 2011/10/22 16:19:19 tom Exp $")
  51
  52 static void sanity_check2(TERMTYPE *, bool);
  53 NCURSES_IMPEXP void NCURSES_API(*_nc_check_termtype2) (TERMTYPE *, bool) = sanity_check2;
  54
  55 /* obsolete: 20040705 */
  56 static void sanity_check(TERMTYPE *);
  57 NCURSES_IMPEXP void NCURSES_API(*_nc_check_termtype) (TERMTYPE *) = sanity_check;
  58
  59 static void fixup_acsc(TERMTYPE *, int);
  60
  61 static void
  62 enqueue(ENTRY * ep)
  63 /* add an entry to the in-core list */
  64 {
  65     ENTRY *newp = _nc_copy_entry(ep);
  66
  67     if (newp == 0)
  68         _nc_err_abort(MSG_NO_MEMORY);
  69
  70     newp->last = _nc_tail;
  71     _nc_tail = newp;
  72
  73     newp->next = 0;
  74     if (newp->last)
  75         newp->last->next = newp;
  76 }
  77
  78 static char *
  79 force_bar(char *dst, char *src)
  80 {
  81     if (strchr(src, '|') == 0) {
  82         size_t len = strlen(src);
  83         if (len > MAX_NAME_SIZE)
  84             len = MAX_NAME_SIZE;
  85         (void) strncpy(dst, src, len);
  86         (void) strcpy(dst + len, "|");
  87         src = dst;
  88     }
  89     return src;
  90 }
  91 #define ForceBar(dst, src) ((strchr(src, '|') == 0) ? force_bar(dst, src) : src)
  92
  93 #if USE_TERMCAP && NCURSES_XNAMES
  94 static char *
  95 skip_index(char *name)
  96 {
  97     char *bar = strchr(name, '|');
  98
  99     if (bar != 0 && (bar - name) == 2)
 100         name = bar + 1;
 101
 102     return name;
 103 }
 104 #endif
 105
 106 static bool
 107 check_collisions(char *n1, char *n2, int counter)
 108 {
 109     char *pstart, *qstart, *pend, *qend;
 110     char nc1[MAX_NAME_SIZE + 2];
 111     char nc2[MAX_NAME_SIZE + 2];
 112
 113     n1 = ForceBar(nc1, n1);
 114     n2 = ForceBar(nc2, n2);
 115
 116 #if USE_TERMCAP && NCURSES_XNAMES
 117     if ((_nc_syntax == SYN_TERMCAP) && _nc_user_definable) {
 118         n1 = skip_index(n1);
 119         n2 = skip_index(n2);
 120     }
 121 #endif
 122
 123     for (pstart = n1; (pend = strchr(pstart, '|')); pstart = pend + 1) {
 124         for (qstart = n2; (qend = strchr(qstart, '|')); qstart = qend + 1) {
 125             if ((pend - pstart == qend - qstart)
 126                 && memcmp(pstart, qstart, (size_t) (pend - pstart)) == 0) {
 127                 if (counter > 0)
 128                     (void) fprintf(stderr, "Name collision '%.*s' between\n",
 129                                    (int) (pend - pstart), pstart);
 130                 return (TRUE);
 131             }
 132         }
 133     }
 134
 135     return (FALSE);
 136 }
 137
 138 static char *
 139 next_name(char *name)
 140 {
 141     if (*name != '\0')
 142         ++name;
 143     return name;
 144 }
 145
 146 static char *
 147 name_ending(char *name)
 148 {
 149     if (*name == '\0') {
 150         name = 0;
 151     } else {
 152         while (*name != '\0' && *name != '|')
 153             ++name;
 154     }
 155     return name;
 156 }
 157
 158 /*
 159  * Essentially, find the conflict reported in check_collisions() and remove
 160  * it from the second name, unless that happens to be the last alias.
 161  */
 162 static bool
 163 remove_collision(char *n1, char *n2)
 164 {
 165     char *p1 = n1;
 166     char *p2 = n2;
 167     char *pstart, *qstart, *pend, *qend;
 168     bool removed = FALSE;
 169
 170 #if USE_TERMCAP && NCURSES_XNAMES
 171     if ((_nc_syntax == SYN_TERMCAP) && _nc_user_definable) {
 172         p1 = n1 = skip_index(n1);
 173         p2 = n2 = skip_index(n2);
 174     }
 175 #else
 176     (void) p1;
 177 #endif
 178
 179     for (pstart = n1; (pend = name_ending(pstart)); pstart = next_name(pend)) {
 180         for (qstart = n2; (qend = name_ending(qstart)); qstart = next_name(qend)) {
 181             if ((pend - pstart == qend - qstart)
 182                 && memcmp(pstart, qstart, (size_t) (pend - pstart)) == 0) {
 183                 if (qstart != p2 || *qend == '|') {
 184                     if (*qend == '|')
 185                         ++qend;
 186                     while ((*qstart++ = *qend++) != '\0') ;
 187                     fprintf(stderr, "...now\t%s\n", p2);
 188                 } else {
 189                     fprintf(stderr, "Cannot remove alias '%.*s'\n",
 190                             (int) (qend - qstart), qstart);
 191                 }
 192                 removed = TRUE;
 193                 break;
 194             }
 195         }
 196     }
 197
 198     return removed;
 199 }
 200
 201 /* do any of the aliases in a pair of terminal names match? */
 202 NCURSES_EXPORT(bool)
 203 _nc_entry_match(char *n1, char *n2)
 204 {
 205     return check_collisions(n1, n2, 0);
 206 }
 207
 208 /****************************************************************************
 209  *
 210  * Entry compiler and resolution logic
 211  *
 212  ****************************************************************************/
 213
 214 NCURSES_EXPORT(void)
 215 _nc_read_entry_source(FILE *fp, char *buf,
 216                       int literal, bool silent,
 217                       bool(*hook) (ENTRY *))
 218 /* slurp all entries in the given file into core */
 219 {
 220     ENTRY thisentry;
 221     bool oldsuppress = _nc_suppress_warnings;
 222     int immediate = 0;
 223
 224     if (silent)
 225         _nc_suppress_warnings = TRUE;   /* shut the lexer up, too */
 226
 227     _nc_reset_input(fp, buf);
 228     for (;;) {
 229         memset(&thisentry, 0, sizeof(thisentry));
 230         if (_nc_parse_entry(&thisentry, literal, silent) == ERR)
 231             break;
 232         if (!isalnum(UChar(thisentry.tterm.term_names[0])))
 233             _nc_err_abort("terminal names must start with letter or digit");
 234
 235         /*
 236          * This can be used for immediate compilation of entries with no "use="
 237          * references to disk.  That avoids consuming a lot of memory when the
 238          * resolution code could fetch entries off disk.
 239          */
 240         if (hook != NULLHOOK && (*hook) (&thisentry)) {
 241             immediate++;
 242         } else {
 243             enqueue(&thisentry);
 244             /*
 245              * The enqueued entry is copied with _nc_copy_termtype(), so we can
 246              * free some of the data from thisentry, i.e., the arrays.
 247              */
 248             FreeIfNeeded(thisentry.tterm.Booleans);
 249             FreeIfNeeded(thisentry.tterm.Numbers);
 250             FreeIfNeeded(thisentry.tterm.Strings);
 251 #if NCURSES_XNAMES
 252             FreeIfNeeded(thisentry.tterm.ext_Names);
 253 #endif
 254         }
 255     }
 256
 257     if (_nc_tail) {
 258         /* set up the head pointer */
 259         for (_nc_head = _nc_tail; _nc_head->last; _nc_head = _nc_head->last)
 260             continue;
 261
 262         DEBUG(1, ("head = %s", _nc_head->tterm.term_names));
 263         DEBUG(1, ("tail = %s", _nc_tail->tterm.term_names));
 264     }
 265 #ifdef TRACE
 266     else if (!immediate)
 267         DEBUG(1, ("no entries parsed"));
 268 #endif
 269
 270     _nc_suppress_warnings = oldsuppress;
 271 }
 272
 273 NCURSES_EXPORT(int)
 274 _nc_resolve_uses2(bool fullresolve, bool literal)
 275 /* try to resolve all use capabilities */
 276 {
 277     ENTRY *qp, *rp, *lastread = 0;
 278     bool keepgoing;
 279     unsigned i;
 280     int unresolved, total_unresolved, multiples;
 281
 282     DEBUG(2, ("RESOLUTION BEGINNING"));
 283
 284     /*
 285      * Check for multiple occurrences of the same name.
 286      */
 287     multiples = 0;
 288     for_entry_list(qp) {
 289         int matchcount = 0;
 290
 291         for_entry_list(rp) {
 292             if (qp > rp
 293                 && check_collisions(qp->tterm.term_names,
 294                                     rp->tterm.term_names,
 295                                     matchcount + 1)) {
 296                 if (!matchcount++) {
 297                     (void) fprintf(stderr, "\t%s\n", rp->tterm.term_names);
 298                 }
 299                 (void) fprintf(stderr, "and\t%s\n", qp->tterm.term_names);
 300                 if (!remove_collision(rp->tterm.term_names,
 301                                       qp->tterm.term_names)) {
 302                     ++multiples;
 303                 }
 304             }
 305         }
 306     }
 307     if (multiples > 0)
 308         return (FALSE);
 309
 310     DEBUG(2, ("NO MULTIPLE NAME OCCURRENCES"));
 311
 312     /*
 313      * First resolution stage: compute link pointers corresponding to names.
 314      */
 315     total_unresolved = 0;
 316     _nc_curr_col = -1;
 317     for_entry_list(qp) {
 318         unresolved = 0;
 319         for (i = 0; i < qp->nuses; i++) {
 320             bool foundit;
 321             char *child = _nc_first_name(qp->tterm.term_names);
 322             char *lookfor = qp->uses[i].name;
 323             long lookline = qp->uses[i].line;
 324
 325             foundit = FALSE;
 326
 327             _nc_set_type(child);
 328
 329             /* first, try to resolve from in-core records */
 330             for_entry_list(rp) {
 331                 if (rp != qp
 332                     && _nc_name_match(rp->tterm.term_names, lookfor, "|")) {
 333                     DEBUG(2, ("%s: resolving use=%s (in core)",
 334                               child, lookfor));
 335
 336                     qp->uses[i].link = rp;
 337                     foundit = TRUE;
 338                 }
 339             }
 340
 341             /* if that didn't work, try to merge in a compiled entry */
 342             if (!foundit) {
 343                 TERMTYPE thisterm;
 344                 char filename[PATH_MAX];
 345
 346                 memset(&thisterm, 0, sizeof(thisterm));
 347                 if (_nc_read_entry(lookfor, filename, &thisterm) == 1) {
 348                     DEBUG(2, ("%s: resolving use=%s (compiled)",
 349                               child, lookfor));
 350
 351                     rp = typeMalloc(ENTRY, 1);
 352                     if (rp == 0)
 353                         _nc_err_abort(MSG_NO_MEMORY);
 354                     rp->tterm = thisterm;
 355                     rp->nuses = 0;
 356                     rp->next = lastread;
 357                     lastread = rp;
 358
 359                     qp->uses[i].link = rp;
 360                     foundit = TRUE;
 361                 }
 362             }
 363
 364             /* no good, mark this one unresolvable and complain */
 365             if (!foundit) {
 366                 unresolved++;
 367                 total_unresolved++;
 368
 369                 _nc_curr_line = (int) lookline;
 370                 _nc_warning("resolution of use=%s failed", lookfor);
 371                 qp->uses[i].link = 0;
 372             }
 373         }
 374     }
 375     if (total_unresolved) {
 376         /* free entries read in off disk */
 377         _nc_free_entries(lastread);
 378         return (FALSE);
 379     }
 380
 381     DEBUG(2, ("NAME RESOLUTION COMPLETED OK"));
 382
 383     /*
 384      * OK, at this point all (char *) references in `name' members
 385      * have been successfully converted to (ENTRY *) pointers in
 386      * `link' members.  Time to do the actual merges.
 387      */
 388     if (fullresolve) {
 389         do {
 390             TERMTYPE merged;
 391
 392             keepgoing = FALSE;
 393
 394             for_entry_list(qp) {
 395                 if (qp->nuses > 0) {
 396                     DEBUG(2, ("%s: attempting merge",
 397                               _nc_first_name(qp->tterm.term_names)));
 398                     /*
 399                      * If any of the use entries we're looking for is
 400                      * incomplete, punt.  We'll catch this entry on a
 401                      * subsequent pass.
 402                      */
 403                     for (i = 0; i < qp->nuses; i++)
 404                         if (qp->uses[i].link->nuses) {
 405                             DEBUG(2, ("%s: use entry %d unresolved",
 406                                       _nc_first_name(qp->tterm.term_names), i));
 407                             goto incomplete;
 408                         }
 409
 410                     /*
 411                      * First, make sure there is no garbage in the
 412                      * merge block.  As a side effect, copy into
 413                      * the merged entry the name field and string
 414                      * table pointer.
 415                      */
 416                     _nc_copy_termtype(&merged, &(qp->tterm));
 417
 418                     /*
 419                      * Now merge in each use entry in the proper
 420                      * (reverse) order.
 421                      */
 422                     for (; qp->nuses; qp->nuses--)
 423                         _nc_merge_entry(&merged,
 424                                         &qp->uses[qp->nuses - 1].link->tterm);
 425
 426                     /*
 427                      * Now merge in the original entry.
 428                      */
 429                     _nc_merge_entry(&merged, &qp->tterm);
 430
 431                     /*
 432                      * Replace the original entry with the merged one.
 433                      */
 434                     FreeIfNeeded(qp->tterm.Booleans);
 435                     FreeIfNeeded(qp->tterm.Numbers);
 436                     FreeIfNeeded(qp->tterm.Strings);
 437 #if NCURSES_XNAMES
 438                     FreeIfNeeded(qp->tterm.ext_Names);
 439 #endif
 440                     qp->tterm = merged;
 441                     _nc_wrap_entry(qp, TRUE);
 442
 443                     /*
 444                      * We know every entry is resolvable because name resolution
 445                      * didn't bomb.  So go back for another pass.
 446                      */
 447                     /* FALLTHRU */
 448                   incomplete:
 449                     keepgoing = TRUE;
 450                 }
 451             }
 452         } while
 453             (keepgoing);
 454
 455         DEBUG(2, ("MERGES COMPLETED OK"));
 456     }
 457
 458     /*
 459      * We'd like to free entries read in off disk at this point, but can't.
 460      * The merge_entry() code doesn't copy the strings in the use entries,
 461      * it just aliases them.  If this ever changes, do a
 462      * free_entries(lastread) here.
 463      */
 464
 465     DEBUG(2, ("RESOLUTION FINISHED"));
 466
 467     if (fullresolve)
 468         if (_nc_check_termtype != 0) {
 469             _nc_curr_col = -1;
 470             for_entry_list(qp) {
 471                 _nc_curr_line = (int) qp->startline;
 472                 _nc_set_type(_nc_first_name(qp->tterm.term_names));
 473                 fixup_acsc(&qp->tterm, literal);
 474             }
 475             DEBUG(2, ("SANITY CHECK FINISHED"));
 476         }
 477
 478     return (TRUE);
 479 }
 480
 481 /* obsolete: 20040705 */
 482 NCURSES_EXPORT(int)
 483 _nc_resolve_uses(bool fullresolve)
 484 {
 485     return _nc_resolve_uses2(fullresolve, FALSE);
 486 }
 487
 488 /*
 489  * This bit of legerdemain turns all the terminfo variable names into
 490  * references to locations in the arrays Booleans, Numbers, and Strings ---
 491  * precisely what's needed.
 492  */
 493
 494 #undef CUR
 495 #define CUR tp->
 496
 497 static void
 498 fixup_acsc(TERMTYPE *tp, int literal)
 499 {
 500     if (!literal) {
 501         if (acs_chars == 0
 502             && enter_alt_charset_mode != 0
 503             && exit_alt_charset_mode != 0)
 504             acs_chars = strdup(VT_ACSC);
 505     }
 506 }
 507
 508 static void
 509 sanity_check2(TERMTYPE *tp, bool literal)
 510 {
 511     if (!PRESENT(exit_attribute_mode)) {
 512 #ifdef __UNUSED__               /* this casts too wide a net */
 513         bool terminal_entry = !strchr(tp->term_names, '+');
 514         if (terminal_entry &&
 515             (PRESENT(set_attributes)
 516              || PRESENT(enter_standout_mode)
 517              || PRESENT(enter_underline_mode)
 518              || PRESENT(enter_blink_mode)
 519              || PRESENT(enter_bold_mode)
 520              || PRESENT(enter_dim_mode)
 521              || PRESENT(enter_secure_mode)
 522              || PRESENT(enter_protected_mode)
 523              || PRESENT(enter_reverse_mode)))
 524             _nc_warning("no exit_attribute_mode");
 525 #endif /* __UNUSED__ */
 526         PAIRED(enter_standout_mode, exit_standout_mode);
 527         PAIRED(enter_underline_mode, exit_underline_mode);
 528     }
 529
 530     /* we do this check/fix in postprocess_termcap(), but some packagers
 531      * prefer to bypass it...
 532      */
 533     if (!literal) {
 534         fixup_acsc(tp, literal);
 535         ANDMISSING(enter_alt_charset_mode, acs_chars);
 536         ANDMISSING(exit_alt_charset_mode, acs_chars);
 537     }
 538
 539     /* listed in structure-member order of first argument */
 540     PAIRED(enter_alt_charset_mode, exit_alt_charset_mode);
 541     ANDMISSING(enter_blink_mode, exit_attribute_mode);
 542     ANDMISSING(enter_bold_mode, exit_attribute_mode);
 543     PAIRED(exit_ca_mode, enter_ca_mode);
 544     PAIRED(enter_delete_mode, exit_delete_mode);
 545     ANDMISSING(enter_dim_mode, exit_attribute_mode);
 546     PAIRED(enter_insert_mode, exit_insert_mode);
 547     ANDMISSING(enter_secure_mode, exit_attribute_mode);
 548     ANDMISSING(enter_protected_mode, exit_attribute_mode);
 549     ANDMISSING(enter_reverse_mode, exit_attribute_mode);
 550     PAIRED(from_status_line, to_status_line);
 551     PAIRED(meta_off, meta_on);
 552
 553     PAIRED(prtr_on, prtr_off);
 554     PAIRED(save_cursor, restore_cursor);
 555     PAIRED(enter_xon_mode, exit_xon_mode);
 556     PAIRED(enter_am_mode, exit_am_mode);
 557     ANDMISSING(label_off, label_on);
 558 #ifdef remove_clock
 559     PAIRED(display_clock, remove_clock);
 560 #endif
 561     ANDMISSING(set_color_pair, initialize_pair);
 562 }
 563
 564 /* obsolete: 20040705 */
 565 static void
 566 sanity_check(TERMTYPE *tp)
 567 {
 568     sanity_check2(tp, FALSE);
 569 }
 570
 571 #if NO_LEAKS
 572 NCURSES_EXPORT(void)
 573 _nc_leaks_tic(void)
 574 {
 575     _nc_alloc_entry_leaks();
 576     _nc_captoinfo_leaks();
 577     _nc_comp_scan_leaks();
 578 #if BROKEN_LINKER || USE_REENTRANT
 579     _nc_names_leaks();
 580     _nc_codes_leaks();
 581 #endif
 582     _nc_tic_expand(0, FALSE, 0);
 583 }
 584
 585 NCURSES_EXPORT(void)
 586 _nc_free_tic(int code)
 587 {
 588     _nc_leaks_tic();
 589     _nc_free_tinfo(code);
 590 }
 591 #endif