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