libpolys
reporter
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_open
s_buff s_open(int fd)
Definition:
s_buff.cc:30
a
const poly a
Definition:
syzextra.cc:212
s_isready
int s_isready(s_buff F)
Definition:
s_buff.cc:84
s_readlong
long s_readlong(s_buff F)
Definition:
s_buff.cc:139
s_open_by_name
s_buff s_open_by_name(const char *n)
Definition:
s_buff.cc:38
s_buff_s::fd
int fd
Definition:
s_buff.h:10
CxxTest::base
char N base
Definition:
ValueTraits.h:144
s_readint
int s_readint(s_buff F)
Definition:
s_buff.cc:111
s_readmpz_base
void s_readmpz_base(s_buff F, mpz_ptr a, int base)
Definition:
s_buff.cc:208
s_getc
int s_getc(s_buff F)
Definition:
s_buff.cc:57
s_readbytes
int s_readbytes(char *buff, int len, s_buff F)
Definition:
s_buff.cc:167
s_buff_s::end
int end
Definition:
s_buff.h:12
s_readmpz
void s_readmpz(s_buff F, mpz_ptr a)
s_buff_s::bp
int bp
Definition:
s_buff.h:11
s_buff_s::buff
char * buff
Definition:
s_buff.h:9
f
FILE * f
Definition:
checklibs.c:7
s_close
int s_close(s_buff &f)
Definition:
s_buff.cc:44
s_iseof
int s_iseof(s_buff F)
Definition:
s_buff.cc:251
s_ungetc
void s_ungetc(int c, s_buff F)
Definition:
s_buff.cc:98
s_buff_s::is_eof
int is_eof
Definition:
s_buff.h:13
s_buff_s
Definition:
s_buff.h:7
Generated on Thu Oct 20 2016 23:58:53 by
doxygen 1.8.12
for
Singular debian-4.0.3-p4+ds-1