| 
									
										
										
										
											2022-03-30 23:35:42 +03:00
										 |  |  | #import <DOM/EventTarget.idl> | 
					
						
							|  |  |  | #import <DOM/EventHandler.idl> | 
					
						
							| 
									
										
										
										
											2024-09-01 12:52:14 +01:00
										 |  |  | #import <HTML/AbstractWorker.idl> | 
					
						
							| 
									
										
										
										
											2023-12-20 13:47:01 -07:00
										 |  |  | #import <HTML/MessagePort.idl> | 
					
						
							| 
									
										
										
										
											2024-09-10 20:57:48 -06:00
										 |  |  | #import <Fetch/Request.idl> | 
					
						
							| 
									
										
										
										
											2022-03-30 23:35:42 +03:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2023-11-07 19:29:22 -07:00
										 |  |  | // https://html.spec.whatwg.org/#worker | 
					
						
							| 
									
										
										
										
											2024-08-23 22:11:46 +01:00
										 |  |  | [Exposed=(Window,DedicatedWorker,SharedWorker)] | 
					
						
							| 
									
										
										
										
											2022-02-17 13:31:09 +01:00
										 |  |  | interface Worker : EventTarget { | 
					
						
							|  |  |  |     constructor(DOMString scriptURL, optional WorkerOptions options = {}); | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     undefined terminate(); | 
					
						
							| 
									
										
										
										
											2024-10-29 01:10:30 +13:00
										 |  |  |     undefined postMessage(any message, sequence<object> transfer); | 
					
						
							| 
									
										
										
										
											2023-12-20 13:47:01 -07:00
										 |  |  |     undefined postMessage(any message, optional StructuredSerializeOptions options = {}); | 
					
						
							| 
									
										
										
										
											2022-02-17 13:31:09 +01:00
										 |  |  | 
 | 
					
						
							|  |  |  |     attribute EventHandler onmessage; | 
					
						
							|  |  |  |     attribute EventHandler onmessageerror; | 
					
						
							|  |  |  | }; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | dictionary WorkerOptions { | 
					
						
							| 
									
										
										
										
											2024-09-10 20:57:48 -06:00
										 |  |  |     WorkerType type = "classic"; | 
					
						
							|  |  |  |     RequestCredentials credentials = "same-origin"; | 
					
						
							| 
									
										
										
										
											2022-02-17 13:31:09 +01:00
										 |  |  |     DOMString name = ""; | 
					
						
							|  |  |  | }; | 
					
						
							| 
									
										
										
										
											2024-09-01 12:52:14 +01:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2024-09-10 20:57:48 -06:00
										 |  |  | enum WorkerType { "classic", "module" }; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2024-09-01 12:52:14 +01:00
										 |  |  | Worker includes AbstractWorker; |