| version 1.32, 2004/09/15 06:06:41 |
version 1.34, 2004/12/15 22:51:40 |
|
|
| * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
| * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. |
* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. |
| * |
* |
| * $OpenXM: OpenXM_contrib2/asir2000/builtin/ctrl.c,v 1.31 2004/08/18 00:17:02 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/builtin/ctrl.c,v 1.33 2004/11/24 06:01:04 noro Exp $ |
| */ |
*/ |
| #include "ca.h" |
#include "ca.h" |
| #include "parse.h" |
#include "parse.h" |
| Line 58 struct ftab ctrl_tab[] = { |
|
| Line 58 struct ftab ctrl_tab[] = { |
|
| {0,0,0}, |
{0,0,0}, |
| }; |
}; |
| |
|
| |
extern int error_in_timer; |
| extern int prtime,nez,echoback,bigfloat; |
extern int prtime,nez,echoback,bigfloat; |
| extern int GC_free_space_numerator,GC_free_space_divisor,debug_up; |
extern int GC_free_space_numerator,GC_free_space_divisor,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; |
| Line 80 extern int show_crossref; |
|
| Line 81 extern int show_crossref; |
|
| extern Obj user_defined_prompt; |
extern Obj user_defined_prompt; |
| extern int asir_setenv; |
extern int asir_setenv; |
| extern int show_orderspec; |
extern int show_orderspec; |
| |
extern int no_debug_on_error; |
| |
|
| 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}, |
|
|
| {"show_crossref",&show_crossref}, |
{"show_crossref",&show_crossref}, |
| {"allow_laurent",&allow_laurent}, |
{"allow_laurent",&allow_laurent}, |
| {"show_orderspec",&show_orderspec}, |
{"show_orderspec",&show_orderspec}, |
| |
{"no_debug_on_error",&no_debug_on_error}, |
| #if defined(INTERVAL) |
#if defined(INTERVAL) |
| {"zerorewrite",&zerorewrite}, |
{"zerorewrite",&zerorewrite}, |
| #endif |
#endif |