00001 00010 #define DP_MAJOR_VERSION 4 00011 #define DP_MINOR_VERSION 0 00012 #define DP_PATCH_LEVEL 0 00013 00014 extern String getVersion (); 00015 extern String getVersionInfo (); 00016 00017 class Is; 00018 class Os; 00019 class String; 00020 class TotalCPU; 00021 00022 extern void printIntroLine (const String& tag, const String& body); 00023 extern void printIntroLine (const char c); 00024 extern void printIntroLine (const String& tag, const int days); 00025 00026 00027 extern void initStdIO (); 00028 00029 extern void attachCommandLineArgs (int argc, const char** argv); 00030 00031 extern void init_arr1 (int argc, const char** argv, 00032 bool hide_casename_files = false, 00033 const char* logfile_extension = "dp", 00034 const char* package_name = "Diffpack"); 00035 00036 extern void initBasicTools (int argc, const char** argv, 00037 bool hide_casename_files = false); 00038 00039 00040 extern Is s_i; 00041 extern Os s_o; 00042 extern Os s_e; 00043 00044 00045 00046 extern char** cl_argv; 00047 extern int cl_argc; 00048 00049 00050 extern String casename; 00051 extern String casename_orig; 00052 extern String casedir; 00053 extern String logfile_name; 00054 00055 00056 extern real comparison_tolerance; 00057 extern int verbose; 00058 extern int nographics; 00059 extern int nounix; 00060 extern int noreport; 00061 extern int nomenudump; 00062 extern int nodump; 00063 00064 extern int abnormal_exit; 00065 extern TotalCPU total_CPU; 00066 extern int advice; 00067 extern int exceptions; 00068 00069 00070 00071 class Handle(DistrProcManager); 00072 extern Handle(DistrProcManager) proc_manager; 00073 00074 00075 extern void printCommandLineArguments (Os os); 00076 00077 00078 00079 00080 00081