make progress

Author: anonrig

include/ada/implementation.h

@@ -61,11 +61,13 @@ bool can_parse(std::string_view input,
  * use ada::url_pattern_regex::std_regex_provider
  * @return url_pattern instance
  */
-ada_warn_unused tl::expected<url_pattern, errors> parse_url_pattern(
+template <class regex_type = std::regex>
+ada_warn_unused tl::expected<url_pattern<regex_type>, errors> parse_url_pattern(
     std::variant<std::string_view, url_pattern_init> input,
     const std::string_view* base_url = nullptr,
     const url_pattern_options* options = nullptr,
-    std::optional<url_pattern_regex::provider> regex_provider = std::nullopt);
+    std::optional<url_pattern_regex::provider<regex_type>> regex_provider =
+        std::nullopt);
 
 /**
  * Computes a href string from a file path. The function assumes

include/ada/parser.h

@@ -17,6 +17,7 @@
 namespace ada {
 struct url_aggregator;
 struct url;
+template <class regex_type>
 class url_pattern;
 struct url_pattern_options;
 struct url_pattern_init;
@@ -52,10 +53,11 @@ extern template url_aggregator parse_url_impl<url_aggregator>(
 extern template url parse_url_impl<url>(std::string_view user_input,
                                         const url* base_url);
 
-tl::expected<url_pattern, errors> parse_url_pattern_impl(
+template <class regex_type = std::regex>
+tl::expected<url_pattern<regex_type>, errors> parse_url_pattern_impl(
     std::variant<std::string_view, url_pattern_init> input,
     const std::string_view* base_url, const url_pattern_options* options,
-    url_pattern_regex::provider&& regex_provider);
+    url_pattern_regex::provider<regex_type>&& regex_provider);
 
 }  // namespace ada::parser
 

include/ada/url_aggregator.h

@@ -222,7 +222,8 @@ struct url_aggregator : url_base {
   friend url_aggregator parser::parse_url_impl<url_aggregator, false>(
       std::string_view, const url_aggregator *);
   // url_pattern methods
-  friend tl::expected<url_pattern, errors> parse_url_pattern_impl(
+  template <class regex_type>
+  friend tl::expected<url_pattern<regex_type>, errors> parse_url_pattern_impl(
       std::variant<std::string_view, url_pattern_init> input,
       const std::string_view *base_url, const url_pattern_options *options);
 

include/ada/url_pattern-inl.h

@@ -8,6 +8,7 @@
 #include "ada/common_defs.h"
 #include "ada/url_pattern.h"
 
+#include <_regex.h>
 #include <string_view>
 
 namespace ada {
@@ -24,7 +25,8 @@ inline bool url_pattern_component_result::operator==(
   return input == other.input && groups == other.groups;
 }
 
-inline std::string url_pattern_component::to_string() const {
+template <class regex_type>
+std::string url_pattern_component<regex_type>::to_string() const {
 #ifdef ADA_HAS_FORMAT
   return std::format(R"({{"pattern": "{}", "has_regexp_groups": {}}})", pattern,
                      has_regexp_groups ? "true" : "false"  //,
@@ -34,8 +36,9 @@ inline std::string url_pattern_component::to_string() const {
 #endif
 }
 
-inline url_pattern_component_result
-url_pattern_component::create_component_match_result(
+template <class regex_type>
+url_pattern_component_result
+url_pattern_component<regex_type>::create_component_match_result(
     std::string_view input, const std::smatch& exec_result) {
   // Let result be a new URLPatternComponentResult.
   // Set result["input"] to input.
@@ -70,7 +73,8 @@ url_pattern_component::create_component_match_result(
   return result;
 }
 
-inline std::string url_pattern::to_string() const {
+template <class regex_type>
+std::string url_pattern<regex_type>::to_string() const {
 #ifdef ADA_HAS_FORMAT
   return std::format(
       R"({{"protocol_component": "{}", "username_component": {}, "password_component": {}, "hostname_component": {}, "port_component": {}, "pathname_component": {}, "search_component": {}, "hash_component": {}, "ignore_case": {}}})",
@@ -84,42 +88,58 @@ inline std::string url_pattern::to_string() const {
 #endif
 }
 
-inline std::string_view url_pattern::get_protocol() const ada_lifetime_bound {
+template <class regex_type>
+std::string_view url_pattern<regex_type>::get_protocol() const
+    ada_lifetime_bound {
   // Return this's associated URL pattern's protocol component's pattern string.
   return protocol_component.pattern;
 }
-inline std::string_view url_pattern::get_username() const ada_lifetime_bound {
+template <class regex_type>
+std::string_view url_pattern<regex_type>::get_username() const
+    ada_lifetime_bound {
   // Return this's associated URL pattern's username component's pattern string.
   return username_component.pattern;
 }
-inline std::string_view url_pattern::get_password() const ada_lifetime_bound {
+template <class regex_type>
+std::string_view url_pattern<regex_type>::get_password() const
+    ada_lifetime_bound {
   // Return this's associated URL pattern's password component's pattern string.
   return password_component.pattern;
 }
-inline std::string_view url_pattern::get_hostname() const ada_lifetime_bound {
+template <class regex_type>
+std::string_view url_pattern<regex_type>::get_hostname() const
+    ada_lifetime_bound {
   // Return this's associated URL pattern's hostname component's pattern string.
   return hostname_component.pattern;
 }
-inline std::string_view url_pattern::get_port() const ada_lifetime_bound {
+template <class regex_type>
+std::string_view url_pattern<regex_type>::get_port() const ada_lifetime_bound {
   // Return this's associated URL pattern's port component's pattern string.
   return port_component.pattern;
 }
-inline std::string_view url_pattern::get_pathname() const ada_lifetime_bound {
+template <class regex_type>
+std::string_view url_pattern<regex_type>::get_pathname() const
+    ada_lifetime_bound {
   // Return this's associated URL pattern's pathname component's pattern string.
   return pathname_component.pattern;
 }
-inline std::string_view url_pattern::get_search() const ada_lifetime_bound {
+template <class regex_type>
+std::string_view url_pattern<regex_type>::get_search() const
+    ada_lifetime_bound {
   // Return this's associated URL pattern's search component's pattern string.
   return search_component.pattern;
 }
-inline std::string_view url_pattern::get_hash() const ada_lifetime_bound {
+template <class regex_type>
+std::string_view url_pattern<regex_type>::get_hash() const ada_lifetime_bound {
   // Return this's associated URL pattern's hash component's pattern string.
   return hash_component.pattern;
 }
-
-inline bool url_pattern::ignore_case() const { return ignore_case_; }
-
-inline bool url_pattern::has_regexp_groups() const {
+template <class regex_type>
+bool url_pattern<regex_type>::ignore_case() const {
+  return ignore_case_;
+}
+template <class regex_type>
+bool url_pattern<regex_type>::has_regexp_groups() const {
   // If this's associated URL pattern's has regexp groups, then return true.
   return protocol_component.has_regexp_groups ||
          username_component.has_regexp_groups ||

include/ada/url_pattern.h

@@ -9,6 +9,7 @@
 #include "ada/expected.h"
 #include "ada/url_pattern_regex.h"
 
+#include <_regex.h>
 #include <regex>
 #include <string>
 #include <unordered_map>
@@ -19,11 +20,11 @@ namespace ada {
 
 namespace parser {
 template <typename result_type, typename url_pattern_init,
-          typename url_pattern_options>
+          typename url_pattern_options, class regex_type>
 tl::expected<result_type, errors> parse_url_pattern_impl(
     std::variant<std::string_view, url_pattern_init> input,
     const std::string_view* base_url, const url_pattern_options* options,
-    url_pattern_regex::provider&& regex_provider);
+    url_pattern_regex::provider<regex_type>&& regex_provider);
 }
 
 // Important: C++20 allows us to use concept rather than `using` or `typedef
@@ -207,37 +208,36 @@ struct url_pattern_component_result {
 #endif  // ADA_TESTING
 };
 
+template <class regex_type>
 class url_pattern_component {
  public:
   url_pattern_component() = default;
 
   // This function explicitly takes a std::string because it is moved.
   // To avoid unnecessary copy, move each value while calling the constructor.
-  url_pattern_component(std::string&& new_pattern, std::regex&& new_regexp,
-                        std::regex_constants::syntax_option_type new_flags,
+  url_pattern_component(std::string&& new_pattern, regex_type&& new_regexp,
                         std::vector<std::string>&& new_group_name_list,
                         bool new_has_regexp_groups)
       : regexp(std::move(new_regexp)),
         pattern(std::move(new_pattern)),
-        flags(new_flags),
         group_name_list(new_group_name_list),
         has_regexp_groups(new_has_regexp_groups) {}
 
   // @see https://urlpattern.spec.whatwg.org/#compile-a-component
   template <url_pattern_encoding_callback F>
   static tl::expected<url_pattern_component, errors> compile(
       std::string_view input, F& encoding_callback,
-      url_pattern_compile_component_options& options);
+      url_pattern_compile_component_options& options,
+      const url_pattern_regex::provider<regex_type>& regex_provider);
 
   // @see https://urlpattern.spec.whatwg.org/#create-a-component-match-result
   url_pattern_component_result create_component_match_result(
       std::string_view input, const std::smatch& exec_result);
 
   std::string to_string() const;
 
-  std::regex regexp{};
+  regex_type regexp{};
   std::string pattern{};
-  std::regex_constants::syntax_option_type flags = std::regex::ECMAScript;
   std::vector<std::string> group_name_list{};
   bool has_regexp_groups = false;
 };
@@ -270,9 +270,10 @@ struct url_pattern_options {
 // defined in https://wicg.github.io/urlpattern.
 // More information about the URL Pattern syntax can be found at
 // https://developer.mozilla.org/en-US/docs/Web/API/URL_Pattern_API
+template <class regex_type = std::regex>
 class url_pattern {
  public:
-  explicit url_pattern(url_pattern_regex::provider&& regex_provider)
+  explicit url_pattern(url_pattern_regex::provider<regex_type>&& regex_provider)
       : regex_provider_(std::move(regex_provider)) {}
 
   /**
@@ -319,23 +320,23 @@ class url_pattern {
 
   std::string to_string() const;
 
-  url_pattern_component protocol_component{};
-  url_pattern_component username_component{};
-  url_pattern_component password_component{};
-  url_pattern_component hostname_component{};
-  url_pattern_component port_component{};
-  url_pattern_component pathname_component{};
-  url_pattern_component search_component{};
-  url_pattern_component hash_component{};
+  url_pattern_component<regex_type> protocol_component{};
+  url_pattern_component<regex_type> username_component{};
+  url_pattern_component<regex_type> password_component{};
+  url_pattern_component<regex_type> hostname_component{};
+  url_pattern_component<regex_type> port_component{};
+  url_pattern_component<regex_type> pathname_component{};
+  url_pattern_component<regex_type> search_component{};
+  url_pattern_component<regex_type> hash_component{};
   bool ignore_case_ = false;
-  url_pattern_regex::provider regex_provider_;
+  url_pattern_regex::provider<regex_type> regex_provider_;
 
   template <typename result_type, typename url_pattern_init,
-            typename url_pattern_options>
+            typename url_pattern_options, typename regex_provider_type>
   friend tl::expected<result_type, errors> parser::parse_url_pattern_impl(
       std::variant<std::string_view, url_pattern_init> input,
       const std::string_view* base_url, const url_pattern_options* options,
-      url_pattern_regex::provider&& regex_provider);
+      url_pattern_regex::provider<regex_provider_type>&& regex_provider);
 };
 
 }  // namespace ada