/*
   +----------------------------------------------------------------------+
   | Copyright © The PHP Group and Contributors.                          |
   +----------------------------------------------------------------------+
   | This source file is subject to the Modified BSD License that is      |
   | bundled with this package in the file LICENSE, and is available      |
   | through the World Wide Web at <https://www.php.net/license/>.        |
   |                                                                      |
   | SPDX-License-Identifier: BSD-3-Clause                                |
   +----------------------------------------------------------------------+
   | Authors: Marcus Boerger <helly@php.net>                              |
   +----------------------------------------------------------------------+
 */

#ifdef HAVE_CONFIG_H
	#include <config.h>
#endif

#include "php.h"

void spl_set_private_debug_info_property(
	const zend_class_entry *ce,
	const char *property,
	size_t property_len,
	HashTable *debug_info,
	zval *value
)
{
	zend_string *mangled_named = zend_mangle_property_name(
		ZSTR_VAL(ce->name),
		ZSTR_LEN(ce->name),
		property,
		property_len,
		/* persistent */ false
	);
	zend_hash_update(debug_info, mangled_named, value);
	zend_string_release_ex(mangled_named, /* persistent */ false);
}