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 5305f70f18dd3f21a15eaacb4b217d9f512bd130..f664de8c6b89935004cbabecaa3c0296a05f2ca5 100644
--- a/third_party/WebKit/Source/platform/loader/fetch/ResourceRequest.h
+++ b/third_party/WebKit/Source/platform/loader/fetch/ResourceRequest.h
@@ -316,6 +316,25 @@ class PLATFORM_EXPORT ResourceRequest final {
   }
   bool isSameDocumentNavigation() const { return m_isSameDocumentNavigation; }
 
+  void setDevToolsAgentHostId(const String& devToolsAgentHostId) {
+    m_devToolsAgentHostId = devToolsAgentHostId;
+  }
+  const String& devToolsAgentHostId() const { return m_devToolsAgentHostId; }
+
+  void setDevToolsRequestId(const String& devToolsRequestId) {
+    m_devToolsRequestId = devToolsRequestId;
+  }
+  const String& devToolsRequestId() const { return m_devToolsRequestId; }
+
+  // Only expected to be set for resource requests due to a browser side
+  // navigation.
+  void setBrowserGeneratedRequestId(unsigned browserGeneratedRequestId) {
+    m_browserGeneratedRequestId = browserGeneratedRequestId;
+  }
+  unsigned browserGeneratedRequestId() const {
+    return m_browserGeneratedRequestId;
+  }
+
  private:
   const CacheControlHeader& cacheControlHeader() const;
 
@@ -358,6 +377,9 @@ class PLATFORM_EXPORT ResourceRequest final {
   bool m_isExternalRequest;
   bool m_isSameDocumentNavigation;
   InputToLoadPerfMetricReportPolicy m_inputPerfMetricReportPolicy;
+  String m_devToolsAgentHostId;
+  String m_devToolsRequestId;
+  unsigned m_browserGeneratedRequestId;
 
   mutable CacheControlHeader m_cacheControlHeaderCache;