Changeset 743c32 in git for Singular/iplib.cc

Timestamp:

Apr 29, 1999, 6:57:18 PM (25 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

b98018048375e2844cb029948d521db0a81570d8

Parents:

ce5fb2786eb5fa61fee54f85fe8647ef13e7be20

Message:

* hannes: - OPT_DEBUG revisited
          - fixes to sdb


git-svn-id: file:///usr/local/Singular/svn/trunk@3014 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• Singular/iplib.cc (modified) (12 diffs)

Singular/iplib.cc

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: iplib.cc,v 1.54 1999-04-15 17:28:04 Singular Exp $ */
+/* $Id: iplib.cc,v 1.55 1999-04-29 16:57:13 Singular Exp $ */
 /*
 * ABSTRACT: interpreter: LIB and help
@@ -172 +172 @@
     s[procbuflen+head+2] = '\0';
     offset=0;
-    for(i=0;i<=procbuflen+head+2; i++) {
+    for(i=0;i<=procbuflen+head+2; i++)
+    {
       if(s[i]=='\\' &&
-         (s[i+1]=='"' || s[i+1]=='{' || s[i+1]=='}' || s[i+1]=='\\')) {
+         (s[i+1]=='"' || s[i+1]=='{' || s[i+1]=='}' || s[i+1]=='\\'))
+      {
         i++;
         offset++;
@@ -316 +318 @@
   {
     namehdl nshdl;
-    for(nshdl=namespaceroot; nshdl->isroot != TRUE; nshdl = nshdl->next) {
+    for(nshdl=namespaceroot; nshdl->isroot != TRUE; nshdl = nshdl->next)
+    {
       Print("%d lev %d:",nshdl->lev, nshdl->myynest);
       if (nshdl->currRing==NULL) PrintS("NULL");
@@ -603 +606 @@
   lib_types LT;
 
-  for(i=0; suffix[i] != NULL; i++) {
+  for(i=0; suffix[i] != NULL; i++)
+  {
     sprintf(libname, "%s%s", id, suffix[i]);
     *libname = mytolower(*libname);
-    if((LT = type_of_LIB(libname, libnamebuf)) != LT_NONE) {
-      if(!(LoadResult = iiLibCmd(mstrdup(libname), FALSE))) {
+    if((LT = type_of_LIB(libname, libnamebuf)) != LT_NONE)
+    {
+      if(!(LoadResult = iiLibCmd(mstrdup(libname), FALSE)))
+      {
         v->name = iiConvName(libname);
         break;
@@ -813 +819 @@
   }
 #ifdef HAVE_NAMESPACES
-  if (BVERBOSE(V_LOAD_LIB)) {
+  if (BVERBOSE(V_LOAD_LIB))
+  {
     idhdl versionhdl  = namespaceroot->get("version",0);
     if(versionhdl != NULL)
@@ -1041 +1048 @@
          "line", "start", "line", "body", "line", "example");
 #ifdef HAVE_NAMESPACES
-//  for(pl = IDROOT; pl != NULL; pl = IDNEXT(pl)) {
-    for(pl = NSROOT(namespaceroot->root); pl != NULL; pl = IDNEXT(pl)) {
-    if(IDTYP(pl) == PACKAGE_CMD) {
+//  for(pl = IDROOT; pl != NULL; pl = IDNEXT(pl))
+//{
+    for(pl = NSROOT(namespaceroot->root); pl != NULL; pl = IDNEXT(pl))
+    {
+    if(IDTYP(pl) == PACKAGE_CMD)
+    {
       for(h = IDPACKAGE(pl)->idroot; h != NULL; h = IDNEXT(h))
 #else /* HAVE_NAMESPACES */
@@ -1101 +1111 @@
   char *f = NULL;
   if(hl!=NULL) f = strstr(IDSTRING(hl),libname);
-  if( (hl==NULL) || (f == NULL)) {
-    for(lp = this;lp!=NULL;lp=lp->next) {
+  if( (hl==NULL) || (f == NULL))
+  {
+    for(lp = this;lp!=NULL;lp=lp->next)
+    {
       if(strcmp(lp->get(), libname)==0) break;
     }
-    if(lp==NULL) {
+    if(lp==NULL)
+    {
       libstackv ls = (libstack *)Alloc0(sizeof(libstack));
       ls->next = this;
@@ -1133 +1146 @@
 lib_types type_of_LIB(char *newlib, char *libnamebuf)
 {
-  char  buf[HOWMANY+1]; /* one extra for terminating '\0' */
+  char        buf[HOWMANY+1];        /* one extra for terminating '\0' */
   struct stat sb;
   int nbytes = 0;
@@ -1146 +1159 @@
     return LT;
   }
-  if((sb.st_mode & S_IFMT) != S_IFREG) {
+  if((sb.st_mode & S_IFMT) != S_IFREG)
+  {
     goto lib_type_end;
   }
-  if ((nbytes = fread((char *)buf, sizeof(char), HOWMANY, fp)) == -1) {
+  if ((nbytes = fread((char *)buf, sizeof(char), HOWMANY, fp)) == -1)
+  {
     goto lib_type_end;
     /*NOTREACHED*/
@@ -1155 +1170 @@
   if (nbytes == 0)
     goto lib_type_end;
-  else {
-    buf[nbytes++] = '\0';       /* null-terminate it */
-  }
-  if( (strncmp(buf, "\177ELF\01\01\01", 7)==0) && buf[16]=='\03') {
+  else
+  {
+    buf[nbytes++] = '\0';        /* null-terminate it */
+  }
+  if( (strncmp(buf, "\177ELF\01\01\01", 7)==0) && buf[16]=='\03')
+  {
     LT = LT_ELF;
     FreeL(newlib);
@@ -1164 +1181 @@
     goto lib_type_end;
   }
-  if( (strncmp(buf, "\02\020\01\016\05\022@", 7)==0)) {
+  if( (strncmp(buf, "\02\020\01\016\05\022@", 7)==0))
+  {
     LT = LT_HPUX;
     FreeL(newlib);
@@ -1170 +1188 @@
     goto lib_type_end;
   }
-  if(isprint(buf[0]) || buf[0]=='\n') { LT = LT_SINGULAR; goto lib_type_end; }
+  if(isprint(buf[0]) || buf[0]=='\n')
+  { LT = LT_SINGULAR; goto lib_type_end; }
 
   lib_type_end: