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
57
58
59
60
61
62
|
/*-----------------------------------------------------------------------
File : cio_fileops.h
Author: Stephan Schulz
Contents
Simple operations on files.
Copyright 1998, 1999 by the author.
This code is released under the GNU General Public Licence and
the GNU Lesser General Public License.
See the file COPYING in the main E directory for details..
Run "eprover -h" for contact information.
Changes
<1> Wed Jul 28 12:43:28 MET DST 1999
New
-----------------------------------------------------------------------*/
#ifndef CIO_FILEOPS
#define CIO_FILEOPS
#include <sys/stat.h>
#include <cio_output.h>
/*---------------------------------------------------------------------*/
/* Data type declarations */
/*---------------------------------------------------------------------*/
/*---------------------------------------------------------------------*/
/* Exported Functions and Variables */
/*---------------------------------------------------------------------*/
FILE* InputOpen(char *name, bool fail);
void InputClose(FILE* file);
long FileLoad(char* name, DStr_p dest);
long ConcatFiles(char* target, char** sources);
long CopyFile(char* target, char* source);
void FileRemove(char* name);
void FilePrint(FILE* out, char* name);
#define FileNameIsAbsolute(name) ((name)[0]=='/')
char* FileNameDirName(char* name);
char* FileFindBaseName(char *file);
char* FileNameBaseName(char* name);
char* FileNameStrip(char* name);
bool FileExists(char* name);
#endif
/*---------------------------------------------------------------------*/
/* End of File */
/*---------------------------------------------------------------------*/
|
