176 json::Object renderSummary(const FileCoverageSummary &Summary) {  in renderSummary()  argument
179         json::Object({{"count", int64_t(Summary.LineCoverage.getNumLines())},  in renderSummary()
180                       {"covered", int64_t(Summary.LineCoverage.getCovered())},  in renderSummary()
181                       {"percent", Summary.LineCoverage.getPercentCovered()}})},  in renderSummary()
184             {{"count", int64_t(Summary.FunctionCoverage.getNumFunctions())},  in renderSummary()
185              {"covered", int64_t(Summary.FunctionCoverage.getExecuted())},  in renderSummary()
186              {"percent", Summary.FunctionCoverage.getPercentCovered()}})},  in renderSummary()
190               int64_t(Summary.InstantiationCoverage.getNumFunctions())},  in renderSummary()
191              {"covered", int64_t(Summary.InstantiationCoverage.getExecuted())},  in renderSummary()
192              {"percent", Summary.InstantiationCoverage.getPercentCovered()}})},  in renderSummary()
195             {{"count", int64_t(Summary.RegionCoverage.getNumRegions())},  in renderSummary()
196              {"covered", int64_t(Summary.RegionCoverage.getCovered())},  in renderSummary()
197              {"notcovered", int64_t(Summary.RegionCoverage.getNumRegions() -  in renderSummary()
198                                     Summary.RegionCoverage.getCovered())},  in renderSummary()
199              {"percent", Summary.RegionCoverage.getPercentCovered()}})},  in renderSummary()
202             {{"count", int64_t(Summary.BranchCoverage.getNumBranches())},  in renderSummary()
203              {"covered", int64_t(Summary.BranchCoverage.getCovered())},  in renderSummary()
204              {"notcovered", int64_t(Summary.BranchCoverage.getNumBranches() -  in renderSummary()
205                                     Summary.BranchCoverage.getCovered())},  in renderSummary()
206              {"percent", Summary.BranchCoverage.getPercentCovered()}})},  in renderSummary()
209             {{"count", int64_t(Summary.MCDCCoverage.getNumPairs())},  in renderSummary()
210              {"covered", int64_t(Summary.MCDCCoverage.getCoveredPairs())},  in renderSummary()
211              {"notcovered", int64_t(Summary.MCDCCoverage.getNumPairs() -  in renderSummary()
212                                     Summary.MCDCCoverage.getCoveredPairs())},  in renderSummary()
213              {"percent", Summary.MCDCCoverage.getPercentCovered()}})}});  in renderSummary()