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 17238-ce76349) Lines: 204 472 43.2 %
Date: 2014-12-20 Functions: 26 58 44.8 %
Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: 68 298 22.8 %

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

Generated by: LCOV version 1.9