10#ifndef __RTDebuggerInput_h__
11#define __RTDebuggerInput_h__ included
34 void setPrompt(
const char * );
35 void pushInput(
const char * );
36 int getNumber(
void );
38 int getString(
char * buf,
int buf_size );
39 int getCommand(
const CmdDesc *,
int none,
int invalid );
42 enum { UngetMax = 1 };
47 char unget_buffer[ UngetMax ];
51 void ungetChar(
char );
62#include <RTDebuggerInput.inl>