@brief create a new JSON pointer by appending the right JSON pointer at the end of the left JSON pointer @sa https://json.nlohmann.me/api/json_pointer/operator_slash/
| 13802 | /// @brief create a new JSON pointer by appending the right JSON pointer at the end of the left JSON pointer |
| 13803 | /// @sa https://json.nlohmann.me/api/json_pointer/operator_slash/ |
| 13804 | friend json_pointer operator/(const json_pointer& lhs, |
| 13805 | const json_pointer& rhs) |
| 13806 | { |
| 13807 | return json_pointer(lhs) /= rhs; |
| 13808 | } |
| 13809 | |
| 13810 | /// @brief create a new JSON pointer by appending the unescaped token at the end of the JSON pointer |
| 13811 | /// @sa https://json.nlohmann.me/api/json_pointer/operator_slash/ |
nothing calls this directly
no test coverage detected