DevTools: provide an option to return traces as streams

content/browser/devtools/browser_protocol.json

Index: content/browser/devtools/browser_protocol.json
diff --git a/content/browser/devtools/browser_protocol.json b/content/browser/devtools/browser_protocol.json
index 1152ca798336c53265bd23afe538718bd55141e1..989d5b6a6b8972ea3bd4d07fffc18d279fcf3e41 100644
--- a/content/browser/devtools/browser_protocol.json
+++ b/content/browser/devtools/browser_protocol.json
@@ -77,5 +77,35 @@
                 "handlers": ["browser"]
             }
         ]
+    },
+    {
+        "domain": "IO",

[dgozman, 2015/08/24 20:45:44]

This domain does conceptually belong to renderer protocol, but this way it's
easy (until the repo merge). Add a TODO to move it after merge?

+        "description": "Input/Output operations for streams produced by DevTools.",
+        "hidden": true,
+        "commands": [
+            {
+                "name": "read",
+                "description": "Read a chunk of a stream",
+                "async": true,
+                "parameters": [
+                    { "name": "id", "type": "string", "description": "Identifier of a stream to read." },

[pfeldman, 2015/08/24 18:17:55]

Lets introduce a handle type.

+                    { "name": "offset", "type": "integer", "optional": true, "description": "Seek to specified offset before reading (if not specificed, proceed with offset following the last read)." },
+                    { "name": "size", "type": "integer", "optional": true,  "description": "Maximum number of bytes to read (left upon the agent discretion if not specified)." }
+                ],
+                "returns": [
+                    { "name": "data", "type": "string", "description": "Data that were read." },
+                    { "name": "eof", "type": "boolean", "description": "Set if the end-of-file condition occured while reading." }
+                ],
+                "handlers": ["browser"]
+            },
+            {
+                "name": "close",
+                "description": "Closes a stream, discard any temporary backing storage.",
+                "parameters": [
+                    { "name": "id", "type": "string", "description": "Identifier of a stream to close." }
+                ],
+                "handlers": ["browser"]
+            }
+        ]
     }]
 }