Lines Matching refs:attribute
90 JOS.attribute("value_id", llvm::to_string(&V));
94 JOS.attribute("kind", debugString(V.getKind()));
116 JOS.attribute("formula", llvm::to_string(B->formula()));
117 JOS.attribute("truth", Env.proves(B->formula()) ? "true"
124 JOS.attribute("location", llvm::to_string(&L));
128 JOS.attribute("type", L.getType().getAsString());
211 JOS->attribute("block", blockID(E.Block->getBlockID()));
212 JOS->attribute("iter", E.Iter);
213 JOS->attribute("post_visit", E.PostVisit);
214 JOS->attribute("converged", E.Converged);
265 JOS->attribute("block", blockID(Block));
266 JOS->attribute("iter", Iter);
267 JOS->attribute("post_visit", PostVisit);
268 JOS->attribute("element", ElementIndex);
287 JOS->attribute("logs", ContextLogs);
294 JOS->attribute("builtinLattice", BuiltinLattice);
315 JOS->attribute("iter", Iter.Iter);
316 JOS->attribute("post_visit", Iter.PostVisit);
317 JOS->attribute("converged", Iter.Converged);