From f0e73163f242cd631848d007a3765fe6b94c5bcd Mon Sep 17 00:00:00 2001
From: Thomas Braun <thomas.braun@byte-physics.de>
Date: Sat, 20 Jun 2020 15:25:54 +0200
Subject: [PATCH] json_pointer.hpp: Mention more exception in documentation
Forgotten in dcd3a6c6 (move the catch of std::invalid_argument into
array_index(), 2020-03-23).
---
include/nlohmann/detail/json_pointer.hpp | 2 ++
single_include/nlohmann/json.hpp | 2 ++
2 files changed, 4 insertions(+)
diff --git a/include/nlohmann/detail/json_pointer.hpp b/include/nlohmann/detail/json_pointer.hpp
index 421c5ec8..18b66e23 100644
--- a/include/nlohmann/detail/json_pointer.hpp
+++ b/include/nlohmann/detail/json_pointer.hpp
@@ -325,6 +325,8 @@ class json_pointer
@return integer representation of @a s
+ @throw parse_error.106 if an array index begins with '0'
+ @throw parse_error.109 if an array index begins not with a digit
@throw out_of_range.404 if string @a s could not be converted to an integer
*/
static int array_index(const std::string& s)
diff --git a/single_include/nlohmann/json.hpp b/single_include/nlohmann/json.hpp
index 33d0c357..22fc0e33 100644
--- a/single_include/nlohmann/json.hpp
+++ b/single_include/nlohmann/json.hpp
@@ -11357,6 +11357,8 @@ class json_pointer
@return integer representation of @a s
+ @throw parse_error.106 if an array index begins with '0'
+ @throw parse_error.109 if an array index begins not with a digit
@throw out_of_range.404 if string @a s could not be converted to an integer
*/
static int array_index(const std::string& s)