00001 // AUTOMATICALLY GENERATED -- DO NOT EDIT! -*- c++ -*- 00002 00003 #ifndef jdb_mapdb_i_h 00004 #define jdb_mapdb_i_h 00005 00006 #include <cstdio> 00007 00008 #include "jdb.h" 00009 #include "jdb_input.h" 00010 #include "jdb_screen.h" 00011 #include "kernel_console.h" 00012 #include "keycodes.h" 00013 #include "mapdb.h" 00014 #include "mapdb_i.h" 00015 #include "map_util.h" 00016 #include "simpleio.h" 00017 #include "static_init.h" 00018 00019 class Jdb_mapdb : public Jdb_module 00020 { 00021 static Mword pagenum; 00022 00023 public: 00024 Jdb_module::Action_code action(int cmd, void *&, char const *&, int &); 00025 00026 Jdb_module::Cmd const *const cmds() const; 00027 00028 int const num_cmds() const; 00029 00030 Jdb_mapdb(); 00031 00032 private: 00033 static void show(Mword page); 00034 }; 00035 00036 #endif // jdb_mapdb_i_h