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
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
|
/*-----------------------------------------------------------------------
File : clb_error.h
Author: Stephan Schulz
Contents
Functions and datatypes for handling and reporting errors, warnings,
and dealing with simple system stuff.
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.
Created: Sat Jul 5 02:20:53 MET DST 1997 - New
-----------------------------------------------------------------------*/
#ifndef CLB_ERROR
#define CLB_ERROR
#include <clb_defines.h>
#include <string.h>
#include <stdarg.h>
#include <sys/time.h>
#include <sys/resource.h>
#ifdef HP_UX
#include <syscall.h>
#define getrusage(a, b) syscall(SYS_GETRUSAGE, a, b)
#endif
/*---------------------------------------------------------------------*/
/* Data type declarations */
/*---------------------------------------------------------------------*/
typedef int ErrorCodes;
#define NO_ERROR 0
#define PROOF_FOUND 0
#define SATISFIABLE 1
#define OUT_OF_MEMORY 2
#define SYNTAX_ERROR 3
#define USAGE_ERROR 4
#define FILE_ERROR 5
#define SYS_ERROR 6
#define CPU_LIMIT_ERROR 7
#define RESOURCE_OUT 8
#define INCOMPLETE_PROOFSTATE 9
#define OTHER_ERROR 10
#define INPUT_SEMANTIC_ERROR 11
#define INTERFACE_ERROR 12
/*---------------------------------------------------------------------*/
/* Exported Functions and Variables */
/*---------------------------------------------------------------------*/
#define MAX_ERRMSG_ADD 512
#define MAX_ERRMSG_LEN MAX_ERRMSG_ADD+MAXPATHLEN
extern char ErrStr[];
extern int TmpErrno;
extern char* ProgName;
long GetSystemPageSize(void);
long long GetSystemPhysMemory(void);
void InitError(char* progname);
void Error(char* message, ErrorCodes ret, ...);
void SysError(char* message, ErrorCodes ret, ...);
void Warning(char* message, ...);
void SysWarning(char* message, ...);
double GetTotalCPUTime(void);
void PrintRusage(FILE* out);
void StrideMemory(char* mem, long size);
bool TestLetterString(char* to_check, char* options);
void CheckOptionLetterString(char* to_check, char* options,
char *option);
#endif
/*---------------------------------------------------------------------*/
/* End of File */
/*---------------------------------------------------------------------*/
|
