00001 // AUTOMATICALLY GENERATED -- DO NOT EDIT! -*- c++ -*- 00002 00003 #ifndef jdb_input_h 00004 #define jdb_input_h 00005 00006 #include "jdb_module.h" 00007 #include "types.h" 00008 #include "l4_types.h" 00009 00010 // 00011 // INTERFACE definition follows 00012 // 00013 00014 00015 class Jdb_input 00016 { 00017 00018 public: 00019 static int get_mword(Mword *mword, int digits, int base, int first_char = 0); 00020 }; 00021 00022 class Jdb_input_task_addr 00023 { 00024 public: 00025 static char first_char; 00026 static char first_char_have_task; 00027 static Task_num task; 00028 static Address addr; 00029 typedef struct 00030 { 00031 char str[32]; 00032 Jdb_module::Gotkey *gotkey; 00033 } Symbol; 00034 static Symbol symbol; 00035 00036 public: 00037 static Jdb_module::Action_code action(void *&args, char const *&fmt, int &next_char); 00038 00039 private: 00040 static void gotkey_complete_symbol(char *&str, int maxlen, int c); 00041 }; 00042 00043 #endif // jdb_input_h