Rename _MatchingEngine to _RegexParser and fix CMake.

The _MatchingEngine module no longer contains the matching engine. It has the regex AST and parser. This patch renames it to `_RegexParser`.

Also fix the CMake build which has been broken for a while.

Author: rxwei

Package.swift

@@ -14,8 +14,8 @@ let package = Package(
             name: "Prototypes",
             targets: ["Prototypes"]),
         .library(
-            name: "_MatchingEngine",
-            targets: ["_MatchingEngine"]),
+            name: "_RegexParser",
+            targets: ["_RegexParser"]),
         .executable(
             name: "VariadicsGenerator",
             targets: ["VariadicsGenerator"])
@@ -27,27 +27,27 @@ let package = Package(
         // Targets are the basic building blocks of a package. A target can define a module or a test suite.
         // Targets can depend on other targets in this package, and on products in packages which this package depends on.
         .target(
-            name: "_MatchingEngine",
+            name: "_RegexParser",
             dependencies: [],
             swiftSettings: [
                 .unsafeFlags(["-enable-library-evolution"])
             ]),
         .testTarget(
             name: "MatchingEngineTests",
             dependencies: [
-              "_MatchingEngine", "_StringProcessing"]),
+              "_RegexParser", "_StringProcessing"]),
         .target(
             name: "_CUnicode",
             dependencies: []),
         .target(
             name: "_StringProcessing",
-            dependencies: ["_MatchingEngine", "_CUnicode"],
+            dependencies: ["_RegexParser", "_CUnicode"],
             swiftSettings: [
                 .unsafeFlags(["-enable-library-evolution"]),
             ]),
         .target(
             name: "RegexBuilder",
-            dependencies: ["_StringProcessing", "_MatchingEngine"],
+            dependencies: ["_StringProcessing", "_RegexParser"],
             swiftSettings: [
                 .unsafeFlags(["-enable-library-evolution"]),
                 .unsafeFlags(["-Xfrontend", "-enable-experimental-pairwise-build-block"])
@@ -63,7 +63,7 @@ let package = Package(
             ]),
         .target(
             name: "Prototypes",
-            dependencies: ["_MatchingEngine", "_StringProcessing"]),
+            dependencies: ["_RegexParser", "_StringProcessing"]),
 
         // MARK: Scripts
         .executableTarget(
@@ -75,14 +75,14 @@ let package = Package(
             name: "PatternConverter",
             dependencies: [
               .product(name: "ArgumentParser", package: "swift-argument-parser"),
-              "_MatchingEngine",
+              "_RegexParser",
               "_StringProcessing"
             ]),
 
         // MARK: Exercises
         .target(
           name: "Exercises",
-          dependencies: ["_MatchingEngine", "Prototypes", "_StringProcessing", "RegexBuilder"],
+          dependencies: ["_RegexParser", "Prototypes", "_StringProcessing", "RegexBuilder"],
           swiftSettings: [
               .unsafeFlags(["-Xfrontend", "-enable-experimental-pairwise-build-block"])
           ]),

README.md

@@ -1,6 +1,6 @@
 
-add_subdirectory(_Unicode)
-add_subdirectory(_MatchingEngine)
+add_subdirectory(RegexBuilder)
+add_subdirectory(_RegexParser)
 add_subdirectory(_StringProcessing)
 add_subdirectory(Prototypes)
 add_subdirectory(VariadicsGenerator)

Sources/CMakeLists.txt

@@ -12,7 +12,7 @@
 // swift run PatternConverter <regex>
 
 import ArgumentParser
-import _MatchingEngine
+import _RegexParser
 import _StringProcessing
 
 @main
@@ -52,7 +52,7 @@ struct PatternConverter: ParsableCommand {
     let delim = experimentalSyntax ? "|" : "/"
     print("Converting '\(delim)\(regex)\(delim)'")
 
-    let ast = try _MatchingEngine.parse(
+    let ast = try _RegexParser.parse(
       regex,
       experimentalSyntax ? .experimental : .traditional)
 

Sources/PatternConverter/PatternConverter.swift

@@ -15,4 +15,4 @@ add_library(Prototypes
   TourOfTypes/CharacterClass.swift
   TourOfTypes/Literal.swift)
 target_link_libraries(Prototypes PUBLIC
-  _MatchingEngine)
+  _RegexParser)

Sources/Prototypes/CMakeLists.txt

@@ -9,7 +9,7 @@
 //
 //===----------------------------------------------------------------------===//
 
-import _MatchingEngine
+import _RegexParser
 
 /*
 

Sources/Prototypes/Combinators/Combinators.swift

@@ -9,7 +9,7 @@
 //
 //===----------------------------------------------------------------------===//
 
-import _MatchingEngine
+import _RegexParser
 @_spi(RegexBuilder) import _StringProcessing
 
 public struct Anchor {

Sources/RegexBuilder/Anchor.swift

@@ -0,0 +1,10 @@
+
+add_library(RegexBuilder
+  Anchor.swift
+  Builder.swift
+  DSL.swift
+  Match.swift
+  Variadics.swift)
+target_compile_options(RegexBuilder PRIVATE
+  -enable-library-evolution
+  -Xfrontend -enable-experimental-pairwise-build-block)

Sources/RegexBuilder/CMakeLists.txt

@@ -9,7 +9,7 @@
 //
 //===----------------------------------------------------------------------===//
 
-import _MatchingEngine
+import _RegexParser
 @_spi(RegexBuilder) import _StringProcessing
 
 extension Regex {

Sources/RegexBuilder/DSL.swift

@@ -11,7 +11,7 @@
 
 // BEGIN AUTO-GENERATED CONTENT
 
-import _MatchingEngine
+import _RegexParser
 @_spi(RegexBuilder) import _StringProcessing
 
 extension RegexComponentBuilder {

Sources/RegexBuilder/Variadics.swift

@@ -120,7 +120,7 @@ struct VariadicsGenerator: ParsableCommand {
 
       // BEGIN AUTO-GENERATED CONTENT
 
-      import _MatchingEngine
+      import _RegexParser
       @_spi(RegexBuilder) import _StringProcessing
 
 

Sources/VariadicsGenerator/VariadicsGenerator.swift

@@ -0,0 +1,28 @@
+
+add_library(_RegexParser
+  AST/AST.swift
+  AST/ASTAction.swift
+  AST/ASTProtocols.swift
+  AST/Atom.swift
+  AST/Conditional.swift
+  AST/CustomCharClass.swift
+  AST/Group.swift
+  AST/MatchingOptions.swift
+  AST/Quantification.swift
+  Parse/CaptureStructure.swift
+  Parse/CharacterPropertyClassification.swift
+  Parse/DelimiterLexing.swift
+  Parse/Diagnostics.swift
+  Parse/LexicalAnalysis.swift
+  Parse/Mocking.swift
+  Parse/Parse.swift
+  Parse/Source.swift
+  Parse/SourceLocation.swift
+  Parse/SyntaxOptions.swift
+  Printing/DumpAST.swift
+  Printing/PrettyPrinter.swift
+  Printing/PrintAsCanonical.swift
+  Printing/RenderRanges.swift
+  TreeProtocols.swift)
+target_compile_options(_RegexParser PRIVATE
+  -enable-library-evolution)

Sources/_MatchingEngine/CMakeLists.txt

@@ -1,4 +1,4 @@
-import _MatchingEngine
+import _RegexParser
 
 extension Compiler {
   struct ByteCodeGen {

Sources/_RegexParser/CMakeLists.txt

@@ -12,31 +12,67 @@ add_library(_StringProcessing
   Algorithms/Consumers/ManyConsumer.swift
   Algorithms/Consumers/PredicateConsumer.swift
   Algorithms/Consumers/RegexConsumer.swift
+  Algorithms/Matching/FirstMatch.swift
+  Algorithms/Matching/Matches.swift
+  Algorithms/Matching/MatchingCollectionConsumer.swift
+  Algorithms/Matching/MatchingCollectionSearcher.swift
+  Algorithms/Matching/MatchReplace.swift
+  Algorithms/Matching/MatchResult.swift
   Algorithms/Searchers/CollectionSearcher.swift
   Algorithms/Searchers/ConsumerSearcher.swift
   Algorithms/Searchers/NaivePatternSearcher.swift
   Algorithms/Searchers/PatternOrEmpty.swift
   Algorithms/Searchers/PredicateSearcher.swift
   Algorithms/Searchers/TwoWaySearcher.swift
   Algorithms/Searchers/ZSearcher.swift
-  ASTBuilder.swift
+  Engine/Backtracking.swift
+  Engine/Consume.swift
+  Engine/Engine.swift
+  Engine/InstPayload.swift
+  Engine/Instruction.swift
+  Engine/MEBuilder.swift
+  Engine/MECapture.swift
+  Engine/MEProgram.swift
+  Engine/Processor.swift
+  Engine/Register.swift
+  Engine/Structuralize.swift
+  Engine/Tracing.swift
+  Regex/AnyRegexOutput.swift
+  Regex/ASTConversion.swift
+  Regex/Core.swift
+  Regex/DSLConsumers.swift
+  Regex/DSLTree.swift
+  Regex/Match.swift
+  Regex/Options.swift
+  Unicode/CaseConversion.swift
+  Unicode/CharacterProps.swift
+  Unicode/Comparison.swift
+  Unicode/Data.swift
+  Unicode/Decoding.swift
+  Unicode/Encodings.swift
+  Unicode/Formatting.swift
+  Unicode/Graphemes.swift
+  Unicode/NecessaryEvils.swift
+  Unicode/Normalization.swift
+  Unicode/NumberParsing.swift
+  Unicode/ScalarProps.swift
+  Unicode/Transcoding.swift
+  Unicode/UCD.swift
+  Unicode/Validation.swift
+  Utility/ASTBuilder.swift
+  Utility/Protocols.swift
+  Utility/Traced.swift
+  Utility/TypedIndex.swift
+  Utility/TypedInt.swift
+  ByteCodeGen.swift
   Capture.swift
   CharacterClass.swift
   Compiler.swift
   ConsumerInterface.swift
   Executor.swift
-  Legacy/HareVM.swift
-  Legacy/LegacyCompile.swift
-  Legacy/RECode.swift
-  Legacy/TortoiseVM.swift
-  Legacy/VirtualMachine.swift
-  RegexDSL/Builder.swift
-  RegexDSL/Concatenation.swift
-  RegexDSL/Core.swift
-  RegexDSL/DSL.swift
-  RegexDSL/DSLCapture.swift
-  RegexDSL/DynamicCaptures.swift)
+  MatchingOptions.swift
+  PrintAsPattern.swift)
 target_compile_options(_StringProcessing PRIVATE
   -enable-library-evolution)
 target_link_libraries(_StringProcessing PUBLIC
-  _MatchingEngine)
+  _RegexParser)

Sources/_MatchingEngine/Regex/AST/AST.swift renamed to Sources/_RegexParser/Regex/AST/AST.swift

@@ -9,7 +9,7 @@
 //
 //===----------------------------------------------------------------------===//
 
-import _MatchingEngine
+import _RegexParser
 
 /// A structured capture
 struct StructuredCapture {

Sources/_MatchingEngine/Regex/AST/ASTAction.swift renamed to Sources/_RegexParser/Regex/AST/ASTAction.swift

@@ -9,7 +9,7 @@
 //
 //===----------------------------------------------------------------------===//
 
-import _MatchingEngine
+import _RegexParser
 
 // NOTE: This is a model type. We want to be able to get one from
 // an AST, but this isn't a natural thing to produce in the context

Sources/_MatchingEngine/Regex/AST/ASTProtocols.swift renamed to Sources/_RegexParser/Regex/AST/ASTProtocols.swift

@@ -9,7 +9,7 @@
 //
 //===----------------------------------------------------------------------===//
 
-import _MatchingEngine
+import _RegexParser
 
 class Compiler {
   let tree: DSLTree

Sources/_MatchingEngine/Regex/AST/Atom.swift renamed to Sources/_RegexParser/Regex/AST/Atom.swift

@@ -9,7 +9,7 @@
 //
 //===----------------------------------------------------------------------===//
 
-import _MatchingEngine
+import _RegexParser
 
 extension DSLTree.Node {
   /// Attempt to generate a consumer from this AST node

Sources/_MatchingEngine/Regex/AST/Conditional.swift renamed to Sources/_RegexParser/Regex/AST/Conditional.swift

@@ -9,7 +9,7 @@
 //
 //===----------------------------------------------------------------------===//
 
-import _MatchingEngine // For errors
+import _RegexParser // For errors
 
 extension MEProgram where Input.Element: Hashable {
   struct Builder {