Emulation.setVirtualTimePolicy to have an optional virtual time budge

third_party/WebKit/Source/core/inspector/browser_protocol.json

Index: third_party/WebKit/Source/core/inspector/browser_protocol.json
diff --git a/third_party/WebKit/Source/core/inspector/browser_protocol.json b/third_party/WebKit/Source/core/inspector/browser_protocol.json
index 358504ae9c970712781a22411a33939d98f4093d..42b50f462903e3fcdede76a3a1b7ff73c4ff0176 100644
--- a/third_party/WebKit/Source/core/inspector/browser_protocol.json
+++ b/third_party/WebKit/Source/core/inspector/browser_protocol.json
@@ -812,12 +812,19 @@
             },
             {
                 "name": "setVirtualTimePolicy",
-                "description": "Turns on virtual time for all frames (replacing real-time with a synthetic time source) and sets the current virtual time policy.",
+                "description": "Turns on virtual time for all frames (replacing real-time with a synthetic time source) and sets the current virtual time policy.  Note this supersedes any previous time budget.",
                 "parameters": [
-                    { "name": "policy", "$ref": "VirtualTimePolicy" }
+                    { "name": "policy", "$ref": "VirtualTimePolicy" },
+                    { "name": "virtualTimeBudgetMs", "type": "integer", "optional": true, "description": "If set, after virtualTimeBudgetMs has elapsed, virtual time pauses and a virtualTimeBudgetExpired event is sent." }

[dgozman, 2016/08/01 19:53:13]

Let's rename this to |budget|.

[alex clarke (OOO till 29th), 2016/08/02 15:42:59]

Done.

                 ],
                 "hidden": true
             }
+        ],
+        "events": [
+            {
+                "name": "virtualTimeBudgetExpired",
+                "description": "Notification sent after the virual time budget for the current VirtualTimePolicy has run out."
+            }
         ]
     },
     {