Home
last modified time | relevance | path

Searched refs:json_domain (Results 1 – 2 of 2) sorted by relevance

/external/chromium_org/third_party/WebKit/Source/devtools/scripts/
DCodeGeneratorFrontend.py105 for json_domain in api["domains"]:
106 domain_name = json_domain["domain"]
111 if "types" in json_domain:
112 for json_type in json_domain["types"]:
186 for json_domain in json_api["domains"]:
187 domain_name = json_domain["domain"]
193 if "types" in json_domain:
194 for json_type in json_domain["types"]:
205 if "events" in json_domain:
206 for json_event in json_domain["events"]:
[all …]
/external/chromium_org/third_party/WebKit/Source/core/inspector/
DCodeGeneratorInspector.py1532 def __init__(self, json_type, json_domain, domain_data): argument
1534 self.json_domain_ = json_domain
1573 def __init__(self, json_domain): argument
1574 self.json_domain = json_domain
1581 return self.json_domain["domain"]
1591 for json_domain in api["domains"]:
1592 domain_name = json_domain["domain"]
1597 domain_data = DomainData(json_domain)
1600 if "types" in json_domain:
1601 for json_type in json_domain["types"]:
[all …]