| 79 | /// @brief create a new JSON pointer by appending the right JSON pointer at the end of the left JSON pointer |
| 80 | /// @sa https://json.nlohmann.me/api/json_pointer/operator_slash/ |
| 81 | friend json_pointer operator/(const json_pointer& lhs, |
| 82 | const json_pointer& rhs) |
| 83 | { |
| 84 | return json_pointer(lhs) /= rhs; |
| 85 | } |
| 86 | |
| 87 | /// @brief create a new JSON pointer by appending the unescaped token at the end of the JSON pointer |
| 88 | /// @sa https://json.nlohmann.me/api/json_pointer/operator_slash/ |
nothing calls this directly
no test coverage detected