Format

Author: ludviggunne

lib/suppressions.cpp

@@ -737,38 +737,38 @@ void polyspace::Parser::finishSuppression()
     Suppression suppr = { mFamily, mResultName, mFilename, 0, 0 };
 
     switch (mKind) {
-        case CommentKind::Regular:
-        {
-            suppr.lineBegin = mLine;
-            suppr.lineEnd = mLine + mRange;
-            mDone.push_back(suppr);
-            return;
-        }
-        case CommentKind::Begin:
-        {
-            suppr.lineBegin = mLine;
-            mStarted.push_back(suppr);
-            return;
-        }
-        case CommentKind::End:
-        {
-            auto it = std::find_if(
-                mStarted.begin(),
-                mStarted.end(),
-                [&] (const Suppression &other) {
-                    return suppr.matches(other);
-                }
-            );
-
-            if (it == mStarted.end())
-                return;
+    case CommentKind::Regular:
+    {
+        suppr.lineBegin = mLine;
+        suppr.lineEnd = mLine + mRange;
+        mDone.push_back(suppr);
+        return;
+    }
+    case CommentKind::Begin:
+    {
+        suppr.lineBegin = mLine;
+        mStarted.push_back(suppr);
+        return;
+    }
+    case CommentKind::End:
+    {
+        auto it = std::find_if(
+            mStarted.begin(),
+            mStarted.end(),
+            [&] (const Suppression &other) {
+                return suppr.matches(other);
+            }
+        );
 
-            suppr.lineBegin = it->lineBegin;
-            suppr.lineEnd = mLine;
-            mStarted.erase(it);
-            mDone.push_back(suppr);
+        if (it == mStarted.end())
             return;
-        }
+
+        suppr.lineBegin = it->lineBegin;
+        suppr.lineEnd = mLine;
+        mStarted.erase(it);
+        mDone.push_back(suppr);
+        return;
+    }
     }
 }
 

lib/suppressions.h

@@ -298,49 +298,49 @@ struct Suppressions
 
 namespace polyspace {
 
-struct Suppression {
-    std::string family;
-    std::string resultName;
-    std::string filename;
-    int lineBegin;
-    int lineEnd;
-
-    bool matches(const Suppression &other) const;
-    bool convert(const Settings &settings, SuppressionList::Suppression &suppr) const;
-};
+    struct Suppression {
+        std::string family;
+        std::string resultName;
+        std::string filename;
+        int lineBegin;
+        int lineEnd;
+
+        bool matches(const Suppression &other) const;
+        bool convert(const Settings &settings, SuppressionList::Suppression &suppr) const;
+    };
 
-class Parser {
-public:
-    Parser() = delete;
-    Parser(const Settings &settings) : mSettings(settings) {}
-    void collect(SuppressionList &suppressions) const;
-    void parse(const std::string &comment, int line, const std::string &filename);
+    class Parser {
+    public:
+        Parser() = delete;
+        Parser(const Settings &settings) : mSettings(settings) {}
+        void collect(SuppressionList &suppressions) const;
+        void parse(const std::string &comment, int line, const std::string &filename);
 
-private:
-    std::string peekToken();
-    std::string nextToken();
-    void finishSuppression();
-    bool parseEntry();
+    private:
+        std::string peekToken();
+        std::string nextToken();
+        void finishSuppression();
+        bool parseEntry();
 
-    enum class CommentKind {
-        Regular, Begin, End,
-    };
+        enum class CommentKind {
+            Regular, Begin, End,
+        };
 
-    std::list<Suppression> mStarted;
-    std::list<Suppression> mDone;
-    std::string mComment;
-    std::string mFilename;
-    int mLine{};
-    int mRange{};
-    CommentKind mKind{};
-    std::string mFamily;
-    std::string mResultName;
-    std::string mPeeked;
-    bool mHasPeeked{};
-    const Settings &mSettings;
-};
+        std::list<Suppression> mStarted;
+        std::list<Suppression> mDone;
+        std::string mComment;
+        std::string mFilename;
+        int mLine{};
+        int mRange{};
+        CommentKind mKind{};
+        std::string mFamily;
+        std::string mResultName;
+        std::string mPeeked;
+        bool mHasPeeked{};
+        const Settings &mSettings;
+    };
 
-bool isPolyspaceComment(const std::string &comment);
+    bool isPolyspaceComment(const std::string &comment);
 
 }