Subversion Repositories wimsdev

Rev

Rev 7674 | Rev 8137 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 7674 Rev 8120
Line 16... Line 16...
16 
 */
 16 
 */
17 
 
 17 
 
18 
/* Interface Yacas to wims */
 18 
/* Interface Yacas to wims */
19 
 
 19 
 
20 
/*************** Customization: change values hereafter ****************/
 20 
/*************** Customization: change values hereafter ****************/
- 
 
 21 
#include "common.h"
21 
 
 22 
 
22 
/* This is yacas home page. To be kept up to date. */
 23 
/* This is yacas home page. To be kept up to date. */
23 
#define homepage "http://yacas.sourceforge.net/"
 24 
#define homepage "http://yacas.sourceforge.net/"
24 
/* String to tell the program to quit. */
 25 
/* String to tell the program to quit. */
25 
#define quitstring "\nquit\n"
 26 
char *quitstring="\nquit\n";
26 
/* The way to print a string in the program. */
 27 
/* The way to print a string in the program. */
27 
#define stringprinter "\"%s\"\n"
 28 
char *stringprinter="\"%s\"\n";
28 
/* limit of input/output file sizes */
 29 
/* limit of input/output file sizes */
29 
int fsizelim=131072;
 30 
int fsizelim=131072;
30 
int precision=20;  /* default */
 31 
int precision=20; /* default */
31 
 
 32 
 
32 
char *inprompt="\nIn>";
 33 
char *inprompt="\nIn>";
33 
char *outprompt="Out>";
 34 
char *outprompt="Out>";
34 
 
 35 
 
35 
char *nameofcmd="yacas -p";
 36 
char *nameofcmd="yacas -p";
Line 45... Line 46...
45 
 
 46 
 
46 
/* names which are not allowed */
 47 
/* names which are not allowed */
47 
char *illegal[]={
 48 
char *illegal[]={
48 
    "SystemCall", "Use", "Vi", "GetYacasPID", "ShowPS",
 49 
    "SystemCall", "Use", "Vi", "GetYacasPID", "ShowPS",
49 
      "MakeFunctionPlugin"
 50 
      "MakeFunctionPlugin"
50 
};
 51 
};
- 
 
 52 
 
- 
 
 53 
int illegal_no=(sizeof(illegal)/sizeof(illegal[0]));
51 
 
 54 
 
52 
 /* name parts which are not allowed */
 55 
 /* name parts which are not allowed */
53 
 /* 11/3/2013 add "@" and "ConcatStrings" */
 56 
 /* 11/3/2013 add "@" and "ConcatStrings" */
54 
char *illpart[]={
 57 
char *illpart[]={
55 
    "File", "Load", "Plot","ConcatStrings" ,"@"
 58 
    "File", "Load", "Plot","ConcatStrings" ,"@"
56 
};
 59 
};
- 
 
 60 
 
- 
 
 61 
int illpart_no=(sizeof(illpart)/sizeof(illpart[0]));
57 
 
 62 
 
58 
/***************** Nothing should need change hereafter *****************/
 63 
/***************** Nothing should need change hereafter *****************/
59 
 
 64 
 
60 
#define progname "yacas"
 65 
char *progname="yacas";
61 
#include "common.h"
 - 
 
62 
#include "common.c"
 - 
 
63 
 
 66 
 
64 
 /* check for security violations in command string */
 67 
 /* check for security violations in command string */
65 
void check_parm(char *pm)
 68 
void check_parm(char *pm)
66 
{
 69 
{
67 
    char *p, *pp, *p2, buf[16];
 70 
    char *p, *pp, *p2, buf[16];