103 json::Object renderSummary(const FileCoverageSummary &Summary) {  in renderSummary()  argument
106         json::Object({{"count", int64_t(Summary.LineCoverage.getNumLines())},  in renderSummary()
107                       {"covered", int64_t(Summary.LineCoverage.getCovered())},  in renderSummary()
108                       {"percent", Summary.LineCoverage.getPercentCovered()}})},  in renderSummary()
111             {{"count", int64_t(Summary.FunctionCoverage.getNumFunctions())},  in renderSummary()
112              {"covered", int64_t(Summary.FunctionCoverage.getExecuted())},  in renderSummary()
113              {"percent", Summary.FunctionCoverage.getPercentCovered()}})},  in renderSummary()
117               int64_t(Summary.InstantiationCoverage.getNumFunctions())},  in renderSummary()
118              {"covered", int64_t(Summary.InstantiationCoverage.getExecuted())},  in renderSummary()
119              {"percent", Summary.InstantiationCoverage.getPercentCovered()}})},  in renderSummary()
122             {{"count", int64_t(Summary.RegionCoverage.getNumRegions())},  in renderSummary()
123              {"covered", int64_t(Summary.RegionCoverage.getCovered())},  in renderSummary()
124              {"notcovered", int64_t(Summary.RegionCoverage.getNumRegions() -  in renderSummary()
125                                     Summary.RegionCoverage.getCovered())},  in renderSummary()
126              {"percent", Summary.RegionCoverage.getPercentCovered()}})}});  in renderSummary()