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_close(s_buff &f);
21 
22 int s_getc(s_buff F);
23 void s_ungetc(int c, s_buff F);
24 
25 int s_readint(s_buff F);
26 long s_readlong(s_buff F);
27 int s_readbytes(char *buff,int len, s_buff F);
28 void s_readmpz(s_buff F, mpz_ptr a);
29 void s_readmpz_base(s_buff F, mpz_ptr a, int base);
30 int s_isready(s_buff F);
31 int s_iseof(s_buff F);
32 #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:84
long s_readlong(s_buff F)
Definition: s_buff.cc:139
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:111
void s_readmpz_base(s_buff F, mpz_ptr a, int base)
Definition: s_buff.cc:208
int s_getc(s_buff F)
Definition: s_buff.cc:57
int s_readbytes(char *buff, int len, s_buff F)
Definition: s_buff.cc:167
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:44
int s_iseof(s_buff F)
Definition: s_buff.cc:251
void s_ungetc(int c, s_buff F)
Definition: s_buff.cc:98
int is_eof
Definition: s_buff.h:13
Definition: s_buff.h:7