Subversion Repositories wimsdev

Rev

Rev 10 | Rev 7674 | Go to most recent revision | Blame | Compare with Previous | Last modification | View Log | RSS feed

  1. /*    Copyright (C) 1998-2003 XIAO, Gang of Universite de Nice - Sophia Antipolis
  2.  *
  3.  *  This program is free software; you can redistribute it and/or modify
  4.  *  it under the terms of the GNU General Public License as published by
  5.  *  the Free Software Foundation; either version 2 of the License, or
  6.  *  (at your option) any later version.
  7.  *
  8.  *  This program is distributed in the hope that it will be useful,
  9.  *  but WITHOUT ANY WARRANTY; without even the implied warranty of
  10.  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  11.  *  GNU General Public License for more details.
  12.  *
  13.  *  You should have received a copy of the GNU General Public License
  14.  *  along with this program; if not, write to the Free Software
  15.  *  Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
  16.  */
  17.  
  18.         /* Interface Macaulay2 to wims */
  19.  
  20. /*************** Customization: change values hereafter ****************/
  21.  
  22.         /* limit of input/output file sizes */
  23. #define fsizelim 131072
  24.         /* This string tells m2 to exit. */
  25. #define quitstring "\nexit;\n"
  26.         /* The way to print a string in the program. */
  27. #define stringprinter "print(\"%s\");\n"
  28.         /* This is m2 home page. To be kept up to date. */
  29. #define homepage "http://www.math.uiuc.edu/Macaulay2/"
  30.  
  31. char *nameofcmd="M2";
  32. int precision=20;       /* default */
  33. char header[]="Thing#{Standard,BeforePrint} = toString; \
  34. scan(methods {Standard,AfterPrint}, (a,b) -> installMethod(a,b,identity));\
  35. ";
  36.  
  37. struct {
  38.     char *wname;    char *defaultval;   char *setname;
  39. } setups[]={
  40. /*      {"w_m2_precision",      "20",   "fpprec"}
  41. */};
  42.  
  43.         /* names which are not allowed */
  44. char *illegal[]={
  45.       "exec","run","fork",
  46.       "input",  /* "load","needs", */
  47.       "tmpname", "path", "processID",
  48.       "getWWW", "getenv",
  49.       "<<", "close"
  50. };
  51.  
  52.         /* name parts which are not allowed */
  53. char *illpart[]={
  54. };
  55.  
  56. /***************** Nothing should need change hereafter *****************/
  57.  
  58. #define progname "m2"
  59. #include "common.h"
  60. #include "common.c"
  61.  
  62.         /* check for security violations in command string */
  63. void check_parm(char *pm)
  64. {
  65.     find_illegal(pm);
  66. }
  67.  
  68. char *find_prompt(char *p)
  69. {
  70.     char *pp=p, *pt;
  71.     redo:
  72.     if(*pp==0) return NULL;
  73.     pp=strstr(pp,"\ni");
  74.     pt=pp;
  75.     if(pp!=NULL) {
  76.         pp+=2; while(isdigit(*pp)) pp++;
  77.         if(*pp!=' ') goto redo;
  78.         while(*pp==' ') pp++;
  79.         if(*pp!=':' || *(pp+1)!=' ') goto redo;
  80.     }
  81.     return pt;
  82. }
  83.  
  84.         /* process and print m2 output */
  85. void output(char *p)
  86. {
  87.     int i,n;
  88.     char *pp, *pe, *pt;
  89.  
  90.     pp=find_prompt(p);
  91.     while(pp!=NULL && *pp!=0) {
  92.         pe=find_prompt(pp+1); pp=strchr(pp+1,'\n');
  93.         if(pp==NULL) return;
  94.         if(pe==NULL) pe=pp+strlen(pp); else *pe++=0;
  95.         pp++;
  96.         if(strlen(pp)==0) {
  97.             emptyline:
  98.             puts(""); pp=pe; continue;
  99.         }
  100.         n=strlen(pp); if(n==0) goto emptyline;
  101.           /* strip leading and trailing spaces */
  102.         while(isspace(*pp) && pp<pe) pp++;
  103.         pt=pp+strlen(pp)-1;
  104.         while(pt>=pp && isspace(*pt)) *pt--=0;
  105.                 /* make every output one-line */
  106.         for(i=0;i<n;i++) {
  107.             if(*(pp+i)=='\n') *(pp+i)='#';
  108.         }
  109.         puts(pp); pp=pe;
  110.     }
  111. }
  112.  
  113. void about(void)
  114. {
  115.     char *p;
  116.  
  117.     cmdparm=""; prepabout(quitstring,"/dev/null",outputfname);
  118.     if(readabout()>0) {
  119.         p=strchr(aboutbuf,'\n'); if(p!=NULL) *p=0;
  120.         strip_trailing_spaces(aboutbuf);
  121.         printf("<a href=\"%s\">%s</a>",homepage,aboutbuf);
  122.     }
  123. }
  124.  
  125. char *dynsetup(char *ptr, char *end)
  126. {
  127.     int i;
  128.     char *p, *pp;
  129.    
  130.     for(i=0;i<SETUP_NO;i++) {
  131.         p=getenv(setups[i].wname);
  132.         if(p!=NULL) for(pp=p;*pp;pp++) if(!isspace(*pp) && !isalnum(*pp)) p="";
  133.         if(p==NULL || *p==0) p=setups[i].defaultval;
  134.         snprintf(ptr,end-ptr,"%s:%s;\n",setups[i].setname,p);
  135.         ptr+=strlen(ptr);
  136.         if(strstr(setups[i].wname,"m2_precision")!=NULL)
  137.           precision=atoi(p);
  138.         if(precision<0) precision=-precision;
  139.     }
  140.     return ptr;
  141. }
  142.  
  143. int main(int argc,char *argv[])
  144. {
  145.     prepare1();
  146.     run();
  147.     return 0;    
  148. }
  149.  
  150.