[BACK]Return to ctrl.c CVS log [TXT][DIR] Up to [local] / OpenXM_contrib2 / asir2000 / builtin

Diff for /OpenXM_contrib2/asir2000/builtin/ctrl.c between version 1.5 and 1.55

version 1.5, 2000/02/07 03:21:42 version 1.55, 2017/09/04 02:10:33
Line 1 
Line 1 
 /* $OpenXM: OpenXM_contrib2/asir2000/builtin/ctrl.c,v 1.4 2000/02/07 03:19:19 noro Exp $ */  /*
    * Copyright (c) 1994-2000 FUJITSU LABORATORIES LIMITED
    * All rights reserved.
    *
    * FUJITSU LABORATORIES LIMITED ("FLL") hereby grants you a limited,
    * non-exclusive and royalty-free license to use, copy, modify and
    * redistribute, solely for non-commercial and non-profit purposes, the
    * computer program, "Risa/Asir" ("SOFTWARE"), subject to the terms and
    * conditions of this Agreement. For the avoidance of doubt, you acquire
    * only a limited right to use the SOFTWARE hereunder, and FLL or any
    * third party developer retains all rights, including but not limited to
    * copyrights, in and to the SOFTWARE.
    *
    * (1) FLL does not grant you a license in any way for commercial
    * purposes. You may use the SOFTWARE only for non-commercial and
    * non-profit purposes only, such as academic, research and internal
    * business use.
    * (2) The SOFTWARE is protected by the Copyright Law of Japan and
    * international copyright treaties. If you make copies of the SOFTWARE,
    * with or without modification, as permitted hereunder, you shall affix
    * to all such copies of the SOFTWARE the above copyright notice.
    * (3) An explicit reference to this SOFTWARE and its copyright owner
    * shall be made on your publication or presentation in any form of the
    * results obtained by use of the SOFTWARE.
    * (4) In the event that you modify the SOFTWARE, you shall notify FLL by
    * e-mail at risa-admin@sec.flab.fujitsu.co.jp of the detailed specification
    * for such modification or the source code of the modified part of the
    * SOFTWARE.
    *
    * THE SOFTWARE IS PROVIDED AS IS WITHOUT ANY WARRANTY OF ANY KIND. FLL
    * MAKES ABSOLUTELY NO WARRANTIES, EXPRESSED, IMPLIED OR STATUTORY, AND
    * EXPRESSLY DISCLAIMS ANY IMPLIED WARRANTY OF MERCHANTABILITY, FITNESS
    * FOR A PARTICULAR PURPOSE OR NONINFRINGEMENT OF THIRD PARTIES'
    * RIGHTS. NO FLL DEALER, AGENT, EMPLOYEES IS AUTHORIZED TO MAKE ANY
    * MODIFICATIONS, EXTENSIONS, OR ADDITIONS TO THIS WARRANTY.
    * UNDER NO CIRCUMSTANCES AND UNDER NO LEGAL THEORY, TORT, CONTRACT,
    * OR OTHERWISE, SHALL FLL BE LIABLE TO YOU OR ANY OTHER PERSON FOR ANY
    * DIRECT, INDIRECT, SPECIAL, INCIDENTAL, PUNITIVE OR CONSEQUENTIAL
    * DAMAGES OF ANY CHARACTER, INCLUDING, WITHOUT LIMITATION, DAMAGES
    * ARISING OUT OF OR RELATING TO THE SOFTWARE OR THIS AGREEMENT, DAMAGES
    * FOR LOSS OF GOODWILL, WORK STOPPAGE, OR LOSS OF DATA, OR FOR ANY
    * DAMAGES, EVEN IF FLL SHALL HAVE BEEN INFORMED OF THE POSSIBILITY OF
    * SUCH DAMAGES, OR FOR ANY CLAIM BY ANY OTHER PARTY. EVEN IF A PART
    * OF THE SOFTWARE HAS BEEN DEVELOPED BY A THIRD PARTY, THE THIRD PARTY
    * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
    * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
    *
    * $OpenXM: OpenXM_contrib2/asir2000/builtin/ctrl.c,v 1.54 2017/09/04 01:57:53 noro Exp $
   */
 #include "ca.h"  #include "ca.h"
 #include "parse.h"  #include "parse.h"
   #include <string.h>
   #if defined(VISUAL) || defined(__MINGW32__)
   #include <windows.h>
   #include <winnls.h>
   #else
   #include <locale.h>
   #include <unistd.h>
   #include <sys/types.h>
   #include <sys/socket.h>
   #include <sys/wait.h>
   #include <sys/utsname.h>
   #endif
   
   static struct {
           char *type;
           char *kernel;
           char *name;
           char *arch;
           char *release;
           char *full;
           char *lang;
   } sysinfo;
   
 void Pctrl();  void Pctrl();
   void Psysinfo(LIST *rp);
   static void get_sysinfo();
   
 struct ftab ctrl_tab[] = {  struct ftab ctrl_tab[] = {
         {"ctrl",Pctrl,-2},          {"ctrl",Pctrl,-2},
           {"asir_env",Pctrl,-2},
           {"sysinfo", Psysinfo, 0},
         {0,0,0},          {0,0,0},
 };  };
   
 extern int prtime,nez,echoback,bigfloat;  extern int error_in_timer;
 extern int GC_free_space_numerator,GC_free_space_divisor,debug_up,no_prompt;  extern int prtime,nez,echoback,bigfloat,evalef;
   extern int debug_up;
 extern int GC_max_heap_size,Verbose,hideargs,hex_output,do_server_in_X11;  extern int GC_max_heap_size,Verbose,hideargs,hex_output,do_server_in_X11;
 extern int do_message;  extern int do_message,do_terse;
 extern int ox_batch,ox_check,ox_exchange_mathcap;  extern int ox_batch,ox_check,ox_exchange_mathcap;
 extern int f4_nocheck;  extern int f4_nocheck;
   extern int StrassenSize;
   extern int outputstyle;
 extern int fortran_output;  extern int fortran_output;
   extern int real_digit;
   extern int real_binary;
   extern int allow_laurent;
   #if defined(INTERVAL)
   extern int zerorewrite;
   extern int Itvplot;
   #endif
   extern int double_output;
   extern int use_new_hensel;
   extern int print_quote;
   extern int show_crossref;
   extern Obj user_defined_prompt;
   extern int asir_setenv;
   extern int show_orderspec;
   extern int no_debug_on_error;
   extern int diag_period;
   extern int weight_check;
   extern char **ASIRLOADPATH;
   extern int ASIRLOADPATH_LEN;
   extern int No_ox_reset;
   extern int plot_by_bigfloat;
   extern int debug_plot;
   
 static struct {  static struct {
         char *key;          char *key;
         int *val;          int *val;
 } ctrls[] = {  } ctrls[] = {
           {"error_in_timer",&error_in_timer},
         {"cputime",&prtime},          {"cputime",&prtime},
         {"nez",&nez},          {"nez",&nez},
         {"echo",&echoback},          {"echo",&echoback},
         {"bigfloat",&bigfloat},          {"bigfloat",&bigfloat},
           {"evalef",&evalef},
         {"verbose",&Verbose},          {"verbose",&Verbose},
           {"quiet_mode",&do_quiet},
         {"hideargs",&hideargs},          {"hideargs",&hideargs},
         {"hex",&hex_output},          {"hex",&hex_output},
         {"debug_window",&do_server_in_X11},          {"debug_window",&do_server_in_X11},
         {"message",&do_message},          {"message",&do_message},
           {"terse",&do_terse},
         {"debug_up",&debug_up},          {"debug_up",&debug_up},
         {"no_prompt",&no_prompt},          {"no_prompt",&do_quiet},
           {"asir_setenv",&asir_setenv},
         {"ox_batch",&ox_batch},          {"ox_batch",&ox_batch},
         {"ox_check",&ox_check},          {"ox_check",&ox_check},
         {"ox_exchange_mathcap",&ox_exchange_mathcap},          {"ox_exchange_mathcap",&ox_exchange_mathcap},
         {"f4_nocheck",&f4_nocheck},          {"f4_nocheck",&f4_nocheck},
           {"StrassenSize",&StrassenSize},
           {"outputstyle",&outputstyle},
           {"double_output",&double_output},
           {"real_digit",&real_digit},
           {"real_binary",&real_binary},
         {"fortran_output",&fortran_output},          {"fortran_output",&fortran_output},
           {"new_hensel",&use_new_hensel},
           {"print_quote",&print_quote},
           {"show_crossref",&show_crossref},
           {"allow_laurent",&allow_laurent},
           {"show_orderspec",&show_orderspec},
           {"no_debug_on_error",&no_debug_on_error},
           {"diag_period",&diag_period},
           {"weight_check",&weight_check},
           {"no_ox_reset",&No_ox_reset},
           {"fake_ox_reset",&No_ox_reset},
   #if defined(DO_PLOT)
           {"plot_by_bigfloat",&plot_by_bigfloat},
           {"debug_plot",&debug_plot},
   #endif
   #if defined(INTERVAL)
           {"zerorewrite",&zerorewrite},
           {"itvplotsize",&Itvplot},
   #endif
         {0,0},          {0,0},
 };  };
   
 void Pctrl(arg,rp)  void Pctrl(NODE arg,Q *rp)
 NODE arg;  
 Q *rp;  
 {  {
         int t,i;          int t,i,n;
           int nm,dv;
         N num,den;          N num,den;
         Q c;          Q c;
         char *key;          char *key;
         char buf[BUFSIZ];          char buf[BUFSIZ];
           char *str;
           STRING s;
           NODE node,p;
           LIST list;
           P f;
           extern Q ox_pari_stream;
           extern int ox_pari_stream_initialized;
           extern P ox_pari_starting_function;
   
         if ( !arg ) {          if ( !arg ) {
                 *rp = 0;                  *rp = 0;
Line 58  Q *rp;
Line 192  Q *rp;
         if ( !strcmp(key,"adj") ) {          if ( !strcmp(key,"adj") ) {
                 /* special treatment is necessary for "adj" */                  /* special treatment is necessary for "adj" */
                 if ( argc(arg) == 1 ) {                  if ( argc(arg) == 1 ) {
                         UTON(GC_free_space_divisor,num);                          Risa_GC_get_adj(&nm,&dv);
                         UTON(GC_free_space_numerator,den);                          UTON(dv,num);
                           UTON(nm,den);
                 } else {                  } else {
                         c = (Q)ARG1(arg);                          c = (Q)ARG1(arg);
                         if ( !c )                          if ( !c )
                                 error("ctrl : adj : invalid argument");                                  error("ctrl : adj : invalid argument");
                         num = NM(c);                          num = NM(c);
                         den = !DN(c)?ONEN:DN(c);                          den = !DN(c)?ONEN:DN(c);
                         GC_free_space_divisor = BD(num)[0];                          dv = BD(num)[0];
                         GC_free_space_numerator = BD(den)[0];                          nm = BD(den)[0];
                           Risa_GC_set_adj(nm,dv);
                 }                  }
                 NDTOQ(num,den,1,*rp);                  NDTOQ(num,den,1,*rp);
                 return;                  return;
           } else if ( !strcmp(key,"prompt") ) {
                   /* special treatment is necessary for "prompt" */
                   if ( argc(arg) == 1 ) {
                     if ((!do_quiet) && (user_defined_prompt == (Obj)0)) *rp=ONE;
             else *rp = (Q)user_defined_prompt;
                   } else {
                           c = (Q)ARG1(arg);
                           if ( !c ) {
                                   do_quiet = 1;
                                   user_defined_prompt = 0;
                                   *rp = 0;
                           } else if ( OID(c) == O_STR ) {
                                   str = BDY((STRING)c);
                                   for ( i = 0, n = 0; str[i]; i++ )
                                           if ( str[i] == '%' )
                                                   n++;
                                   if ( n >= 2 )
                                           error("ctrl : prompt : invalid prompt specification");
                                   do_quiet = 1;
                                   user_defined_prompt = (Obj)c;
                                   *rp = c;
                           } else if ( NUM(c) && RATN(c) && UNIQ(c) ) {
                                   user_defined_prompt = 0;
                                   do_quiet = 0;
                           } else {
                                   error("ctrl : prompt : invalid argument");
                           }
                   }
                   return;
           } else if ( !strcmp(key,"loadpath") ) {
                   *rp = 0;
                   if ( argc(arg) == 1 ) {
                           if( ASIRLOADPATH[0] ) {
                                   for(i=0; ASIRLOADPATH[i]; i++) {
                                   }
                                   for(i--,p=NULL; i>=0; i--,p=node) {
                                           MKSTR(s,ASIRLOADPATH[i]);
                                           MKNODE(node,s,p);
                                   }
                                   MKLIST(list,node);
                                   *rp = (Q)list;
                           }
                   } else {
                           list = (LIST)ARG1(arg);
                           if ( OID(list) == O_LIST ) {
                                   for(i=0,p=BDY(list); p; i++,p=NEXT(p)) {
                                           s=(STRING)BDY(p);
                                           if(!s || OID(s)!=O_STR) {
                                                   error("ctrl : loadpath : invalid argument");
                                           }
                                   }
                                   if(i >= ASIRLOADPATH_LEN) {
                                           ASIRLOADPATH_LEN = i+1;
                                           ASIRLOADPATH = (char **)MALLOC(sizeof(char *)*ASIRLOADPATH_LEN);
                                   }
                                   for(i=0,p=BDY(list); p; i++,p=NEXT(p)) {
                                           ASIRLOADPATH[i] = (char *)BDY((STRING)BDY(p));
                                   }
                                   ASIRLOADPATH[i] = NULL;
                           }else {
                                   error("ctrl : loadpath : invalid argument");
                           }
                   }
                   return;
           } else if ( !strcmp(key,"oxpari_id") ) {
           if ( argc(arg) == 1 ) {
               if(!ox_pari_stream_initialized) {
                   t=-1;
                   STOQ(t,*rp);
               }else {
                   *rp = ox_pari_stream;
               }
           }else {
                           c = (Q)ARG1(arg);
                           if ( !c || ( NUM(c) && INT(c) && SGN(c)>0 ) ) {
                                   ox_pari_stream_initialized = 1;
                                   ox_pari_stream = c;
                                   *rp = c;
                           }else {
                   t=-1;
                   STOQ(t,*rp);
                           }
                   }
                   return;
           } else if ( !strcmp(key,"oxpari_start") ) {
           if ( argc(arg) == 1 ) {
                           *rp = (Q)ox_pari_starting_function;
                   } else {
                           f = (P)ARG1(arg);
                           if ( !f || OID(f) == O_P) {
                                   ox_pari_starting_function = f;
                                   *rp = (Q)f;
                           }else {
                                   *rp = 0;
                           }
                   }
                   return;
         }          }
         for ( i = 0; ctrls[i].key; i++ )          for ( i = 0; ctrls[i].key; i++ )
                 if ( !strcmp(key,ctrls[i].key) )                  if ( !strcmp(key,ctrls[i].key) )
Line 86  Q *rp;
Line 319  Q *rp;
                 error(buf);                  error(buf);
         }          }
 }  }
   
   void Psysinfo(LIST *rp)
   {
       int i;
       NODE n,p;
       STRING s[7];
   
       get_sysinfo();
       MKSTR(s[0],sysinfo.type);  MKSTR(s[1],sysinfo.kernel);   MKSTR(s[2],sysinfo.name);
       MKSTR(s[3],sysinfo.arch);  MKSTR(s[4],sysinfo.release);  MKSTR(s[5],sysinfo.full);
       MKSTR(s[6],sysinfo.lang);
       for(i=6,p=NULL; i>=0; i--,p=n) {
           MKNODE(n,s[i],p);
       }
       MKLIST(*rp,n);
   }
   
   #if !defined(VISUAL) && !defined(__MINGW32__)
   
   static char *get_lang()
   {
       char *c, *p, *q;
       c = setlocale(LC_ALL, NULL); /* saving current locale */
       p = setlocale(LC_ALL, "");
       q = (char *)MALLOC(strlen(p)+1);
       strcpy(q,p);
       setlocale(LC_ALL, c);        /* restoring current locale */
       return q;
   }
   
   static char *myuname(char *option)
   {
       char buf[BUFSIZ];
       char *s;
       int fd[2], status, pid;
       *buf = 0;
       if (socketpair(AF_UNIX, SOCK_STREAM, 0, fd) < 0) {
           *buf = 0; return NULL;
       }
       pid = fork();
       if (pid < 0) {
           return NULL;
       }else if (pid == 0) {
           dup2(fd[1], 1);
           close(2);
           execlp("uname", "uname", option, NULL);
       }
       waitpid(pid, &status, 0);
       if (status) { /* error */
           return NULL;
       }
       s = buf;
       if( !read(fd[0], s, BUFSIZ-1) || (s = strchr(s, '\n')) ) {
           *s = 0;
       }
       close(fd[0]);
       close(fd[1]);
       s = (char *)MALLOC(strlen(buf)+1);
       strcpy(s, buf);
       return s;
   }
   
   static void get_sysinfo()
   {
       static struct utsname u;
       static int initialized = 0;
       if (initialized) {
           return;
       }
       initialized = 1;
       uname(&u);
       sysinfo.kernel = u.sysname;
   #if defined(__DARWIN__)
       sysinfo.type   = "macosx";
       sysinfo.name   = sysinfo.kernel;
   #else
       sysinfo.type   = "unix";
       sysinfo.name   = myuname("-o"); // not work on Darwin
       if (!sysinfo.name) {
           sysinfo.name = sysinfo.kernel;
       }
   #endif
       sysinfo.arch   = u.machine;
       sysinfo.release= u.release;
       sysinfo.full   = myuname("-a");
       sysinfo.lang   = get_lang();
   }
   
   #else
   
   /* http://msdn.microsoft.com/ja-jp/library/windows/desktop/ms724834%28v=vs.85%29.aspx */
   static char *osnameNT(int major, int minor)
   {
       if ((major == 3 && minor == 51) || (major == 4 && minor == 0)) {
           return "WindowsNT";
       }else if (major == 5 && minor == 0) {
           return "Windows2000";
       }else if (major == 5 && minor == 1) {
           return "WindowsXP";
       }else if (major == 5 && minor == 2) {
           return "Windows2003 Server";
       }else if (major == 6 && minor == 0) {
           return "WindowsVista";
       }else if (major == 6 && minor == 1) {
           return "Windows7";
       }else if (major == 6 && minor == 2) {
           return "Windows8";
       }else if (major == 6 && minor == 3) {
           return "Windows8.1";
       }
       return "unknown";
   }
   
   static char *osname95(int major, int minor)
   {
       if (major == 4 && minor == 0) {
           return "Windows95";
       }else if (major == 4 && minor == 10) {
           return "Windows98";
       }else if (major == 4 && minor == 90) {
           return "WindowsMe";
       }
       return "unknown";
   }
   
   static char *get_lang()
   {
       char lang[BUFSIZ];
       char *s;
       if(GetLocaleInfo(GetUserDefaultLCID(), LOCALE_SISO639LANGNAME, lang, BUFSIZ)) {
           s = (char *)MALLOC(strlen(lang)+1);
           strcpy(s,lang);
           return s;
       }
       return "en"; // English
   }
   
   static void get_sysinfo()
   {
       int arch64 = 0;
       char buf[BUFSIZ];
       OSVERSIONINFO v;
       char *s;
       static int initialized = 0;
   
       if (initialized) {
           return;
       }
       initialized = 1;
   
       v.dwOSVersionInfoSize = sizeof(OSVERSIONINFO);
       GetVersionEx(&v);
   
       sysinfo.type = "windows";
       sysinfo.arch = "x86";
       sprintf(buf, "%d.%d.%d", v.dwMajorVersion, v.dwMinorVersion, v.dwBuildNumber);
       s = (char *)MALLOC(strlen(buf)+1);
       strcpy(s, buf);
       sysinfo.release = s;
   
       if (v.dwPlatformId == VER_PLATFORM_WIN32_NT) {
           sysinfo.kernel = "WindowsNT";
           sysinfo.name = osnameNT(v.dwMajorVersion, v.dwMinorVersion);
   
   #if defined(_WIN64)
           sysinfo.arch = "x86_64";
   #else
           // IsWow64Process exists on WindowsXP SP2 or later
           if(GetProcAddress(GetModuleHandle("kernel32.dll"), "IsWow64Process")) {
               IsWow64Process(GetCurrentProcess(),&arch64);
               if(arch64) {
                   sysinfo.arch = "x86_64";
               }
           }
   #endif
       }else { /* v.dwPlatformId == VER_PLATFORM_WIN32_WINDOWS */
           sysinfo.kernel = "Windows95";
           sysinfo.name = osname95(v.dwMajorVersion, v.dwMinorVersion);
       }
       sprintf(buf, "%s %s %s %s %s", sysinfo.kernel, sysinfo.release, sysinfo.name, v.szCSDVersion, sysinfo.arch);
       s = (char *)MALLOC(strlen(buf)+1);
       strcpy(s, buf);
       sysinfo.full = s;
       sysinfo.lang = get_lang();
   }
   
   #endif
Legend:
Removed from v.1.5  
changed lines
  Added in v.1.55
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>