===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/include/ox.h,v
retrieving revision 1.12
retrieving revision 1.13
diff -u -p -r1.12 -r1.13
--- OpenXM_contrib2/asir2000/include/ox.h	2001/08/20 09:03:26	1.12
+++ OpenXM_contrib2/asir2000/include/ox.h	2001/10/09 01:36:19	1.13
@@ -45,7 +45,7 @@
  * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
  * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
  *
- * $OpenXM: OpenXM_contrib2/asir2000/include/ox.h,v 1.11 2001/06/15 07:56:05 noro Exp $ 
+ * $OpenXM: OpenXM_contrib2/asir2000/include/ox.h,v 1.12 2001/08/20 09:03:26 noro Exp $ 
 */
 #include "com.h"
 
@@ -172,9 +172,114 @@ extern char *parse_strp;
 
 #define LBUFSIZ BUFSIZ*10
 
-void ox_usr1_handler();
-unsigned int ox_recv();
+/* prototypes */
 
+void cmoname_to_localname(char *a,char **b);
+void localname_to_cmoname(char *a,char **b);
+void read_cmo_tree_as_list(FILE *s,LIST *rp);
+void read_cmo_upoly(FILE *s,P *rp);
+void read_cmo_p(FILE *s,P *rp);
+void read_cmo_monomial(FILE *s,DP *rp);
+void read_cmo_dp(FILE *s,DP *rp);
+void read_cmo_list(FILE *s,Obj *rp);
+void read_cmo_zz(FILE *s,int *sgn,N *rp);
+void read_cmo_uint(FILE *s,USINT *rp);
+void read_cmo(FILE *s,Obj *rp);
+void write_cmo_tree(FILE *s,LIST l);
+void write_cmo_error(FILE *s,ERR e);
+void write_cmo_bytearray(FILE *s,BYTEARRAY array);
+void write_cmo_string(FILE *s,STRING str);
+void write_cmo_list(FILE *s,LIST list);
+void write_cmo_monomial(FILE *s,MP m,int n);
+void write_cmo_dp(FILE *s,DP dp);
+void write_cmo_r(FILE *s,R f);
+void write_cmo_upoly(FILE *s,VL vl,P p);
+void write_cmo_p(FILE *s,P p);
+void write_cmo_zz(FILE *s,int sgn,N n);
+void write_cmo_real(FILE *s,Real real);
+void write_cmo_q(FILE *s,Q q);
+void write_cmo_uint(FILE *s,USINT ui);
+void write_cmo_mathcap(FILE *s,MATHCAP mc);
+int cmo_tag(Obj obj,int *tag);
+void write_cmo(FILE *s,Obj obj);
+int valid_as_cmo(Obj obj);
+void ox_flush_stream_force(int s);
+void ox_flush_stream(int s);
+int ox_check_cmo_dp(int s, DP p);
+int ox_check_cmo_p(int s, P p);
+void ox_get_serverinfo(int s, LIST *rp);
+int ox_check_cmo(int s, Obj obj);
+void ox_write_cmo(int s, Obj obj);
+void ox_write_int(int s, int n);
+void ox_read_local(int s, Obj *rp);
+void ox_read_cmo(int s, Obj *rp);
+void ox_read_int(int s, int *n);
+void ox_get_result(int s,Obj *rp);
+unsigned int ox_recv(int s, int *id, Obj *p);
+void ox_send_local_ring(int s,VL vl);
+void ox_send_local_data(int s,Obj p);
+void ox_send_sync(int s);
+void ox_send_cmd(int s,int id);
+void ox_send_data(int s,pointer p);
+void wait_for_data(int s);
+int ox_data_is_available(int s);
+void clear_readbuffer();
+void end_critical();
+void begin_critical();
+int check_by_mc(int s,unsigned int oxtag,unsigned int cmotag);
+int check_sm_by_mc(int s,unsigned int smtag);
+void store_remote_mathcap(int s,MATHCAP mc);
+void create_my_mathcap(char *system);
+void ox_resetenv(char *s);
+void cleanup_events();
+void reset_io();
+void endian_init();
+int countobj(Obj p);
+int count_as_cmo(Obj p);
+int countvl(VL vl);
+void ox_copy_init(char *s);
+void ox_obj_to_buf_as_cmo(Obj p);
+void ox_buf_to_obj_as_cmo(Obj *p);
+void ox_vl_to_buf(VL vl);
+int gen_fread (char *ptr,int size,int nitems,FILE *stream);
+int gen_fwrite (char *ptr,int size,int nitems,FILE *stream);
+void write_char(FILE *f,unsigned char *p);
+void write_short(FILE *f,unsigned short *p);
+void write_int(FILE *f,unsigned int *p);
+void init_deskey();
+void write_intarray(FILE *f,unsigned int *p,int l);
+void write_longarray(FILE *f,unsigned long *p,int l);
+void write_double(FILE *f,double *p);
+void write_string(FILE *f,unsigned char *p,int l);
+void read_char(FILE *f,unsigned char *p);
+void read_short(FILE *f,unsigned short *p);
+void read_int(FILE *f,unsigned int *p);
+void read_intarray(FILE *f,unsigned int *p,int l);
+void read_longarray(FILE *f,unsigned long *p,int l);
+void read_string(FILE *f,unsigned char *p,int l);
+void read_double(FILE *f,double *p);
+int getremotesocket(int s);
+void getremotename(int s,char *name);
+void generate_port(int use_unix,char *port_str);
+int try_bind_listen(int use_unix,char *port_str);
+int try_accept(int af_unix,int s);
+int try_connect(int use_unix,char *host,char *port_str);
+void close_allconnections();
+void free_iofp(int s);
+int get_iofp(int s1,char *af_sock,int is_server);
+void init_socket();
+int get_fd(int index);
+int get_index(int fd);
+void ox_launch_generic(char *host,char *launcher,char *server,
+		int use_unix,int use_ssh,int use_x,int conn_to_serv,Q *rp);
+void spawn_server(char *host,char *launcher,char *server,
+	int use_unix,int use_ssh,int use_x,int conn_to_serv,
+	char *control_port_str,char *server_port_str);
+void ox_launch_main(int with_x,NODE arg,Obj *p);
+int register_server(int af_unix,int m,int c);
+int get_mcindex(int i);
+void shutdown_all();
+
 /* library functions */
 void asir_ox_push_cmo(void *);
 int asir_ox_pop_cmo(void *, int);
@@ -182,3 +287,4 @@ void asir_ox_push_cmd(int);
 void asir_ox_execute_string(char *);
 int asir_ox_peek_cmo_size();
 int asir_ox_init(int);
+