| 160 | } |
| 161 | |
| 162 | bool WriteEndElement(const char* type) { |
| 163 | if (!WriteString("</json:") || |
| 164 | !WriteString(type) || |
| 165 | !WriteString(">")) |
| 166 | return false; |
| 167 | |
| 168 | // For the last end tag, flush the output stream. |
| 169 | if (--level_ == 0) |
| 170 | os_.Flush(); |
| 171 | |
| 172 | return true; |
| 173 | } |
| 174 | |
| 175 | bool WriteNumberElement(const char* buffer, int length) { |
| 176 | if (!WriteStartElement("number")) |