Changeset 5c187b in git for Singular/LIB/general.lib

Timestamp:

Oct 22, 1999, 11:07:08 AM (23 years ago)

Author:

Olaf Bachmann <obachman@…>

Branches:

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

Children:

6f73cfacb2f11a3f3e9096814cdfee48026b890a

Parents:

37c5b38924d40017b1e773d5675c259d1e72f3c4

Message:

* system("mtrack", <filename>)
* linalg.lib included in a;ll.lib
* killall functionality extended to killall("not", name1, name2,...)


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

File:

• Singular/LIB/general.lib (modified) (3 diffs)

Singular/LIB/general.lib

@@ -1 @@
-// $Id: general.lib,v 1.21 1999-09-27 17:54:57 Singular Exp $
+// $Id: general.lib,v 1.22 1999-10-22 09:07:07 obachman Exp $
 //GMG, last modified 18.6.99
 ///////////////////////////////////////////////////////////////////////////////
 
-version="$Id: general.lib,v 1.21 1999-09-27 17:54:57 Singular Exp $";
+version="$Id: general.lib,v 1.22 1999-10-22 09:07:07 obachman Exp $";
 info="
 LIBRARY:  general.lib   PROCEDURES OF GENERAL TYPE
@@ -413 +413 @@
          killall(\"not\", \"type_name\"); kills all user-defined variables,
          except those of type \"type_name\" and except loaded procedures
+         killall(\"not\", \"name_1\", \"name_2\", ...); 
+         kills all user-defined variables, except those of name \"name_i\" 
+         and except loaded procedures
 RETURN:  no return value
 NOTE:    killall should never be used inside a procedure
@@ -418 +421 @@
 "
 {
-   list L=names(); int joni=size(L);
-   if( size(#)==0 )
-   {
-      for ( ; joni>0; joni-- )
-      {
-         if( L[joni]!="LIB" and typeof(`L[joni]`)!="proc" ) { kill `L[joni]`; }
-      }
-   }
-   else
-   {
-     if( size(#)==1 )
-     {
-       if( #[1] == "proc" )
-       {
-          for ( joni=size(L); joni>0; joni-- )
+  list L=names(); int joni=size(L);
+  int no_kill, j;
+  for (j=1; j<=size(#); j++)
+  {
+    if (typeof(#[j]) != "string")
+    {
+      ERROR("Need string as " + string(j) + "th argument");
+    }
+  }
+  
+  // kills all user-defined variables but not loaded procedures
+  if( size(#)==0 )
+  {
+    for ( ; joni>0; joni-- )
+    {
+      if( L[joni]!="LIB" and typeof(`L[joni]`)!="proc" ) { kill `L[joni]`; }
+    }
+  }
+  else
+  {
+    // kills all user-defined variables
+    if( size(#)==1 )
+    {
+      // of type proc
+      if( #[1] == "proc" )
+      {
+        for ( joni=size(L); joni>0; joni-- )
+        {
+          if((L[joni]!="killall") and (L[joni]=="LIB" or typeof(`L[joni]`)=="proc"))
+          { kill `L[joni]`; }
+        }
+      }
+      else
+      {  
+        // other types
+        for ( ; joni>2; joni-- )
+        {
+          if(typeof(`L[joni]`)==#[1] and L[joni]!="LIB" and typeof(`L[joni]`)!="proc") { kill `L[joni]`; }
+        }
+      }
+    }
+    else
+    {
+      // kills all user-defined variables whose name or type is not #i 
+      for ( ; joni>2; joni-- )
+      {
+        if ( L[joni] != "LIB" && typeof(`L[joni]`) != "proc")
+        {
+          no_kill = 0;
+          for (j=2; j<= size(#); j++)
           {
-             if((L[joni]!="killall") and (L[joni]=="LIB" or typeof(`L[joni]`)=="proc"))
-               { kill `L[joni]`; }
+            if (typeof(`L[joni]`)==#[j] or L[joni] == #[j])
+            {
+              no_kill = 1;
+              break;
+            }
           }
-       }
-       else
-       {
-          for ( ; joni>2; joni-- )
+          if (! no_kill)
           {
-            if(typeof(`L[joni]`)==#[1] and L[joni]!="LIB" and typeof(`L[joni]`)!="proc") { kill `L[joni]`; }
+            kill `L[joni]`;
           }
         }
-     }
-     else
-     {
-        for ( ; joni>2; joni-- )
-        {
-          if(typeof(`L[joni]`)!=#[2] and L[joni]!="LIB" and typeof(`L[joni]`)!="proc") { kill `L[joni]`; }
-        }
-     }
+      }
+    }
   }
-  return();
 }
 example