home *** CD-ROM | disk | FTP | other *** search
/ PC World Komputer 1999 mARCH / PCWK3A99.iso / Linux / DDD331 / DDD-3_1_.000 / DDD-3_1_ / ddd-3.1.1 / ddd / exit.h < prev    next >
C/C++ Source or Header  |  1998-11-29  |  3KB  |  81 lines
  1. // $Id: exit.h,v 1.18 1998/11/29 10:43:44 zeller Exp $ -*- C++ -*-
  2. // Exit DDD
  3.  
  4. // Copyright (C) 1996 Technische Universitaet Braunschweig, Germany.
  5. // Written by Andreas Zeller <zeller@ips.cs.tu-bs.de>.
  6. // 
  7. // This file is part of DDD.
  8. // 
  9. // DDD is free software; you can redistribute it and/or
  10. // modify it under the terms of the GNU General Public
  11. // License as published by the Free Software Foundation; either
  12. // version 2 of the License, or (at your option) any later version.
  13. // 
  14. // DDD is distributed in the hope that it will be useful,
  15. // but WITHOUT ANY WARRANTY; without even the implied warranty of
  16. // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
  17. // See the GNU General Public License for more details.
  18. // 
  19. // You should have received a copy of the GNU General Public
  20. // License along with DDD -- see the file COPYING.
  21. // If not, write to the Free Software Foundation, Inc.,
  22. // 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
  23. // 
  24. // DDD is the data display debugger.
  25. // For details, see the DDD World-Wide-Web page, 
  26. // `http://www.cs.tu-bs.de/softech/ddd/',
  27. // or send a mail to the DDD developers <ddd@ips.cs.tu-bs.de>.
  28.  
  29. #ifndef _DDD_exit_h
  30. #define _DDD_exit_h
  31.  
  32. #ifdef __GNUG__
  33. #pragma interface
  34. #endif
  35.  
  36. #include <X11/Intrinsic.h>
  37. #include <iostream.h>
  38.  
  39. #include "bool.h"
  40. #include "ExitCB.h"
  41.  
  42. // Cleanup and signal handling
  43. extern void ddd_cleanup();
  44. extern void ddd_show_signal(int sig);
  45. extern void ddd_show_exception(const char *cls = 0, const char *what = 0);
  46. extern void ddd_install_fatal(char *program_name = 0);
  47. extern void ddd_install_signal();
  48. extern void ddd_install_x_fatal();
  49. extern void ddd_install_x_error();
  50. extern void ddd_install_xt_error(XtAppContext app_context);
  51.  
  52. // Callbacks
  53. extern void _DDDExitCB   (Widget, XtPointer, XtPointer); // GDB exited normally
  54. extern void DDDExitCB    (Widget, XtPointer, XtPointer); // Exit DDD
  55. extern void DDDRestartCB (Widget, XtPointer, XtPointer); // Restart DDD
  56. extern void DDDDebugCB   (Widget, XtPointer, XtPointer); // Debug DDD
  57. extern void DDDDumpCoreCB(Widget, XtPointer, XtPointer); // Dump Core
  58.  
  59. // Core dumps
  60. extern void report_core(ostream& os);
  61.  
  62. // Helpers
  63. class Agent;
  64. extern void gdb_eofHP  (Agent *, void *, void *);
  65. extern void gdb_diedHP (Agent *, void *, void *);
  66.  
  67. // True if GDB is about to exit
  68. extern bool gdb_is_exiting;
  69.  
  70. // True if DDD is about to exit
  71. extern bool ddd_is_exiting;
  72.  
  73. // True if DDD is about to restart
  74. extern bool ddd_is_restarting;
  75.  
  76. // True if DDD has crashed and needs restarting
  77. extern bool ddd_has_crashed;
  78.  
  79. #endif // _DDD_exit_h
  80. // DON'T ADD ANYTHING BEHIND THIS #endif
  81.