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
|
/*-----------------------------------------------------------------------
File : cio_tempfile.h
Author: Stephan Schulz
Contents
Functions dealing with temporary 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> Sat Jul 24 02:25:20 MET DST 1999
New
-----------------------------------------------------------------------*/
#ifndef CIO_TEMPFILE
#define CIO_TEMPFILE
#include <stdlib.h>
#include <clb_memory.h>
#include <cio_fileops.h>
#include <cio_commandline.h>
#include <clb_stringtrees.h>
/*---------------------------------------------------------------------*/
/* Data type declarations */
/*---------------------------------------------------------------------*/
/*---------------------------------------------------------------------*/
/* Exported Functions and Variables */
/*---------------------------------------------------------------------*/
void TempFileCleanup(void);
void TempFileRegister(char *name);
char* TempFileName(void);
char* TempFileCreate(FILE* source);
void TempFileRemove(char* name);
#endif
/*---------------------------------------------------------------------*/
/* End of File */
/*---------------------------------------------------------------------*/
|
