Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/utils/analyzer/
H A Dexploded-graph-rewriter.py263 def __init__(self, state_id, json_ps): argument
266 if json_ps is None:
267 json_ps = {
279 self.store = Store(json_ps['store']) \
280 if json_ps['store'] is not None else None
284 if json_ps['environment'] is not None else None
288 ]) if json_ps['constraints'] is not None else None
294 for t in json_ps['dynamic_types']]) \
295 if json_ps['dynamic_types'] is not None else None
302 GenericEnvironment(json_ps['index_of_element']) \
[all …]