1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
|
/*-----------------------------------------------------------------------
File : cio_simplestuff.h
Author: Stephan Schulz (schulz@eprover.org)
Contents
Simple functions for simple operations that don't quite fit
elsewhere.
Copyright 2012 by the author.
This code is released under the GNU General Public Licence.
See the file COPYING in the main CLIB directory for details.
Run "eprover -h" for contact information.
Changes
<1> Fri Jul 27 01:33:21 CEST 2012
New
-----------------------------------------------------------------------*/
#ifndef CIO_SIMPLESTUFF
#define CIO_SIMPLESTUFF
#include <cio_output.h>
#include <cio_network.h>
/*---------------------------------------------------------------------*/
/* Data type declarations */
/*---------------------------------------------------------------------*/
/*---------------------------------------------------------------------*/
/* Exported Functions and Variables */
/*---------------------------------------------------------------------*/
bool ReadTextBlock(DStr_p result, FILE* fp, char* terminator);
bool TCPReadTextBlock(DStr_p result, int fd, char* terminator);
#endif
/*---------------------------------------------------------------------*/
/* End of File */
/*---------------------------------------------------------------------*/
|
