86   ModelDumper(llvm::json::OStream &JOS, const Environment &Env)  in ModelDumper()  argument
87       : JOS(JOS), Env(Env) {}  in ModelDumper()
90     JOS.attribute("value_id", llvm::to_string(&V));  in dump()
94     JOS.attribute("kind", debugString(V.getKind()));  in dump()
104       JOS.attributeObject(  in dump()
110       JOS.attributeObject(("p:" + Prop.first()).str(),  in dump()
116       JOS.attribute("formula", llvm::to_string(B->formula()));  in dump()
117       JOS.attribute("truth", Env.proves(B->formula()) ? "true"  in dump()
124     JOS.attribute("location", llvm::to_string(&L));  in dump()
128     JOS.attribute("type", L.getType().getAsString());  in dump()
134         JOS.attributeObject("f:" + Child.first->getNameAsString(), [&] {  in dump()
141         JOS.attributeObject(("sf:" + SyntheticField.first()).str(),  in dump()
147   llvm::json::OStream &JOS;  member in clang::dataflow::__anon475589f90111::ModelDumper
161   std::optional<llvm::json::OStream> JOS;  member in clang::dataflow::__anon475589f90111::HTMLLogger
197     JOS.emplace(*OS, /*Indent=*/2);  in beginAnalysis()
198     JOS->objectBegin();  in beginAnalysis()
199     JOS->attributeBegin("states");  in beginAnalysis()
200     JOS->objectBegin();  in beginAnalysis()
205     JOS->objectEnd();  in endAnalysis()
206     JOS->attributeEnd();  in endAnalysis()
208     JOS->attributeArray("timeline", [&] {  in endAnalysis()
210         JOS->object([&] {  in endAnalysis()
211           JOS->attribute("block", blockID(E.Block->getBlockID()));  in endAnalysis()
212           JOS->attribute("iter", E.Iter);  in endAnalysis()
213           JOS->attribute("post_visit", E.PostVisit);  in endAnalysis()
214           JOS->attribute("converged", E.Converged);  in endAnalysis()
218     JOS->attributeObject("cfg", [&] {  in endAnalysis()
223     JOS->objectEnd();  in endAnalysis()
224     JOS.reset();  in endAnalysis()
264     JOS->attributeObject(elementIterID(Block, Iter, ElementIndex), [&] {  in recordState()
265       JOS->attribute("block", blockID(Block));  in recordState()
266       JOS->attribute("iter", Iter);  in recordState()
267       JOS->attribute("post_visit", PostVisit);  in recordState()
268       JOS->attribute("element", ElementIndex);  in recordState()
277               JOS->attributeObject(  in recordState()
278                   "value", [&] { ModelDumper(*JOS, State.Env).dump(*V); });  in recordState()
281               JOS->attributeObject(  in recordState()
282                   "value", [&] { ModelDumper(*JOS, State.Env).dump(*Loc); });  in recordState()
287         JOS->attribute("logs", ContextLogs);  in recordState()
294         JOS->attribute("builtinLattice", BuiltinLattice);  in recordState()
310     JOS->attributeObject(blockID(B.getBlockID()), [&] {  in writeBlock()
311       JOS->attributeArray("iters", [&] {  in writeBlock()
314           JOS->object([&] {  in writeBlock()
315             JOS->attribute("iter", Iter.Iter);  in writeBlock()
316             JOS->attribute("post_visit", Iter.PostVisit);  in writeBlock()
317             JOS->attribute("converged", Iter.Converged);  in writeBlock()
321       JOS->attributeArray("elements", [&] {  in writeBlock()
326           JOS->value(Dump);  in writeBlock()