00001 // AUTOMATICALLY GENERATED -- DO NOT EDIT! -*- c++ -*- 00002 00003 #ifndef jdb_prompt_module_i_h 00004 #define jdb_prompt_module_i_h 00005 00006 #include <cstdio> 00007 #include <cstring> 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 00015 #include "cpu.h" 00016 00017 00018 //=================== 00019 // Std JDB modules 00020 //=================== 00021 00028 class Jdb_pcm 00029 : public Jdb_module 00030 { 00031 public: 00032 private: 00033 static char subcmd; 00034 static char prompt_color; 00035 static char direct_enable; 00036 static int screen_height; 00037 00038 public: 00039 Jdb_module::Action_code action(int cmd, void *&args, char const *&fmt, int &); 00040 00041 int const num_cmds() const; 00042 00043 Jdb_module::Cmd const *const cmds() const; 00044 00045 Jdb_pcm(); 00046 00047 private: 00048 int get_coords(Console *cons, unsigned &x, unsigned &y); 00049 00050 void detect_screenheight(); 00051 00052 int wait_for_escape(Console *cons); 00053 }; 00054 00055 #endif // jdb_prompt_module_i_h