Changeset d30a399 in git for Singular/links/silink.cc

Timestamp:

Oct 19, 2012, 9:59:20 AM (10 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')

Children:

8710ff0734063b049b29453b8d06161041fffbc7b37b3984a12e1552c7bafc9fd5a7849240ea7980

Parents:

f2359093b446e8c68c3bda0f0484c4dbf7bd93a8

Message:

chg: option handling: test,verbose renamed to si_opt_1,si_opt_2

File:

• Singular/links/silink.cc (modified) (7 diffs)

Singular/links/silink.cc

@@ -236 +236 @@
 leftv slRead(si_link l, leftv a)
 {
-  char *mode;
   leftv v = NULL;
   if( ! SI_LINK_R_OPEN_P(l)) // open r ?
@@ -381 +380 @@
 
 /* =============== ASCII ============================================= */
-BOOLEAN slOpenAscii(si_link l, short flag, leftv h)
+BOOLEAN slOpenAscii(si_link l, short flag, leftv)
 {
   const char *mode;
@@ -546 +545 @@
 
   if (currRingHdl != rh) rSetHdl(rh);
-  fprintf(fd, "option(set, intvec(%d, %d));\n", test, verbose);
+  fprintf(fd, "option(set, intvec(%d, %d));\n", si_opt_1, si_opt_2);
   fprintf(fd, "RETURN();\n");
   fflush(fd);
@@ -665 +664 @@
         lists l = IDLIST(h);
         int i, nl = l->nr + 1;
-        char *name;
 
         for (i=0; i<nl; i++)
@@ -740 +738 @@
   else  if (type_id == STRING_CMD)
   {
-    char *pstr = IDSTRING(h), c;
+    char *pstr = IDSTRING(h);
     fputc('"', fd);
     while (*pstr != '\0')
@@ -753 +751 @@
   {
     procinfov pi = IDPROC(h);
-    if (pi->language == LANG_SINGULAR) {
+    if (pi->language == LANG_SINGULAR)
+    {
       if( pi->data.s.body==NULL) iiGetLibProcBuffer(pi);
-      char *pstr = pi->data.s.body, c;
+      char *pstr = pi->data.s.body;
       fputc('"', fd);
-      while (*pstr != '\0') {
+      while (*pstr != '\0')
+      {
         if (*pstr == '"' || *pstr == '\\') fputc('\\', fd);
         fputc(*pstr, fd);
@@ -763 +763 @@
       }
       fputc('"', fd);
-    } else fputs("(null)", fd);
+    }
+    else fputs("(null)", fd);
   }
   else