00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032
00033
00034
00035
00036 #ifndef _error_h
00037 #define _error_h
00038
00039
00040 #include <stdio.h>
00041
00042 #include <iostream>
00043 #include <string>
00044
00045 using std::cout;
00046 using std::string;
00047
00053 typedef int ErrorCode;
00054
00057 #define undefined_error 1000
00058 #define unknown_error 1001
00059 #define internal_error 1002
00060 #define no_such_file 1003
00061 #define no_such_variable 1004
00062 #define malformed_expr 1005
00063 #define no_authorization 1006
00064 #define can_not_read_file 1007
00065 #define cannot_read_file 1008
00066
00067
00069 enum ProgramType {
00070 undefined_prog_type = -1,
00071 no_program,
00072 java,
00073 tcl
00074 };
00075
00095 class Error
00096 {
00097 protected:
00098 ErrorCode _error_code;
00099 string _error_message;
00100 ProgramType _program_type;
00101 char *_program;
00102
00103 public:
00105 Error(ErrorCode ec, string msg);
00107 Error(string msg);
00108 #if 0
00110 Error(ErrorCode ec, string msg, ProgramType pt, char *pgm);
00111 #endif
00113 Error();
00114
00116 Error(const Error ©_from);
00117
00118 virtual ~Error();
00119
00120 Error &operator=(const Error &rhs);
00121
00123 bool OK() const;
00125 bool parse(FILE *fp);
00127 void print(FILE *out) const;
00129 ErrorCode get_error_code() const;
00131 string get_error_message() const;
00133 void set_error_code(ErrorCode ec = undefined_error);
00135 void set_error_message(string msg = "");
00136 #if 0
00138 ProgramType get_program_type() const;
00140 const char *get_program() const;
00142 void set_program_type(ProgramType pt = undefined_prog_type);
00144 void set_program(char *program);
00146 void display_message(void *gui = 0) const;
00148 string correct_error(void *gui) const;
00150 string error_message(string msg = "");
00152 ProgramType program_type(ProgramType pt = undefined_prog_type);
00154 char *program(char *program = 0);
00156 ErrorCode error_code(ErrorCode ec = undefined_error);
00157 #endif
00158 };
00159
00160 #endif // _error_h