version 1.8, 2000/11/28 04:24:12 |
version 1.17, 2003/05/25 16:35:41 |
|
|
/* -*- mode: C -*- */ |
/* -*- mode: C -*- */ |
/* $OpenXM: OpenXM/src/ox_toolkit/ox_toolkit.h,v 1.7 2000/11/27 09:57:10 ohara Exp $ */ |
/* $OpenXM: OpenXM/src/ox_toolkit/ox_toolkit.h,v 1.16 2003/05/24 23:10:40 ohara Exp $ */ |
|
|
#ifndef _OX_TOOLKIT_H_ |
#ifndef _OX_TOOLKIT_H_ |
|
|
#define _OX_TOOLKIT_H_ |
#define _OX_TOOLKIT_H_ |
|
|
|
#ifdef __cplusplus |
|
extern "C" { |
|
#endif |
|
|
#include <stdio.h> |
#include <stdio.h> |
|
#if defined(WITH_GMP) |
#include <gmp.h> |
#include <gmp.h> |
|
#else |
|
#include "gmp_fake.h" |
|
#endif /* WITH_GMP */ |
#include <ox/cmotag.h> |
#include <ox/cmotag.h> |
#include <ox/oxMessageTag.h> |
#include <ox/oxMessageTag.h> |
#include <ox/smCommand.h> |
#include <ox/smCommand.h> |
Line 32 typedef struct OXFILE{ |
|
Line 40 typedef struct OXFILE{ |
|
int (*send_int32)(struct OXFILE *oxfp, int int32); |
int (*send_int32)(struct OXFILE *oxfp, int int32); |
int (*receive_int32)(struct OXFILE *oxfp); |
int (*receive_int32)(struct OXFILE *oxfp); |
int serial_number; |
int serial_number; |
|
int received_serial_number; |
struct OXFILE *control; /* pointer to his control server. */ |
struct OXFILE *control; /* pointer to his control server. */ |
struct mathcap *mathcap; |
struct mathcap *mathcap; |
int error; |
int error; |
Line 101 typedef struct { |
|
Line 110 typedef struct { |
|
cmo *den; /* Bunbo (cmo_zz) */ |
cmo *den; /* Bunbo (cmo_zz) */ |
} cmo_qq; |
} cmo_qq; |
|
|
|
typedef struct { |
|
int tag; |
|
double d; /* machine dependent */ |
|
} cmo_double; |
|
|
/* The following is a derived class from cmo_list. |
/* The following is a derived class from cmo_list. |
that is, list_append can be used. */ |
that is, list_append can be used. */ |
typedef struct { |
typedef struct { |
Line 138 cmo_zz* new_cmo_zz_set_mpz(mpz_ptr z); |
|
Line 152 cmo_zz* new_cmo_zz_set_mpz(mpz_ptr z); |
|
cmo_zz* new_cmo_zz_noinit(); |
cmo_zz* new_cmo_zz_noinit(); |
cmo_zz* new_cmo_zz_set_string(char* s); |
cmo_zz* new_cmo_zz_set_string(char* s); |
cmo_zero* new_cmo_zero(); |
cmo_zero* new_cmo_zero(); |
|
cmo_double* new_cmo_double(double d); |
cmo_distributed_polynomial* new_cmo_distributed_polynomial(); |
cmo_distributed_polynomial* new_cmo_distributed_polynomial(); |
cmo_dms_generic* new_cmo_dms_generic(); |
cmo_dms_generic* new_cmo_dms_generic(); |
cmo_ring_by_name* new_cmo_ring_by_name(cmo* ob); |
cmo_ring_by_name* new_cmo_ring_by_name(cmo* ob); |
Line 154 cmo_error2* make_error_object(int err_code, cmo |
|
Line 169 cmo_error2* make_error_object(int err_code, cmo |
|
|
|
/* Low level API */ |
/* Low level API */ |
cmo* receive_cmo(OXFILE *fp); |
cmo* receive_cmo(OXFILE *fp); |
|
cmo* receive_cmo_tag(OXFILE *fp, int tag); |
int receive_int32(OXFILE *fp); |
int receive_int32(OXFILE *fp); |
int receive_ox_tag(OXFILE *fp); |
int receive_ox_tag(OXFILE *fp); |
|
|
Line 181 void ox_push_cmd(OXFILE *sv, int sm_code |
|
Line 197 void ox_push_cmd(OXFILE *sv, int sm_code |
|
void ox_cmo_rpc(OXFILE *sv, char *function, int argc, cmo *argv[]); |
void ox_cmo_rpc(OXFILE *sv, char *function, int argc, cmo *argv[]); |
int ox_flush(OXFILE *sv); |
int ox_flush(OXFILE *sv); |
|
|
cell* list_first(cmo_list *this); |
cell* list_first(cmo_list *); |
int list_endof(cmo_list *this, cell *el); |
int list_endof(cmo_list *, cell *el); |
cell* list_next(cell *el); |
cell* list_next(cell *el); |
cmo_list* list_append(cmo_list* this, cmo *ob); |
cmo_list* list_append(cmo_list*, cmo *ob); |
cmo_list* list_appendl(cmo_list* this, ...); |
cmo_list* list_appendl(cmo_list*, ...); |
int list_length(cmo_list* this); |
int list_length(cmo_list* ); |
cmo* list_nth(cmo_list* this, int n); |
cmo* list_nth(cmo_list* , int n); |
|
|
int cmolen_cmo(cmo* m); |
int cmolen_cmo(cmo* m); |
void dump_buffer_init(char *s); |
void dump_buffer_init(char *s); |
Line 217 symbol_t lookup_by_symbol(char *key); |
|
Line 233 symbol_t lookup_by_symbol(char *key); |
|
symbol_t lookup_by_token(int tok); |
symbol_t lookup_by_token(int tok); |
symbol_t lookup_by_tag(int tag); |
symbol_t lookup_by_tag(int tag); |
symbol_t lookup(int i); |
symbol_t lookup(int i); |
char *symbol_get_key(symbol_t sp); |
char* get_symbol_by_tag(int tag); |
|
|
/* for mathcap database */ |
/* for mathcap database */ |
mathcap *new_mathcap(); |
mathcap *new_mathcap(); |
void mathcap_init(int ver, char *vstr, char *sysname, int cmos[], int sms[]); |
void mathcap_init(int ver, char *vstr, char *sysname, int cmos[], int sms[]); |
cmo_mathcap* mathcap_get(mathcap *this); |
cmo_mathcap* mathcap_get(mathcap *); |
mathcap *mathcap_update(mathcap *this, cmo_mathcap *mc); |
mathcap *mathcap_update(mathcap *, cmo_mathcap *mc); |
int mathcap_allowQ_cmo(mathcap *this, cmo *ob); |
int mathcap_allowQ_cmo(mathcap *, cmo *ob); |
|
|
int oxf_read(void *buffer, size_t size, size_t num, OXFILE *oxfp); |
int oxf_read(void *buffer, size_t size, size_t num, OXFILE *oxfp); |
int oxf_write(void *buffer, size_t size, size_t num, OXFILE *oxfp); |
int oxf_write(void *buffer, size_t size, size_t num, OXFILE *oxfp); |
Line 250 void oxf_mathcap_update(OXFILE *oxfp, cmo_mathcap *ob) |
|
Line 266 void oxf_mathcap_update(OXFILE *oxfp, cmo_mathcap *ob) |
|
/* example: which("xterm", getenv("PATH")); */ |
/* example: which("xterm", getenv("PATH")); */ |
char *which(char *exe, const char *env); |
char *which(char *exe, const char *env); |
char *generate_otp(); |
char *generate_otp(); |
|
|
|
int ox_stderr_init(FILE *fp); |
|
int ox_printf(char *format, ...); |
|
|
|
#ifdef __cplusplus |
|
} |
|
#endif |
|
|
#endif /* _OX_TOOLKIT_H_ */ |
#endif /* _OX_TOOLKIT_H_ */ |