Console.h

Go to the documentation of this file.

#ifndef TEMU_MODELS_CONSOLE
#define TEMU_MODELS_CONSOLE

#include <stdint.h>

#ifdef __cplusplus
extern "C" {
#endif

/* Simple interface to get recorded line data from the
   console model. */

uint64_t temu_consoleGetLineCount(void *Con);
const char* temu_consoleGetLine(void *Con, uint64_t Line);

#ifdef __cplusplus
}
#endif

#endif /* ! TEMU_MODELS_CONSOLE */