17 #include <readline/history.h> 31 typedef InputBuffer HistoryBuffer;
58 : std::istringstream(str)
65 virtual void getline(
const char* prompt =
"",
bool toHistory =
true);
69 virtual void reset(std::streampos);
92 virtual void getline(
const char* prompt =
"",
bool toHistory =
true);
HISTORY_STATE state
Definition: input.h:81
std::string str(T n)
Definition: global.h:310