| 656 | } |
| 657 | |
| 658 | std::string SuppressionList::Suppression::toString() const |
| 659 | { |
| 660 | std::string s; |
| 661 | s += errorId; |
| 662 | if (!fileName.empty()) { |
| 663 | s += ':'; |
| 664 | s += fileName; |
| 665 | if (lineNumber != -1) { |
| 666 | s += ':'; |
| 667 | s += std::to_string(lineNumber); |
| 668 | } |
| 669 | } |
| 670 | if (!symbolName.empty()) |
| 671 | s += "\nsymbol=" + symbolName; |
| 672 | if (isPolyspace) |
| 673 | s += "\npolyspace=1"; |
| 674 | return s; |
| 675 | } |
| 676 | |
| 677 | polyspace::Parser::Parser(const Settings &settings) |
| 678 | { |