Lines Matching defs:json_frame
122 def __init__(self, json_frame):
123 self.lctx_id = json_frame["lctx_id"]
124 self.caption = json_frame["location_context"]
125 self.decl = json_frame["calling"]
127 SourceLocation(json_frame["location"])
128 if json_frame["location"] is not None
145 def __init__(self, json_frame):
146 self.location_context = LocationContext(json_frame)
148 [(EnvironmentBindingKey(b), b["value"]) for b in json_frame["items"]]
149 if json_frame["items"] is not None