Devtools Animations: Support multiple frames in the animation timeline

Source/devtools/protocol.json

Index: Source/devtools/protocol.json
diff --git a/Source/devtools/protocol.json b/Source/devtools/protocol.json
index fc05380cd4247fc12c9743a45ef40ef46293c9dd..3f4445a91f64ff1cd1f4245f5151bc2ef7090d27 100644
--- a/Source/devtools/protocol.json
+++ b/Source/devtools/protocol.json
@@ -4833,11 +4833,16 @@
         "hidden": true,
         "types": [
             {
+                "id": "AnimationPlayerId",
+                "type": "string",
+                "description": "Unique AnimationPlayer identifier."
+            },
+            {
                 "id": "AnimationPlayer",
                 "type": "object",
                 "hidden": true,
                 "properties": [
-                    { "name": "id", "type": "string", "description": "<code>AnimationPlayer</code>'s id." },
+                    { "name": "id", "$ref": "AnimationPlayerId", "description": "<code>AnimationPlayer</code>'s id." },
                     { "name": "pausedState", "type": "boolean", "hidden": "true", "description": "<code>AnimationPlayer</code>'s internal paused state." },
                     { "name": "playState", "type": "string", "description": "<code>AnimationPlayer</code>'s play state." },
                     { "name": "playbackRate", "type": "number", "description": "<code>AnimationPlayer</code>'s playback rate." },
@@ -4886,6 +4891,15 @@
                     { "name": "easing", "type": "string", "description": "<code>AnimationNode</code>'s timing function." }
                 ],
                 "description": "Keyframe Style"
+            },
+            {
+                "id": "AnimationStartTime",
+                "type": "object",
+                "properties": [
+                    { "name": "id", "$ref": "AnimationPlayerId", "description": "<code>AnimationPlayer</code>'s id." },
+                    { "name": "startTime", "type": "number", "description": "Updated normalized <code>AnimationPlayer</code>'s start time." }
+                ],
+                "description": "Map from animation id to animation start time"
             }
         ],
         "commands": [
@@ -4915,21 +4929,34 @@
             {
                 "name": "setPlaybackRate",
                 "parameters": [
-                    { "name": "playbackRate", "type": "number", "description": "Playback rate for animations on page" }
+                    { "name": "playbackRate", "type": "number", "description": "Playback rate for animations on page." }
+                ],
+                "returns": [
+                    { "name": "animationStartTimes", "type": "array", "items": { "$ref": "AnimationStartTime" }, "description": "List of updated animation start times." }

[pfeldman, 2015/04/07 10:27:34]

I'd like to better understand when animation times update. Can we book some time
to chat about it offline?

                 ],
                 "description": "Sets the playback rate of the document timeline."
             },
             {
-                "name": "setCurrentTime",
+                "name": "seekTimelineTo",
                 "parameters": [
-                    { "name": "currentTime", "type": "number", "description": "Current time for the page animation timeline" }
+                    { "name": "time", "type": "number", "description": "Time to seek animation timelines to." }
+                ],
+                "returns": [
+                    { "name": "animationStartTimes", "type": "array", "items": { "$ref": "AnimationStartTime" }, "description": "List of updated animation start times." }
                 ],
                 "description": "Sets the current time of the document timeline."
             },
             {
+                "name": "seekTimelineBy",
+                "parameters": [
+                    { "name": "timeDelta", "type": "number", "description": "Time delta in milliseconds to seek animation timelines." }
+                ],
+                "description": "Seek animation timelines by a ms time delta."
+            },
+            {
                 "name": "setTiming",
                 "parameters": [
-                    { "name": "playerId", "type": "string", "description": "AnimationPlayer id." },
+                    { "name": "playerId", "$ref": "AnimationPlayerId", "description": "AnimationPlayer id." },
                     { "name": "duration", "type": "number", "description": "Duration of the animation." },
                     { "name": "delay", "type": "number", "description": "Delay of the animation." }
                 ],