private function readLine()
{
if (!$this->readline) {
$line = trim(fgets($this->stdin));
if ($line !== "") {
$this->buffer[] = $line;
}
} else {
readline_callback_read_char();
}
}