Update headers in main files

souffle-lang · Aug 1, 2020 · 8b7ba72 · 8b7ba72
1 parent 23a4c68
commit 8b7ba72
Show file tree

Hide file tree

Showing 7 changed files with 18 additions and 9 deletions.
diff --git a/src/FunctorOps.cpp b/src/FunctorOps.cpp
@@ -1,7 +1,13 @@
 
 #include "FunctorOps.h"
-#include "utility/ContainerUtil.h"
 #include "utility/FunctionalUtil.h"
+#include "utility/MiscUtil.h"
+#include <cassert>
+#include <cctype>
+#include <map>
+#include <memory>
+#include <ostream>
+#include <utility>
 #include <vector>
 
 namespace souffle {

diff --git a/src/FunctorOps.h b/src/FunctorOps.h
@@ -17,10 +17,11 @@
 #pragma once
 
 #include "RamTypes.h"
-#include "utility/MiscUtil.h"
-#include <cassert>
 #include <cstdlib>
-#include <ostream>
+#include <functional>
+#include <iosfwd>
+#include <string>
+#include <string_view>
 #include <vector>
 
 namespace souffle {

diff --git a/src/GraphUtils.h b/src/GraphUtils.h
@@ -21,6 +21,7 @@
 #include <map>
 #include <ostream>
 #include <set>
+#include <string>
 #include <utility>
 #include <vector>
 

diff --git a/src/ParserDriver.cpp b/src/ParserDriver.cpp
@@ -16,23 +16,26 @@
 
 #include "ParserDriver.h"
 #include "ErrorReport.h"
+#include "Global.h"
 #include "ast/Clause.h"
 #include "ast/Component.h"
+#include "ast/ComponentInit.h"
 #include "ast/FunctorDeclaration.h"
 #include "ast/IO.h"
 #include "ast/Pragma.h"
 #include "ast/Program.h"
 #include "ast/QualifiedName.h"
 #include "ast/Relation.h"
+#include "ast/SubsetType.h"
 #include "ast/TranslationUnit.h"
 #include "ast/Type.h"
 #include "ast/Utils.h"
 #include "utility/ContainerUtil.h"
 #include "utility/FunctionalUtil.h"
-#include "utility/MiscUtil.h"
 #include "utility/StreamUtil.h"
 #include "utility/StringUtil.h"
 #include "utility/tinyformat.h"
+#include <algorithm>
 #include <memory>
 #include <utility>
 #include <vector>

diff --git a/src/SouffleInterface.h b/src/SouffleInterface.h
@@ -8,7 +8,7 @@
 
 /************************************************************************
  *
- * @file SouffleInterface.h
+ * @file CompiledSouffle.h
  *
  * Main include file for generated C++ classes of Souffle
  *

diff --git a/src/tests/max_matching_test.cpp b/src/tests/max_matching_test.cpp
@@ -16,6 +16,7 @@
 
 #include "tests/test.h"
 
+#include "ram/analysis/Analysis.h"
 #include "ram/analysis/IndexAnalysis.h"
 #include <set>
 #include <string>

diff --git a/src/tests/type_system_test.cpp b/src/tests/type_system_test.cpp
@@ -18,10 +18,7 @@
 
 #include "RamTypes.h"
 #include "ast/TypeSystem.h"
-#include "utility/ContainerUtil.h"
 #include "utility/StringUtil.h"
-#include <algorithm>
-#include <cstddef>
 #include <string>
 #include <vector>