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