| … | |
… | |
| 238 | add (' '), add (v); |
238 | add (' '), add (v); |
| 239 | |
239 | |
| 240 | add ('\n'); |
240 | add ('\n'); |
| 241 | } |
241 | } |
| 242 | |
242 | |
| 243 | //TODO//temporary, used only for saving body locations |
|
|
| 244 | void put (const char *k, int v) |
|
|
| 245 | { |
|
|
| 246 | add (k); |
|
|
| 247 | force (2 + sint32_digits); |
|
|
| 248 | fadd (' '); |
|
|
| 249 | add (sint32 (v)); |
|
|
| 250 | fadd ('\n'); |
|
|
| 251 | } |
|
|
| 252 | |
|
|
| 253 | template<typename T> |
243 | template<typename T> |
| 254 | void put_string (keyword k, const T &v) |
244 | void put_string (keyword k, const T &v) |
| 255 | { |
245 | { |
| 256 | int klen = keyword_len [k]; |
246 | int klen = keyword_len [k]; |
| 257 | int vlen = v ? strlen (v) + 1 : 0; |
247 | int vlen = v ? strlen (v) + 1 : 0; |
