@return A stat for the overall query or -1 if the stat didn't exist.
(final QueryStat stat)
| 873 | |
| 874 | /** @return A stat for the overall query or -1 if the stat didn't exist. */ |
| 875 | public long getStat(final QueryStat stat) { |
| 876 | if (!overall_stats.containsKey(stat)) { |
| 877 | return -1; |
| 878 | } |
| 879 | return overall_stats.get(stat); |
| 880 | } |
| 881 | |
| 882 | /** @return a timed stat for the overall query or NaN if the stat didn't exist */ |
| 883 | public double getTimeStat(final QueryStat stat) { |