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

Generated by: LCOV version 1.9