const

Author: danmar

lib/suppressions.cpp

@@ -731,7 +731,7 @@ polyspace::CommentKind polyspace::Parser::parseKind(const std::string& comment,
 }
 
 
-std::list<SuppressionList::Suppression> polyspace::Parser::parse(const std::string &comment, int line, const std::string &filename)
+std::list<SuppressionList::Suppression> polyspace::Parser::parse(const std::string &comment, int line, const std::string &filename) const
 {
     // Syntax for a polyspace suppression:
     // https://se.mathworks.com/help/bugfinder/ug/annotate-hide-known-acceptable-polyspace-results-web-browser.html

lib/suppressions.h

@@ -308,7 +308,7 @@ namespace polyspace {
         Parser() = delete;
         explicit Parser(const Settings &settings);
 
-        std::list<SuppressionList::Suppression> parse(const std::string &comment, int line, const std::string &filename);
+        std::list<SuppressionList::Suppression> parse(const std::string &comment, int line, const std::string &filename) const;
 
         static int parseRange(const std::string& comment, std::string::size_type& pos);
         static std::vector<std::pair<std::string, std::string>> parseFamilyRules(const std::string& comment, std::string::size_type& pos);