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
63
64
65
|
/*-----------------------------------------------------------------------
File : cio_output.h
Author: Stephan Schulz
Contents
Simple functions for secure opening of output files with -
convention and error checking. Much simpler than the input, because
much less can go wrong with output...
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> Fri Nov 28 11:55:59 MET 1997
New
-----------------------------------------------------------------------*/
#ifndef CIO_OUTPUT
#define CIO_OUTPUT
#include <stdio.h>
#include <clb_dstrings.h>
/*---------------------------------------------------------------------*/
/* Data type declarations */
/*---------------------------------------------------------------------*/
#define OUTPRINT(level, message)\
if(level<= OutputLevel){fprintf(GlobalOut, message);}
/*---------------------------------------------------------------------*/
/* Exported Functions and Variables */
/*---------------------------------------------------------------------*/
extern long OutputLevel;
extern FILE* GlobalOut;
extern int GlobalOutFD;
#define InitOutput() GlobalOut=stdout;GlobalOutFD=STDOUT_FILENO
void OpenGlobalOut(char* outname);
FILE* OutOpen(char* name);
void OutClose(FILE* file);
void PrintDashedStatuses(FILE* out, char *stat1, char *stat2, char *fallback);
#endif
/*---------------------------------------------------------------------*/
/* End of File */
/*---------------------------------------------------------------------*/
|
