00001 #ifndef TEMU_MODELS_CONSOLE 00002 #define TEMU_MODELS_CONSOLE 00003 00004 #include <stdint.h> 00005 00006 #ifdef __cplusplus 00007 extern "C" { 00008 #endif 00009 00010 /* Simple interface to get recorded line data from the 00011 console model. */ 00012 00013 uint64_t temu_consoleGetLineCount(void *Con); 00014 const char* temu_consoleGetLine(void *Con, uint64_t Line); 00015 00016 #ifdef __cplusplus 00017 } 00018 #endif 00019 00020 #endif /* ! TEMU_MODELS_CONSOLE */