RequirementMachine: Move files to a new subdirectory under lib/AST/

Also move a all headers other than RequirementMachine.h there, since
I don't expect they will be used outside of the rewrite system
implementation itself.

Author: slavapestov

lib/AST/CMakeLists.txt

@@ -71,12 +71,12 @@ add_swift_host_library(swiftAST STATIC
   PlatformKind.cpp
   PrettyStackTrace.cpp
   ProtocolConformance.cpp
-  ProtocolGraph.cpp
   RawComment.cpp
   RequirementEnvironment.cpp
-  RequirementMachine.cpp
-  RewriteSystem.cpp
-  RewriteSystemCompletion.cpp
+  RequirementMachine/ProtocolGraph.cpp
+  RequirementMachine/RequirementMachine.cpp
+  RequirementMachine/RewriteSystem.cpp
+  RequirementMachine/RewriteSystemCompletion.cpp
   SILLayout.cpp
   Stmt.cpp
   SubstitutionMap.cpp

lib/AST/ProtocolGraph.cpp renamed to lib/AST/RequirementMachine/ProtocolGraph.cpp

@@ -10,7 +10,7 @@
 //
 //===----------------------------------------------------------------------===//
 
-#include "swift/AST/ProtocolGraph.h"
+#include "ProtocolGraph.h"
 
 #include "swift/AST/Decl.h"
 #include "swift/AST/Requirement.h"
@@ -211,4 +211,4 @@ bool ProtocolGraph::inheritsFrom(const ProtocolDecl *thisProto,
   return std::find(info.AllInherited.begin(),
                    info.AllInherited.end(),
                    otherProto) != info.AllInherited.end();
-}
+}

include/swift/AST/ProtocolGraph.h renamed to lib/AST/RequirementMachine/ProtocolGraph.h

@@ -15,13 +15,14 @@
 #include "swift/AST/Decl.h"
 #include "swift/AST/GenericSignature.h"
 #include "swift/AST/PrettyStackTrace.h"
-#include "swift/AST/ProtocolGraph.h"
 #include "swift/AST/Requirement.h"
-#include "swift/AST/RewriteSystem.h"
 #include "llvm/ADT/DenseSet.h"
 #include "llvm/ADT/TinyPtrVector.h"
 #include <vector>
 
+#include "ProtocolGraph.h"
+#include "RewriteSystem.h"
+
 using namespace swift;
 using namespace rewriting;
 
@@ -303,4 +304,4 @@ void RequirementMachine::markComplete() {
   }
   assert(!Impl->Complete);
   Impl->Complete = true;
-}
+}

lib/AST/RequirementMachine.cpp renamed to lib/AST/RequirementMachine/RequirementMachine.cpp

@@ -10,12 +10,13 @@
 //
 //===----------------------------------------------------------------------===//
 
-#include "swift/AST/RewriteSystem.h"
 #include "llvm/ADT/FoldingSet.h"
 #include "llvm/Support/raw_ostream.h"
 #include <algorithm>
 #include <vector>
 
+#include "RewriteSystem.h"
+
 using namespace swift;
 using namespace rewriting;
 

lib/AST/RewriteSystem.cpp renamed to lib/AST/RequirementMachine/RewriteSystem.cpp

@@ -17,7 +17,6 @@
 #include "swift/AST/Decl.h"
 #include "swift/AST/Identifier.h"
 #include "swift/AST/LayoutConstraint.h"
-#include "swift/AST/ProtocolGraph.h"
 #include "swift/AST/Types.h"
 #include "swift/Basic/Statistic.h"
 #include "llvm/ADT/FoldingSet.h"
@@ -28,6 +27,8 @@
 #include "llvm/Support/TrailingObjects.h"
 #include <algorithm>
 
+#include "ProtocolGraph.h"
+
 namespace llvm {
   class raw_ostream;
 }

include/swift/AST/RewriteSystem.h renamed to lib/AST/RequirementMachine/RewriteSystem.h

@@ -25,14 +25,15 @@
 //
 //===----------------------------------------------------------------------===//
 
-#include "swift/AST/RewriteSystem.h"
 #include "swift/Basic/Defer.h"
 #include "llvm/ADT/FoldingSet.h"
 #include "llvm/Support/raw_ostream.h"
 #include <algorithm>
 #include <deque>
 #include <vector>
 
+#include "RewriteSystem.h"
+
 using namespace swift;
 using namespace rewriting;