src/Generic/common/LocatedString.cpp
/**
 * @param out the output stream to print to.
 * @param indent the number of spaces to indent each line.
 */
@param out the output stream to print to.
@param indent the number of spaces to indent each line.
@param out the output stream to print to . @param indent the number of spaces to indent each line .
void LocatedString::dump(std::ostream &out, int indent) const {
	char buf[100000];
	StringTransliterator::transliterateToEnglish(buf, _text.c_str(), 99999);
	out << buf;
}
void LocatedString :: dump ( std :: ostream & out , int indent ) const { char buf [ 100000 ] ; StringTransliterator :: transliterateToEnglish ( buf , _text . c_str ( ) , 99999 ) ; out << buf ; }
@param out the output stream to print to.
@param out the output stream to print to .