s_buff.h
Go to the documentation of this file.
1 #ifndef S_BUFFIO_H
2 #define S_BUFFIO_H
3 
4 #include<signal.h>
5 #include<gmp.h>
6 
7 struct s_buff_s
8 {
9  char * buff; // buffer
10  int fd; // file descrr.
11  int bp; // current pos. in buff (of the last read char)
12  int end; // last position in buff
13  int is_eof;
14 };
15 
16 typedef struct s_buff_s * s_buff;
17 
18 s_buff s_open(int fd);
19 s_buff s_open_by_name(const char *n);
20 int s_free(s_buff &f);
21 int s_close(s_buff &f);
22 
23 int s_getc(s_buff F);
24 void s_ungetc(int c, s_buff F);
25 
26 int s_readint(s_buff F);
27 long s_readlong(s_buff F);
28 int s_readbytes(char *buff,int len, s_buff F);
29 void s_readmpz(s_buff F, mpz_ptr a);
30 void s_readmpz_base(s_buff F, mpz_ptr a, int base);
31 int s_isready(s_buff F);
32 int s_iseof(s_buff F);
33 #endif
s_buff s_open(int fd)
Definition: s_buff.cc:30
const poly a
Definition: syzextra.cc:212
int s_isready(s_buff F)
Definition: s_buff.cc:92
long s_readlong(s_buff F)
Definition: s_buff.cc:147
s_buff s_open_by_name(const char *n)
Definition: s_buff.cc:38
int fd
Definition: s_buff.h:10
char N base
Definition: ValueTraits.h:144
int s_readint(s_buff F)
Definition: s_buff.cc:119
void s_readmpz_base(s_buff F, mpz_ptr a, int base)
Definition: s_buff.cc:216
int s_getc(s_buff F)
Definition: s_buff.cc:65
int s_readbytes(char *buff, int len, s_buff F)
Definition: s_buff.cc:175
int end
Definition: s_buff.h:12
void s_readmpz(s_buff F, mpz_ptr a)
int bp
Definition: s_buff.h:11
char * buff
Definition: s_buff.h:9
FILE * f
Definition: checklibs.c:7
int s_close(s_buff &f)
Definition: s_buff.cc:55
int s_iseof(s_buff F)
Definition: s_buff.cc:259
void s_ungetc(int c, s_buff F)
Definition: s_buff.cc:106
int s_free(s_buff &f)
Definition: s_buff.cc:44
int is_eof
Definition: s_buff.h:13
Definition: s_buff.h:7