| 375 | } |
| 376 | |
| 377 | Json jsonFromDirectivesList(List<Directives> const& v) { |
| 378 | JsonArray result; |
| 379 | for (auto& e : v) { |
| 380 | if (e) |
| 381 | result.push_back(*e.stringPtr()); |
| 382 | } |
| 383 | return result; |
| 384 | } |
| 385 | |
| 386 | Json weightedChoiceFromJson(Json const& source, Json const& default_) { |
| 387 | if (source.isNull()) |