misc: minor refactoring

fabianbs96 · Oct 17, 2023 · da9542a · da9542a
1 parent af06a87
commit da9542a
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 6 deletions.
diff --git a/include/phasar/PhasarLLVM/Utils/AnalysisPrinterBase.h b/include/phasar/PhasarLLVM/Utils/AnalysisPrinterBase.h
@@ -32,6 +32,11 @@ template <typename AnalysisDomainTy> class AnalysisPrinterBase {
 
   AnalysisPrinterBase() = default;
   virtual ~AnalysisPrinterBase() = default;
+  AnalysisPrinterBase(const AnalysisPrinterBase &) = delete;
+  AnalysisPrinterBase &operator=(const AnalysisPrinterBase &) = delete;
+
+  AnalysisPrinterBase(AnalysisPrinterBase &&) = delete;
+  AnalysisPrinterBase &operator=(AnalysisPrinterBase &&) = delete;
 };
 
 } // namespace psr

diff --git a/include/phasar/PhasarLLVM/Utils/DefaultAnalysisPrinter.h b/include/phasar/PhasarLLVM/Utils/DefaultAnalysisPrinter.h
@@ -20,12 +20,6 @@ class DefaultAnalysisPrinter : public AnalysisPrinterBase<AnalysisDomainTy> {
   ~DefaultAnalysisPrinter() override = default;
   DefaultAnalysisPrinter() = default;
 
-  DefaultAnalysisPrinter(const DefaultAnalysisPrinter &) = delete;
-  DefaultAnalysisPrinter &operator=(const DefaultAnalysisPrinter &) = delete;
-
-  DefaultAnalysisPrinter(DefaultAnalysisPrinter &&) = delete;
-  DefaultAnalysisPrinter &operator=(DefaultAnalysisPrinter &&) = delete;
-
   void onResult(Warning<AnalysisDomainTy> War) override {
     AnalysisResults.War.emplace_back(std::move(War));
   }