Lines Matching defs:JOS
86 ModelDumper(llvm::json::OStream &JOS, const Environment &Env)
87 : JOS(JOS), Env(Env) {}
90 JOS.attribute("value_id", llvm::to_string(&V));
94 JOS.attribute("kind", debugString(V.getKind()));
103 JOS.attributeObject(
109 JOS.attributeObject(("p:" + Prop.first()).str(),
115 JOS.attribute("formula", llvm::to_string(B->formula()));
116 JOS.attribute("truth", Env.proves(B->formula()) ? "true"
123 JOS.attribute("location", llvm::to_string(&L));
127 JOS.attribute("type", L.getType().getAsString());
134 JOS.attributeObject("f:" + Child.first->getNameAsString(), [&] {
141 JOS.attributeObject(("sf:" + SyntheticField.first()).str(),
147 llvm::json::OStream &JOS;
163 llvm::json::OStream JOS{JStringStream, /*Indent=*/2};
200 JOS.objectBegin();
201 JOS.attributeBegin("states");
202 JOS.objectBegin();
207 JOS.objectEnd();
208 JOS.attributeEnd();
210 JOS.attributeArray("timeline", [&] {
212 JOS.object([&] {
213 JOS.attribute("block", blockID(E.Block->getBlockID()));
214 JOS.attribute("iter", E.Iter);
215 JOS.attribute("post_visit", E.PostVisit);
216 JOS.attribute("converged", E.Converged);
220 JOS.attributeObject("cfg", [&] {
225 JOS.objectEnd();
272 JOS.attributeObject(elementIterID(Block, Iter, ElementIndex), [&] {
273 JOS.attribute("block", blockID(Block));
274 JOS.attribute("iter", Iter);
275 JOS.attribute("post_visit", PostVisit);
276 JOS.attribute("element", ElementIndex);
286 JOS.attributeObject(
287 "value", [&] { ModelDumper(JOS, State.Env).dump(*V); });
290 JOS.attributeObject(
291 "value", [&] { ModelDumper(JOS, State.Env).dump(*Loc); });
296 JOS.attribute("logs", ContextLogs);
303 JOS.attribute("builtinLattice", BuiltinLattice);
322 JOS.attributeObject(blockID(B.getBlockID()), [&] {
323 JOS.attributeArray("iters", [&] {
326 JOS.object([&] {
327 JOS.attribute("iter", Iter.Iter);
328 JOS.attribute("post_visit", Iter.PostVisit);
329 JOS.attribute("converged", Iter.Converged);
333 JOS.attributeArray("elements", [&] {
338 JOS.value(Dump);