Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-06 16:45:39 +00:00
Code Issues Projects Releases Packages Wiki Activity

Devtools parser: add --json output mode (#36032)

Browse source 
Signed-off-by: Delan Azabani <dazabani@igalia.com>
This commit is contained in:
Delan Azabani 2025-03-19 17:22:53 +08:00 • committed by GitHub
parent ba6c3916fc
commit 1cd0ea057d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 20 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

17
etc/devtools_parser.py
View file

@ -135,21 +135,33 @@ def process_data(out, port):
# Pretty prints the json message # Pretty prints the json message
def parse_message(msg): def parse_message(msg, *, json_output=False):
time, sender, i, data = msg time, sender, i, data = msg
from_servo = sender == "Servo" from_servo = sender == "Servo"
colored_sender = colored(sender, 'black', 'on_yellow' if from_servo else 'on_magenta', attrs=['bold']) colored_sender = colored(sender, 'black', 'on_yellow' if from_servo else 'on_magenta', attrs=['bold'])
if not json_output:
print(f"\n{colored_sender} - {colored(i, 'blue')} - {colored(time, 'dark_grey')}") print(f"\n{colored_sender} - {colored(i, 'blue')} - {colored(time, 'dark_grey')}")
try: try:
content = json.loads(data) content = json.loads(data)
if json_output:
if "to" in content:
# This is a request
print(json.dumps({"_to": content["to"], "message": content}, sort_keys=True))
elif "from" in content:
# This is a response
print(json.dumps({"_from": content["from"], "message": content}, sort_keys=True))
else:
assert False, "Message is neither a request nor a response"
else:
if from_servo and "from" in content: if from_servo and "from" in content:
print(colored(f"Actor: {content['from']}", 'yellow')) print(colored(f"Actor: {content['from']}", 'yellow'))
print(json.dumps(content, sort_keys=True, indent=4)) print(json.dumps(content, sort_keys=True, indent=4))
except json.JSONDecodeError: except json.JSONDecodeError:
print(f"Warning: Couldn't decode json\n{data}") print(f"Warning: Couldn't decode json\n{data}")
if not json_output:
print() print()
@ -159,6 +171,7 @@ if __name__ == "__main__":
parser.add_argument("-p", "--port", default="1234", help="the port where the devtools client is running") parser.add_argument("-p", "--port", default="1234", help="the port where the devtools client is running")
parser.add_argument("-f", "--filter", help="search for the string on the messages") parser.add_argument("-f", "--filter", help="search for the string on the messages")
parser.add_argument("-r", "--range", help="only parse messages from n to m, with the form of n:m") parser.add_argument("-r", "--range", help="only parse messages from n to m, with the form of n:m")
parser.add_argument("--json", action="store_true", help="output in newline-delimited JSON (NDJSON)")
actions = parser.add_mutually_exclusive_group(required=True) actions = parser.add_mutually_exclusive_group(required=True)
actions.add_argument("-s", "--scan", help="scan and save the output to a file") actions.add_argument("-s", "--scan", help="scan and save the output to a file")
@ -183,4 +196,4 @@ if __name__ == "__main__":
for msg in data[int(min):int(max) + 1]: for msg in data[int(min):int(max) + 1]:
# Filter the messages if specified # Filter the messages if specified
if not args.filter or args.filter.lower() in msg[3].lower(): if not args.filter or args.filter.lower() in msg[3].lower():
parse_message(msg) parse_message(msg, json_output=args.json)