src/parser/Console_Token_Stream.cc
void Console_Token_Stream::fill_character_buffer_() {
  char c = static_cast<char>(cin.get());
  if (cin.fail()) {
    character_push_back_('\0');
  } else {
    if (c == '\n') {
      c = ';';
    }
    character_push_back_(c);
  }

  Ensure(check_class_invariants());
}
//------------------------------------------------------------------------------------------------//
//! This function moves the next character from cin into the character buffer.
This function moves the next character from cin into the character buffer.
This function moves the next character from cin into the character buffer .
void Console_Token_Stream::fill_character_buffer_() {
  char c = static_cast<char>(cin.get());
  if (cin.fail()) {
    character_push_back_('\0');
  } else {
    if (c == '\n') {
      c = ';';
    }
    character_push_back_(c);
  }
  Ensure(check_class_invariants());
}
void Console_Token_Stream :: fill_character_buffer_ ( ) { char c = static_cast < char > ( cin . get ( ) ) ; if ( cin . fail ( ) ) { character_push_back_ ( ' \0 ' ) ; } else { if ( c == ' \n ' ) { c = ' ' ; } character_push_back_ ( c ) ; } Ensure ( check_class_invariants ( ) ) ; }
This function moves the next character from cin into the character buffer.
This function moves the next character from cin into the character buffer .