00001 // AUTOMATICALLY GENERATED -- DO NOT EDIT! -*- c++ -*- 00002 00003 #ifndef jdb_core_i_h 00004 #define jdb_core_i_h 00005 00006 #include <cstring> 00007 #include <cstdarg> 00008 #include <cstdio> 00009 #include <cstdlib> 00010 #include <cctype> 00011 #include <simpleio.h> 00012 00013 #include "div32.h" 00014 #include "l4_types.h" 00015 #include "kernel_console.h" 00016 #include "keycodes.h" 00017 #include "jdb_prompt_ext.h" 00018 #include "jdb_screen.h" 00019 00020 00021 //=================== 00022 // Std JDB modules 00023 //=================== 00024 00031 class Go_m 00032 : public Jdb_module 00033 { 00034 public: 00035 00036 00037 public: 00038 Go_m(); 00039 00040 Jdb_module::Action_code action( int, void *&, char const *&, int & ); 00041 00042 int const num_cmds() const; 00043 00044 Jdb_module::Cmd const *const cmds() const; 00045 }; 00046 00047 00054 class Help_m : public Jdb_module 00055 { 00056 public: 00057 00058 public: 00059 Jdb_module::Action_code action( int, void *&, char const *&, int & ); 00060 00061 int const num_cmds() const; 00062 00063 Jdb_module::Cmd const *const cmds() const; 00064 00065 Help_m(); 00066 }; 00067 00068 #endif // jdb_core_i_h