/// \brief Get the name of the file this data covers.
StringRef getFilename() const { return Filename; }
- std::vector<CoverageSegment>::iterator begin() { return Segments.begin(); }
- std::vector<CoverageSegment>::iterator end() { return Segments.end(); }
- bool empty() { return Segments.empty(); }
+ std::vector<CoverageSegment>::const_iterator begin() const {
+ return Segments.begin();
+ }
+ std::vector<CoverageSegment>::const_iterator end() const {
+ return Segments.end();
+ }
+ bool empty() const { return Segments.empty(); }
/// \brief Expansions that can be further processed.
- ArrayRef<ExpansionRecord> getExpansions() { return Expansions; }
+ ArrayRef<ExpansionRecord> getExpansions() const { return Expansions; }
};
/// \brief The mapping of profile information to coverage data.