| 
									
										
										
										
											2023-11-06 15:17:15 +00:00
										 |  |  | // https://www.w3.org/TR/web-animations-1/#the-effecttiming-dictionaries | 
					
						
							|  |  |  | dictionary EffectTiming { | 
					
						
							| 
									
										
										
										
											2024-01-17 21:03:20 +01:00
										 |  |  |     double delay = 0; | 
					
						
							|  |  |  |     double endDelay = 0; | 
					
						
							|  |  |  |     FillMode fill = "auto"; | 
					
						
							|  |  |  |     double iterationStart = 0.0; | 
					
						
							|  |  |  |     unrestricted double iterations = 1.0; | 
					
						
							| 
									
										
										
										
											2023-11-06 15:17:15 +00:00
										 |  |  |     (unrestricted double or DOMString) duration = "auto"; | 
					
						
							| 
									
										
										
										
											2024-01-17 21:03:20 +01:00
										 |  |  |     PlaybackDirection direction = "normal"; | 
					
						
							|  |  |  |     DOMString easing = "linear"; | 
					
						
							| 
									
										
										
										
											2023-11-06 15:17:15 +00:00
										 |  |  | }; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | // https://www.w3.org/TR/web-animations-1/#dictdef-optionaleffecttiming | 
					
						
							|  |  |  | dictionary OptionalEffectTiming { | 
					
						
							| 
									
										
										
										
											2024-01-17 21:03:20 +01:00
										 |  |  |     double delay; | 
					
						
							|  |  |  |     double endDelay; | 
					
						
							|  |  |  |     FillMode fill; | 
					
						
							|  |  |  |     double iterationStart; | 
					
						
							|  |  |  |     unrestricted double iterations; | 
					
						
							| 
									
										
										
										
											2023-11-06 15:17:15 +00:00
										 |  |  |     (unrestricted double or DOMString) duration; | 
					
						
							| 
									
										
										
										
											2024-01-17 21:03:20 +01:00
										 |  |  |     PlaybackDirection direction; | 
					
						
							|  |  |  |     DOMString easing; | 
					
						
							| 
									
										
										
										
											2023-11-06 15:17:15 +00:00
										 |  |  | }; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | // https://www.w3.org/TR/web-animations-1/#the-fillmode-enumeration | 
					
						
							|  |  |  | enum FillMode { "none", "forwards", "backwards", "both", "auto" }; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | // https://www.w3.org/TR/web-animations-1/#the-playbackdirection-enumeration | 
					
						
							|  |  |  | enum PlaybackDirection { "normal", "reverse", "alternate", "alternate-reverse" }; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | // https://www.w3.org/TR/web-animations-1/#the-computedeffecttiming-dictionary | 
					
						
							|  |  |  | dictionary ComputedEffectTiming : EffectTiming { | 
					
						
							| 
									
										
										
										
											2025-01-14 00:08:27 +13:00
										 |  |  |     [GenerateAsRequired] unrestricted double endTime; | 
					
						
							|  |  |  |     [GenerateAsRequired] unrestricted double activeDuration; | 
					
						
							| 
									
										
										
										
											2024-01-17 21:03:20 +01:00
										 |  |  |     double? localTime; | 
					
						
							|  |  |  |     double? progress; | 
					
						
							| 
									
										
										
										
											2023-11-06 15:17:15 +00:00
										 |  |  |     unrestricted double? currentIteration; | 
					
						
							|  |  |  | }; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | // https://www.w3.org/TR/web-animations-1/#the-animationeffect-interface | 
					
						
							|  |  |  | [Exposed=Window] | 
					
						
							|  |  |  | interface AnimationEffect { | 
					
						
							| 
									
										
										
										
											2024-01-17 21:03:20 +01:00
										 |  |  |     EffectTiming getTiming(); | 
					
						
							| 
									
										
										
										
											2023-11-06 15:17:15 +00:00
										 |  |  |     ComputedEffectTiming getComputedTiming(); | 
					
						
							| 
									
										
										
										
											2024-01-17 21:03:20 +01:00
										 |  |  |     undefined updateTiming(optional OptionalEffectTiming timing = {}); | 
					
						
							| 
									
										
										
										
											2023-11-06 15:17:15 +00:00
										 |  |  | }; |