Plumbing devtools agent host id and request id between processes

third_party/WebKit/Source/platform/loader/fetch/ResourceRequest.h

Index: third_party/WebKit/Source/platform/loader/fetch/ResourceRequest.h
diff --git a/third_party/WebKit/Source/platform/loader/fetch/ResourceRequest.h b/third_party/WebKit/Source/platform/loader/fetch/ResourceRequest.h
index da9d73c45fbd4e7e03a23c73d8be8de7298d3d75..3a3ec55292ed153cb2c52dbdb72273860f8e9faa 100644
--- a/third_party/WebKit/Source/platform/loader/fetch/ResourceRequest.h
+++ b/third_party/WebKit/Source/platform/loader/fetch/ResourceRequest.h
@@ -318,6 +318,25 @@ class PLATFORM_EXPORT ResourceRequest final {
   }
   bool IsSameDocumentNavigation() const { return is_same_document_navigation_; }
 
+  void SetDevToolsAgentHostId(const String& dev_tools_agent_host_id) {
+    dev_tools_agent_host_id_ = dev_tools_agent_host_id;
+  }
+  const String& DevToolsAgentHostId() const { return dev_tools_agent_host_id_; }
+
+  void SetDevToolsRequestId(const String& dev_tools_request_id) {
+    dev_tools_request_id_ = dev_tools_request_id;
+  }
+  const String& DevToolsRequestId() const { return dev_tools_request_id_; }
+
+  // Only expected to be set for resource requests due to a browser side
+  // navigation.
+  void SetBrowserGeneratedRequestId(unsigned browser_generated_request_id) {
+    browser_generated_request_id_ = browser_generated_request_id;
+  }
+  unsigned BrowserGeneratedRequestId() const {
+    return browser_generated_request_id_;
+  }
+
  private:
   const CacheControlHeader& GetCacheControlHeader() const;
 
@@ -360,6 +379,9 @@ class PLATFORM_EXPORT ResourceRequest final {
   bool is_external_request_;
   bool is_same_document_navigation_;
   InputToLoadPerfMetricReportPolicy input_perf_metric_report_policy_;
+  String dev_tools_agent_host_id_;
+  String dev_tools_request_id_;
+  unsigned browser_generated_request_id_;
 
   mutable CacheControlHeader cache_control_header_cache_;