Index: Source/devtools/protocol.json |
diff --git a/Source/devtools/protocol.json b/Source/devtools/protocol.json |
index 9531b6f9286ef21257bc92d004c904a65cda9a2b..c703f58d66ed86b2f636f385153907ddabfd0645 100644 |
--- a/Source/devtools/protocol.json |
+++ b/Source/devtools/protocol.json |
@@ -4411,5 +4411,104 @@ |
"handlers": ["browser", "frontend"] |
} |
] |
+ }, |
+ { |
+ "domain": "Animation", |
+ "hidden": true, |
+ "types": [ |
+ { |
+ "id": "AnimationPlayer", |
+ "type": "object", |
+ "hidden": true, |
+ "properties": [ |
+ { "name": "id", "type": "string", "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." }, |
+ { "name": "startTime", "type": "number", "description": "<code>AnimationPlayer</code>'s start time." }, |
+ { "name": "currentTime", "type": "number", "description": "<code>AnimationPlayer</code>'s current time." }, |
+ { "name": "source", "$ref": "AnimationNode", "description": "<code>AnimationPlayer</code>'s source animation node." } |
+ ], |
+ "description": "AnimationPlayer instance." |
+ }, |
+ { |
+ "id": "AnimationNode", |
+ "type": "object", |
+ "hidden": true, |
+ "properties": [ |
+ { "name": "startDelay", "type": "number", "description": "<code>AnimationNode</code>'s start delay." }, |
+ { "name": "playbackRate", "type": "number", "description": "<code>AnimationNode</code>'s playbackRate." }, |
+ { "name": "iterationStart", "type": "number", "description": "<code>AnimationNode</code>'s iteration start." }, |
+ { "name": "iterationCount", "type": "number", "description": "<code>AnimationNode</code>'s iteration count." }, |
+ { "name": "duration", "type": "number", "description": "<code>AnimationNode</code>'s iteration duration." }, |
+ { "name": "direction", "type": "number", "description": "<code>AnimationNode</code>'s playback direction." }, |
+ { "name": "fillMode", "type": "number", "description": "<code>AnimationNode</code>'s fill mode." }, |
+ { "name": "timeFraction", "type": "number", "description": "<code>AnimationNode</code>'s time fraction." }, |
+ { "name": "name", "type": "string", "description": "<code>AnimationNode</code> name."} |
+ ], |
+ "description": "AnimationNode instance" |
+ } |
+ ], |
+ "commands": [ |
+ { |
+ "name": "getAnimationPlayersForNode", |
+ "parameters": [ |
+ { "name": "nodeId", "$ref": "DOM.NodeId", "description": "Id of the node to get animation players for." } |
+ ], |
+ "returns": [ |
+ { "name": "animationPlayers", "type": "array", "items": { "$ref": "AnimationPlayer" }, "description": "Array of animation players." } |
+ ], |
+ "description": "Returns animation players relevant to the node.", |
+ "hidden": true |
+ }, |
+ { |
+ "name": "pauseAnimationPlayer", |
+ "parameters": [ |
+ { "name": "id", "type": "string", "description": "Id of the animation player." } |
+ ], |
+ "returns": [ |
+ { "name": "animationPlayer", "$ref": "AnimationPlayer", "description": "Animation Player with current time set." } |
+ ], |
+ "description": "Pauses animations relevant to the node.", |
+ "hidden": true |
+ }, |
+ { |
+ "name": "playAnimationPlayer", |
+ "parameters": [ |
+ { "name": "id", "type": "string", "description": "Id of the animation player." } |
+ ], |
+ "returns": [ |
+ { "name": "animationPlayer", "$ref": "AnimationPlayer", "description": "Animation Player with current time set." } |
+ ], |
+ "description": "Plays animations relevant to the node.", |
+ "hidden": true |
+ }, |
+ { |
+ "name": "setAnimationPlayerCurrentTime", |
+ "parameters": [ |
+ { "name": "id", "type": "string", "description": "Id of the animation player." }, |
+ { "name": "currentTime", "type": "number", "description": "Current time to set animation to"} |
+ ], |
+ "returns": [ |
+ { "name": "animationPlayer", "$ref": "AnimationPlayer", "description": "Animation Player with current time set." } |
+ ], |
+ "description": "Sets the current time on given AnimationPlayer.", |
+ "hidden": true |
+ }, |
+ { |
+ "name": "getAnimationPlayerState", |
+ "parameters": [ |
+ { "name": "id", "type": "string", "description": "Id of the animation player." } |
+ ], |
+ "returns": [ |
+ { "name": "currentTime", "type": "number", "description": "Current time of the animation player." }, |
+ { "name": "isRunning", "type": "boolean", "description": "If the animation player is still running." } |
+ ], |
+ "description": "Gets the state of an AnimationPlayer.", |
+ "hidden": true |
+ } |
+ ], |
+ "events": [ |
+ ] |
}] |
} |