00001 // AUTOMATICALLY GENERATED -- DO NOT EDIT! -*- c++ -*- 00002 00003 #ifndef jdb_prompt_ext_h 00004 #define jdb_prompt_ext_h 00005 00006 // 00007 // INTERFACE definition follows 00008 // 00009 00010 00011 class Jdb_prompt_ext 00012 { 00013 public: 00014 Jdb_prompt_ext(); 00015 virtual void ext() = 0; 00016 virtual void update(); 00017 virtual ~Jdb_prompt_ext(); 00018 00019 static void do_all(); 00020 static void update_all(); 00021 00022 private: 00023 Jdb_prompt_ext *_next; 00024 Jdb_prompt_ext *_prev; 00025 static Jdb_prompt_ext *_first; 00026 }; 00027 00028 #endif // jdb_prompt_ext_h