Code coverage tests

This page documents the degree to which the PARI/GP source code is tested by our public test suite, distributed with the source distribution in directory src/test/. This is measured by the gcov utility; we then process gcov output using the lcov frond-end.

We test a few variants depending on Configure flags on the pari.math.u-bordeaux1.fr machine (x86_64 architecture), and agregate them in the final report:

The target is 90% coverage for all mathematical modules (given that branches depending on DEBUGLEVEL or DEBUGMEM are not covered). This script is run to produce the results below.

LCOV - code coverage report
Current view: top level - language - default.c (source / functions) Hit Total Coverage
Test: PARI/GP v2.8.0 lcov report (development 16912-212c0f0) Lines: 206 474 43.5 %
Date: 2014-10-20 Functions: 27 59 45.8 %
Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: 67 299 22.4 %

           Branch data     Line data    Source code
       1                 :            : /* Copyright (C) 2000  The PARI group.
       2                 :            : 
       3                 :            : This file is part of the PARI/GP package.
       4                 :            : 
       5                 :            : PARI/GP is free software; you can redistribute it and/or modify it under the
       6                 :            : terms of the GNU General Public License as published by the Free Software
       7                 :            : Foundation. It is distributed in the hope that it will be useful, but WITHOUT
       8                 :            : ANY WARRANTY WHATSOEVER.
       9                 :            : 
      10                 :            : Check the License for details. You should have received a copy of it, along
      11                 :            : with the package; see the file 'COPYING'. If not, write to the Free Software
      12                 :            : Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. */
      13                 :            : #include "pari.h"
      14                 :            : #include "paripriv.h"
      15                 :            : 
      16                 :            : /* Return all chars, up to next separator
      17                 :            :  * [as strtok but must handle verbatim character string] */
      18                 :            : char*
      19                 :       2725 : get_sep(const char *t)
      20                 :            : {
      21                 :       2725 :   char *buf = stack_malloc(strlen(t)+1);
      22                 :       2725 :   char *s = buf;
      23                 :       2725 :   int outer = 1;
      24                 :            : 
      25                 :            :   for(;;)
      26                 :            :   {
      27   [ -  +  -  +  :       8530 :     switch(*s++ = *t++)
                      + ]
      28                 :            :     {
      29                 :            :       case '"':
      30                 :          0 :         outer = !outer; break;
      31                 :            :       case '\0':
      32                 :       2718 :         return buf;
      33                 :            :       case ';':
      34         [ #  # ]:          0 :         if (outer) { s[-1] = 0; return buf; }
      35                 :          0 :         break;
      36                 :            :       case '\\': /* gobble next char */
      37         [ +  - ]:          7 :         if (! (*s++ = *t++) ) return buf;
      38                 :            :     }
      39                 :       8530 :   }
      40                 :            : }
      41                 :            : 
      42                 :            : static ulong
      43                 :         14 : safe_mul(ulong x, ulong y)
      44                 :            : {
      45                 :            :   ulong z;
      46                 :            :   LOCAL_HIREMAINDER;
      47                 :         14 :   z = mulll(x, y);
      48 [ +  - ][ +  - ]:         14 :   return hiremainder? 0: z;
      49                 :            : }
      50                 :            : 
      51                 :            : /* "atoul" + optional [kmg] suffix */
      52                 :            : static ulong
      53                 :       2458 : my_int(char *s)
      54                 :            : {
      55                 :       2458 :   ulong n = 0;
      56                 :       2458 :   char *p = s;
      57                 :            : 
      58         [ +  + ]:       7724 :   while (isdigit((int)*p)) {
      59                 :            :     ulong m;
      60         [ -  + ]:       5266 :     if (n > (~0UL / 10)) pari_err(e_SYNTAX,"integer too large",s,s);
      61                 :       5266 :     n *= 10; m = n;
      62                 :       5266 :     n += *p++ - '0';
      63         [ -  + ]:       5266 :     if (n < m) pari_err(e_SYNTAX,"integer too large",s,s);
      64                 :            :   }
      65         [ +  + ]:       2458 :   if (n)
      66                 :            :   {
      67   [ -  +  -  + ]:       2451 :     switch(*p)
      68                 :            :     {
      69                 :          0 :       case 'k': case 'K': n = safe_mul(n,1000UL);       p++; break;
      70                 :         14 :       case 'm': case 'M': n = safe_mul(n,1000000UL);    p++; break;
      71                 :          0 :       case 'g': case 'G': n = safe_mul(n,1000000000UL); p++; break;
      72                 :            :     }
      73         [ -  + ]:       2451 :     if (!n) pari_err(e_SYNTAX,"integer too large",s,s);
      74                 :            :   }
      75         [ -  + ]:       2458 :   if (*p) pari_err(e_SYNTAX,"I was expecting an integer here", s, s);
      76                 :       2458 :   return n;
      77                 :            : }
      78                 :            : 
      79                 :            : long
      80                 :        190 : get_int(const char *s, long dflt)
      81                 :            : {
      82                 :        190 :   pari_sp av = avma;
      83                 :        190 :   char *p = get_sep(s);
      84                 :            :   long n;
      85                 :        190 :   int minus = 0;
      86                 :            : 
      87         [ -  + ]:        190 :   if (*p == '-') { minus = 1; p++; }
      88         [ -  + ]:        190 :   if (!isdigit((int)*p)) { avma = av; return dflt; }
      89                 :            : 
      90                 :        190 :   n = (long)my_int(p);
      91         [ -  + ]:        190 :   if (n < 0) pari_err(e_SYNTAX,"integer too large",s,s);
      92         [ -  + ]:        190 :   avma = av; return minus? -n: n;
      93                 :            : }
      94                 :            : 
      95                 :            : ulong
      96                 :       2268 : get_uint(const char *s)
      97                 :            : {
      98                 :       2268 :   pari_sp av = avma;
      99                 :       2268 :   char *p = get_sep(s);
     100                 :            :   ulong u;
     101         [ -  + ]:       2268 :   if (*p == '-') pari_err(e_SYNTAX,"arguments must be positive integers",s,s);
     102                 :       2268 :   u = my_int(p); avma = av; return u;
     103                 :            : }
     104                 :            : 
     105                 :            : /********************************************************************/
     106                 :            : /*                                                                  */
     107                 :            : /*                            DEFAULTS                              */
     108                 :            : /*                                                                  */
     109                 :            : /********************************************************************/
     110                 :            : 
     111                 :            : long
     112                 :          0 : getrealprecision(void)
     113                 :            : {
     114                 :          0 :   return GP_DATA->fmt->sigd;
     115                 :            : }
     116                 :            : 
     117                 :            : long
     118                 :          0 : setrealprecision(long n, long *prec)
     119                 :            : {
     120                 :          0 :   GP_DATA->fmt->sigd = n;
     121                 :          0 :   *prec = precreal = ndec2prec(n);
     122                 :          0 :   return n;
     123                 :            : }
     124                 :            : 
     125                 :            : GEN
     126                 :        190 : sd_toggle(const char *v, long flag, const char *s, int *ptn)
     127                 :            : {
     128                 :        190 :   int state = *ptn;
     129         [ +  - ]:        190 :   if (v)
     130                 :            :   {
     131                 :        190 :     int n = (int)get_int(v,0);
     132         [ -  + ]:        190 :     if (n == state) return gnil;
     133         [ -  + ]:        190 :     if (n != !state)
     134                 :            :     {
     135                 :          0 :       char *t = stack_malloc(64 + strlen(s));
     136                 :          0 :       (void)sprintf(t, "default: incorrect value for %s [0:off / 1:on]", s);
     137                 :          0 :       pari_err(e_SYNTAX, t, v,v);
     138                 :            :     }
     139                 :        190 :     state = *ptn = n;
     140                 :            :   }
     141      [ -  +  + ]:        190 :   switch(flag)
     142                 :            :   {
     143                 :          0 :     case d_RETURN: return utoi(state);
     144                 :            :     case d_ACKNOWLEDGE:
     145         [ +  - ]:        141 :       if (state) pari_printf("   %s = 1 (on)\n", s);
     146                 :          0 :       else       pari_printf("   %s = 0 (off)\n", s);
     147                 :        141 :       break;
     148                 :            :   }
     149                 :        190 :   return gnil;
     150                 :            : }
     151                 :            : 
     152                 :            : static void
     153                 :       2268 : sd_ulong_init(const char *v, const char *s, ulong *ptn, ulong Min, ulong Max)
     154                 :            : {
     155         [ +  - ]:       2268 :   if (v)
     156                 :            :   {
     157                 :       2268 :     ulong n = get_uint(v);
     158 [ +  - ][ -  + ]:       2268 :     if (n > Max || n < Min)
     159                 :            :     {
     160                 :          0 :       char *buf = stack_malloc(strlen(s) + 2 * 20 + 40);
     161                 :          0 :       (void)sprintf(buf, "default: incorrect value for %s [%lu-%lu]",
     162                 :            :                     s, Min, Max);
     163                 :          0 :       pari_err(e_SYNTAX, buf, v,v);
     164                 :            :     }
     165                 :       2268 :     *ptn = n;
     166                 :            :   }
     167                 :       2268 : }
     168                 :            : 
     169                 :            : /* msg is NULL or NULL-terminated array with msg[0] != NULL. */
     170                 :            : GEN
     171                 :         77 : sd_ulong(const char *v, long flag, const char *s, ulong *ptn, ulong Min, ulong Max,
     172                 :            :          const char **msg)
     173                 :            : {
     174                 :         77 :   ulong n = *ptn;
     175                 :         77 :   sd_ulong_init(v, s, ptn, Min, Max);
     176      [ -  -  + ]:         77 :   switch(flag)
     177                 :            :   {
     178                 :            :     case d_RETURN:
     179                 :          0 :       return utoi(*ptn);
     180                 :            :     case d_ACKNOWLEDGE:
     181 [ #  # ][ #  # ]:          0 :       if (!v || *ptn != n) {
     182         [ #  # ]:          0 :         if (!msg)         /* no specific message */
     183                 :          0 :           pari_printf("   %s = %lu\n", s, *ptn);
     184         [ #  # ]:          0 :         else if (!msg[1]) /* single message, always printed */
     185                 :          0 :           pari_printf("   %s = %lu %s\n", s, *ptn, msg[0]);
     186                 :            :         else              /* print (new)-n-th message */
     187                 :          0 :           pari_printf("   %s = %lu %s\n", s, *ptn, msg[*ptn]);
     188                 :            :       }
     189                 :          0 :       break;
     190                 :            :   }
     191                 :         77 :   return gnil;
     192                 :            : }
     193                 :            : 
     194                 :            : GEN
     195                 :       2191 : sd_realprecision(const char *v, long flag)
     196                 :            : {
     197                 :       2191 :   pariout_t *fmt = GP_DATA->fmt;
     198         [ +  - ]:       2191 :   if (v)
     199                 :            :   {
     200                 :       2191 :     ulong newnb = fmt->sigd, prec;
     201                 :       2191 :     sd_ulong_init(v, "realprecision", &newnb, 1, prec2ndec(LGBITS));
     202         [ +  + ]:       2191 :     if (fmt->sigd == (long)newnb) return gnil;
     203         [ +  - ]:       1885 :     if (fmt->sigd >= 0) fmt->sigd = newnb;
     204                 :       1885 :     prec = (ulong)ndec2prec(newnb);
     205         [ -  + ]:       1885 :     if (prec == precreal) return gnil;
     206                 :       2191 :     precreal = prec;
     207                 :            :   }
     208         [ -  + ]:       1885 :   if (flag == d_RETURN) return stoi(prec2ndec(precreal));
     209         [ +  + ]:       1885 :   if (flag == d_ACKNOWLEDGE)
     210                 :            :   {
     211                 :        148 :     long n = prec2ndec(precreal);
     212                 :        148 :     pari_printf("   realprecision = %ld significant digits", n);
     213         [ -  + ]:        148 :     if (fmt->sigd < 0)
     214                 :          0 :       pari_puts(" (all digits displayed)");
     215         [ +  + ]:        148 :     else if (n != fmt->sigd)
     216                 :         21 :       pari_printf(" (%ld digits displayed)", fmt->sigd);
     217                 :        148 :     pari_putc('\n');
     218                 :            :   }
     219                 :       2191 :   return gnil;
     220                 :            : }
     221                 :            : 
     222                 :            : GEN
     223                 :         21 : sd_seriesprecision(const char *v, long flag)
     224                 :            : {
     225                 :         21 :   const char *msg[] = {"significant terms", NULL};
     226                 :         21 :   return sd_ulong(v,flag,"seriesprecision",&precdl, 1,LGBITS,msg);
     227                 :            : }
     228                 :            : 
     229                 :            : static long
     230                 :          0 : gp_get_color(char **st)
     231                 :            : {
     232                 :          0 :   char *s, *v = *st;
     233                 :            :   int trans;
     234                 :            :   long c;
     235         [ #  # ]:          0 :   if (isdigit((int)*v))
     236                 :          0 :     { c = atol(v); trans = 1; } /* color on transparent background */
     237                 :            :   else
     238                 :            :   {
     239         [ #  # ]:          0 :     if (*v == '[')
     240                 :            :     {
     241                 :            :       const char *a[3];
     242                 :          0 :       long i = 0;
     243 [ #  # ][ #  # ]:          0 :       for (a[0] = s = ++v; *s && *s != ']'; s++)
     244         [ #  # ]:          0 :         if (*s == ',') { *s = 0; a[++i] = s+1; }
     245         [ #  # ]:          0 :       if (*s != ']') pari_err(e_SYNTAX,"expected character: ']'",s, *st);
     246         [ #  # ]:          0 :       *s = 0; for (i++; i<3; i++) a[i] = "";
     247                 :            :       /*    properties    |   color    | background */
     248                 :          0 :       c = (atoi(a[2])<<8) | atoi(a[0]) | (atoi(a[1])<<4);
     249                 :          0 :       trans = (*(a[1]) == 0);
     250                 :          0 :       v = s + 1;
     251                 :            :     }
     252                 :          0 :     else { c = c_NONE; trans = 0; }
     253                 :            :   }
     254         [ #  # ]:          0 :   if (trans) c = c | (1L<<12);
     255 [ #  # ][ #  # ]:          0 :   while (*v && *v++ != ',') /* empty */;
     256         [ #  # ]:          0 :   if (c != c_NONE) disable_color = 0;
     257                 :          0 :   *st = v; return c;
     258                 :            : }
     259                 :            : 
     260                 :            : /* 1: error, 2: history, 3: prompt, 4: input, 5: output, 6: help, 7: timer */
     261                 :            : GEN
     262                 :          0 : sd_colors(const char *v, long flag)
     263                 :            : {
     264                 :            :   long c,l;
     265 [ #  # ][ #  # ]:          0 :   if (v && !(GP_DATA->flags & (gpd_EMACS|gpd_TEXMACS)))
     266                 :            :   {
     267                 :            :     char *v0, *s;
     268                 :          0 :     disable_color=1;
     269                 :          0 :     l = strlen(v);
     270 [ #  # ][ #  # ]:          0 :     if (l <= 2 && strncmp(v, "no", l) == 0)
     271                 :          0 :       v = "";
     272 [ #  # ][ #  # ]:          0 :     if (l <= 6 && strncmp(v, "darkbg", l) == 0)
     273                 :          0 :       v = "1, 5, 3, 7, 6, 2, 3"; /* Assume recent ReadLine. */
     274 [ #  # ][ #  # ]:          0 :     if (l <= 7 && strncmp(v, "lightbg", l) == 0)
     275                 :          0 :       v = "1, 6, 3, 4, 5, 2, 3"; /* Assume recent ReadLine. */
     276 [ #  # ][ #  # ]:          0 :     if (l <= 8 && strncmp(v, "brightfg", l) == 0)      /* Good for windows consoles */
     277                 :          0 :       v = "9, 13, 11, 15, 14, 10, 11";
     278 [ #  # ][ #  # ]:          0 :     if (l <= 6 && strncmp(v, "boldfg", l) == 0)        /* Good for darkbg consoles */
     279                 :          0 :       v = "[1,,1], [5,,1], [3,,1], [7,,1], [6,,1], , [2,,1]";
     280                 :          0 :     v0 = s = gp_filter(v);
     281         [ #  # ]:          0 :     for (c=c_ERR; c < c_LAST; c++)
     282                 :          0 :       gp_colors[c] = gp_get_color(&s);
     283                 :          0 :     pari_free(v0);
     284                 :            :   }
     285 [ #  # ][ #  # ]:          0 :   if (flag == d_ACKNOWLEDGE || flag == d_RETURN)
     286                 :            :   {
     287                 :          0 :     char s[128], *t = s;
     288                 :            :     long col[3], n;
     289         [ #  # ]:          0 :     for (*t=0,c=c_ERR; c < c_LAST; c++)
     290                 :            :     {
     291                 :          0 :       n = gp_colors[c];
     292         [ #  # ]:          0 :       if (n == c_NONE)
     293                 :          0 :         sprintf(t,"no");
     294                 :            :       else
     295                 :            :       {
     296                 :          0 :         decode_color(n,col);
     297         [ #  # ]:          0 :         if (n & (1L<<12))
     298                 :            :         {
     299         [ #  # ]:          0 :           if (col[0])
     300                 :          0 :             sprintf(t,"[%ld,,%ld]",col[1],col[0]);
     301                 :            :           else
     302                 :          0 :             sprintf(t,"%ld",col[1]);
     303                 :            :         }
     304                 :            :         else
     305                 :          0 :           sprintf(t,"[%ld,%ld,%ld]",col[1],col[2],col[0]);
     306                 :            :       }
     307                 :          0 :       t += strlen(t);
     308         [ #  # ]:          0 :       if (c < c_LAST - 1) { *t++=','; *t++=' '; }
     309                 :            :     }
     310         [ #  # ]:          0 :     if (flag==d_RETURN) return strtoGENstr(s);
     311                 :          0 :     pari_printf("   colors = \"%s\"\n",s);
     312                 :            :   }
     313                 :          0 :   return gnil;
     314                 :            : }
     315                 :            : 
     316                 :            : GEN
     317                 :          0 : sd_format(const char *v, long flag)
     318                 :            : {
     319                 :          0 :   pariout_t *fmt = GP_DATA->fmt;
     320         [ #  # ]:          0 :   if (v)
     321                 :            :   {
     322                 :          0 :     char c = *v;
     323 [ #  # ][ #  # ]:          0 :     if (c!='e' && c!='f' && c!='g')
                 [ #  # ]
     324                 :          0 :       pari_err(e_SYNTAX,"default: inexistent format",v,v);
     325                 :          0 :     fmt->format = c; v++;
     326                 :            : 
     327         [ #  # ]:          0 :     if (isdigit((int)*v))
     328         [ #  # ]:          0 :       { while (isdigit((int)*v)) v++; } /* FIXME: skip obsolete field width */
     329         [ #  # ]:          0 :     if (*v++ == '.')
     330                 :            :     {
     331         [ #  # ]:          0 :       if (*v == '-') fmt->sigd = -1;
     332                 :            :       else
     333         [ #  # ]:          0 :         if (isdigit((int)*v)) fmt->sigd=atol(v);
     334                 :            :     }
     335                 :            :   }
     336         [ #  # ]:          0 :   if (flag == d_RETURN)
     337                 :            :   {
     338                 :          0 :     char *s = stack_malloc(64);
     339                 :          0 :     (void)sprintf(s, "%c.%ld", fmt->format, fmt->sigd);
     340                 :          0 :     return strtoGENstr(s);
     341                 :            :   }
     342         [ #  # ]:          0 :   if (flag == d_ACKNOWLEDGE)
     343                 :          0 :     pari_printf("   format = %c.%ld\n", fmt->format, fmt->sigd);
     344                 :          0 :   return gnil;
     345                 :            : }
     346                 :            : 
     347                 :            : GEN
     348                 :          0 : sd_compatible(const char *v, long flag)
     349                 :            : {
     350                 :          0 :   const char *msg[] = {
     351                 :            :     "(no backward compatibility)",
     352                 :            :     "(no backward compatibility)",
     353                 :            :     "(no backward compatibility)",
     354                 :            :     "(no backward compatibility)", NULL
     355                 :            :   };
     356                 :          0 :   ulong junk = 0;
     357                 :          0 :   return sd_ulong(v,flag,"compatible",&junk, 0,3,msg);
     358                 :            : }
     359                 :            : 
     360                 :            : GEN
     361                 :          0 : sd_secure(const char *v, long flag)
     362                 :            : {
     363 [ #  # ][ #  # ]:          0 :   if (v && GP_DATA->secure)
     364                 :          0 :     pari_ask_confirm("[secure mode]: About to modify the 'secure' flag");
     365                 :          0 :   return sd_toggle(v,flag,"secure", &(GP_DATA->secure));
     366                 :            : }
     367                 :            : 
     368                 :            : GEN
     369                 :          0 : sd_debug(const char *v, long flag)
     370                 :          0 : { return sd_ulong(v,flag,"debug",&DEBUGLEVEL, 0,20,NULL); }
     371                 :            : 
     372                 :            : GEN
     373                 :          0 : sd_debugfiles(const char *v, long flag)
     374                 :          0 : { return sd_ulong(v,flag,"debugfiles",&DEBUGFILES, 0,20,NULL); }
     375                 :            : 
     376                 :            : GEN
     377                 :          0 : sd_debugmem(const char *v, long flag)
     378                 :          0 : { return sd_ulong(v,flag,"debugmem",&DEBUGMEM, 0,20,NULL); }
     379                 :            : 
     380                 :            : /* set D->hist to size = s / total = t */
     381                 :            : static void
     382                 :       1232 : init_hist(gp_data *D, size_t s, ulong t)
     383                 :            : {
     384                 :       1232 :   gp_hist *H = D->hist;
     385                 :       1232 :   H->total = t;
     386                 :       1232 :   H->size = s;
     387                 :       1232 :   H->v = (gp_hist_cell*)pari_calloc(s * sizeof(gp_hist_cell));
     388                 :       1232 : }
     389                 :            : GEN
     390                 :         14 : sd_histsize(const char *s, long flag)
     391                 :            : {
     392                 :         14 :   gp_hist *H = GP_DATA->hist;
     393                 :         14 :   ulong n = H->size;
     394                 :         14 :   GEN r = sd_ulong(s,flag,"histsize",&n, 1,
     395                 :            :                      (LONG_MAX / sizeof(long)) - 1,NULL);
     396         [ +  - ]:         14 :   if (n != H->size)
     397                 :            :   {
     398                 :         14 :     const ulong total = H->total;
     399                 :            :     long g, h, k, kmin;
     400                 :         14 :     gp_hist_cell *v = H->v, *w; /* v = old data, w = new one */
     401                 :         14 :     size_t sv = H->size, sw;
     402                 :            : 
     403                 :         14 :     init_hist(GP_DATA, n, total);
     404         [ -  + ]:         14 :     if (!total) return r;
     405                 :            : 
     406                 :         14 :     w = H->v;
     407                 :         14 :     sw= H->size;
     408                 :            :     /* copy relevant history entries */
     409                 :         14 :     g     = (total-1) % sv;
     410                 :         14 :     h = k = (total-1) % sw;
     411                 :         14 :     kmin = k - minss(sw, sv);
     412         [ +  + ]:         28 :     for ( ; k > kmin; k--, g--, h--)
     413                 :            :     {
     414                 :         14 :       w[h]   = v[g];
     415                 :         14 :       v[g].z = NULL;
     416         [ +  + ]:         14 :       if (!g) g = sv;
     417         [ +  + ]:         14 :       if (!h) h = sw;
     418                 :            :     }
     419                 :            :     /* clean up */
     420         [ +  + ]:         84 :     for ( ; v[g].z; g--)
     421                 :            :     {
     422                 :         70 :       gunclone(v[g].z);
     423         [ +  + ]:         70 :       if (!g) g = sv;
     424                 :            :     }
     425                 :         14 :     pari_free((void*)v);
     426                 :            :   }
     427                 :         14 :   return r;
     428                 :            : }
     429                 :            : 
     430                 :            : static void
     431                 :          0 : TeX_define(const char *s, const char *def) {
     432                 :          0 :   fprintf(pari_logfile, "\\ifx\\%s\\undefined\n  \\def\\%s{%s}\\fi\n", s,s,def);
     433                 :          0 : }
     434                 :            : static void
     435                 :          0 : TeX_define2(const char *s, const char *def) {
     436                 :          0 :   fprintf(pari_logfile, "\\ifx\\%s\\undefined\n  \\def\\%s#1#2{%s}\\fi\n", s,s,def);
     437                 :          0 : }
     438                 :            : 
     439                 :            : static FILE *
     440                 :          0 : open_logfile(const char *s) {
     441                 :          0 :   FILE *log = fopen(s, "a");
     442         [ #  # ]:          0 :   if (!log) pari_err_FILE("logfile",s);
     443                 :            : #ifndef WINCE
     444                 :          0 :   setbuf(log,(char *)NULL);
     445                 :            : #endif
     446                 :          0 :   return log;
     447                 :            : }
     448                 :            : 
     449                 :            : GEN
     450                 :          0 : sd_log(const char *v, long flag)
     451                 :            : {
     452                 :          0 :   const char *msg[] = {
     453                 :            :       "(off)",
     454                 :            :       "(on)",
     455                 :            :       "(on with colors)",
     456                 :            :       "(TeX output)", NULL
     457                 :            :   };
     458                 :          0 :   ulong oldstyle = logstyle;
     459                 :          0 :   GEN res = sd_ulong(v,flag,"log", &logstyle, 0, 3, msg);
     460                 :            : 
     461         [ #  # ]:          0 :   if (!oldstyle != !logstyle)                /* Compare converts to boolean */
     462                 :            :   { /* toggled LOG */
     463         [ #  # ]:          0 :     if (oldstyle)
     464                 :            :     { /* close log */
     465         [ #  # ]:          0 :       if (flag == d_ACKNOWLEDGE)
     466                 :          0 :         pari_printf("   [logfile was \"%s\"]\n", current_logfile);
     467                 :          0 :       fclose(pari_logfile); pari_logfile = NULL;
     468                 :            :     }
     469                 :            :     else
     470                 :          0 :       pari_logfile = open_logfile(current_logfile);
     471                 :            :   }
     472 [ #  # ][ #  # ]:          0 :   if (pari_logfile && oldstyle != logstyle && logstyle == logstyle_TeX)
                 [ #  # ]
     473                 :            :   {
     474                 :          0 :     TeX_define("PARIbreak",
     475                 :            :                "\\hskip 0pt plus \\hsize\\relax\\discretionary{}{}{}");
     476                 :          0 :     TeX_define("PARIpromptSTART", "\\vskip\\medskipamount\\bgroup\\bf");
     477                 :          0 :     TeX_define("PARIpromptEND", "\\egroup\\bgroup\\tt");
     478                 :          0 :     TeX_define("PARIinputEND", "\\egroup");
     479                 :          0 :     TeX_define2("PARIout",
     480                 :            :                 "\\vskip\\smallskipamount$\\displaystyle{\\tt\\%#1} = #2$");
     481                 :            :   }
     482                 :          0 :   return res;
     483                 :            : }
     484                 :            : 
     485                 :            : GEN
     486                 :          0 : sd_TeXstyle(const char *v, long flag)
     487                 :            : {
     488                 :          0 :   const char *msg[] = { "(bits 0x2/0x4 control output of \\left/\\PARIbreak)",
     489                 :            :                         NULL };
     490                 :          0 :   ulong n = GP_DATA->fmt->TeXstyle;
     491                 :          0 :   GEN z = sd_ulong(v,flag,"TeXstyle", &n, 0, 7, msg);
     492                 :          0 :   GP_DATA->fmt->TeXstyle = n; return z;
     493                 :            : }
     494                 :            : 
     495                 :            : GEN
     496                 :          0 : sd_nbthreads(const char *v, long flag)
     497                 :          0 : { return sd_ulong(v,flag,"nbthreads",&pari_mt_nbthreads, 1,LONG_MAX,NULL); }
     498                 :            : 
     499                 :            : GEN
     500                 :          0 : sd_output(const char *v, long flag)
     501                 :            : {
     502                 :          0 :   const char *msg[] = {"(raw)", "(prettymatrix)", "(prettyprint)",
     503                 :            :                  "(external prettyprint)", NULL};
     504                 :          0 :   ulong n = GP_DATA->fmt->prettyp;
     505                 :          0 :   GEN z = sd_ulong(v,flag,"output", &n, 0,3,msg);
     506                 :          0 :   GP_DATA->fmt->prettyp = n;
     507                 :          0 :   GP_DATA->fmt->sp = (n != f_RAW);
     508                 :          0 :   return z;
     509                 :            : }
     510                 :            : 
     511                 :            : GEN
     512                 :          0 : sd_parisizemax(const char *v, long flag)
     513                 :            : {
     514                 :          0 :   ulong size = pari_mainstack->vsize, n = size;
     515                 :          0 :   GEN r = sd_ulong(v,flag,"parisizemax",&n, 0,LONG_MAX,NULL);
     516         [ #  # ]:          0 :   if (n != size) {
     517         [ #  # ]:          0 :     if (flag == d_INITRC)
     518                 :          0 :       paristack_alloc(pari_mainstack->rsize, n);
     519                 :            :     else
     520                 :          0 :       parivstack_resize(n);
     521                 :            :   }
     522                 :          0 :   return r;
     523                 :            : }
     524                 :            : 
     525                 :            : GEN
     526                 :         28 : sd_parisize(const char *v, long flag)
     527                 :            : {
     528                 :         28 :   ulong rsize = pari_mainstack->rsize, n = rsize;
     529                 :         28 :   GEN r = sd_ulong(v,flag,"parisize",&n, 10000,LONG_MAX,NULL);
     530         [ +  - ]:         28 :   if (n != rsize) {
     531         [ -  + ]:         28 :     if (flag == d_INITRC)
     532                 :          0 :       paristack_alloc(n, pari_mainstack->vsize);
     533                 :            :     else
     534                 :         28 :       paristack_newrsize(n);
     535                 :            :   }
     536                 :          0 :   return r;
     537                 :            : }
     538                 :            : 
     539                 :            : GEN
     540                 :          0 : sd_threadsizemax(const char *v, long flag)
     541                 :            : {
     542                 :          0 :   ulong size = GP_DATA->threadsizemax, n = size;
     543                 :          0 :   GEN r = sd_ulong(v,flag,"threadsizemax",&n, 0,LONG_MAX,NULL);
     544         [ #  # ]:          0 :   if (n != size)
     545                 :          0 :     GP_DATA->threadsizemax = n;
     546                 :          0 :   return r;
     547                 :            : }
     548                 :            : 
     549                 :            : GEN
     550                 :          0 : sd_threadsize(const char *v, long flag)
     551                 :            : {
     552                 :          0 :   ulong size = GP_DATA->threadsize, n = size;
     553                 :          0 :   GEN r = sd_ulong(v,flag,"threadsize",&n, 0,LONG_MAX,NULL);
     554         [ #  # ]:          0 :   if (n != size)
     555                 :          0 :     GP_DATA->threadsize = n;
     556                 :          0 :   return r;
     557                 :            : }
     558                 :            : 
     559                 :            : GEN
     560                 :         14 : sd_primelimit(const char *v, long flag)
     561                 :         14 : { return sd_ulong(v,flag,"primelimit",&(GP_DATA->primelimit),
     562                 :            :                   0,2*(ulong)(LONG_MAX-1024) + 1,NULL); }
     563                 :            : 
     564                 :            : GEN
     565                 :          0 : sd_simplify(const char *v, long flag)
     566                 :          0 : { return sd_toggle(v,flag,"simplify", &(GP_DATA->simplify)); }
     567                 :            : 
     568                 :            : GEN
     569                 :          0 : sd_strictmatch(const char *v, long flag)
     570                 :          0 : { return sd_toggle(v,flag,"strictmatch", &(GP_DATA->strictmatch)); }
     571                 :            : 
     572                 :            : GEN
     573                 :          7 : sd_strictargs(const char *v, long flag)
     574                 :          7 : { return sd_toggle(v,flag,"strictargs", &(GP_DATA->strictargs)); }
     575                 :            : 
     576                 :            : GEN
     577                 :          0 : sd_string(const char *v, long flag, const char *s, char **pstr)
     578                 :            : {
     579                 :          0 :   char *old = *pstr;
     580         [ #  # ]:          0 :   if (v)
     581                 :            :   {
     582                 :          0 :     char *str, *ev = path_expand(v);
     583                 :          0 :     long l = strlen(ev) + 256;
     584                 :          0 :     str = (char *) pari_malloc(l);
     585                 :          0 :     strftime_expand(ev,str, l-1); pari_free(ev);
     586         [ #  # ]:          0 :     if (GP_DATA->secure)
     587                 :            :     {
     588                 :          0 :       char *msg=pari_sprintf("[secure mode]: About to change %s to '%s'",s,str);
     589                 :          0 :       pari_ask_confirm(msg);
     590                 :          0 :       pari_free(msg);
     591                 :            :     }
     592         [ #  # ]:          0 :     if (old) pari_free(old);
     593                 :          0 :     *pstr = old = pari_strdup(str);
     594                 :          0 :     pari_free(str);
     595                 :            :   }
     596         [ #  # ]:          0 :   else if (!old) old = (char*)"<undefined>";
     597         [ #  # ]:          0 :   if (flag == d_RETURN) return strtoGENstr(old);
     598         [ #  # ]:          0 :   if (flag == d_ACKNOWLEDGE) pari_printf("   %s = \"%s\"\n",s,old);
     599                 :          0 :   return gnil;
     600                 :            : }
     601                 :            : 
     602                 :            : GEN
     603                 :          0 : sd_logfile(const char *v, long flag)
     604                 :            : {
     605                 :          0 :   GEN r = sd_string(v, flag, "logfile", &current_logfile);
     606 [ #  # ][ #  # ]:          0 :   if (v && pari_logfile)
     607                 :            :   {
     608                 :          0 :     FILE *log = open_logfile(current_logfile);
     609                 :          0 :     fclose(pari_logfile); pari_logfile = log;
     610                 :            :   }
     611                 :          0 :   return r;
     612                 :            : }
     613                 :            : 
     614                 :            : GEN
     615                 :          0 : sd_factor_add_primes(const char *v, long flag)
     616                 :          0 : { return sd_toggle(v,flag,"factor_add_primes", &factor_add_primes); }
     617                 :            : 
     618                 :            : GEN
     619                 :          0 : sd_factor_proven(const char *v, long flag)
     620                 :          0 : { return sd_toggle(v,flag,"factor_proven", &factor_proven); }
     621                 :            : 
     622                 :            : GEN
     623                 :         14 : sd_new_galois_format(const char *v, long flag)
     624                 :         14 : { return sd_toggle(v,flag,"new_galois_format", &new_galois_format); }
     625                 :            : 
     626                 :            : GEN
     627                 :         19 : sd_datadir(const char *v, long flag)
     628                 :            : {
     629                 :            :   const char *str;
     630         [ -  + ]:         19 :   if (v)
     631                 :            :   {
     632         [ #  # ]:          0 :     if (pari_datadir) pari_free(pari_datadir);
     633                 :          0 :     pari_datadir = path_expand(v);
     634                 :            :   }
     635         [ +  - ]:         19 :   str = pari_datadir? pari_datadir: "none";
     636         [ +  - ]:         19 :   if (flag == d_RETURN) return strtoGENstr(str);
     637         [ #  # ]:          0 :   if (flag == d_ACKNOWLEDGE)
     638                 :          0 :     pari_printf("   datadir = \"%s\"\n", str);
     639                 :         19 :   return gnil;
     640                 :            : }
     641                 :            : 
     642                 :            : static GEN
     643                 :          0 : sd_PATH(const char *v, long flag, const char* s, gp_path *p)
     644                 :            : {
     645         [ #  # ]:          0 :   if (v)
     646                 :            :   {
     647                 :          0 :     pari_free((void*)p->PATH);
     648                 :          0 :     p->PATH = pari_strdup(v);
     649         [ #  # ]:          0 :     if (flag == d_INITRC) return gnil;
     650                 :          0 :     gp_expand_path(p);
     651                 :            :   }
     652         [ #  # ]:          0 :   if (flag == d_RETURN) return strtoGENstr(p->PATH);
     653         [ #  # ]:          0 :   if (flag == d_ACKNOWLEDGE)
     654                 :          0 :     pari_printf("   %s = \"%s\"\n", s, p->PATH);
     655                 :          0 :   return gnil;
     656                 :            : }
     657                 :            : GEN
     658                 :          0 : sd_path(const char *v, long flag)
     659                 :          0 : { return sd_PATH(v, flag, "path", GP_DATA->path); }
     660                 :            : GEN
     661                 :          0 : sd_sopath(char *v, int flag)
     662                 :          0 : { return sd_PATH(v, flag, "sopath", GP_DATA->sopath); }
     663                 :            : 
     664                 :            : static const char *DFT_PRETTYPRINTER = "tex2mail -TeX -noindent -ragged -by_par";
     665                 :            : GEN
     666                 :          0 : sd_prettyprinter(const char *v, long flag)
     667                 :            : {
     668                 :          0 :   gp_pp *pp = GP_DATA->pp;
     669 [ #  # ][ #  # ]:          0 :   if (v && !(GP_DATA->flags & gpd_TEXMACS))
     670                 :            :   {
     671                 :          0 :     char *old = pp->cmd;
     672                 :          0 :     int cancel = (!strcmp(v,"no"));
     673                 :            : 
     674         [ #  # ]:          0 :     if (GP_DATA->secure)
     675                 :          0 :       pari_err(e_MISC,"[secure mode]: can't modify 'prettyprinter' default (to %s)",v);
     676         [ #  # ]:          0 :     if (!strcmp(v,"yes")) v = DFT_PRETTYPRINTER;
     677 [ #  # ][ #  # ]:          0 :     if (old && strcmp(old,v) && pp->file)
                 [ #  # ]
     678                 :            :     {
     679                 :            :       pariFILE *f;
     680         [ #  # ]:          0 :       if (cancel) f = NULL;
     681                 :            :       else
     682                 :            :       {
     683                 :          0 :         f = try_pipe(v, mf_OUT);
     684         [ #  # ]:          0 :         if (!f)
     685                 :            :         {
     686                 :          0 :           pari_warn(warner,"broken prettyprinter: '%s'",v);
     687                 :          0 :           return gnil;
     688                 :            :         }
     689                 :            :       }
     690                 :          0 :       pari_fclose(pp->file);
     691                 :          0 :       pp->file = f;
     692                 :            :     }
     693         [ #  # ]:          0 :     pp->cmd = cancel? NULL: pari_strdup(v);
     694         [ #  # ]:          0 :     if (old) pari_free(old);
     695         [ #  # ]:          0 :     if (flag == d_INITRC) return gnil;
     696                 :            :   }
     697         [ #  # ]:          0 :   if (flag == d_RETURN)
     698         [ #  # ]:          0 :     return strtoGENstr(pp->cmd? pp->cmd: "");
     699         [ #  # ]:          0 :   if (flag == d_ACKNOWLEDGE)
     700         [ #  # ]:          0 :     pari_printf("   prettyprinter = \"%s\"\n",pp->cmd? pp->cmd: "");
     701                 :          0 :   return gnil;
     702                 :            : }
     703                 :            : 
     704                 :            : /* compare entrees s1 s2 according to the associated function name */
     705                 :            : static int
     706                 :          0 : compare_name(const void *s1, const void *s2) {
     707                 :          0 :   entree *e1 = *(entree**)s1, *e2 = *(entree**)s2;
     708                 :          0 :   return strcmp(e1->name, e2->name);
     709                 :            : }
     710                 :            : /* return all entries with class '17' */
     711                 :            : static void
     712                 :          0 : defaults_list(pari_stack *s)
     713                 :            : {
     714                 :            :   entree *ep;
     715                 :            :   long i;
     716         [ #  # ]:          0 :   for (i = 0; i < functions_tblsz; i++)
     717         [ #  # ]:          0 :     for (ep = defaults_hash[i]; ep; ep = ep->next)
     718         [ #  # ]:          0 :       if (ep->menu == 17) pari_stack_pushp(s, ep);
     719                 :          0 : }
     720                 :            : /* ep associated to function f of arity 2. Call f(v,flag) */
     721                 :            : static GEN
     722                 :       2188 : call_f2(entree *ep, const char *v, long flag)
     723                 :       2188 : { return ((GEN (*)(const char*,long))ep->value)(v, flag); }
     724                 :            : GEN
     725                 :       2188 : setdefault(const char *s, const char *v, long flag)
     726                 :            : {
     727                 :            :   entree *ep;
     728         [ -  + ]:       2188 :   if (!s)
     729                 :            :   { /* list all defaults */
     730                 :            :     pari_stack st;
     731                 :            :     entree **L;
     732                 :            :     long i;
     733                 :          0 :     pari_stack_init(&st, sizeof(*L), (void**)&L);
     734                 :          0 :     defaults_list(&st);
     735                 :          0 :     qsort (L, st.n, sizeof(*L), compare_name);
     736         [ #  # ]:          0 :     for (i = 0; i < st.n; i++) (void)call_f2(L[i], NULL, d_ACKNOWLEDGE);
     737                 :          0 :     pari_stack_delete(&st);
     738                 :          0 :     return gnil;
     739                 :            :   }
     740                 :       2188 :   ep = is_entry_intern(s, defaults_hash, NULL);
     741         [ -  + ]:       2188 :   if (!ep)
     742                 :            :   {
     743                 :          0 :     pari_err(e_MISC,"unknown default: %s",s);
     744                 :          0 :     return NULL; /* not reached */
     745                 :            :   }
     746                 :       2188 :   return call_f2(ep, v, flag);
     747                 :            : }
     748                 :            : int
     749                 :         28 : pari_is_default(const char *s)
     750                 :         28 : { return !!is_entry_intern(s, defaults_hash, NULL); }
     751                 :            : 
     752                 :            : GEN
     753         [ +  + ]:       2188 : default0(const char *a, const char *b) { return setdefault(a,b, b? d_SILENT: d_RETURN); }
     754                 :            : 
     755                 :            : /********************************************************************/
     756                 :            : /*                                                                  */
     757                 :            : /*                     INITIALIZE GP_DATA                           */
     758                 :            : /*                                                                  */
     759                 :            : /********************************************************************/
     760                 :            : /* initialize path */
     761                 :            : static void
     762                 :       2436 : init_path(gp_path *path, const char *v)
     763                 :            : {
     764                 :       2436 :   path->PATH = pari_strdup(v);
     765                 :       2436 :   path->dirs = NULL;
     766                 :       2436 : }
     767                 :            : 
     768                 :            : /* initialize D->fmt */
     769                 :            : static void
     770                 :       1218 : init_fmt(gp_data *D)
     771                 :            : {
     772                 :            : #ifdef LONG_IS_64BIT
     773                 :            :   static pariout_t DFLT_OUTPUT = { 'g', 38, 1, f_PRETTYMAT, 0 };
     774                 :            : #else
     775                 :            :   static pariout_t DFLT_OUTPUT = { 'g', 28, 1, f_PRETTYMAT, 0 };
     776                 :            : #endif
     777                 :       1218 :   D->fmt = &DFLT_OUTPUT;
     778                 :       1218 : }
     779                 :            : 
     780                 :            : /* initialize D->pp */
     781                 :            : static void
     782                 :       1218 : init_pp(gp_data *D)
     783                 :            : {
     784                 :       1218 :   gp_pp *p = D->pp;
     785                 :       1218 :   p->cmd = pari_strdup(DFT_PRETTYPRINTER);
     786                 :       1218 :   p->file = NULL;
     787                 :       1218 : }
     788                 :            : 
     789                 :            : static char *
     790                 :       1218 : init_help(void)
     791                 :            : {
     792                 :       1218 :   char *h = os_getenv("GPHELP");
     793                 :            : # ifdef GPHELP
     794         [ +  - ]:       1218 :   if (!h) h = (char*)GPHELP;
     795                 :            : # endif
     796                 :            : #ifdef _WIN32
     797                 :            :   win32_set_pdf_viewer();
     798                 :            : #endif
     799         [ +  - ]:       1218 :   if (h) h = pari_strdup(h);
     800                 :       1218 :   return h;
     801                 :            : }
     802                 :            : 
     803                 :            : static void
     804                 :       1218 : init_graphs(gp_data *D)
     805                 :            : {
     806                 :       1218 :   const char *cols[] = { "",
     807                 :            :     "white","black","blue","violetred","red","green","grey","gainsboro"
     808                 :            :   };
     809                 :       1218 :   const long N = 8;
     810                 :       1218 :   GEN c = cgetalloc(t_VECSMALL, 3), s;
     811                 :            :   long i;
     812                 :       1218 :   c[1] = 4;
     813                 :       1218 :   c[2] = 5;
     814                 :       1218 :   D->graphcolors = c;
     815                 :       1218 :   c = (GEN)pari_malloc((N+1 + 4*N)*sizeof(long));
     816                 :       1218 :   c[0] = evaltyp(t_VEC)|evallg(N+1);
     817         [ +  + ]:      10962 :   for (i = 1, s = c+N+1; i <= N; i++, s += 4)
     818                 :            :   {
     819                 :       9744 :     GEN lp = s;
     820                 :       9744 :     lp[0] = evaltyp(t_STR)|evallg(4);
     821                 :       9744 :     strcpy(GSTR(lp), cols[i]);
     822                 :       9744 :     gel(c,i) = lp;
     823                 :            :   }
     824                 :       1218 :   D->colormap = c;
     825                 :       1218 : }
     826                 :            : 
     827                 :            : gp_data *
     828                 :       1218 : default_gp_data(void)
     829                 :            : {
     830                 :            :   static gp_data __GPDATA, *D = &__GPDATA;
     831                 :            :   static gp_hist __HIST;
     832                 :            :   static gp_pp   __PP;
     833                 :            :   static gp_path __PATH, __SOPATH;
     834                 :            :   static pari_timer __T;
     835                 :            : 
     836                 :       1218 :   D->flags       = 0;
     837                 :       1218 :   D->primelimit  = 500000;
     838                 :            : 
     839                 :            :   /* GP-specific */
     840                 :       1218 :   D->breakloop   = 1;
     841                 :       1218 :   D->echo        = 0;
     842                 :       1218 :   D->lim_lines   = 0;
     843                 :       1218 :   D->linewrap    = 0;
     844                 :       1218 :   D->recover     = 1;
     845                 :       1218 :   D->chrono      = 0;
     846                 :            : 
     847                 :       1218 :   D->strictargs  = 0;
     848                 :       1218 :   D->strictmatch = 1;
     849                 :       1218 :   D->simplify    = 1;
     850                 :       1218 :   D->secure      = 0;
     851                 :       1218 :   D->use_readline= 0;
     852                 :       1218 :   D->T    = &__T;
     853                 :       1218 :   D->hist = &__HIST;
     854                 :       1218 :   D->pp   = &__PP;
     855                 :       1218 :   D->path = &__PATH;
     856                 :       1218 :   D->sopath=&__SOPATH;
     857                 :       1218 :   init_fmt(D);
     858                 :       1218 :   init_hist(D, 5000, 0);
     859                 :       1218 :   init_path(D->path, pari_default_path());
     860                 :       1218 :   init_path(D->sopath, "");
     861                 :       1218 :   init_pp(D);
     862                 :       1218 :   init_graphs(D);
     863                 :       1218 :   D->prompt_comment = (char*)"comment> ";
     864                 :       1218 :   D->prompt = pari_strdup("? ");
     865                 :       1218 :   D->prompt_cont = pari_strdup("");
     866                 :       1218 :   D->help = init_help();
     867                 :       1218 :   D->readline_state = DO_ARGS_COMPLETE;
     868                 :       1218 :   D->histfile = NULL;
     869                 :       1218 :   return D;
     870                 :            : }

Generated by: LCOV version 1.9