equal
deleted
inserted
replaced
54 /// |
54 /// |
55 /// Writes a quoted string to the given stream. |
55 /// Writes a quoted string to the given stream. |
56 void write(std::ostream& os, const std::string& value) { |
56 void write(std::ostream& os, const std::string& value) { |
57 os << "\""; |
57 os << "\""; |
58 if (escaped) { |
58 if (escaped) { |
59 std::ostringstream ls(value); |
59 std::ostringstream ls; |
60 for (int i = 0; i < (int)value.size(); ++i) { |
60 for (int i = 0; i < (int)value.size(); ++i) { |
61 writeEscape(ls, value[i]); |
61 writeEscape(ls, value[i]); |
62 } |
62 } |
63 os << ls.str(); |
63 os << ls.str(); |
64 } else { |
64 } else { |