86 json::Array renderRegion(const coverage::CountedRegion &Region) {  in renderRegion()  argument
87   return json::Array({Region.LineStart, Region.ColumnStart, Region.LineEnd,  in renderRegion()
88                       Region.ColumnEnd, clamp_uint64_to_int64(Region.ExecutionCount),  in renderRegion()
89                       Region.FileID, Region.ExpandedFileID,  in renderRegion()
90                       int64_t(Region.Kind)});  in renderRegion()
93 json::Array renderBranch(const coverage::CountedRegion &Region) {  in renderBranch()  argument
95       {Region.LineStart, Region.ColumnStart, Region.LineEnd, Region.ColumnEnd,  in renderBranch()
96        clamp_uint64_to_int64(Region.ExecutionCount),  in renderBranch()
97        clamp_uint64_to_int64(Region.FalseExecutionCount), Region.FileID,  in renderBranch()
98        Region.ExpandedFileID, int64_t(Region.Kind)});  in renderBranch()
103   for (const auto &Region : Regions)  in renderRegions()  local
104     RegionArray.push_back(renderRegion(Region));  in renderRegions()
110   for (const auto &Region : Regions)  in renderBranchRegions()  local
111     if (!Region.Folded)  in renderBranchRegions()
112       RegionArray.push_back(renderBranch(Region));  in renderBranchRegions()
144        {"source_region", renderRegion(Expansion.Region)},  in renderExpansion()