00001 // AUTOMATICALLY GENERATED -- DO NOT EDIT! -*- c++ -*- 00002 00003 #ifndef boot_console_h 00004 #define boot_console_h 00005 00006 // 00007 // INTERFACE definition follows 00008 // 00009 00010 00011 class Console; 00012 00013 class Boot_console 00014 { 00015 public: 00016 static void init(); 00017 static inline Console *const cons(); 00018 00019 private: 00020 static Console *_c; 00021 }; 00022 00023 // 00024 // IMPLEMENTATION of inline functions (and needed classes) 00025 // 00026 00027 00028 00029 00030 inline Console *const Boot_console::cons() 00031 { 00032 return _c; 00033 } 00034 00035 #endif // boot_console_h