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 16624-25b9976) Lines: 184 449 41.0 %
Date: 2014-06-24 Functions: 26 57 45.6 %
Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: 69 303 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                 :            : /* Simple-minded parsing utilities. These are forbidden to use the GP stack
      17                 :            :  * which may not exist at this point [e.g upon GP initialization]  */
      18                 :            : 
      19                 :            : #ifdef MAXPATHLEN
      20                 :            : #  define GET_SEP_SIZE MAXPATHLEN
      21                 :            : #else
      22                 :            : #  define GET_SEP_SIZE 128
      23                 :            : #endif
      24                 :            : 
      25                 :            : /* Return all chars, up to next separator
      26                 :            :  * [as strtok but must handle verbatim character string] */
      27                 :            : char*
      28                 :       2134 : get_sep(const char *t)
      29                 :            : {
      30                 :            :   static char buf[GET_SEP_SIZE], *lim = buf + GET_SEP_SIZE;
      31                 :       2134 :   char *s = buf;
      32                 :       2134 :   int outer = 1;
      33                 :            : 
      34                 :            :   for(;;)
      35                 :            :   {
      36   [ -  +  -  +  :       6708 :     switch(*s++ = *t++)
                      + ]
      37                 :            :     {
      38                 :            :       case '"':
      39                 :          0 :         outer = !outer; break;
      40                 :            :       case '\0':
      41                 :       2129 :         return buf;
      42                 :            :       case ';':
      43         [ #  # ]:          0 :         if (outer) { s[-1] = 0; return buf; }
      44                 :          0 :         break;
      45                 :            :       case '\\': /* gobble next char */
      46         [ -  + ]:          5 :         if (s == lim) break;
      47         [ +  - ]:          5 :         if (! (*s++ = *t++) ) return buf;
      48                 :            :     }
      49         [ -  + ]:       4574 :     if (s == lim)
      50                 :          0 :       pari_err(e_MISC,"get_sep: argument too long (< %ld chars)", GET_SEP_SIZE);
      51                 :       6708 :   }
      52                 :            : }
      53                 :            : 
      54                 :            : static ulong
      55                 :         10 : safe_mul(ulong x, ulong y)
      56                 :            : {
      57                 :            :   ulong z;
      58                 :            :   LOCAL_HIREMAINDER;
      59                 :         10 :   z = mulll(x, y);
      60 [ +  - ][ +  - ]:         10 :   return hiremainder? 0: z;
      61                 :            : }
      62                 :            : 
      63                 :            : /* "atoul" + optional [kmg] suffix */
      64                 :            : static ulong
      65                 :       1896 : my_int(char *s)
      66                 :            : {
      67                 :       1896 :   ulong n = 0;
      68                 :       1896 :   char *p = s;
      69                 :            : 
      70         [ +  + ]:       6085 :   while (isdigit((int)*p)) {
      71                 :            :     ulong m;
      72         [ -  + ]:       4189 :     if (n > (~0UL / 10)) pari_err(e_SYNTAX,"integer too large",s,s);
      73                 :       4189 :     n *= 10; m = n;
      74                 :       4189 :     n += *p++ - '0';
      75         [ -  + ]:       4189 :     if (n < m) pari_err(e_SYNTAX,"integer too large",s,s);
      76                 :            :   }
      77         [ +  + ]:       1896 :   if (n)
      78                 :            :   {
      79   [ -  +  -  + ]:       1891 :     switch(*p)
      80                 :            :     {
      81                 :          0 :       case 'k': case 'K': n = safe_mul(n,1000UL);       p++; break;
      82                 :         10 :       case 'm': case 'M': n = safe_mul(n,1000000UL);    p++; break;
      83                 :          0 :       case 'g': case 'G': n = safe_mul(n,1000000000UL); p++; break;
      84                 :            :     }
      85         [ -  + ]:       1891 :     if (!n) pari_err(e_SYNTAX,"integer too large",s,s);
      86                 :            :   }
      87         [ -  + ]:       1896 :   if (*p) pari_err(e_SYNTAX,"I was expecting an integer here", s, s);
      88                 :       1896 :   return n;
      89                 :            : }
      90                 :            : 
      91                 :            : long
      92                 :        183 : get_int(const char *s, long dflt)
      93                 :            : {
      94                 :        183 :   char *p = get_sep(s);
      95                 :            :   long n;
      96                 :        183 :   int minus = 0;
      97                 :            : 
      98         [ -  + ]:        183 :   if (*p == '-') { minus = 1; p++; }
      99         [ -  + ]:        183 :   if (!isdigit((int)*p)) return dflt;
     100                 :            : 
     101                 :        183 :   n = (long)my_int(p);
     102         [ -  + ]:        183 :   if (n < 0) pari_err(e_SYNTAX,"integer too large",s,s);
     103         [ -  + ]:        183 :   return minus? -n: n;
     104                 :            : }
     105                 :            : 
     106                 :            : ulong
     107                 :       1713 : get_uint(const char *s)
     108                 :            : {
     109                 :       1713 :   char *p = get_sep(s);
     110         [ -  + ]:       1713 :   if (*p == '-') pari_err(e_SYNTAX,"arguments must be positive integers",s,s);
     111                 :       1713 :   return my_int(p);
     112                 :            : }
     113                 :            : 
     114                 :            : /********************************************************************/
     115                 :            : /*                                                                  */
     116                 :            : /*                            DEFAULTS                              */
     117                 :            : /*                                                                  */
     118                 :            : /********************************************************************/
     119                 :            : 
     120                 :            : long
     121                 :          0 : getrealprecision(void)
     122                 :            : {
     123                 :          0 :   return GP_DATA->fmt->sigd;
     124                 :            : }
     125                 :            : 
     126                 :            : long
     127                 :          0 : setrealprecision(long n, long *prec)
     128                 :            : {
     129                 :          0 :   GP_DATA->fmt->sigd = n;
     130                 :          0 :   *prec = precreal = ndec2prec(n);
     131                 :          0 :   return n;
     132                 :            : }
     133                 :            : 
     134                 :            : GEN
     135                 :        183 : sd_toggle(const char *v, long flag, const char *s, int *ptn)
     136                 :            : {
     137                 :        183 :   int state = *ptn;
     138         [ +  - ]:        183 :   if (v)
     139                 :            :   {
     140                 :        183 :     int n = (int)get_int(v,0);
     141         [ -  + ]:        183 :     if (n == state) return gnil;
     142         [ -  + ]:        183 :     if (n != !state)
     143                 :            :     {
     144                 :          0 :       char *t = stack_malloc(64 + strlen(s));
     145                 :          0 :       (void)sprintf(t, "default: incorrect value for %s [0:off / 1:on]", s);
     146                 :          0 :       pari_err(e_SYNTAX, t, v,v);
     147                 :            :     }
     148                 :        183 :     state = *ptn = n;
     149                 :            :   }
     150      [ -  +  + ]:        183 :   switch(flag)
     151                 :            :   {
     152                 :          0 :     case d_RETURN: return utoi(state);
     153                 :            :     case d_ACKNOWLEDGE:
     154         [ +  - ]:        148 :       if (state) pari_printf("   %s = 1 (on)\n", s);
     155                 :          0 :       else       pari_printf("   %s = 0 (off)\n", s);
     156                 :        148 :       break;
     157                 :            :   }
     158                 :        183 :   return gnil;
     159                 :            : }
     160                 :            : 
     161                 :            : static void
     162                 :       1713 : sd_ulong_init(const char *v, const char *s, ulong *ptn, ulong Min, ulong Max)
     163                 :            : {
     164         [ +  - ]:       1713 :   if (v)
     165                 :            :   {
     166                 :       1713 :     ulong n = get_uint(v);
     167 [ +  - ][ -  + ]:       1713 :     if (n > Max || n < Min)
     168                 :            :     {
     169                 :          0 :       char *buf = stack_malloc(strlen(s) + 2 * 20 + 40);
     170                 :          0 :       (void)sprintf(buf, "default: incorrect value for %s [%lu-%lu]",
     171                 :            :                     s, Min, Max);
     172                 :          0 :       pari_err(e_SYNTAX, buf, v,v);
     173                 :            :     }
     174                 :       1713 :     *ptn = n;
     175                 :            :   }
     176                 :       1713 : }
     177                 :            : 
     178                 :            : /* msg is NULL or NULL-terminated array with msg[0] != NULL. */
     179                 :            : GEN
     180                 :         60 : sd_ulong(const char *v, long flag, const char *s, ulong *ptn, ulong Min, ulong Max,
     181                 :            :          const char **msg)
     182                 :            : {
     183                 :         60 :   ulong n = *ptn;
     184                 :         60 :   sd_ulong_init(v, s, ptn, Min, Max);
     185      [ -  -  + ]:         60 :   switch(flag)
     186                 :            :   {
     187                 :            :     case d_RETURN:
     188                 :          0 :       return utoi(*ptn);
     189                 :            :     case d_ACKNOWLEDGE:
     190 [ #  # ][ #  # ]:          0 :       if (!v || *ptn != n) {
     191         [ #  # ]:          0 :         if (!msg)         /* no specific message */
     192                 :          0 :           pari_printf("   %s = %lu\n", s, *ptn);
     193         [ #  # ]:          0 :         else if (!msg[1]) /* single message, always printed */
     194                 :          0 :           pari_printf("   %s = %lu %s\n", s, *ptn, msg[0]);
     195                 :            :         else              /* print (new)-n-th message */
     196                 :          0 :           pari_printf("   %s = %lu %s\n", s, *ptn, msg[*ptn]);
     197                 :            :       }
     198                 :          0 :       break;
     199                 :            :   }
     200                 :         60 :   return gnil;
     201                 :            : }
     202                 :            : 
     203                 :            : GEN
     204                 :       1653 : sd_realprecision(const char *v, long flag)
     205                 :            : {
     206                 :       1653 :   pariout_t *fmt = GP_DATA->fmt;
     207         [ +  - ]:       1653 :   if (v)
     208                 :            :   {
     209                 :       1653 :     ulong newnb = fmt->sigd, prec;
     210                 :       1653 :     sd_ulong_init(v, "realprecision", &newnb, 1, prec2ndec(LGBITS));
     211         [ +  + ]:       1653 :     if (fmt->sigd == (long)newnb) return gnil;
     212         [ +  - ]:       1453 :     if (fmt->sigd >= 0) fmt->sigd = newnb;
     213                 :       1453 :     prec = (ulong)ndec2prec(newnb);
     214         [ +  + ]:       1453 :     if (prec == precreal) return gnil;
     215                 :       1653 :     precreal = prec;
     216                 :            :   }
     217         [ -  + ]:       1449 :   if (flag == d_RETURN) return stoi(prec2ndec(precreal));
     218         [ +  + ]:       1449 :   if (flag == d_ACKNOWLEDGE)
     219                 :            :   {
     220                 :        195 :     long n = prec2ndec(precreal);
     221                 :        195 :     pari_printf("   realprecision = %ld significant digits", n);
     222         [ -  + ]:        195 :     if (fmt->sigd < 0)
     223                 :          0 :       pari_puts(" (all digits displayed)");
     224         [ +  + ]:        195 :     else if (n != fmt->sigd)
     225                 :         20 :       pari_printf(" (%ld digits displayed)", fmt->sigd);
     226                 :        195 :     pari_putc('\n');
     227                 :            :   }
     228                 :       1653 :   return gnil;
     229                 :            : }
     230                 :            : 
     231                 :            : GEN
     232                 :         15 : sd_seriesprecision(const char *v, long flag)
     233                 :            : {
     234                 :         15 :   const char *msg[] = {"significant terms", NULL};
     235                 :         15 :   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 = filtre(v, 0);
     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                 :          5 : sd_compatible(const char *v, long flag)
     358                 :            : {
     359                 :          5 :   const char *msg[] = {
     360                 :            :     "(no backward compatibility)",
     361                 :            :     "(warn when using obsolete functions)",
     362                 :            :     "(use old functions, don't ignore case)",
     363                 :            :     "(use old functions, ignore case)", NULL
     364                 :            :   };
     365                 :          5 :   ulong old = compatible;
     366                 :          5 :   GEN r = sd_ulong(v,flag,"compatible",&compatible, 0,3,msg);
     367                 :            : 
     368 [ +  - ][ +  - ]:          5 :   if (old != compatible && flag != d_INITRC && gp_init_functions())
                 [ +  - ]
     369                 :          5 :     pari_warn(warner,"user functions re-initialized");
     370                 :          5 :   return r;
     371                 :            : }
     372                 :            : 
     373                 :            : GEN
     374                 :          0 : sd_secure(const char *v, long flag)
     375                 :            : {
     376 [ #  # ][ #  # ]:          0 :   if (v && GP_DATA->secure)
     377                 :          0 :     pari_ask_confirm("[secure mode]: About to modify the 'secure' flag");
     378                 :          0 :   return sd_toggle(v,flag,"secure", &(GP_DATA->secure));
     379                 :            : }
     380                 :            : 
     381                 :            : GEN
     382                 :          0 : sd_debug(const char *v, long flag)
     383                 :          0 : { return sd_ulong(v,flag,"debug",&DEBUGLEVEL, 0,20,NULL); }
     384                 :            : 
     385                 :            : GEN
     386                 :          0 : sd_debugfiles(const char *v, long flag)
     387                 :          0 : { return sd_ulong(v,flag,"debugfiles",&DEBUGFILES, 0,20,NULL); }
     388                 :            : 
     389                 :            : GEN
     390                 :          0 : sd_debugmem(const char *v, long flag)
     391                 :          0 : { return sd_ulong(v,flag,"debugmem",&DEBUGMEM, 0,20,NULL); }
     392                 :            : 
     393                 :            : /* set D->hist to size = s / total = t */
     394                 :            : static void
     395                 :        923 : init_hist(gp_data *D, size_t s, ulong t)
     396                 :            : {
     397                 :        923 :   gp_hist *H = D->hist;
     398                 :        923 :   H->total = t;
     399                 :        923 :   H->size = s;
     400                 :        923 :   H->v = (gp_hist_cell*)pari_calloc(s * sizeof(gp_hist_cell));
     401                 :        923 : }
     402                 :            : GEN
     403                 :         10 : sd_histsize(const char *s, long flag)
     404                 :            : {
     405                 :         10 :   gp_hist *H = GP_DATA->hist;
     406                 :         10 :   ulong n = H->size;
     407                 :         10 :   GEN r = sd_ulong(s,flag,"histsize",&n, 1,
     408                 :            :                      (LONG_MAX / sizeof(long)) - 1,NULL);
     409         [ +  - ]:         10 :   if (n != H->size)
     410                 :            :   {
     411                 :         10 :     const ulong total = H->total;
     412                 :            :     long g, h, k, kmin;
     413                 :         10 :     gp_hist_cell *v = H->v, *w; /* v = old data, w = new one */
     414                 :         10 :     size_t sv = H->size, sw;
     415                 :            : 
     416                 :         10 :     init_hist(GP_DATA, n, total);
     417         [ -  + ]:         10 :     if (!total) return r;
     418                 :            : 
     419                 :         10 :     w = H->v;
     420                 :         10 :     sw= H->size;
     421                 :            :     /* copy relevant history entries */
     422                 :         10 :     g     = (total-1) % sv;
     423                 :         10 :     h = k = (total-1) % sw;
     424                 :         10 :     kmin = k - minss(sw, sv);
     425         [ +  + ]:         20 :     for ( ; k > kmin; k--, g--, h--)
     426                 :            :     {
     427                 :         10 :       w[h]   = v[g];
     428                 :         10 :       v[g].z = NULL;
     429         [ +  + ]:         10 :       if (!g) g = sv;
     430         [ +  + ]:         10 :       if (!h) h = sw;
     431                 :            :     }
     432                 :            :     /* clean up */
     433         [ +  + ]:         60 :     for ( ; v[g].z; g--)
     434                 :            :     {
     435                 :         50 :       gunclone(v[g].z);
     436         [ +  + ]:         50 :       if (!g) g = sv;
     437                 :            :     }
     438                 :         10 :     pari_free((void*)v);
     439                 :            :   }
     440                 :         10 :   return r;
     441                 :            : }
     442                 :            : 
     443                 :            : static void
     444                 :          0 : TeX_define(const char *s, const char *def) {
     445                 :          0 :   fprintf(pari_logfile, "\\ifx\\%s\\undefined\n  \\def\\%s{%s}\\fi\n", s,s,def);
     446                 :          0 : }
     447                 :            : static void
     448                 :          0 : TeX_define2(const char *s, const char *def) {
     449                 :          0 :   fprintf(pari_logfile, "\\ifx\\%s\\undefined\n  \\def\\%s#1#2{%s}\\fi\n", s,s,def);
     450                 :          0 : }
     451                 :            : 
     452                 :            : static FILE *
     453                 :          0 : open_logfile(const char *s) {
     454                 :          0 :   FILE *log = fopen(s, "a");
     455         [ #  # ]:          0 :   if (!log) pari_err_FILE("logfile",s);
     456                 :            : #ifndef WINCE
     457                 :          0 :   setbuf(log,(char *)NULL);
     458                 :            : #endif
     459                 :          0 :   return log;
     460                 :            : }
     461                 :            : 
     462                 :            : GEN
     463                 :          0 : sd_log(const char *v, long flag)
     464                 :            : {
     465                 :          0 :   const char *msg[] = {
     466                 :            :       "(off)",
     467                 :            :       "(on)",
     468                 :            :       "(on with colors)",
     469                 :            :       "(TeX output)", NULL
     470                 :            :   };
     471                 :          0 :   ulong oldstyle = logstyle;
     472                 :          0 :   GEN res = sd_ulong(v,flag,"log", &logstyle, 0, 3, msg);
     473                 :            : 
     474         [ #  # ]:          0 :   if (!oldstyle != !logstyle)                /* Compare converts to boolean */
     475                 :            :   { /* toggled LOG */
     476         [ #  # ]:          0 :     if (oldstyle)
     477                 :            :     { /* close log */
     478         [ #  # ]:          0 :       if (flag == d_ACKNOWLEDGE)
     479                 :          0 :         pari_printf("   [logfile was \"%s\"]\n", current_logfile);
     480                 :          0 :       fclose(pari_logfile); pari_logfile = NULL;
     481                 :            :     }
     482                 :            :     else
     483                 :          0 :       pari_logfile = open_logfile(current_logfile);
     484                 :            :   }
     485 [ #  # ][ #  # ]:          0 :   if (pari_logfile && oldstyle != logstyle && logstyle == logstyle_TeX)
                 [ #  # ]
     486                 :            :   {
     487                 :          0 :     TeX_define("PARIbreak",
     488                 :            :                "\\hskip 0pt plus \\hsize\\relax\\discretionary{}{}{}");
     489                 :          0 :     TeX_define("PARIpromptSTART", "\\vskip\\medskipamount\\bgroup\\bf");
     490                 :          0 :     TeX_define("PARIpromptEND", "\\egroup\\bgroup\\tt");
     491                 :          0 :     TeX_define("PARIinputEND", "\\egroup");
     492                 :          0 :     TeX_define2("PARIout",
     493                 :            :                 "\\vskip\\smallskipamount$\\displaystyle{\\tt\\%#1} = #2$");
     494                 :            :   }
     495                 :          0 :   return res;
     496                 :            : }
     497                 :            : 
     498                 :            : GEN
     499                 :          0 : sd_TeXstyle(const char *v, long flag)
     500                 :            : {
     501                 :          0 :   const char *msg[] = { "(bits 0x2/0x4 control output of \\left/\\PARIbreak)",
     502                 :            :                         NULL };
     503                 :          0 :   ulong n = GP_DATA->fmt->TeXstyle;
     504                 :          0 :   GEN z = sd_ulong(v,flag,"TeXstyle", &n, 0, 7, msg);
     505                 :          0 :   GP_DATA->fmt->TeXstyle = n; return z;
     506                 :            : }
     507                 :            : 
     508                 :            : GEN
     509                 :          0 : sd_nbthreads(const char *v, long flag)
     510                 :          0 : { return sd_ulong(v,flag,"nbthreads",&pari_mt_nbthreads, 1,LONG_MAX,NULL); }
     511                 :            : 
     512                 :            : GEN
     513                 :          0 : sd_output(const char *v, long flag)
     514                 :            : {
     515                 :          0 :   const char *msg[] = {"(raw)", "(prettymatrix)", "(prettyprint)",
     516                 :            :                  "(external prettyprint)", NULL};
     517                 :          0 :   ulong n = GP_DATA->fmt->prettyp;
     518                 :          0 :   GEN z = sd_ulong(v,flag,"output", &n, 0,3,msg);
     519                 :          0 :   GP_DATA->fmt->prettyp = n;
     520                 :          0 :   GP_DATA->fmt->sp = (n != f_RAW);
     521                 :          0 :   return z;
     522                 :            : }
     523                 :            : 
     524                 :            : GEN
     525                 :          0 : sd_parisizemax(const char *v, long flag)
     526                 :            : {
     527                 :          0 :   ulong size = pari_mainstack->vsize, n = size;
     528                 :          0 :   GEN r = sd_ulong(v,flag,"parisizemax",&n, 0,LONG_MAX,NULL);
     529         [ #  # ]:          0 :   if (n != size) {
     530         [ #  # ]:          0 :     if (flag == d_INITRC)
     531                 :          0 :       paristack_alloc(pari_mainstack->rsize, n);
     532                 :            :     else
     533                 :          0 :       parivstack_resize(n);
     534                 :            :   }
     535                 :          0 :   return r;
     536                 :            : }
     537                 :            : 
     538                 :            : GEN
     539                 :         20 : sd_parisize(const char *v, long flag)
     540                 :            : {
     541                 :         20 :   ulong rsize = pari_mainstack->rsize, n = rsize;
     542                 :         20 :   GEN r = sd_ulong(v,flag,"parisize",&n, 10000,LONG_MAX,NULL);
     543         [ +  - ]:         20 :   if (n != rsize) {
     544         [ -  + ]:         20 :     if (flag == d_INITRC)
     545                 :          0 :       paristack_alloc(n, pari_mainstack->vsize);
     546                 :            :     else
     547                 :         20 :       paristack_newrsize(n);
     548                 :            :   }
     549                 :          0 :   return r;
     550                 :            : }
     551                 :            : 
     552                 :            : GEN
     553                 :          0 : sd_threadsizemax(const char *v, long flag)
     554                 :            : {
     555                 :          0 :   ulong size = GP_DATA->threadsizemax, n = size;
     556                 :          0 :   GEN r = sd_ulong(v,flag,"threadsizemax",&n, 0,LONG_MAX,NULL);
     557         [ #  # ]:          0 :   if (n != size)
     558                 :          0 :     GP_DATA->threadsizemax = n;
     559                 :          0 :   return r;
     560                 :            : }
     561                 :            : 
     562                 :            : GEN
     563                 :          0 : sd_threadsize(const char *v, long flag)
     564                 :            : {
     565                 :          0 :   ulong size = GP_DATA->threadsize, n = size;
     566                 :          0 :   GEN r = sd_ulong(v,flag,"threadsize",&n, 0,LONG_MAX,NULL);
     567         [ #  # ]:          0 :   if (n != size)
     568                 :          0 :     GP_DATA->threadsize = n;
     569                 :          0 :   return r;
     570                 :            : }
     571                 :            : 
     572                 :            : GEN
     573                 :         10 : sd_primelimit(const char *v, long flag)
     574                 :         10 : { return sd_ulong(v,flag,"primelimit",&(GP_DATA->primelimit),
     575                 :            :                   0,2*(ulong)(LONG_MAX-1024) + 1,NULL); }
     576                 :            : 
     577                 :            : GEN
     578                 :          0 : sd_simplify(const char *v, long flag)
     579                 :          0 : { return sd_toggle(v,flag,"simplify", &(GP_DATA->simplify)); }
     580                 :            : 
     581                 :            : GEN
     582                 :          0 : sd_strictmatch(const char *v, long flag)
     583                 :          0 : { return sd_toggle(v,flag,"strictmatch", &(GP_DATA->strictmatch)); }
     584                 :            : 
     585                 :            : GEN
     586                 :          5 : sd_strictargs(const char *v, long flag)
     587                 :          5 : { return sd_toggle(v,flag,"strictargs", &(GP_DATA->strictargs)); }
     588                 :            : 
     589                 :            : GEN
     590                 :          0 : sd_string(const char *v, long flag, const char *s, char **pstr)
     591                 :            : {
     592                 :          0 :   char *old = *pstr;
     593         [ #  # ]:          0 :   if (v)
     594                 :            :   {
     595                 :          0 :     char *str, *ev = path_expand(v);
     596                 :          0 :     long l = strlen(ev) + 256;
     597                 :          0 :     str = (char *) pari_malloc(l);
     598                 :          0 :     strftime_expand(ev,str, l-1); pari_free(ev);
     599         [ #  # ]:          0 :     if (GP_DATA->secure)
     600                 :            :     {
     601                 :          0 :       char *msg=pari_sprintf("[secure mode]: About to change %s to '%s'",s,str);
     602                 :          0 :       pari_ask_confirm(msg);
     603                 :          0 :       pari_free(msg);
     604                 :            :     }
     605         [ #  # ]:          0 :     if (old) pari_free(old);
     606                 :          0 :     *pstr = old = pari_strdup(str);
     607                 :          0 :     pari_free(str);
     608                 :            :   }
     609         [ #  # ]:          0 :   else if (!old) old = (char*)"<undefined>";
     610         [ #  # ]:          0 :   if (flag == d_RETURN) return strtoGENstr(old);
     611         [ #  # ]:          0 :   if (flag == d_ACKNOWLEDGE) pari_printf("   %s = \"%s\"\n",s,old);
     612                 :          0 :   return gnil;
     613                 :            : }
     614                 :            : 
     615                 :            : GEN
     616                 :          0 : sd_logfile(const char *v, long flag)
     617                 :            : {
     618                 :          0 :   GEN r = sd_string(v, flag, "logfile", &current_logfile);
     619 [ #  # ][ #  # ]:          0 :   if (v && pari_logfile)
     620                 :            :   {
     621                 :          0 :     FILE *log = open_logfile(current_logfile);
     622                 :          0 :     fclose(pari_logfile); pari_logfile = log;
     623                 :            :   }
     624                 :          0 :   return r;
     625                 :            : }
     626                 :            : 
     627                 :            : GEN
     628                 :          0 : sd_factor_add_primes(const char *v, long flag)
     629                 :          0 : { return sd_toggle(v,flag,"factor_add_primes", &factor_add_primes); }
     630                 :            : 
     631                 :            : GEN
     632                 :          0 : sd_factor_proven(const char *v, long flag)
     633                 :          0 : { return sd_toggle(v,flag,"factor_proven", &factor_proven); }
     634                 :            : 
     635                 :            : GEN
     636                 :         10 : sd_new_galois_format(const char *v, long flag)
     637                 :         10 : { return sd_toggle(v,flag,"new_galois_format", &new_galois_format); }
     638                 :            : 
     639                 :            : GEN
     640                 :         17 : sd_datadir(const char *v, long flag)
     641                 :            : {
     642                 :            :   const char *str;
     643         [ -  + ]:         17 :   if (v)
     644                 :            :   {
     645         [ #  # ]:          0 :     if (pari_datadir) pari_free(pari_datadir);
     646                 :          0 :     pari_datadir = path_expand(v);
     647                 :            :   }
     648         [ +  - ]:         17 :   str = pari_datadir? pari_datadir: "none";
     649         [ +  - ]:         17 :   if (flag == d_RETURN) return strtoGENstr(str);
     650         [ #  # ]:          0 :   if (flag == d_ACKNOWLEDGE)
     651                 :          0 :     pari_printf("   datadir = \"%s\"\n", str);
     652                 :         17 :   return gnil;
     653                 :            : }
     654                 :            : 
     655                 :            : static GEN
     656                 :          0 : sd_PATH(const char *v, long flag, const char* s, gp_path *p)
     657                 :            : {
     658         [ #  # ]:          0 :   if (v)
     659                 :            :   {
     660                 :          0 :     pari_free((void*)p->PATH);
     661                 :          0 :     p->PATH = pari_strdup(v);
     662         [ #  # ]:          0 :     if (flag == d_INITRC) return gnil;
     663                 :          0 :     gp_expand_path(p);
     664                 :            :   }
     665         [ #  # ]:          0 :   if (flag == d_RETURN) return strtoGENstr(p->PATH);
     666         [ #  # ]:          0 :   if (flag == d_ACKNOWLEDGE)
     667                 :          0 :     pari_printf("   %s = \"%s\"\n", s, p->PATH);
     668                 :          0 :   return gnil;
     669                 :            : }
     670                 :            : GEN
     671                 :          0 : sd_path(const char *v, long flag)
     672                 :          0 : { return sd_PATH(v, flag, "path", GP_DATA->path); }
     673                 :            : GEN
     674                 :          0 : sd_sopath(char *v, int flag)
     675                 :          0 : { return sd_PATH(v, flag, "sopath", GP_DATA->sopath); }
     676                 :            : 
     677                 :            : static const char *DFT_PRETTYPRINTER = "tex2mail -TeX -noindent -ragged -by_par";
     678                 :            : GEN
     679                 :          0 : sd_prettyprinter(const char *v, long flag)
     680                 :            : {
     681                 :          0 :   gp_pp *pp = GP_DATA->pp;
     682 [ #  # ][ #  # ]:          0 :   if (v && !(GP_DATA->flags & gpd_TEXMACS))
     683                 :            :   {
     684                 :          0 :     char *old = pp->cmd;
     685                 :          0 :     int cancel = (!strcmp(v,"no"));
     686                 :            : 
     687         [ #  # ]:          0 :     if (GP_DATA->secure)
     688                 :          0 :       pari_err(e_MISC,"[secure mode]: can't modify 'prettyprinter' default (to %s)",v);
     689         [ #  # ]:          0 :     if (!strcmp(v,"yes")) v = DFT_PRETTYPRINTER;
     690 [ #  # ][ #  # ]:          0 :     if (old && strcmp(old,v) && pp->file)
                 [ #  # ]
     691                 :            :     {
     692                 :            :       pariFILE *f;
     693         [ #  # ]:          0 :       if (cancel) f = NULL;
     694                 :            :       else
     695                 :            :       {
     696                 :          0 :         f = try_pipe(v, mf_OUT);
     697         [ #  # ]:          0 :         if (!f)
     698                 :            :         {
     699                 :          0 :           pari_warn(warner,"broken prettyprinter: '%s'",v);
     700                 :          0 :           return gnil;
     701                 :            :         }
     702                 :            :       }
     703                 :          0 :       pari_fclose(pp->file);
     704                 :          0 :       pp->file = f;
     705                 :            :     }
     706         [ #  # ]:          0 :     pp->cmd = cancel? NULL: pari_strdup(v);
     707         [ #  # ]:          0 :     if (old) pari_free(old);
     708         [ #  # ]:          0 :     if (flag == d_INITRC) return gnil;
     709                 :            :   }
     710         [ #  # ]:          0 :   if (flag == d_RETURN)
     711         [ #  # ]:          0 :     return strtoGENstr(pp->cmd? pp->cmd: "");
     712         [ #  # ]:          0 :   if (flag == d_ACKNOWLEDGE)
     713         [ #  # ]:          0 :     pari_printf("   prettyprinter = \"%s\"\n",pp->cmd? pp->cmd: "");
     714                 :          0 :   return gnil;
     715                 :            : }
     716                 :            : 
     717                 :            : /* compare entrees s1 s2 according to the associated function name */
     718                 :            : static int
     719                 :          0 : compare_name(const void *s1, const void *s2) {
     720                 :          0 :   entree *e1 = *(entree**)s1, *e2 = *(entree**)s2;
     721                 :          0 :   return strcmp(e1->name, e2->name);
     722                 :            : }
     723                 :            : /* return all entries with class '16' */
     724                 :            : static void
     725                 :          0 : defaults_list(pari_stack *s)
     726                 :            : {
     727                 :            :   entree *ep;
     728                 :            :   long i;
     729         [ #  # ]:          0 :   for (i = 0; i < functions_tblsz; i++)
     730         [ #  # ]:          0 :     for (ep = defaults_hash[i]; ep; ep = ep->next)
     731         [ #  # ]:          0 :       if (ep->menu == 16) pari_stack_pushp(s, ep);
     732                 :          0 : }
     733                 :            : /* ep associated to function f of arity 2. Call f(v,flag) */
     734                 :            : static GEN
     735                 :       1562 : call_f2(entree *ep, const char *v, long flag)
     736                 :       1562 : { return ((GEN (*)(const char*,long))ep->value)(v, flag); }
     737                 :            : GEN
     738                 :       1562 : setdefault(const char *s, const char *v, long flag)
     739                 :            : {
     740                 :            :   entree *ep;
     741         [ -  + ]:       1562 :   if (!s)
     742                 :            :   { /* list all defaults */
     743                 :            :     pari_stack st;
     744                 :            :     entree **L;
     745                 :            :     long i;
     746                 :          0 :     pari_stack_init(&st, sizeof(*L), (void**)&L);
     747                 :          0 :     defaults_list(&st);
     748                 :          0 :     qsort (L, st.n, sizeof(*L), compare_name);
     749         [ #  # ]:          0 :     for (i = 0; i < st.n; i++) (void)call_f2(L[i], NULL, d_ACKNOWLEDGE);
     750                 :          0 :     pari_stack_delete(&st);
     751                 :          0 :     return gnil;
     752                 :            :   }
     753                 :       1562 :   ep = is_entry_intern(s, defaults_hash, NULL);
     754         [ -  + ]:       1562 :   if (!ep)
     755                 :            :   {
     756                 :          0 :     pari_err(e_MISC,"unknown default: %s",s);
     757                 :          0 :     return NULL; /* not reached */
     758                 :            :   }
     759                 :       1562 :   return call_f2(ep, v, flag);
     760                 :            : }
     761                 :            : int
     762                 :         20 : pari_is_default(const char *s)
     763                 :         20 : { return !!is_entry_intern(s, defaults_hash, NULL); }
     764                 :            : 
     765                 :            : GEN
     766         [ +  + ]:       1562 : default0(const char *a, const char *b) { return setdefault(a,b, b? d_SILENT: d_RETURN); }
     767                 :            : 
     768                 :            : /********************************************************************/
     769                 :            : /*                                                                  */
     770                 :            : /*                     INITIALIZE GP_DATA                           */
     771                 :            : /*                                                                  */
     772                 :            : /********************************************************************/
     773                 :            : /* initialize path */
     774                 :            : static void
     775                 :       1826 : init_path(gp_path *path, const char *v)
     776                 :            : {
     777                 :       1826 :   path->PATH = pari_strdup(v);
     778                 :       1826 :   path->dirs = NULL;
     779                 :       1826 : }
     780                 :            : 
     781                 :            : /* initialize D->fmt */
     782                 :            : static void
     783                 :        913 : init_fmt(gp_data *D)
     784                 :            : {
     785                 :            : #ifdef LONG_IS_64BIT
     786                 :            :   static pariout_t DFLT_OUTPUT = { 'g', 38, 1, f_PRETTYMAT, 0 };
     787                 :            : #else
     788                 :            :   static pariout_t DFLT_OUTPUT = { 'g', 28, 1, f_PRETTYMAT, 0 };
     789                 :            : #endif
     790                 :        913 :   D->fmt = &DFLT_OUTPUT;
     791                 :        913 : }
     792                 :            : 
     793                 :            : /* initialize D->pp */
     794                 :            : static void
     795                 :        913 : init_pp(gp_data *D)
     796                 :            : {
     797                 :        913 :   gp_pp *p = D->pp;
     798                 :        913 :   p->cmd = pari_strdup(DFT_PRETTYPRINTER);
     799                 :        913 :   p->file = NULL;
     800                 :        913 : }
     801                 :            : 
     802                 :            : gp_data *
     803                 :        913 : default_gp_data(void)
     804                 :            : {
     805                 :            :   static gp_data __GPDATA, *D = &__GPDATA;
     806                 :            :   static gp_hist __HIST;
     807                 :            :   static gp_pp   __PP;
     808                 :            :   static gp_path __PATH, __SOPATH;
     809                 :            :   static pari_timer __T;
     810                 :            : 
     811                 :        913 :   D->flags       = 0;
     812                 :        913 :   D->primelimit  = 500000;
     813                 :            : 
     814                 :            :   /* GP-specific */
     815                 :        913 :   D->breakloop   = 1;
     816                 :        913 :   D->echo        = 0;
     817                 :        913 :   D->lim_lines   = 0;
     818                 :        913 :   D->linewrap    = 0;
     819                 :        913 :   D->recover     = 1;
     820                 :        913 :   D->chrono      = 0;
     821                 :            : 
     822                 :        913 :   D->strictargs  = 0;
     823                 :        913 :   D->strictmatch = 1;
     824                 :        913 :   D->simplify    = 1;
     825                 :        913 :   D->secure      = 0;
     826                 :        913 :   D->use_readline= 0;
     827                 :        913 :   D->T    = &__T;
     828                 :        913 :   D->hist = &__HIST;
     829                 :        913 :   D->pp   = &__PP;
     830                 :        913 :   D->path = &__PATH;
     831                 :        913 :   D->sopath=&__SOPATH;
     832                 :        913 :   init_fmt(D);
     833                 :        913 :   init_hist(D, 5000, 0);
     834                 :        913 :   init_path(D->path, pari_default_path());
     835                 :        913 :   init_path(D->sopath, "");
     836                 :        913 :   init_pp(D);
     837                 :        913 :   return D;
     838                 :            : }

Generated by: LCOV version 1.9