]> ncurses.scripts.mit.edu Git - ncurses.git/blobdiff - progs/tic.c
ncurses 5.9 - patch 20111126
[ncurses.git] / progs / tic.c
index 620704fca633edcf2cf39a828f12b8d68ce9b0ef..1b0aea85d24818ffe5ddc6238e482e29a7b4e856 100644 (file)
@@ -1,5 +1,5 @@
 /****************************************************************************
- * Copyright (c) 1998,1999,2000 Free Software Foundation, Inc.              *
+ * Copyright (c) 1998-2010,2011 Free Software Foundation, Inc.              *
  *                                                                          *
  * Permission is hereby granted, free of charge, to any person obtaining a  *
  * copy of this software and associated documentation files (the            *
 /****************************************************************************
  *  Author: Zeyd M. Ben-Halim <zmbenhal@netcom.com> 1992,1995               *
  *     and: Eric S. Raymond <esr@snark.thyrsus.com>                         *
+ *     and: Thomas E. Dickey                        1996 on                 *
  ****************************************************************************/
 
 /*
  *     tic.c --- Main program for terminfo compiler
  *                     by Eric S. Raymond
+ *                     and Thomas E Dickey
  *
  */
 
 #include <sys/stat.h>
 
 #include <dump_entry.h>
-#include <term_entry.h>
 #include <transform.h>
 
-MODULE_ID("$Id: tic.c,v 1.83 2000/10/14 17:30:26 tom Exp $")
+MODULE_ID("$Id: tic.c,v 1.156 2011/11/27 01:32:06 tom Exp $")
 
 const char *_nc_progname = "tic";
 
 static FILE *log_fp;
 static FILE *tmp_fp;
+static bool capdump = FALSE;   /* running as infotocap? */
+static bool infodump = FALSE;  /* running as captoinfo? */
 static bool showsummary = FALSE;
 static const char *to_remove;
 
-static void (*save_check_termtype) (TERMTYPE *);
-static void check_termtype(TERMTYPE * tt);
-
-static const char usage_string[] = "[-V] [-v[n]] [-e names] [-CILNRTcfrswx1] source-file\n";
+static void (*save_check_termtype) (TERMTYPE *, bool);
+static void check_termtype(TERMTYPE *tt, bool);
+
+static const char usage_string[] = "\
+[-e names] \
+[-o dir] \
+[-R name] \
+[-v[n]] \
+[-V] \
+[-w[n]] \
+[-\
+1\
+a\
+C\
+D\
+c\
+f\
+G\
+g\
+I\
+K\
+L\
+N\
+r\
+s\
+T\
+t\
+U\
+x\
+] \
+source-file\n";
+
+#if NO_LEAKS
+static void
+free_namelist(char **src)
+{
+    if (src != 0) {
+       int n;
+       for (n = 0; src[n] != 0; ++n)
+           free(src[n]);
+       free(src);
+    }
+}
+#endif
 
 static void
-cleanup(void)
+cleanup(char **namelst GCC_UNUSED)
 {
+#if NO_LEAKS
+    free_namelist(namelst);
+#endif
     if (tmp_fp != 0)
        fclose(tmp_fp);
     if (to_remove != 0) {
@@ -76,8 +122,8 @@ static void
 failed(const char *msg)
 {
     perror(msg);
-    cleanup();
-    exit(EXIT_FAILURE);
+    cleanup((char **) 0);
+    ExitProgram(EXIT_FAILURE);
 }
 
 static void
@@ -87,24 +133,30 @@ usage(void)
     {
        "Options:",
        "  -1         format translation output one capability per line",
-       "  -C         translate entries to termcap source form",
-       "  -I         translate entries to terminfo source form",
-       "  -L         translate entries to full terminfo source form",
-       "  -N         disable smart defaults for source translation",
-       "  -R         restrict translation to given terminfo/termcap version",
-       "  -T         remove size-restrictions on compiled description",
-       "  -V         print version",
 #if NCURSES_XNAMES
        "  -a         retain commented-out capabilities (sets -x also)",
 #endif
+       "  -K         translate entries to termcap source form with BSD syntax",
+       "  -C         translate entries to termcap source form",
+       "  -D         print list of tic's database locations (first must be writable)",
        "  -c         check only, validate input without compiling or translating",
+       "  -e<names>  translate/compile only entries named by comma-separated list",
        "  -f         format complex strings for readability",
        "  -G         format %{number} to %'char'",
        "  -g         format %'char' to %{number}",
-       "  -e<names>  translate/compile only entries named by comma-separated list",
+       "  -I         translate entries to terminfo source form",
+       "  -L         translate entries to full terminfo source form",
+       "  -N         disable smart defaults for source translation",
        "  -o<dir>    set output directory for compiled entry writes",
+       "  -R<name>   restrict translation to given terminfo/termcap version",
        "  -r         force resolution of all use entries in source translation",
        "  -s         print summary statistics",
+       "  -T         remove size-restrictions on compiled description",
+#if NCURSES_XNAMES
+       "  -t         suppress commented-out capabilities",
+#endif
+       "  -U         suppress post-processing of entries",
+       "  -V         print version",
        "  -v[n]      set verbosity level",
        "  -w[n]      set format width for translation output",
 #if NCURSES_XNAMES
@@ -121,7 +173,7 @@ usage(void)
        fputs(tbl[j], stderr);
        putc('\n', stderr);
     }
-    exit(EXIT_FAILURE);
+    ExitProgram(EXIT_FAILURE);
 }
 
 #define L_BRACE '{'
@@ -147,7 +199,7 @@ write_it(ENTRY * ep)
            d = result;
            t = s;
            while ((ch = *t++) != 0) {
-               *d++ = ch;
+               *d++ = (char) ch;
                if (ch == '\\') {
                    *d++ = *t++;
                } else if ((ch == '%')
@@ -161,7 +213,7 @@ write_it(ENTRY * ep)
                        && value < 127
                        && isprint((int) value)) {
                        *d++ = S_QUOTE;
-                       *d++ = (int) value;
+                       *d++ = (char) value;
                        *d++ = S_QUOTE;
                        t = (v + 1);
                    }
@@ -174,7 +226,7 @@ write_it(ENTRY * ep)
     }
 
     _nc_set_type(_nc_first_name(ep->tterm.term_names));
-    _nc_curr_line = ep->startline;
+    _nc_curr_line = (int) ep->startline;
     _nc_write_entry(&ep->tterm);
 }
 
@@ -249,7 +301,7 @@ put_translate(int c)
            putchar(c);
            in_name = FALSE;
        } else if (c != '>') {
-           namebuf[used++] = c;
+           namebuf[used++] = (char) c;
        } else {                /* ah! candidate name! */
            char *up;
            NCURSES_CONST char *tp;
@@ -292,16 +344,23 @@ put_translate(int c)
 static char *
 stripped(char *src)
 {
-    while (isspace(*src))
+    char *dst = 0;
+
+    while (isspace(UChar(*src)))
        src++;
+
     if (*src != '\0') {
-       char *dst = strcpy(malloc(strlen(src) + 1), src);
-       size_t len = strlen(dst);
-       while (--len != 0 && isspace(dst[len]))
-           dst[len] = '\0';
-       return dst;
+       size_t len;
+
+       if ((dst = strdup(src)) == NULL) {
+           failed("strdup");
+       } else {
+           len = strlen(dst);
+           while (--len != 0 && isspace(UChar(dst[len])))
+               dst[len] = '\0';
+       }
     }
-    return 0;
+    return dst;
 }
 
 static FILE *
@@ -312,21 +371,21 @@ open_input(const char *filename)
 
     if (fp == 0) {
        fprintf(stderr, "%s: Can't open %s\n", _nc_progname, filename);
-       exit(EXIT_FAILURE);
+       ExitProgram(EXIT_FAILURE);
     }
     if (fstat(fileno(fp), &sb) < 0
        || (sb.st_mode & S_IFMT) != S_IFREG) {
        fprintf(stderr, "%s: %s is not a file\n", _nc_progname, filename);
-       exit(EXIT_FAILURE);
+       ExitProgram(EXIT_FAILURE);
     }
     return fp;
 }
 
 /* Parse the "-e" option-value into a list of names */
-static const char **
+static char **
 make_namelist(char *src)
 {
-    const char **dst = 0;
+    char **dst = 0;
 
     char *s, *base;
     unsigned pass, n, nn;
@@ -343,11 +402,13 @@ make_namelist(char *src)
                if ((s = stripped(buffer)) != 0) {
                    if (dst != 0)
                        dst[nn] = s;
+                   else
+                       free(s);
                    nn++;
                }
            }
            if (pass == 1) {
-               dst = typeCalloc(const char *, nn + 1);
+               dst = typeCalloc(char *, nn + 1);
                rewind(fp);
            }
        }
@@ -370,19 +431,19 @@ make_namelist(char *src)
                    break;
            }
            if (pass == 1)
-               dst = typeCalloc(const char *, nn + 1);
+               dst = typeCalloc(char *, nn + 1);
        }
     }
-    if (showsummary) {
+    if (showsummary && (dst != 0)) {
        fprintf(log_fp, "Entries that will be compiled:\n");
        for (n = 0; dst[n] != 0; n++)
-           fprintf(log_fp, "%d:%s\n", n + 1, dst[n]);
+           fprintf(log_fp, "%u:%s\n", n + 1, dst[n]);
     }
     return dst;
 }
 
 static bool
-matches(const char **needle, const char *haystack)
+matches(char **needle, const char *haystack)
 /* does entry in needle list match |-separated field in haystack? */
 {
     bool code = FALSE;
@@ -415,11 +476,31 @@ open_tempfile(char *name)
     return result;
 }
 
+/*
+ * Show the databases that tic knows about.  The location to which it writes is
+ * always the first one.  If that is not writable, then tic errors out before
+ * reaching this function.
+ */
+static void
+show_databases(void)
+{
+    DBDIRS state;
+    int offset;
+    const char *path;
+
+    _nc_first_db(&state, &offset);
+    while ((path = _nc_next_db(&state, &offset)) != 0) {
+       printf("%s\n", path);
+    }
+    _nc_last_db();
+}
+
 int
 main(int argc, char *argv[])
 {
     char my_tmpname[PATH_MAX];
-    int v_opt = -1, debug_level;
+    int v_opt = -1;
+    unsigned debug_level;
     int smart_defaults = TRUE;
     char *termcap;
     ENTRY *qp;
@@ -430,33 +511,35 @@ main(int argc, char *argv[])
     int sortmode = S_TERMINFO; /* sort_mode */
 
     int width = 60;
+    int height = 65535;
     bool formatted = FALSE;    /* reformat complex strings? */
+    bool literal = FALSE;      /* suppress post-processing? */
     int numbers = 0;           /* format "%'char'" to/from "%{number}" */
-    bool infodump = FALSE;     /* running as captoinfo? */
-    bool capdump = FALSE;      /* running as infotocap? */
     bool forceresolve = FALSE; /* force resolution */
     bool limited = TRUE;
     char *tversion = (char *) NULL;
     const char *source_file = "terminfo";
-    const char **namelst = 0;
+    char **namelst = 0;
     char *outdir = (char *) NULL;
     bool check_only = FALSE;
+    bool suppress_untranslatable = FALSE;
 
     log_fp = stderr;
 
-    _nc_progname = _nc_basename(argv[0]);
+    _nc_progname = _nc_rootname(argv[0]);
 
-    if ((infodump = (strcmp(_nc_progname, PROG_CAPTOINFO) == 0)) != FALSE) {
+    if ((infodump = same_program(_nc_progname, PROG_CAPTOINFO)) != FALSE) {
        outform = F_TERMINFO;
        sortmode = S_TERMINFO;
     }
-    if ((capdump = (strcmp(_nc_progname, PROG_INFOTOCAP) == 0)) != FALSE) {
+    if ((capdump = same_program(_nc_progname, PROG_INFOTOCAP)) != FALSE) {
        outform = F_TERMCAP;
        sortmode = S_TERMCAP;
     }
 #if NCURSES_XNAMES
     use_extended_names(FALSE);
 #endif
+    _nc_strict_bsd = 0;
 
     /*
      * Processing arguments is a little complicated, since someone made a
@@ -464,7 +547,7 @@ main(int argc, char *argv[])
      * be optional.
      */
     while ((this_opt = getopt(argc, argv,
-                             "0123456789CILNR:TVace:fGgo:rsvwx")) != EOF) {
+                             "0123456789CDIKLNR:TUVace:fGgo:rstvwx")) != -1) {
        if (isdigit(this_opt)) {
            switch (last_opt) {
            case 'v':
@@ -474,19 +557,39 @@ main(int argc, char *argv[])
                width = (width * 10) + (this_opt - '0');
                break;
            default:
-               if (this_opt != '1')
+               switch (this_opt) {
+               case '0':
+                   last_opt = this_opt;
+                   width = 65535;
+                   height = 1;
+                   break;
+               case '1':
+                   last_opt = this_opt;
+                   width = 0;
+                   break;
+               default:
                    usage();
-               last_opt = this_opt;
-               width = 0;
+               }
            }
            continue;
        }
        switch (this_opt) {
+       case 'K':
+           _nc_strict_bsd = 1;
+           /* the initial version of -K in 20110730 fell-thru here, but the
+            * same flag is useful when reading sources -TD
+            */
+           break;
        case 'C':
            capdump = TRUE;
            outform = F_TERMCAP;
            sortmode = S_TERMCAP;
            break;
+       case 'D':
+           _nc_set_writedir(outdir);
+           show_databases();
+           ExitProgram(EXIT_SUCCESS);
+           break;
        case 'I':
            infodump = TRUE;
            outform = F_TERMINFO;
@@ -499,6 +602,7 @@ main(int argc, char *argv[])
            break;
        case 'N':
            smart_defaults = FALSE;
+           literal = TRUE;
            break;
        case 'R':
            tversion = optarg;
@@ -506,9 +610,13 @@ main(int argc, char *argv[])
        case 'T':
            limited = FALSE;
            break;
+       case 'U':
+           literal = TRUE;
+           break;
        case 'V':
            puts(curses_version());
-           return EXIT_SUCCESS;
+           cleanup(namelst);
+           ExitProgram(EXIT_SUCCESS);
        case 'c':
            check_only = TRUE;
            break;
@@ -540,6 +648,10 @@ main(int argc, char *argv[])
            width = 0;
            break;
 #if NCURSES_XNAMES
+       case 't':
+           _nc_disable_period = FALSE;
+           suppress_untranslatable = TRUE;
+           break;
        case 'a':
            _nc_disable_period = TRUE;
            /* FALLTHRU */
@@ -553,12 +665,12 @@ main(int argc, char *argv[])
        last_opt = this_opt;
     }
 
-    debug_level = (v_opt > 0) ? v_opt : (v_opt == 0);
+    debug_level = (unsigned) ((v_opt > 0) ? v_opt : (v_opt == 0));
     set_trace_level(debug_level);
 
     if (_nc_tracing) {
-       save_check_termtype = _nc_check_termtype;
-       _nc_check_termtype = check_termtype;
+       save_check_termtype = _nc_check_termtype2;
+       _nc_check_termtype2 = check_termtype;
     }
 #if !HAVE_BIG_CORE
     /*
@@ -574,8 +686,8 @@ main(int argc, char *argv[])
     if (namelst && (!infodump && !capdump)) {
        (void) fprintf(stderr,
                       "Sorry, -e can't be used without -I or -C\n");
-       cleanup();
-       return EXIT_FAILURE;
+       cleanup(namelst);
+       ExitProgram(EXIT_FAILURE);
     }
 #endif /* HAVE_BIG_CORE */
 
@@ -587,7 +699,7 @@ main(int argc, char *argv[])
                    _nc_progname,
                    _nc_progname,
                    usage_string);
-           return EXIT_FAILURE;
+           ExitProgram(EXIT_FAILURE);
        }
     } else {
        if (infodump == TRUE) {
@@ -617,8 +729,8 @@ main(int argc, char *argv[])
                    _nc_progname,
                    _nc_progname,
                    usage_string);
-           cleanup();
-           return EXIT_FAILURE;
+           cleanup(namelst);
+           ExitProgram(EXIT_FAILURE);
        }
     }
 
@@ -630,11 +742,11 @@ main(int argc, char *argv[])
                  smart_defaults
                  ? outform
                  : F_LITERAL,
-                 sortmode, width, debug_level, formatted);
+                 sortmode, width, height, debug_level, formatted);
     else if (capdump)
        dump_init(tversion,
                  outform,
-                 sortmode, width, debug_level, FALSE);
+                 sortmode, width, height, debug_level, FALSE);
 
     /* parse entries out of the source file */
     _nc_set_source(source_file);
@@ -643,14 +755,16 @@ main(int argc, char *argv[])
        _nc_set_writedir(outdir);
 #endif /* HAVE_BIG_CORE */
     _nc_read_entry_source(tmp_fp, (char *) NULL,
-                         !smart_defaults, FALSE,
-                         (check_only || infodump || capdump) ? NULLHOOK : immedhook);
+                         !smart_defaults || literal, FALSE,
+                         ((check_only || infodump || capdump)
+                          ? NULLHOOK
+                          : immedhook));
 
     /* do use resolution */
     if (check_only || (!infodump && !capdump) || forceresolve) {
-       if (!_nc_resolve_uses(TRUE) && !check_only) {
-           cleanup();
-           return EXIT_FAILURE;
+       if (!_nc_resolve_uses2(TRUE, literal) && !check_only) {
+           cleanup(namelst);
+           ExitProgram(EXIT_FAILURE);
        }
     }
 
@@ -658,7 +772,7 @@ main(int argc, char *argv[])
     if (check_only && (capdump || infodump)) {
        for_entry_list(qp) {
            if (matches(namelst, qp->tterm.term_names)) {
-               int len = fmt_entry(&qp->tterm, NULL, TRUE, infodump, numbers);
+               int len = fmt_entry(&qp->tterm, NULL, FALSE, TRUE, infodump, numbers);
 
                if (len > (infodump ? MAX_TERMINFO_LENGTH : MAX_TERMCAP_LENGTH))
                    (void) fprintf(stderr,
@@ -683,29 +797,31 @@ main(int argc, char *argv[])
 
            for_entry_list(qp) {
                if (matches(namelst, qp->tterm.term_names)) {
-                   int j = qp->cend - qp->cstart;
+                   long j = qp->cend - qp->cstart;
                    int len = 0;
 
                    /* this is in case infotocap() generates warnings */
                    _nc_set_type(_nc_first_name(qp->tterm.term_names));
 
                    (void) fseek(tmp_fp, qp->cstart, SEEK_SET);
-                   while (j--) {
+                   while (j-- > 0) {
                        if (infodump)
                            (void) putchar(fgetc(tmp_fp));
                        else
                            put_translate(fgetc(tmp_fp));
                    }
 
-                   len = dump_entry(&qp->tterm, limited, numbers, NULL);
-                   for (j = 0; j < qp->nuses; j++)
-                       len += dump_uses(qp->uses[j].name, !capdump);
-                   (void) putchar('\n');
+                   repair_acsc(&qp->tterm);
+                   dump_entry(&qp->tterm, suppress_untranslatable,
+                              limited, numbers, NULL);
+                   for (j = 0; j < (long) qp->nuses; j++)
+                       dump_uses(qp->uses[j].name, !capdump);
+                   len = show_entry();
                    if (debug_level != 0 && !limited)
                        printf("# length=%d\n", len);
                }
            }
-           if (!namelst) {
+           if (!namelst && _nc_tail) {
                int c, oldc = '\0';
                bool in_comment = FALSE;
                bool trailing_comment = FALSE;
@@ -742,8 +858,8 @@ main(int argc, char *argv[])
        else
            fprintf(log_fp, "No entries written\n");
     }
-    cleanup();
-    return (EXIT_SUCCESS);
+    cleanup(namelst);
+    ExitProgram(EXIT_SUCCESS);
 }
 
 /*
@@ -751,23 +867,414 @@ main(int argc, char *argv[])
  * references to locations in the arrays Booleans, Numbers, and Strings ---
  * precisely what's needed (see comp_parse.c).
  */
-
-TERMINAL *cur_term;            /* tweak to avoid linking lib_cur_term.c */
-
 #undef CUR
 #define CUR tp->
 
+/*
+ * Check if the alternate character-set capabilities are consistent.
+ */
+static void
+check_acs(TERMTYPE *tp)
+{
+    if (VALID_STRING(acs_chars)) {
+       const char *boxes = "lmkjtuvwqxn";
+       char mapped[256];
+       char missing[256];
+       const char *p;
+       char *q;
+
+       memset(mapped, 0, sizeof(mapped));
+       for (p = acs_chars; *p != '\0'; p += 2) {
+           if (p[1] == '\0') {
+               _nc_warning("acsc has odd number of characters");
+               break;
+           }
+           mapped[UChar(p[0])] = p[1];
+       }
+
+       if (mapped[UChar('I')] && !mapped[UChar('i')]) {
+           _nc_warning("acsc refers to 'I', which is probably an error");
+       }
+
+       for (p = boxes, q = missing; *p != '\0'; ++p) {
+           if (!mapped[UChar(p[0])]) {
+               *q++ = p[0];
+           }
+       }
+       *q = '\0';
+
+       assert(strlen(missing) <= strlen(boxes));
+       if (*missing != '\0' && strcmp(missing, boxes)) {
+           _nc_warning("acsc is missing some line-drawing mapping: %s", missing);
+       }
+    }
+}
+
+/*
+ * Check if the color capabilities are consistent
+ */
+static void
+check_colors(TERMTYPE *tp)
+{
+    if ((max_colors > 0) != (max_pairs > 0)
+       || ((max_colors > max_pairs) && (initialize_pair == 0)))
+       _nc_warning("inconsistent values for max_colors (%d) and max_pairs (%d)",
+                   max_colors, max_pairs);
+
+    PAIRED(set_foreground, set_background);
+    PAIRED(set_a_foreground, set_a_background);
+    PAIRED(set_color_pair, initialize_pair);
+
+    if (VALID_STRING(set_foreground)
+       && VALID_STRING(set_a_foreground)
+       && !_nc_capcmp(set_foreground, set_a_foreground))
+       _nc_warning("expected setf/setaf to be different");
+
+    if (VALID_STRING(set_background)
+       && VALID_STRING(set_a_background)
+       && !_nc_capcmp(set_background, set_a_background))
+       _nc_warning("expected setb/setab to be different");
+
+    /* see: has_colors() */
+    if (VALID_NUMERIC(max_colors) && VALID_NUMERIC(max_pairs)
+       && (((set_foreground != NULL)
+            && (set_background != NULL))
+           || ((set_a_foreground != NULL)
+               && (set_a_background != NULL))
+           || set_color_pair)) {
+       if (!VALID_STRING(orig_pair) && !VALID_STRING(orig_colors))
+           _nc_warning("expected either op/oc string for resetting colors");
+    }
+}
+
+static char
+keypad_final(const char *string)
+{
+    char result = '\0';
+
+    if (VALID_STRING(string)
+       && *string++ == '\033'
+       && *string++ == 'O'
+       && strlen(string) == 1) {
+       result = *string;
+    }
+
+    return result;
+}
+
+static long
+keypad_index(const char *string)
+{
+    char *test;
+    const char *list = "PQRSwxymtuvlqrsPpn";   /* app-keypad except "Enter" */
+    int ch;
+    long result = -1;
+
+    if ((ch = keypad_final(string)) != '\0') {
+       test = strchr(list, ch);
+       if (test != 0)
+           result = (long) (test - list);
+    }
+    return result;
+}
+
+/*
+ * list[] is down, up, left, right
+ * "left" may be ^H rather than \E[D
+ * "down" may be ^J rather than \E[B
+ * But up/right are generally consistently escape sequences for ANSI terminals.
+ */
+static void
+check_ansi_cursor(char *list[4])
+{
+    int j, k;
+    int want;
+    size_t prefix = 0;
+    size_t suffix;
+    bool skip[4];
+    bool repeated = FALSE;
+
+    for (j = 0; j < 4; ++j) {
+       skip[j] = FALSE;
+       for (k = 0; k < j; ++k) {
+           if (j != k
+               && !strcmp(list[j], list[k])) {
+               char *value = _nc_tic_expand(list[k], TRUE, 0);
+               _nc_warning("repeated cursor control %s\n", value);
+               repeated = TRUE;
+           }
+       }
+    }
+    if (!repeated) {
+       char *up = list[1];
+
+       if (UChar(up[0]) == '\033') {
+           if (up[1] == '[') {
+               prefix = 2;
+           } else {
+               prefix = 1;
+           }
+       } else if (UChar(up[0]) == UChar('\233')) {
+           prefix = 1;
+       }
+       if (prefix) {
+           suffix = prefix;
+           while (up[suffix] && isdigit(UChar(up[suffix])))
+               ++suffix;
+       }
+       if (prefix && up[suffix] == 'A') {
+           skip[1] = TRUE;
+           if (!strcmp(list[0], "\n"))
+               skip[0] = TRUE;
+           if (!strcmp(list[2], "\b"))
+               skip[2] = TRUE;
+
+           for (j = 0; j < 4; ++j) {
+               if (skip[j] || strlen(list[j]) == 1)
+                   continue;
+               if (memcmp(list[j], up, prefix)) {
+                   char *value = _nc_tic_expand(list[j], TRUE, 0);
+                   _nc_warning("inconsistent prefix for %s\n", value);
+                   continue;
+               }
+               if (strlen(list[j]) < suffix) {
+                   char *value = _nc_tic_expand(list[j], TRUE, 0);
+                   _nc_warning("inconsistent length for %s, expected %d\n",
+                               value, (int) suffix + 1);
+                   continue;
+               }
+               want = "BADC"[j];
+               if (list[j][suffix] != want) {
+                   char *value = _nc_tic_expand(list[j], TRUE, 0);
+                   _nc_warning("inconsistent suffix for %s, expected %c, have %c\n",
+                               value, want, list[j][suffix]);
+               }
+           }
+       }
+    }
+}
+
+#define EXPECTED(name) if (!PRESENT(name)) _nc_warning("expected " #name)
+
+static void
+check_cursor(TERMTYPE *tp)
+{
+    int count;
+    char *list[4];
+
+    /* if we have a parameterized form, then the non-parameterized is easy */
+    ANDMISSING(parm_down_cursor, cursor_down);
+    ANDMISSING(parm_up_cursor, cursor_up);
+    ANDMISSING(parm_left_cursor, cursor_left);
+    ANDMISSING(parm_right_cursor, cursor_right);
+
+    /* Given any of a set of cursor movement, the whole set should be present. 
+     * Technically this is not true (we could use cursor_address to fill in
+     * unsupported controls), but it is likely.
+     */
+    count = 0;
+    if (PRESENT(parm_down_cursor)) {
+       list[count++] = parm_down_cursor;
+    }
+    if (PRESENT(parm_up_cursor)) {
+       list[count++] = parm_up_cursor;
+    }
+    if (PRESENT(parm_left_cursor)) {
+       list[count++] = parm_left_cursor;
+    }
+    if (PRESENT(parm_right_cursor)) {
+       list[count++] = parm_right_cursor;
+    }
+    if (count == 4) {
+       check_ansi_cursor(list);
+    } else if (count != 0) {
+       EXPECTED(parm_down_cursor);
+       EXPECTED(parm_up_cursor);
+       EXPECTED(parm_left_cursor);
+       EXPECTED(parm_right_cursor);
+    }
+
+    count = 0;
+    if (PRESENT(cursor_down)) {
+       list[count++] = cursor_down;
+    }
+    if (PRESENT(cursor_up)) {
+       list[count++] = cursor_up;
+    }
+    if (PRESENT(cursor_left)) {
+       list[count++] = cursor_left;
+    }
+    if (PRESENT(cursor_right)) {
+       list[count++] = cursor_right;
+    }
+    if (count == 4) {
+       check_ansi_cursor(list);
+    } else if (count != 0) {
+       count = 0;
+       if (PRESENT(cursor_down) && strcmp(cursor_down, "\n"))
+           ++count;
+       if (PRESENT(cursor_left) && strcmp(cursor_left, "\b"))
+           ++count;
+       if (PRESENT(cursor_up) && strlen(cursor_up) > 1)
+           ++count;
+       if (PRESENT(cursor_right) && strlen(cursor_right) > 1)
+           ++count;
+       if (count) {
+           EXPECTED(cursor_down);
+           EXPECTED(cursor_up);
+           EXPECTED(cursor_left);
+           EXPECTED(cursor_right);
+       }
+    }
+}
+
+#define MAX_KP 5
+/*
+ * Do a quick sanity-check for vt100-style keypads to see if the 5-key keypad
+ * is mapped inconsistently.
+ */
+static void
+check_keypad(TERMTYPE *tp)
+{
+    char show[80];
+
+    if (VALID_STRING(key_a1) &&
+       VALID_STRING(key_a3) &&
+       VALID_STRING(key_b2) &&
+       VALID_STRING(key_c1) &&
+       VALID_STRING(key_c3)) {
+       char final[MAX_KP + 1];
+       long list[MAX_KP];
+       int increase = 0;
+       int j, k, kk;
+       long last;
+       long test;
+
+       final[0] = keypad_final(key_a1);
+       final[1] = keypad_final(key_a3);
+       final[2] = keypad_final(key_b2);
+       final[3] = keypad_final(key_c1);
+       final[4] = keypad_final(key_c3);
+       final[5] = '\0';
+
+       /* special case: legacy coding using 1,2,3,0,. on the bottom */
+       assert(strlen(final) <= MAX_KP);
+       if (!strcmp(final, "qsrpn"))
+           return;
+
+       list[0] = keypad_index(key_a1);
+       list[1] = keypad_index(key_a3);
+       list[2] = keypad_index(key_b2);
+       list[3] = keypad_index(key_c1);
+       list[4] = keypad_index(key_c3);
+
+       /* check that they're all vt100 keys */
+       for (j = 0; j < MAX_KP; ++j) {
+           if (list[j] < 0) {
+               return;
+           }
+       }
+
+       /* check if they're all in increasing order */
+       for (j = 1; j < MAX_KP; ++j) {
+           if (list[j] > list[j - 1]) {
+               ++increase;
+           }
+       }
+       if (increase != (MAX_KP - 1)) {
+           show[0] = '\0';
+
+           for (j = 0, last = -1; j < MAX_KP; ++j) {
+               for (k = 0, kk = -1, test = 100; k < 5; ++k) {
+                   if (list[k] > last &&
+                       list[k] < test) {
+                       test = list[k];
+                       kk = k;
+                   }
+               }
+               last = test;
+               assert(strlen(show) < (MAX_KP * 4));
+               switch (kk) {
+               case 0:
+                   strcat(show, " ka1");
+                   break;
+               case 1:
+                   strcat(show, " ka3");
+                   break;
+               case 2:
+                   strcat(show, " kb2");
+                   break;
+               case 3:
+                   strcat(show, " kc1");
+                   break;
+               case 4:
+                   strcat(show, " kc3");
+                   break;
+               }
+           }
+
+           _nc_warning("vt100 keypad order inconsistent: %s", show);
+       }
+
+    } else if (VALID_STRING(key_a1) ||
+              VALID_STRING(key_a3) ||
+              VALID_STRING(key_b2) ||
+              VALID_STRING(key_c1) ||
+              VALID_STRING(key_c3)) {
+       show[0] = '\0';
+       if (keypad_index(key_a1) >= 0)
+           strcat(show, " ka1");
+       if (keypad_index(key_a3) >= 0)
+           strcat(show, " ka3");
+       if (keypad_index(key_b2) >= 0)
+           strcat(show, " kb2");
+       if (keypad_index(key_c1) >= 0)
+           strcat(show, " kc1");
+       if (keypad_index(key_c3) >= 0)
+           strcat(show, " kc3");
+       if (*show != '\0')
+           _nc_warning("vt100 keypad map incomplete:%s", show);
+    }
+}
+
+static void
+check_printer(TERMTYPE *tp)
+{
+    PAIRED(enter_doublewide_mode, exit_doublewide_mode);
+    PAIRED(enter_italics_mode, exit_italics_mode);
+    PAIRED(enter_leftward_mode, exit_leftward_mode);
+    PAIRED(enter_micro_mode, exit_micro_mode);
+    PAIRED(enter_shadow_mode, exit_shadow_mode);
+    PAIRED(enter_subscript_mode, exit_subscript_mode);
+    PAIRED(enter_superscript_mode, exit_superscript_mode);
+    PAIRED(enter_upward_mode, exit_upward_mode);
+
+    ANDMISSING(start_char_set_def, stop_char_set_def);
+
+    /* if we have a parameterized form, then the non-parameterized is easy */
+    ANDMISSING(set_bottom_margin_parm, set_bottom_margin);
+    ANDMISSING(set_left_margin_parm, set_left_margin);
+    ANDMISSING(set_right_margin_parm, set_right_margin);
+    ANDMISSING(set_top_margin_parm, set_top_margin);
+
+    ANDMISSING(parm_down_micro, micro_down);
+    ANDMISSING(parm_left_micro, micro_left);
+    ANDMISSING(parm_right_micro, micro_right);
+    ANDMISSING(parm_up_micro, micro_up);
+}
+
 /*
  * Returns the expected number of parameters for the given capability.
  */
 static int
-expected_params(char *name)
+expected_params(const char *name)
 {
     /* *INDENT-OFF* */
     static const struct {
        const char *name;
        int count;
     } table[] = {
+       { "S0",                 1 },    /* 'screen' extension */
        { "birep",              2 },
        { "chr",                1 },
        { "colornm",            1 },
@@ -820,8 +1327,8 @@ expected_params(char *name)
        { "sgr1",               6 },
        { "slength",            1 },
        { "slines",             1 },
-       { "smgbp",              2 },
-       { "smglp",              2 },
+       { "smgbp",              1 },    /* 2 if smgtp is not given */
+       { "smglp",              1 },
        { "smglr",              2 },
        { "smgrp",              1 },
        { "smgtb",              2 },
@@ -853,7 +1360,7 @@ expected_params(char *name)
  * markers.
  */
 static void
-check_params(TERMTYPE * tp, char *name, char *value)
+check_params(TERMTYPE *tp, const char *name, char *value)
 {
     int expected = expected_params(name);
     int actual = 0;
@@ -861,6 +1368,12 @@ check_params(TERMTYPE * tp, char *name, char *value)
     bool params[10];
     char *s = value;
 
+#ifdef set_top_margin_parm
+    if (!strcmp(name, "smgbp")
+       && set_top_margin_parm == 0)
+       expected = 2;
+#endif
+
     for (n = 0; n < 10; n++)
        params[n] = FALSE;
 
@@ -899,6 +1412,51 @@ check_params(TERMTYPE * tp, char *name, char *value)
     }
 }
 
+static char *
+skip_delay(char *s)
+{
+    while (*s == '/' || isdigit(UChar(*s)))
+       ++s;
+    return s;
+}
+
+/*
+ * Skip a delay altogether, e.g., when comparing a simple string to sgr,
+ * the latter may have a worst-case delay on the end.
+ */
+static char *
+ignore_delays(char *s)
+{
+    int delaying = 0;
+
+    do {
+       switch (*s) {
+       case '$':
+           if (delaying == 0)
+               delaying = 1;
+           break;
+       case '<':
+           if (delaying == 1)
+               delaying = 2;
+           break;
+       case '\0':
+           delaying = 0;
+           break;
+       default:
+           if (delaying) {
+               s = skip_delay(s);
+               if (*s == '>')
+                   ++s;
+               delaying = 0;
+           }
+           break;
+       }
+       if (delaying)
+           ++s;
+    } while (delaying);
+    return s;
+}
+
 /*
  * An sgr string may contain several settings other than the one we're
  * interested in, essentially sgr0 + rmacs + whatever.  As long as the
@@ -906,54 +1464,133 @@ check_params(TERMTYPE * tp, char *name, char *value)
  * sanity check.
  */
 static bool
-similar_sgr(char *a, char *b)
+similar_sgr(int num, char *a, char *b)
 {
+    static const char *names[] =
+    {
+       "none"
+       ,"standout"
+       ,"underline"
+       ,"reverse"
+       ,"blink"
+       ,"dim"
+       ,"bold"
+       ,"invis"
+       ,"protect"
+       ,"altcharset"
+    };
+    char *base_a = a;
+    char *base_b = b;
+    int delaying = 0;
+
     while (*b != 0) {
        while (*a != *b) {
-           if (*a == 0)
+           if (*a == 0) {
+               if (b[0] == '$'
+                   && b[1] == '<') {
+                   _nc_warning("Did not find delay %s", _nc_visbuf(b));
+               } else {
+                   _nc_warning("checking sgr(%s) %s\n\tcompare to %s\n\tunmatched %s",
+                               names[num], _nc_visbuf2(1, base_a),
+                               _nc_visbuf2(2, base_b),
+                               _nc_visbuf2(3, b));
+               }
                return FALSE;
-           a++;
+           } else if (delaying) {
+               a = skip_delay(a);
+               b = skip_delay(b);
+           } else if ((*b == '0' || (*b == ';')) && *a == 'm') {
+               b++;
+           } else {
+               a++;
+           }
+       }
+       switch (*a) {
+       case '$':
+           if (delaying == 0)
+               delaying = 1;
+           break;
+       case '<':
+           if (delaying == 1)
+               delaying = 2;
+           break;
+       default:
+           delaying = 0;
+           break;
        }
        a++;
        b++;
     }
-    return TRUE;
+    /* ignore delays on the end of the string */
+    a = ignore_delays(a);
+    return ((num != 0) || (*a == 0));
 }
 
-static void
-check_sgr(TERMTYPE * tp, char *zero, int num, char *cap, const char *name)
+static char *
+check_sgr(TERMTYPE *tp, char *zero, int num, char *cap, const char *name)
 {
-    char *test = tparm(set_attributes,
-                      num == 1,
-                      num == 2,
-                      num == 3,
-                      num == 4,
-                      num == 5,
-                      num == 6,
-                      num == 7,
-                      num == 8,
-                      num == 9);
+    char *test;
+
+    _nc_tparm_err = 0;
+    test = TPARM_9(set_attributes,
+                  num == 1,
+                  num == 2,
+                  num == 3,
+                  num == 4,
+                  num == 5,
+                  num == 6,
+                  num == 7,
+                  num == 8,
+                  num == 9);
     if (test != 0) {
        if (PRESENT(cap)) {
-           if (!similar_sgr(test, cap)) {
-               _nc_warning("%s differs from sgr(%d): %s", name, num,
-                           _nc_visbuf(test));
+           if (!similar_sgr(num, test, cap)) {
+               _nc_warning("%s differs from sgr(%d)\n\t%s=%s\n\tsgr(%d)=%s",
+                           name, num,
+                           name, _nc_visbuf2(1, cap),
+                           num, _nc_visbuf2(2, test));
            }
-       } else if (strcmp(test, zero)) {
+       } else if (_nc_capcmp(test, zero)) {
            _nc_warning("sgr(%d) present, but not %s", num, name);
        }
     } else if (PRESENT(cap)) {
        _nc_warning("sgr(%d) missing, but %s present", num, name);
     }
+    if (_nc_tparm_err)
+       _nc_warning("stack error in sgr(%d) string", num);
+    return test;
 }
 
 #define CHECK_SGR(num,name) check_sgr(tp, zero, num, name, #name)
 
+#ifdef TRACE
+/*
+ * If tic is compiled with TRACE, we'll be able to see the output from the
+ * DEBUG() macro.  But since it doesn't use traceon(), it always goes to
+ * the standard error.  Use this function to make it simpler to follow the
+ * resulting debug traces.
+ */
+static void
+show_where(unsigned level)
+{
+    if (_nc_tracing >= DEBUG_LEVEL(level)) {
+       char my_name[256];
+       _nc_get_type(my_name);
+       _tracef("\"%s\", line %d, '%s'",
+               _nc_get_source(),
+               _nc_curr_line, my_name);
+    }
+}
+
+#else
+#define show_where(level)      /* nothing */
+#endif
+
 /* other sanity-checks (things that we don't want in the normal
  * logic that reads a terminfo entry)
  */
 static void
-check_termtype(TERMTYPE * tp)
+check_termtype(TERMTYPE *tp, bool literal)
 {
     bool conflict = FALSE;
     unsigned j, k;
@@ -964,55 +1601,52 @@ check_termtype(TERMTYPE * tp)
      * a given string (e.g., KEY_END and KEY_LL).  But curses will only
      * return one (the last one assigned).
      */
-    memset(fkeys, 0, sizeof(fkeys));
-    for (j = 0; _nc_tinfo_fkeys[j].code; j++) {
-       char *a = tp->Strings[_nc_tinfo_fkeys[j].offset];
-       bool first = TRUE;
-       if (!VALID_STRING(a))
-           continue;
-       for (k = j + 1; _nc_tinfo_fkeys[k].code; k++) {
-           char *b = tp->Strings[_nc_tinfo_fkeys[k].offset];
-           if (!VALID_STRING(b)
-               || fkeys[k])
+    if (!(_nc_syntax == SYN_TERMCAP && capdump)) {
+       memset(fkeys, 0, sizeof(fkeys));
+       for (j = 0; _nc_tinfo_fkeys[j].code; j++) {
+           char *a = tp->Strings[_nc_tinfo_fkeys[j].offset];
+           bool first = TRUE;
+           if (!VALID_STRING(a))
                continue;
-           if (!strcmp(a, b)) {
-               fkeys[j] = 1;
-               fkeys[k] = 1;
-               if (first) {
-                   if (!conflict) {
-                       _nc_warning("Conflicting key definitions (using the last)");
-                       conflict = TRUE;
+           for (k = j + 1; _nc_tinfo_fkeys[k].code; k++) {
+               char *b = tp->Strings[_nc_tinfo_fkeys[k].offset];
+               if (!VALID_STRING(b)
+                   || fkeys[k])
+                   continue;
+               if (!_nc_capcmp(a, b)) {
+                   fkeys[j] = 1;
+                   fkeys[k] = 1;
+                   if (first) {
+                       if (!conflict) {
+                           _nc_warning("Conflicting key definitions (using the last)");
+                           conflict = TRUE;
+                       }
+                       fprintf(stderr, "... %s is the same as %s",
+                               keyname((int) _nc_tinfo_fkeys[j].code),
+                               keyname((int) _nc_tinfo_fkeys[k].code));
+                       first = FALSE;
+                   } else {
+                       fprintf(stderr, ", %s",
+                               keyname((int) _nc_tinfo_fkeys[k].code));
                    }
-                   fprintf(stderr, "... %s is the same as %s",
-                           keyname(_nc_tinfo_fkeys[j].code),
-                           keyname(_nc_tinfo_fkeys[k].code));
-                   first = FALSE;
-               } else {
-                   fprintf(stderr, ", %s",
-                           keyname(_nc_tinfo_fkeys[k].code));
                }
            }
+           if (!first)
+               fprintf(stderr, "\n");
        }
-       if (!first)
-           fprintf(stderr, "\n");
     }
 
     for (j = 0; j < NUM_STRINGS(tp); j++) {
        char *a = tp->Strings[j];
        if (VALID_STRING(a))
-           check_params(tp, ExtStrname(tp, j, strnames), a);
+           check_params(tp, ExtStrname(tp, (int) j, strnames), a);
     }
 
-    /*
-     * Quick check for color.  We could also check if the ANSI versus
-     * non-ANSI strings are misused.
-     */
-    if ((max_colors > 0) != (max_pairs > 0)
-       || (max_colors > max_pairs))
-       _nc_warning("inconsistent values for max_colors and max_pairs");
-
-    PAIRED(set_foreground, set_background);
-    PAIRED(set_a_foreground, set_a_background);
+    check_acs(tp);
+    check_colors(tp);
+    check_cursor(tp);
+    check_keypad(tp);
+    check_printer(tp);
 
     /*
      * These may be mismatched because the terminal description relies on
@@ -1022,7 +1656,7 @@ check_termtype(TERMTYPE * tp)
     ANDMISSING(cursor_visible, cursor_normal);
 
     if (PRESENT(cursor_visible) && PRESENT(cursor_normal)
-       && !strcmp(cursor_visible, cursor_normal))
+       && !_nc_capcmp(cursor_visible, cursor_normal))
        _nc_warning("cursor_visible is same as cursor_normal");
 
     /*
@@ -1033,36 +1667,95 @@ check_termtype(TERMTYPE * tp)
     ANDMISSING(change_scroll_region, save_cursor);
     ANDMISSING(change_scroll_region, restore_cursor);
 
+    /*
+     * If we can clear tabs, we should be able to initialize them.
+     */
+    ANDMISSING(clear_all_tabs, set_tab);
+
     if (PRESENT(set_attributes)) {
-       char *zero = tparm(set_attributes, 0, 0, 0, 0, 0, 0, 0, 0, 0);
-
-       zero = strdup(zero);
-       CHECK_SGR(1, enter_standout_mode);
-       CHECK_SGR(2, enter_underline_mode);
-       CHECK_SGR(3, enter_reverse_mode);
-       CHECK_SGR(4, enter_blink_mode);
-       CHECK_SGR(5, enter_dim_mode);
-       CHECK_SGR(6, enter_bold_mode);
-       CHECK_SGR(7, enter_secure_mode);
-       CHECK_SGR(8, enter_protected_mode);
-       CHECK_SGR(9, enter_alt_charset_mode);
-       free(zero);
+       char *zero = 0;
+
+       _nc_tparm_err = 0;
+       if (PRESENT(exit_attribute_mode)) {
+           zero = strdup(CHECK_SGR(0, exit_attribute_mode));
+       } else {
+           zero = strdup(TPARM_9(set_attributes, 0, 0, 0, 0, 0, 0, 0, 0, 0));
+       }
+       if (_nc_tparm_err)
+           _nc_warning("stack error in sgr(0) string");
+
+       if (zero != 0) {
+           CHECK_SGR(1, enter_standout_mode);
+           CHECK_SGR(2, enter_underline_mode);
+           CHECK_SGR(3, enter_reverse_mode);
+           CHECK_SGR(4, enter_blink_mode);
+           CHECK_SGR(5, enter_dim_mode);
+           CHECK_SGR(6, enter_bold_mode);
+           CHECK_SGR(7, enter_secure_mode);
+           CHECK_SGR(8, enter_protected_mode);
+           CHECK_SGR(9, enter_alt_charset_mode);
+           free(zero);
+       } else {
+           _nc_warning("sgr(0) did not return a value");
+       }
+    } else if (PRESENT(exit_attribute_mode) &&
+              set_attributes != CANCELLED_STRING) {
+       if (_nc_syntax == SYN_TERMINFO)
+           _nc_warning("missing sgr string");
+    }
+
+    if (PRESENT(exit_attribute_mode)) {
+       char *check_sgr0 = _nc_trim_sgr0(tp);
+
+       if (check_sgr0 == 0 || *check_sgr0 == '\0') {
+           _nc_warning("trimmed sgr0 is empty");
+       } else {
+           show_where(2);
+           if (check_sgr0 != exit_attribute_mode) {
+               DEBUG(2,
+                     ("will trim sgr0\n\toriginal sgr0=%s\n\ttrimmed  sgr0=%s",
+                      _nc_visbuf2(1, exit_attribute_mode),
+                      _nc_visbuf2(2, check_sgr0)));
+               free(check_sgr0);
+           } else {
+               DEBUG(2,
+                     ("will not trim sgr0\n\toriginal sgr0=%s",
+                      _nc_visbuf(exit_attribute_mode)));
+           }
+       }
     }
+#ifdef TRACE
+    show_where(2);
+    if (!auto_right_margin) {
+       DEBUG(2,
+             ("can write to lower-right directly"));
+    } else if (PRESENT(enter_am_mode) && PRESENT(exit_am_mode)) {
+       DEBUG(2,
+             ("can write to lower-right by suppressing automargin"));
+    } else if ((PRESENT(enter_insert_mode) && PRESENT(exit_insert_mode))
+              || PRESENT(insert_character) || PRESENT(parm_ich)) {
+       DEBUG(2,
+             ("can write to lower-right by using inserts"));
+    } else {
+       DEBUG(2,
+             ("cannot write to lower-right"));
+    }
+#endif
 
     /*
      * Some standard applications (e.g., vi) and some non-curses
-     * applications (e.g., jove) get confused if we have both ich/ich1 and
+     * applications (e.g., jove) get confused if we have both ich1 and
      * smir/rmir.  Let's be nice and warn about that, too, even though
      * ncurses handles it.
      */
     if ((PRESENT(enter_insert_mode) || PRESENT(exit_insert_mode))
-       && (PRESENT(insert_character) || PRESENT(parm_ich))) {
-       _nc_warning("non-curses applications may be confused by ich/ich1 with smir/rmir");
+       && PRESENT(parm_ich)) {
+       _nc_warning("non-curses applications may be confused by ich1 with smir/rmir");
     }
 
     /*
      * Finally, do the non-verbose checks
      */
     if (save_check_termtype != 0)
-       save_check_termtype(tp);
+       save_check_termtype(tp, literal);
 }