00001 // AUTOMATICALLY GENERATED -- DO NOT EDIT! -*- c++ -*- 00002 00003 #ifndef jdb_exit_module_i_h 00004 #define jdb_exit_module_i_h 00005 00006 #include <cstdio> 00007 #include "simpleio.h" 00008 00009 #include "jdb.h" 00010 #include "jdb_module.h" 00011 #include "jdb_screen.h" 00012 #include "kernel_console.h" 00013 #include "static_init.h" 00014 #include "terminate.h" 00015 #include "types.h" 00016 00017 00024 class Jdb_exit_module : public Jdb_module 00025 { 00026 00027 public: 00028 Jdb_module::Action_code action(int cmd, void *&, char const *&, int &); 00029 00030 int const num_cmds() const; 00031 00032 Jdb_module::Cmd const *const cmds() const; 00033 00034 Jdb_exit_module(); 00035 }; 00036 00037 #endif // jdb_exit_module_i_h