fixed: in Space serializer: we have to escape more characters

fixed: in SpaceParser::ReadTokenSingle
       the delimiter can be only if the character was not escaped


git-svn-id: svn://ttmath.org/publicrep/pikotools/trunk@409 e52654a7-88a9-db11-a3e9-0013d4bc506e
This commit is contained in:
Tomasz Sowa 2012-05-12 15:54:20 +00:00
parent e195145394
commit 11ddf0f6d9
2 changed files with 28 additions and 62 deletions

View File

@ -313,12 +313,8 @@ public:
template<class Stream> template<class Stream>
void SerializeTableMulti(Stream & out, bool use_indents, int level) const; void SerializeTableMulti(Stream & out, bool use_indents, int level) const;
template<class Stream> template<class Stream, class StringType>
static void PrintValue(Stream & out, const std::wstring & str, bool use_quote = true); static void PrintValue(Stream & out, const StringType & str, bool use_quote = true);
// for other uses
template<class Stream>
static void PrintValue(Stream & out, const std::string & str, bool use_quote = true);
template<class Stream> template<class Stream>
static void PrintKey(Stream & out, const std::wstring & str); static void PrintKey(Stream & out, const std::wstring & str);
@ -361,61 +357,28 @@ void Space::PrintLevel(Stream & out, bool use_indents, int level)
template<class Stream>
void Space::PrintValue(Stream & out, const std::wstring & str, bool use_quote) template<class Stream, class StringType>
void Space::PrintValue(Stream & out, const StringType & str, bool use_quote)
{ {
if( use_quote ) if( use_quote )
out << '\"'; out << '\"';
for(size_t i=0 ; i<str.size() ; ++i) for(size_t i=0 ; i<str.size() ; ++i)
{ {
if( str[i] == '\\' ) switch(str[i])
out << L"\\\\"; {
else case 0: out << '\\'; out << '0'; break;
if( str[i] == '"' ) case '\r': out << '\\'; out << 'r'; break;
out << L"\\\""; case '\n': out << '\\'; out << 'n'; break;
else case '\\': out << '\\'; out << '\\'; break;
if( str[i] == '\r' ) case '"': out << '\\'; out << '\"'; break;
out << L"\\r"; case '(': out << '\\'; out << '('; break;
else case ')': out << '\\'; out << ')'; break;
if( str[i] == '\n' ) case '=': out << '\\'; out << '='; break;
out << L"\\n"; default:
else
if( str[i] == 0 )
out << L"\\0";
else
out << str[i];
}
if( use_quote )
out << '\"';
}
template<class Stream>
void Space::PrintValue(Stream & out, const std::string & str, bool use_quote)
{
if( use_quote )
out << '\"';
for(size_t i=0 ; i<str.size() ; ++i)
{
if( str[i] == '\\' )
out << "\\\\";
else
if( str[i] == '"' )
out << "\\\"";
else
if( str[i] == '\r' )
out << "\\r";
else
if( str[i] == '\n' )
out << "\\n";
else
if( str[i] == 0 )
out << "\\0";
else
out << str[i]; out << str[i];
}
} }
if( use_quote ) if( use_quote )

View File

@ -410,11 +410,15 @@ void SpaceParser::ReadTokenSingle(bool white_delimit, bool new_line_delimit, int
SkipLine(); SkipLine();
if( lastc == -1 || if( lastc == -1 ||
lastc == list_end ||
(delimit1 != -1 && lastc == delimit1) ||
(delimit2 != -1 && lastc == delimit2) ||
(white_delimit && IsWhite(lastc)) || (white_delimit && IsWhite(lastc)) ||
(new_line_delimit && lastc == '\n') ) (!char_was_escaped &&
(
lastc == list_end ||
(new_line_delimit && lastc == '\n') ||
(delimit1 != -1 && lastc == delimit1) ||
(delimit2 != -1 && lastc == delimit2)
) ) )
{ {
break; break;
} }
@ -662,11 +666,10 @@ int SpaceParser::ReadChar()
switch(lastc) switch(lastc)
{ {
case '0': lastc = 0; break; case '0': lastc = 0; break;
case 'n': lastc = '\n'; break;
case '\\': lastc = '\\'; break;
case 'r': lastc = '\r'; break;
case 't': lastc = '\t'; break; case 't': lastc = '\t'; break;
case '"': lastc = '"'; break; case 'r': lastc = '\r'; break;
case 'n': lastc = '\n'; break;
// in other cases we return the last character
} }
} }