Я хочу отфильтровать json по именам узлов.
Пример:
{
"abc":1,
"ad":2,
"bar":3
}
В результате я хочу получить /abc и /ad.
Запрос типа $..*[@=~/a.*/i], к сожалению, невозможен.Также с пользовательскими предикатами я не нашел способа изменить имя узла.
Есть ли способ добиться этого с помощью пути json?Может быть с конкретным провайдером?