Lines Matching refs:json_ps

263     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
283             GenericEnvironment(json_ps['environment']['items']) \
284             if json_ps['environment'] is not None else None
287             (c['symbol'], c['range']) for c in json_ps['constraints']
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
298             GenericEnvironment(json_ps['constructing_objects']) \
299             if json_ps['constructing_objects'] is not None else None
302             GenericEnvironment(json_ps['index_of_element']) \
303             if json_ps['index_of_element'] is not None else None
305         self.checker_messages = CheckerMessages(json_ps['checker_messages']) \
306             if json_ps['checker_messages'] is not None else None