Home
last modified time | relevance | path

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

/netbsd-src/external/apache2/llvm/dist/clang/utils/analyzer/
H A Dexploded-graph-rewriter.py262 def __init__(self, state_id, json_ps): argument
265 if json_ps is None:
266 json_ps = {
277 self.store = Store(json_ps['store']) \
278 if json_ps['store'] is not None else None
281 GenericEnvironment(json_ps['environment']['items']) \
282 if json_ps['environment'] is not None else None
285 (c['symbol'], c['range']) for c in json_ps['constraints']
286 ]) if json_ps['constraints'] is not None else None
292 for t in json_ps['dynamic_types']]) \
[all …]