| 270 | } |
| 271 | |
| 272 | void DDAStat::printStatPerQuery(NodeID ptr, const PointsTo& pts) |
| 273 | { |
| 274 | |
| 275 | if (timeStatMap.empty() == false && NumPerQueryStatMap.empty() == false) |
| 276 | { |
| 277 | SVFUtil::outs().flags(std::ios::left); |
| 278 | unsigned field_width = 20; |
| 279 | SVFUtil::outs() << "---------------------Stat Per Query--------------------------------\n"; |
| 280 | for (TIMEStatMap::iterator it = timeStatMap.begin(), eit = timeStatMap.end(); it != eit; ++it) |
| 281 | { |
| 282 | // format out put with width 20 space |
| 283 | SVFUtil::outs() << std::setw(field_width) << it->first << it->second << "\n"; |
| 284 | } |
| 285 | for (NUMStatMap::iterator it = NumPerQueryStatMap.begin(), eit = NumPerQueryStatMap.end(); it != eit; ++it) |
| 286 | { |
| 287 | // format out put with width 20 space |
| 288 | SVFUtil::outs() << std::setw(field_width) << it->first << it->second << "\n"; |
| 289 | } |
| 290 | } |
| 291 | getPTA()->dumpPts(ptr, pts); |
| 292 | } |
| 293 | |
| 294 | |
| 295 | void DDAStat::printStat(string str) |
no test coverage detected