152 json::Object renderSummary(const FileCoverageSummary &Summary) {  in renderSummary()  argument
155         json::Object({{"count", int64_t(Summary.LineCoverage.getNumLines())},  in renderSummary()
156                       {"covered", int64_t(Summary.LineCoverage.getCovered())},  in renderSummary()
157                       {"percent", Summary.LineCoverage.getPercentCovered()}})},  in renderSummary()
160             {{"count", int64_t(Summary.FunctionCoverage.getNumFunctions())},  in renderSummary()
161              {"covered", int64_t(Summary.FunctionCoverage.getExecuted())},  in renderSummary()
162              {"percent", Summary.FunctionCoverage.getPercentCovered()}})},  in renderSummary()
166               int64_t(Summary.InstantiationCoverage.getNumFunctions())},  in renderSummary()
167              {"covered", int64_t(Summary.InstantiationCoverage.getExecuted())},  in renderSummary()
168              {"percent", Summary.InstantiationCoverage.getPercentCovered()}})},  in renderSummary()
171             {{"count", int64_t(Summary.RegionCoverage.getNumRegions())},  in renderSummary()
172              {"covered", int64_t(Summary.RegionCoverage.getCovered())},  in renderSummary()
173              {"notcovered", int64_t(Summary.RegionCoverage.getNumRegions() -  in renderSummary()
174                                     Summary.RegionCoverage.getCovered())},  in renderSummary()
175              {"percent", Summary.RegionCoverage.getPercentCovered()}})},  in renderSummary()
178             {{"count", int64_t(Summary.BranchCoverage.getNumBranches())},  in renderSummary()
179              {"covered", int64_t(Summary.BranchCoverage.getCovered())},  in renderSummary()
180              {"notcovered", int64_t(Summary.BranchCoverage.getNumBranches() -  in renderSummary()
181                                     Summary.BranchCoverage.getCovered())},  in renderSummary()
182              {"percent", Summary.BranchCoverage.getPercentCovered()}})}});  in renderSummary()