Method write_vector

agent/php7/utils/json_reader.cc:292–297

}

void JsonReader::write_vector(const std::vector<std::string> &keys, const std::vector<std::string> &value)
{
  json j_vec(value);
  json::json_pointer ptr = json::json_pointer(to_json_pointer(keys));
  j[ptr] = j_vec;
}

void JsonReader::write_int64_vector(const std::vector<std::string> &keys, const std::vector<int> &value)
{