| 132 | } |
| 133 | |
| 134 | void StartArray(bool is_element = false) { |
| 135 | // if this appears as a plain array element, we need to insert a delimiter and we should also indent it |
| 136 | if (is_element) { |
| 137 | AddIndentation(); |
| 138 | if (!first) { |
| 139 | buff << ','; |
| 140 | } |
| 141 | } |
| 142 | first = true; |
| 143 | buff << "[" << newline; |
| 144 | PushIndent(); |
| 145 | } |
| 146 | |
| 147 | void EndArray() { |
| 148 | PopIndent(); |