=================================================================== RCS file: /home/cvs/OpenXM_contrib2/asir2000/builtin/ctrl.c,v retrieving revision 1.6 retrieving revision 1.26 diff -u -p -r1.6 -r1.26 --- OpenXM_contrib2/asir2000/builtin/ctrl.c 2000/02/08 04:47:09 1.6 +++ OpenXM_contrib2/asir2000/builtin/ctrl.c 2003/10/21 04:28:48 1.26 @@ -1,4 +1,52 @@ -/* $OpenXM: OpenXM_contrib2/asir2000/builtin/ctrl.c,v 1.5 2000/02/07 03:21:42 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.25 2003/10/20 09:20:14 noro Exp $ +*/ #include "ca.h" #include "parse.h" @@ -10,12 +58,23 @@ struct ftab ctrl_tab[] = { }; extern int prtime,nez,echoback,bigfloat; -extern int GC_free_space_numerator,GC_free_space_divisor,debug_up,no_prompt; +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 do_message; extern int ox_batch,ox_check,ox_exchange_mathcap; extern int f4_nocheck; +extern int StrassenSize; +extern int outputstyle; extern int fortran_output; +extern int real_digit; +#if defined(INTERVAL) +extern int zerorewrite; +#endif +extern int double_output; +extern int use_new_hensel; +extern int print_quote; +extern int show_crossref; +extern Obj user_defined_prompt; static struct { char *key; @@ -24,21 +83,32 @@ static struct { {"cputime",&prtime}, {"nez",&nez}, {"echo",&echoback}, -#if DO_PLOT +#if defined(DO_PLOT) {"bigfloat",&bigfloat}, #endif {"verbose",&Verbose}, + {"quiet_mode",&do_quiet}, {"hideargs",&hideargs}, {"hex",&hex_output}, {"debug_window",&do_server_in_X11}, {"message",&do_message}, {"debug_up",&debug_up}, - {"no_prompt",&no_prompt}, + {"no_prompt",&do_quiet}, {"ox_batch",&ox_batch}, {"ox_check",&ox_check}, {"ox_exchange_mathcap",&ox_exchange_mathcap}, {"f4_nocheck",&f4_nocheck}, + {"StrassenSize",&StrassenSize}, + {"outputstyle",&outputstyle}, + {"double_output",&double_output}, + {"real_digit",&real_digit}, {"fortran_output",&fortran_output}, + {"new_hensel",&use_new_hensel}, + {"print_quote",&print_quote}, + {"show_crossref",&show_crossref}, +#if defined(INTERVAL) + {"zerorewrite",&zerorewrite}, +#endif {0,0}, }; @@ -46,11 +116,12 @@ void Pctrl(arg,rp) NODE arg; Q *rp; { - int t,i; + int t,i,n; N num,den; Q c; char *key; char buf[BUFSIZ]; + char *str; if ( !arg ) { *rp = 0; @@ -72,6 +143,35 @@ Q *rp; GC_free_space_numerator = BD(den)[0]; } NDTOQ(num,den,1,*rp); + 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; } for ( i = 0; ctrls[i].key; i++ )