From 8dd16259287f58f9273002717ec4d27e97127719 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Wed, 12 Jun 2024 07:43:14 +0200 Subject: Merging upstream version 127.0. Signed-off-by: Daniel Baumann --- tools/github-sync/read-json.py | 42 ------------------------------------------ 1 file changed, 42 deletions(-) delete mode 100755 tools/github-sync/read-json.py (limited to 'tools/github-sync/read-json.py') diff --git a/tools/github-sync/read-json.py b/tools/github-sync/read-json.py deleted file mode 100755 index 87264d7df4..0000000000 --- a/tools/github-sync/read-json.py +++ /dev/null @@ -1,42 +0,0 @@ -#!/usr/bin/env python3 - -# This Source Code Form is subject to the terms of the Mozilla Public -# License, v. 2.0. If a copy of the MPL was not distributed with this -# file, You can obtain one at http://mozilla.org/MPL/2.0/. - -import json -import sys - -j = json.load(sys.stdin) -components = sys.argv[1].split("/") - - -def next_match(json_fragment, components): - if len(components) == 0: - yield json_fragment - else: - component = components[0] - if type(json_fragment) == list: - if component == "*": - for item in json_fragment: - yield from next_match(item, components[1:]) - else: - component = int(component) - if component >= len(j): - sys.exit(1) - yield from next_match(json_fragment[component], components[1:]) - elif type(json_fragment) == dict: - if component == "*": - for key in sorted(json_fragment.keys()): - yield from next_match(json_fragment[key], components[1:]) - elif component not in json_fragment: - sys.exit(1) - else: - yield from next_match(json_fragment[component], components[1:]) - - -for match in list(next_match(j, components)): - if type(match) == dict: - print(" ".join(match.keys())) - else: - print(match) -- cgit v1.2.3