Lines Matching defs:json_pointer
10968 // json_pointer is a query in the JSON Pointer (RFC 6901) syntax. The callbacks
10979 DecodeJsonArgJsonPointer json_pointer =
45542 DecodeJsonArgJsonPointer json_pointer) {
45591 for (size_t i = 0; i < json_pointer.repr.size();) {
45592 if (json_pointer.repr[i] != '/') {
45597 json_pointer.repr, i + 1, allow_tilde_n_tilde_r_tilde_t);
45745 // value (for an empty json_pointer query) or having decoded the
45746 // pointed-to JSON value (for a non-empty json_pointer query). In the
45758 ((depth == 0) && !json_pointer.repr.empty())) {