#include "sql-common/json_dom.h"
#include <errno.h>
#include <float.h>
#include <limits.h>
#include <stdint.h>
#include <string.h>
#include <sys/types.h>
#include <algorithm>
#include <cmath>
#include <functional>
#include <new>
#include <utility>
#include "my_rapidjson_size_t.h"
#include <rapidjson/error/en.h>
#include <rapidjson/error/error.h>
#include <rapidjson/memorystream.h>
#include <rapidjson/reader.h>
#include "base64.h"
#include "decimal.h"
#include "m_ctype.h"
#include "m_string.h"
#include "my_byteorder.h"
#include "my_compare.h"
#include "my_dbug.h"
#include "my_double2ulonglong.h"
#include "my_sys.h"
#include "my_time.h"
#include "mysql/components/services/bits/psi_bits.h"
#include "mysql/service_mysql_alloc.h"
#include "mysql_com.h"
#include "mysqld_error.h"
#include "sql/malloc_allocator.h"
#include "sql/my_decimal.h"
#include "sql/check_stack.h"
#include "sql-common/json_binary.h"
#include "sql-common/json_path.h"
#include "sql-common/json_syntax_check.h"
#include "sql/current_thd.h"
#include "sql/derror.h"
#include "sql/field.h"
#include "sql/psi_memory_key.h"
#include "sql/sql_class.h"
#include "sql/sql_const.h"
#include "sql/sql_error.h"
#include "sql/sql_sort.h"
#include "sql/sql_time.h"
#include "sql/system_variables.h"
#include "sql/table.h"
#include "sql_string.h"
#include "template_utils.h"

Classes
class	anonymous_namespace{json_dom.cc}::Rapid_json_handler
	This class implements rapidjson's Handler concept to make our own handler which will construct our DOM from the parsing of the JSON text. More...

struct	anonymous_namespace{json_dom.cc}::Json_child_equal
	Functor which compares a child DOM of a JSON array or JSON object for equality. More...

class	anonymous_namespace{json_dom.cc}::Cmp_json

class	anonymous_namespace{json_dom.cc}::Eq_json

struct	anonymous_namespace{json_dom.cc}::Json_seek_params
	Input and output parameters to seek_no_dup_elimination that remain constant in recursive calls. More...

class	anonymous_namespace{json_dom.cc}::Wrapper_sort_key
	Wrapper around a sort key buffer. More...

class	anonymous_namespace{json_dom.cc}::Wrapper_hash_key
	Helper class for building a hash key. More...

Namespaces
namespace	anonymous_namespace{json_dom.cc}

Macros
#define	DUMP_CALLBACK(name, state)

#define	MAX_NUMBER_SORT_PAD (std::max(DBL_DIG, DECIMAL_MAX_POSSIBLE_PRECISION) + VARLEN_PREFIX + 3)

Functions
static Json_dom *	json_binary_to_dom_template (const json_binary::Value &v)
	Create a DOM template for the provided json_binary::Value. More...

static Json_array_ptr	wrap_in_array (Json_dom_ptr dom)
	Auto-wrap a dom in an array if it is not already an array. More...

Json_dom_ptr	merge_doms (Json_dom_ptr left, Json_dom_ptr right)
	Merge two doms. More...

static bool	add_if_missing (Json_dom candidate, Json_dom_vector duplicates, Json_dom_vector *result)
	Add a value to a vector if it isn't already there. More...

static bool	is_seek_done (const Json_dom_vector *hits, bool only_need_one)
	Check if a seek operation performed by find_child_doms() or Json_dom::seek() is done. More...

static bool	find_child_doms (Json_dom dom, const Json_path_iterator &current_leg, const Json_path_iterator &last_leg, bool auto_wrap, bool only_need_one, Json_dom_vector duplicates, Json_dom_vector *result)
	Find the child Json_dom objects identified by the given path. More...

static bool	path_gives_duplicates (const Json_path_iterator &begin, const Json_path_iterator &end, bool auto_wrap)
	Does a search on this path, using Json_dom::seek() or Json_wrapper::seek(), need duplicate elimination? More...

static enum_json_type	bjson2json (const json_binary::Value::enum_type bintype)
	Map the JSON type used by the binary representation to the type used by Json_dom and Json_wrapper. More...

static std::string	get_string_data (const json_binary::Value &v)
	Get string data as std::string from a json_binary::Value. More...

template<typename Key >
static Json_dom *	json_object_get (const Json_dom *object, const Json_object_map &map, const Key &key)

static bool	json_key_less (const char key1, size_t length1, const char key2, size_t length2)
	Compare two keys from a JSON object and determine whether or not the first key is less than the second key. More...

static bool	reserve (String *buffer, size_t needed)
	Reserve space in a string buffer. More...

static bool	escape_character (char c, String *buf)
	Escape a special character in a JSON string, as described in double_quote(), and append it to a buffer. More...

bool	double_quote (const char cptr, size_t length, String buf)
	Perform quoting on a JSON string to make an external representation of it. More...

template<typename T >
static Json_wrapper &	assign_json_wrapper (T &&from, Json_wrapper *to)
	Common implementation of move-assignment and copy-assignment for Json_wrapper. More...

static bool	single_quote (String *buffer, bool json_quoted)
	Possibly append a single quote to a buffer. More...

static int	print_string (String buffer, bool json_quoted, const char data, size_t length)
	Pretty-print a string to an evolving buffer, double-quoting if requested. More...

static bool	newline_and_indent (String *buffer, size_t level)
	Helper function for wrapper_to_string() which adds a newline and indentation up to the specified level. More...

static bool	append_comma (String *buffer, bool pretty)
	Append a comma to separate elements in JSON arrays and objects. More...

static bool	wrapper_to_string (const Json_wrapper &wr, String buffer, bool json_quoted, bool pretty, const char func_name, size_t depth, const JsonDocumentDepthHandler &depth_handler)
	Helper function which does all the heavy lifting for Json_wrapper::to_string(). More...

static bool	seek_no_dup_elimination (const json_binary::Value &value, const Json_path_iterator &current_leg, const Json_seek_params &params)
	Finds all of the JSON sub-documents which match the path expression. More...

static std::function< bool(const json_binary::Value &, const Json_path_iterator &, const Json_seek_params &)>	get_seek_func (const Json_path_iterator &it, const Json_seek_params &params)
	Get which helper function of seek_no_dup_elimination() should be used for this path leg. More...

static bool	seek_member (const json_binary::Value &value, const Json_path_iterator &current_leg, const Json_seek_params &params)
	Helper function for seek_no_dup_elimination which handles jpl_member path legs. More...

static bool	seek_member_wildcard (const json_binary::Value &value, const Json_path_iterator &current_leg, const Json_seek_params &params)
	Helper function for seek_no_dup_elimination which handles jpl_member_wildcard path legs. More...

static bool	seek_array_cell (const json_binary::Value &value, const Json_path_iterator &current_leg, const Json_seek_params &params)
	Helper function for seek_no_dup_elimination which handles jpl_array_cell path legs. More...

static bool	seek_array_range (const json_binary::Value &value, const Json_path_iterator &current_leg, const Json_seek_params &params)
	Helper function for seek_no_dup_elimination which handles jpl_array_cell_wildcard and jpl_array_range path legs. More...

static bool	seek_ellipsis (const json_binary::Value &value, const Json_path_iterator &current_leg, const Json_seek_params &params)
	Helper function for seek_no_dup_elimination which handles jpl_ellipsis path legs. More...

static bool	seek_end (const json_binary::Value &value, const Json_path_iterator &current_leg, const Json_seek_params &params)
	Helper function for seek_no_dup_elimination which handles the end of the path. More...

static int	compare_json_decimal_double (const my_decimal &a, double b)
	Compare a decimal value to a double by converting the double to a decimal. More...

static int	compare_json_decimal_int (const my_decimal &a, longlong b)
	Compare a decimal value to a signed integer by converting the integer to a decimal. More...

static int	compare_json_decimal_uint (const my_decimal &a, ulonglong b)
	Compare a decimal value to an unsigned integer by converting the integer to a decimal. More...

static int	compare_json_double_int (double a, longlong b)
	Compare a JSON double to a JSON signed integer. More...

static int	compare_json_double_uint (double a, ulonglong b)
	Compare a JSON double to a JSON unsigned integer. More...

static int	compare_json_int_uint (longlong a, ulonglong b)
	Compare a JSON signed integer to a JSON unsigned integer. More...

static int	compare_json_strings (const char str1, size_t str1_len, const char str2, size_t str2_len, const CHARSET_INFO *cs=nullptr)
	Compare the contents of two strings in a JSON value. More...

static void	handle_coercion_error (enum_coercion_error cr_error, const char target_type, int error_code, const char msgnam)
	Push a warning/error about a problem encountered when coercing a JSON value to some other data type. More...

static void	make_json_numeric_sort_key (const char from, size_t len, bool negative, Wrapper_sort_key to)
	Make a sort key for a JSON numeric value from its string representation. More...

Variables
static constexpr int	num_json_types
	The number of enumerators in the enum_json_type enum. More...

static constexpr int	type_comparison [num_json_types][num_json_types]
	The following matrix tells how two JSON values should be compared based on their types. More...

constexpr uchar	anonymous_namespace{json_dom.cc}::JSON_KEY_NULL = '\x00'

constexpr uchar	anonymous_namespace{json_dom.cc}::JSON_KEY_NUMBER_NEG = '\x01'

constexpr uchar	anonymous_namespace{json_dom.cc}::JSON_KEY_NUMBER_ZERO = '\x02'

constexpr uchar	anonymous_namespace{json_dom.cc}::JSON_KEY_NUMBER_POS = '\x03'

constexpr uchar	anonymous_namespace{json_dom.cc}::JSON_KEY_STRING = '\x04'

constexpr uchar	anonymous_namespace{json_dom.cc}::JSON_KEY_OBJECT = '\x05'

constexpr uchar	anonymous_namespace{json_dom.cc}::JSON_KEY_ARRAY = '\x06'

constexpr uchar	anonymous_namespace{json_dom.cc}::JSON_KEY_FALSE = '\x07'

constexpr uchar	anonymous_namespace{json_dom.cc}::JSON_KEY_TRUE = '\x08'

constexpr uchar	anonymous_namespace{json_dom.cc}::JSON_KEY_DATE = '\x09'

constexpr uchar	anonymous_namespace{json_dom.cc}::JSON_KEY_TIME = '\x0A'

constexpr uchar	anonymous_namespace{json_dom.cc}::JSON_KEY_DATETIME = '\x0B'

constexpr uchar	anonymous_namespace{json_dom.cc}::JSON_KEY_OPAQUE = '\x0C'

Macro Definition Documentation

◆ DUMP_CALLBACK

#define DUMP_CALLBACK	(	name,
		state
	)

◆ MAX_NUMBER_SORT_PAD

#define MAX_NUMBER_SORT_PAD (std::max(DBL_DIG, DECIMAL_MAX_POSSIBLE_PRECISION) + VARLEN_PREFIX + 3)

Function Documentation

◆ add_if_missing()

static bool add_if_missing	(	Json_dom *	candidate,
		Json_dom_vector *	duplicates,
		Json_dom_vector *	result
	)

static

Add a value to a vector if it isn't already there.

This is used for removing duplicate matches for daisy-chained ellipsis tokens in find_child_doms(). The problem with daisy-chained ellipses is that the candidate set may contain the same Json_dom object multiple times at different nesting levels after matching the first ellipsis. That is, the candidate set may contain a Json_dom and its parent, grandparent and so on. When matching the next ellipsis in the path, each value in the candidate set and all its children will be inspected, so the nested Json_dom will be seen multiple times, as its grandparent, parent and finally itself are inspected. We want it to appear only once in the result.

The same problem occurs if a possibly auto-wrapping array path leg comes after an ellipsis. If the candidate set contains both an array element and its parent array due to the ellipsis, the auto-wrapping path leg may match the array element twice, and we only want it once in the result.

Parameters

[in]	candidate	value to add
[in,out]	duplicates	set of values added, or `nullptr` if duplicate checking is not needed
[in,out]	result	vector

Returns: false on success, true on error

◆ append_comma()

static bool append_comma	(	String *	buffer,
		bool	pretty
	)

static

Append a comma to separate elements in JSON arrays and objects.

Parameters

buffer	the string buffer
pretty	true if pretty printing is enabled

Returns: true on error, false on success

◆ assign_json_wrapper()

template<typename T >

static Json_wrapper & assign_json_wrapper	(	T &&	from,
		Json_wrapper *	to
	)

static

Common implementation of move-assignment and copy-assignment for Json_wrapper.

If from is an rvalue, its contents are moved into to, otherwise the contents are copied over.

◆ bjson2json()

static enum_json_type bjson2json ( const json_binary::Value::enum_type bintype )

static

Map the JSON type used by the binary representation to the type used by Json_dom and Json_wrapper.

Note: Does not look into opaque values to determine if they represent decimal or date/time values. For that, look into the Value and retrieve field_type.

Parameters

[in] bintype type of json_binary

Returns: the JSON_dom JSON type.

◆ compare_json_decimal_double()

static int compare_json_decimal_double	(	const my_decimal &	a,
		double	b
	)

static

Compare a decimal value to a double by converting the double to a decimal.

Parameters

a	the decimal value
b	the double value

Returns: -1 if a is less than b, 0 if a is equal to b, 1 if a is greater than b

◆ compare_json_decimal_int()

static int compare_json_decimal_int	(	const my_decimal &	a,
		longlong	b
	)

static

Compare a decimal value to a signed integer by converting the integer to a decimal.

Parameters

a	the decimal value
b	the signed integer value

Returns: -1 if a is less than b, 0 if a is equal to b, 1 if a is greater than b

◆ compare_json_decimal_uint()

static int compare_json_decimal_uint	(	const my_decimal &	a,
		ulonglong	b
	)

static

Compare a decimal value to an unsigned integer by converting the integer to a decimal.

Parameters

a	the decimal value
b	the unsigned integer value

Returns: -1 if a is less than b, 0 if a is equal to b, 1 if a is greater than b

◆ compare_json_double_int()

static int compare_json_double_int	(	double	a,
		longlong	b
	)

static

Compare a JSON double to a JSON signed integer.

Parameters

a	the double value
b	the integer value

Returns: -1 if a is less than b, 0 if a is equal to b, 1 if a is greater than b

◆ compare_json_double_uint()

static int compare_json_double_uint	(	double	a,
		ulonglong	b
	)

static

Compare a JSON double to a JSON unsigned integer.

Parameters

a	the double value
b	the unsigned integer value

Returns: -1 if a is less than b, 0 if a is equal to b, 1 if a is greater than b

◆ compare_json_int_uint()

static int compare_json_int_uint	(	longlong	a,
		ulonglong	b
	)

static

Compare a JSON signed integer to a JSON unsigned integer.

Parameters

a	the signed integer
b	the unsigned integer

Returns: -1 if a is less than b, 0 if a is equal to b, 1 if a is greater than b

◆ compare_json_strings()

static int compare_json_strings	(	const char *	str1,
		size_t	str1_len,
		const char *	str2,
		size_t	str2_len,
		const CHARSET_INFO *	cs = `nullptr`
	)

static

Compare the contents of two strings in a JSON value.

The strings could be either JSON string scalars encoded in utf8mb4, or binary strings from JSON opaque scalars. In either case they are compared byte by byte.

Parameters

str1	the first string
str1_len	the length of str1
str2	the second string
str2_len	the length of str2
cs	If given, this charset will be used for comparison

Return values

-1	if str1 is less than str2,
0	if str1 is equal to str2,
1	if str1 is greater than str2

◆ double_quote()

bool double_quote	(	const char *	cptr,
		size_t	length,
		String *	buf
	)

Perform quoting on a JSON string to make an external representation of it.

It wraps double quotes (text quotes) around the string (cptr) and also performs escaping according to the following table:

Common name     C-style  Original unescaped     Transformed to
                escape   UTF-8 bytes            escape sequence
                notation                        in UTF-8 bytes
---------------------------------------------------------------
quote           \"       %x22                    %x5C %x22
backslash       \\       %x5C                    %x5C %x5C
backspace       \b       %x08                    %x5C %x62
formfeed        \f       %x0C                    %x5C %x66
linefeed        \n       %x0A                    %x5C %x6E
carriage-return \r       %x0D                    %x5C %x72
tab             \t       %x09                    %x5C %x74
unicode         \uXXXX  A hex number in the      %x5C %x75
                        range of 00-1F,          followed by
                        except for the ones      4 hex digits
                        handled above (backspace,
                        formfeed, linefeed,
                        carriage-return,
                        and tab).
---------------------------------------------------------------

Parameters

[in]	cptr	pointer to string data
[in]	length	the length of the string
[in,out]	buf	the destination buffer

Return values

true on error

◆ escape_character()

static bool escape_character	(	char	c,
		String *	buf
	)

static

Escape a special character in a JSON string, as described in double_quote(), and append it to a buffer.

Parameters

c	the special character to escape
buf	the destination buffer

Return values

false	on success
true	on memory allocation failure

◆ find_child_doms()

static bool find_child_doms	(	Json_dom *	dom,
		const Json_path_iterator &	current_leg,
		const Json_path_iterator &	last_leg,
		bool	auto_wrap,
		bool	only_need_one,
		Json_dom_vector *	duplicates,
		Json_dom_vector *	result
	)

static

Find the child Json_dom objects identified by the given path.

The child doms are added to a vector.

See the header comment for Json_wrapper::seek() for a discussion of complexities involving path expressions with more than one ellipsis (**) token, or a combination of ellipsis and auto-wrapping path legs.

Parameters

[in]	dom	the DOM to search
[in]	current_leg	iterator to the path leg to look at
[in]	last_leg	iterator to the last path leg (exclusive)
[in]	auto_wrap	if true, auto-wrap non-arrays when matching against array path legs
[in]	only_need_one	true if we can stop after finding one match
[in,out]	duplicates	set of values collected, which helps to identify duplicate arrays and objects introduced by daisy-chained tokens or auto-wrapping, or `nullptr` if duplicate elimination is not needed for this path leg
[in,out]	result	the vector of qualifying children

Returns: false on success, true on error

◆ get_seek_func()

static std::function< bool(const json_binary::Value &, const Json_path_iterator &, const Json_seek_params &)> get_seek_func	(	const Json_path_iterator &	it,
		const Json_seek_params &	params
	)

static

Get which helper function of seek_no_dup_elimination() should be used for this path leg.

◆ get_string_data()

static std::string get_string_data ( const json_binary::Value & v )

static

Get string data as std::string from a json_binary::Value.

◆ handle_coercion_error()

static void handle_coercion_error	(	enum_coercion_error	cr_error,
		const char *	target_type,
		int	error_code,
		const char *	msgnam
	)

static

Push a warning/error about a problem encountered when coercing a JSON value to some other data type.

Parameters

[in]	cr_error	what to issue: a warning, an error or nothing
[in]	target_type	the name of the target type of the coercion
[in]	error_code	the error code to use for the warning
[in]	msgnam	the name of the field/expression being coerced

◆ is_seek_done()

static bool is_seek_done	(	const Json_dom_vector *	hits,
		bool	only_need_one
	)

inlinestatic

Check if a seek operation performed by find_child_doms() or Json_dom::seek() is done.

Returns: true if only one result is needed and a result has been found

◆ json_binary_to_dom_template()

static Json_dom * json_binary_to_dom_template ( const json_binary::Value & v )

static

Create a DOM template for the provided json_binary::Value.

If the binary value represents a scalar, create a Json_dom object that represents the scalar and return a pointer to it.

If the binary value represents an object or an array, create an empty Json_object or Json_array object and return a pointer to it.

Parameters

v	the binary value to convert to DOM

Returns: a DOM template for the top-level the binary value, or NULL if an error is detected.

◆ json_key_less()

static bool json_key_less	(	const char *	key1,
		size_t	length1,
		const char *	key2,
		size_t	length2
	)

static

Compare two keys from a JSON object and determine whether or not the first key is less than the second key.

key1 is considered less than key2 if

a) key1 is shorter than key2, or if

b) key1 and key2 have the same length, but different contents, and the first byte that differs has a smaller value in key1 than in key2

Otherwise, key1 is not less than key2.

Parameters

key1	the first key to compare
length1	the length of the first key
key2	the second key to compare
length2	the length of the second key

Returns: true if key1 is considered less than key2, false otherwise

◆ json_object_get()

template<typename Key >

static Json_dom * json_object_get	(	const Json_dom *	object,
		const Json_object_map &	map,
		const Key &	key
	)

static

◆ make_json_numeric_sort_key()

static void make_json_numeric_sort_key	(	const char *	from,
		size_t	len,
		bool	negative,
		Wrapper_sort_key *	to
	)

static

Make a sort key for a JSON numeric value from its string representation.

The input string could be either on scientific format (such as 1.234e2) or on plain format (such as 12.34).

The sort key will have the following parts:

1) One byte that is JSON_KEY_NUMBER_NEG, JSON_KEY_NUMBER_ZERO or JSON_KEY_NUMBER_POS if the number is positive, zero or negative, respectively.

2) Two bytes that represent the decimal exponent of the number (log10 of the number, truncated to an integer).

3) All the digits of the number, without leading zeros.

4) Padding to ensure that equal numbers sort equal even if they have a different number of trailing zeros.

If the number is zero, parts 2, 3 and 4 are skipped.

For negative numbers, the values in parts 2, 3 and 4 need to be inverted so that bigger negative numbers sort before smaller negative numbers.

Parameters

[in]	from	the string representation of the number
[in]	len	the length of the input string
[in]	negative	true if the number is negative, false otherwise
[in,out]	to	the target sort key

◆ merge_doms()

Json_dom_ptr merge_doms	(	Json_dom_ptr	left,
		Json_dom_ptr	right
	)

Merge two doms.

The right dom is either subsumed into the left dom or the contents of the right dom are transferred to the left dom and the right dom is deleted. After calling this function, the caller should not reference the right dom again. It has been deleted.

Returns NULL if there is a memory allocation failure. In this case both doms are deleted.

scalars - If any of the documents that are being merged is a scalar, each scalar document is autowrapped as a single value array before merging.

arrays - When merging a left array with a right array, then the result is the left array concatenated with the right array. For instance, [ 1, 2 ] merged with [ 3, 4 ] is [ 1, 2, 3, 4 ].

array and object - When merging an array with an object, the object is autowrapped as an array and then the rule above is applied. So [ 1, 2 ] merged with { "a" : true } is [ 1, 2, { "a": true } ].

objects - When merging two objects, the two objects are concatenated into a single, larger object. So { "a" : "foo" } merged with { "b" : 5 } is { "a" : "foo", "b" : 5 }.

duplicates - When two objects are merged and they share a key, the values associated with the shared key are merged.

Parameters

[in,out]	left	The recipient dom.
[in,out]	right	The dom to be consumed

Returns: A composite dom which subsumes the left and right doms, or NULL if a failure happened while merging

◆ newline_and_indent()

static bool newline_and_indent	(	String *	buffer,
		size_t	level
	)

static

Helper function for wrapper_to_string() which adds a newline and indentation up to the specified level.

Parameters

[in,out]	buffer	the buffer to write to
[in]	level	how many nesting levels to add indentation for

Return values

false	on success
true	on error

◆ path_gives_duplicates()

static bool path_gives_duplicates	(	const Json_path_iterator &	begin,
		const Json_path_iterator &	end,
		bool	auto_wrap
	)

static

Does a search on this path, using Json_dom::seek() or Json_wrapper::seek(), need duplicate elimination?

Duplicate elimination is needed if the path contains multiple ellipses, or if it contains an auto-wrapping array path leg after an ellipses. See Json_wrapper::seek() for more details.

Parameters

begin	the beginning of the path
end	the end of the path (exclusive)
auto_wrap	true if array auto-wrapping is used

Return values

true	if duplicate elimination is needed
false	if the path won't produce duplicates

◆ print_string()

static int print_string	(	String *	buffer,
		bool	json_quoted,
		const char *	data,
		size_t	length
	)

static

Pretty-print a string to an evolving buffer, double-quoting if requested.

Parameters

[in]	buffer	the buffer to print to
[in]	json_quoted	true if we should double-quote
[in]	data	the string to print
[in]	length	the string's length

Returns: false on success, true on failure

◆ reserve()

static bool reserve	(	String *	buffer,
		size_t	needed
	)

static

Reserve space in a string buffer.

If reallocation is needed, increase the size of the buffer exponentially.

Parameters

buffer	the string buffer
needed	the number of bytes needed

Returns: true on error, false on success

◆ seek_array_cell()

static bool seek_array_cell	(	const json_binary::Value &	value,
		const Json_path_iterator &	current_leg,
		const Json_seek_params &	params
	)

static

Helper function for seek_no_dup_elimination which handles jpl_array_cell path legs.

◆ seek_array_range()

static bool seek_array_range	(	const json_binary::Value &	value,
		const Json_path_iterator &	current_leg,
		const Json_seek_params &	params
	)

static

Helper function for seek_no_dup_elimination which handles jpl_array_cell_wildcard and jpl_array_range path legs.

◆ seek_ellipsis()

static bool seek_ellipsis	(	const json_binary::Value &	value,
		const Json_path_iterator &	current_leg,
		const Json_seek_params &	params
	)

static

Helper function for seek_no_dup_elimination which handles jpl_ellipsis path legs.

◆ seek_end()

static bool seek_end	(	const json_binary::Value &	value,
		const Json_path_iterator &	current_leg,
		const Json_seek_params &	params
	)

static

Helper function for seek_no_dup_elimination which handles the end of the path.

◆ seek_member()

static bool seek_member	(	const json_binary::Value &	value,
		const Json_path_iterator &	current_leg,
		const Json_seek_params &	params
	)

static

Helper function for seek_no_dup_elimination which handles jpl_member path legs.

◆ seek_member_wildcard()

static bool seek_member_wildcard	(	const json_binary::Value &	value,
		const Json_path_iterator &	current_leg,
		const Json_seek_params &	params
	)

static

Helper function for seek_no_dup_elimination which handles jpl_member_wildcard path legs.

◆ seek_no_dup_elimination()

static bool seek_no_dup_elimination	(	const json_binary::Value &	value,
		const Json_path_iterator &	current_leg,
		const Json_seek_params &	params
	)

static

Finds all of the JSON sub-documents which match the path expression.

Puts the matches on an evolving vector of results. This is a fast-track method for paths which don't need duplicate elimination due to multiple ellipses or the combination of ellipses and auto-wrapping. Those paths can take advantage of the efficient positioning logic of json_binary::Value.

Parameters

[in]	value	the JSON value to search
[in]	current_leg	iterator to the first path leg to look at. Usually called on the root document with an iterator pointing to the beginning of the path, and then incremented in recursive calls within this function.
[in,out]	params	the seek parameters

Returns: false if there was no error, otherwise true on error

◆ single_quote()

static bool single_quote	(	String *	buffer,
		bool	json_quoted
	)

inlinestatic

Possibly append a single quote to a buffer.

Parameters

[in,out]	buffer	receiving buffer
[in]	json_quoted	whether or not a quote should be appended

Returns: false if successful, true on error

◆ wrap_in_array()

static Json_array_ptr wrap_in_array ( Json_dom_ptr dom )

static

Auto-wrap a dom in an array if it is not already an array.

Delete the dom if there is a memory allocation failure.

◆ wrapper_to_string()

static bool wrapper_to_string	(	const Json_wrapper &	wr,
		String *	buffer,
		bool	json_quoted,
		bool	pretty,
		const char *	func_name,
		size_t	depth,
		const JsonDocumentDepthHandler &	depth_handler
	)

static

Helper function which does all the heavy lifting for Json_wrapper::to_string().

It processes the Json_wrapper recursively. The depth parameter keeps track of the current nesting level. When it reaches JSON_DOCUMENT_MAX_DEPTH (see json_syntax_check.cc for definition), it gives up in order to avoid running out of stack space.

Parameters

[in]	wr	the value to convert to a string
[in,out]	buffer	the buffer to write to
[in]	json_quoted	quote strings if true
[in]	pretty	add newlines and indentation if true
[in]	func_name	the name of the calling function
[in]	depth	the nesting level of wr
[in]	depth_handler	Pointer to a function that should handle error occurred when depth is exceeded.

Return values

false	on success
true	on error

Variable Documentation

◆ num_json_types

constexpr int num_json_types

staticconstexpr

Initial value:

=

static_cast<int>(enum_json_type::J_ERROR) + 1

enum_json_type::J_ERROR

@ J_ERROR

The number of enumerators in the enum_json_type enum.

◆ type_comparison

constexpr int type_comparison[num_json_types][num_json_types]

staticconstexpr

Initial value:

= {
        {0, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1},
     {1,  0,  0,  0,  0, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1},
         {1,  0,  0,  0,  0, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1},
        {1,  0,  0,  0,  0, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1},
      {1,  0,  0,  0,  0, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1},
      {1,  1,  1,  1,  1,  0, -1, -1, -1, -1, -1, -1, -1, -1, -1},
      {1,  1,  1,  1,  1,  1,  0, -1, -1, -1, -1, -1, -1, -1, -1},
       {1,  1,  1,  1,  1,  1,  1,  0, -1, -1, -1, -1, -1, -1, -1},
     {1,  1,  1,  1,  1,  1,  1,  1,  0, -1, -1, -1, -1, -1, -1},
        {1,  1,  1,  1,  1,  1,  1,  1,  1,  0, -1, -1, -1, -1, -1},
        {1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  0, -1, -1, -1, -1},
    {1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  0,  0, -1, -1},
   {1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  0,  0, -1, -1},
      {1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  0, -1},
       {1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1},
}

The following matrix tells how two JSON values should be compared based on their types.

If type_comparison[type_of_a][type_of_b] is -1, it means that a is smaller than b. If it is 1, it means that a is greater than b. If it is 0, it means it cannot be determined which value is the greater one just by looking at the types.

Classes

Namespaces

Macros

Functions

Variables

Macro Definition Documentation

◆ DUMP_CALLBACK

◆ MAX_NUMBER_SORT_PAD

Function Documentation

◆ add_if_missing()

◆ append_comma()

◆ assign_json_wrapper()

◆ bjson2json()

◆ compare_json_decimal_double()

◆ compare_json_decimal_int()

◆ compare_json_decimal_uint()

◆ compare_json_double_int()

◆ compare_json_double_uint()

◆ compare_json_int_uint()

◆ compare_json_strings()

◆ double_quote()

◆ escape_character()

◆ find_child_doms()

◆ get_seek_func()

◆ get_string_data()

◆ handle_coercion_error()

◆ is_seek_done()

◆ json_binary_to_dom_template()

◆ json_key_less()

◆ json_object_get()

◆ make_json_numeric_sort_key()

◆ merge_doms()

◆ newline_and_indent()

◆ path_gives_duplicates()

◆ print_string()

◆ reserve()

◆ seek_array_cell()

◆ seek_array_range()

◆ seek_ellipsis()

◆ seek_end()

◆ seek_member()

◆ seek_member_wildcard()

◆ seek_no_dup_elimination()

◆ single_quote()

◆ wrap_in_array()

◆ wrapper_to_string()

Variable Documentation

◆ num_json_types

◆ type_comparison