| 
									
										
										
										
											2020-07-22 23:47:04 +02:00
										 |  |  | /** | 
					
						
							|  |  |  |  * Wraps the query parameters into UIEventSources | 
					
						
							|  |  |  |  */ | 
					
						
							| 
									
										
										
										
											2020-08-17 17:23:15 +02:00
										 |  |  | import {UIEventSource} from "../UIEventSource"; | 
					
						
							| 
									
										
										
										
											2020-11-17 02:22:48 +01:00
										 |  |  | import Hash from "./Hash"; | 
					
						
							| 
									
										
										
										
											2021-06-15 00:28:59 +02:00
										 |  |  | import {Utils} from "../../Utils"; | 
					
						
							| 
									
										
										
										
											2020-07-22 23:47:04 +02:00
										 |  |  | 
 | 
					
						
							|  |  |  | export class QueryParameters { | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2022-01-26 21:40:38 +01:00
										 |  |  |     static defaults = {} | 
					
						
							|  |  |  |     static documentation = {} | 
					
						
							| 
									
										
										
										
											2020-11-13 23:58:11 +01:00
										 |  |  |     private static order: string [] = ["layout", "test", "z", "lat", "lon"]; | 
					
						
							| 
									
										
										
										
											2021-08-26 12:15:26 +02:00
										 |  |  |     private static _wasInitialized: Set<string> = new Set() | 
					
						
							| 
									
										
										
										
											2020-07-31 17:11:44 +02:00
										 |  |  |     private static knownSources = {}; | 
					
						
							|  |  |  |     private static initialized = false; | 
					
						
							| 
									
										
										
										
											2021-06-15 00:28:59 +02:00
										 |  |  | 
 | 
					
						
							|  |  |  |     public static GetQueryParameter(key: string, deflt: string, documentation?: string): UIEventSource<string> { | 
					
						
							|  |  |  |         if (!this.initialized) { | 
					
						
							|  |  |  |             this.init(); | 
					
						
							|  |  |  |         } | 
					
						
							|  |  |  |         QueryParameters.documentation[key] = documentation; | 
					
						
							|  |  |  |         if (deflt !== undefined) { | 
					
						
							|  |  |  |             QueryParameters.defaults[key] = deflt; | 
					
						
							|  |  |  |         } | 
					
						
							|  |  |  |         if (QueryParameters.knownSources[key] !== undefined) { | 
					
						
							|  |  |  |             return QueryParameters.knownSources[key]; | 
					
						
							|  |  |  |         } | 
					
						
							|  |  |  |         QueryParameters.addOrder(key); | 
					
						
							|  |  |  |         const source = new UIEventSource<string>(deflt, "&" + key); | 
					
						
							|  |  |  |         QueryParameters.knownSources[key] = source; | 
					
						
							|  |  |  |         source.addCallback(() => QueryParameters.Serialize()) | 
					
						
							|  |  |  |         return source; | 
					
						
							|  |  |  |     } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2022-02-14 18:18:05 +01:00
										 |  |  |     public static GetBooleanQueryParameter(key: string, deflt: boolean, documentation?: string): UIEventSource<boolean> { | 
					
						
							|  |  |  |         return QueryParameters.GetQueryParameter(key, ""+ deflt, documentation).map(str => str === "true", [], b => "" + b) | 
					
						
							| 
									
										
										
										
											2021-10-23 02:46:37 +02:00
										 |  |  |     } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2021-06-15 00:28:59 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2021-09-09 00:05:51 +02:00
										 |  |  |     public static wasInitialized(key: string): boolean { | 
					
						
							|  |  |  |         return QueryParameters._wasInitialized.has(key) | 
					
						
							|  |  |  |     } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-11-13 23:58:11 +01:00
										 |  |  |     private static addOrder(key) { | 
					
						
							|  |  |  |         if (this.order.indexOf(key) < 0) { | 
					
						
							| 
									
										
										
										
											2020-07-22 23:47:04 +02:00
										 |  |  |             this.order.push(key) | 
					
						
							|  |  |  |         } | 
					
						
							|  |  |  |     } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     private static init() { | 
					
						
							| 
									
										
										
										
											2020-11-13 23:58:11 +01:00
										 |  |  | 
 | 
					
						
							|  |  |  |         if (this.initialized) { | 
					
						
							| 
									
										
										
										
											2020-07-25 18:00:08 +02:00
										 |  |  |             return; | 
					
						
							|  |  |  |         } | 
					
						
							| 
									
										
										
										
											2020-07-31 17:11:44 +02:00
										 |  |  |         this.initialized = true; | 
					
						
							| 
									
										
										
										
											2021-06-15 00:28:59 +02:00
										 |  |  | 
 | 
					
						
							|  |  |  |         if (Utils.runningFromConsole) { | 
					
						
							|  |  |  |             return; | 
					
						
							|  |  |  |         } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-07-31 17:11:44 +02:00
										 |  |  |         if (window?.location?.search) { | 
					
						
							| 
									
										
										
										
											2020-07-22 23:47:04 +02:00
										 |  |  |             const params = window.location.search.substr(1).split("&"); | 
					
						
							|  |  |  |             for (const param of params) { | 
					
						
							|  |  |  |                 const kv = param.split("="); | 
					
						
							| 
									
										
										
										
											2020-10-17 03:56:08 +02:00
										 |  |  |                 const key = decodeURIComponent(kv[0]); | 
					
						
							| 
									
										
										
										
											2020-07-22 23:47:04 +02:00
										 |  |  |                 QueryParameters.addOrder(key) | 
					
						
							| 
									
										
										
										
											2021-08-26 12:15:26 +02:00
										 |  |  |                 QueryParameters._wasInitialized.add(key) | 
					
						
							| 
									
										
										
										
											2020-10-17 03:56:08 +02:00
										 |  |  |                 const v = decodeURIComponent(kv[1]); | 
					
						
							| 
									
										
										
										
											2020-07-22 23:47:04 +02:00
										 |  |  |                 const source = new UIEventSource<string>(v); | 
					
						
							|  |  |  |                 source.addCallback(() => QueryParameters.Serialize()) | 
					
						
							| 
									
										
										
										
											2020-07-31 17:11:44 +02:00
										 |  |  |                 QueryParameters.knownSources[key] = source; | 
					
						
							| 
									
										
										
										
											2020-07-22 23:47:04 +02:00
										 |  |  |             } | 
					
						
							|  |  |  |         } | 
					
						
							| 
									
										
										
										
											2022-02-14 15:59:42 +01:00
										 |  |  |          | 
					
						
							| 
									
										
										
										
											2020-07-22 23:47:04 +02:00
										 |  |  |     } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     private static Serialize() { | 
					
						
							|  |  |  |         const parts = [] | 
					
						
							|  |  |  |         for (const key of QueryParameters.order) { | 
					
						
							| 
									
										
										
										
											2021-01-08 18:02:07 +01:00
										 |  |  |             if (QueryParameters.knownSources[key]?.data === undefined) { | 
					
						
							| 
									
										
										
										
											2020-07-22 23:47:04 +02:00
										 |  |  |                 continue; | 
					
						
							|  |  |  |             } | 
					
						
							| 
									
										
										
										
											2021-06-15 00:28:59 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-12-04 21:30:35 +01:00
										 |  |  |             if (QueryParameters.knownSources[key].data === "undefined") { | 
					
						
							|  |  |  |                 continue; | 
					
						
							|  |  |  |             } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2021-01-08 18:02:07 +01:00
										 |  |  |             if (QueryParameters.knownSources[key].data === QueryParameters.defaults[key]) { | 
					
						
							| 
									
										
										
										
											2020-07-29 15:05:19 +02:00
										 |  |  |                 continue; | 
					
						
							|  |  |  |             } | 
					
						
							| 
									
										
										
										
											2020-11-02 20:15:55 +01:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-07-22 23:47:04 +02:00
										 |  |  |             parts.push(encodeURIComponent(key) + "=" + encodeURIComponent(QueryParameters.knownSources[key].data)) | 
					
						
							|  |  |  |         } | 
					
						
							| 
									
										
										
										
											2022-04-04 04:54:54 +02:00
										 |  |  |         if(!Utils.runningFromConsole){ | 
					
						
							|  |  |  |             // Don't pollute the history every time a parameter changes
 | 
					
						
							|  |  |  |             history.replaceState(null, "", "?" + parts.join("&") + Hash.Current()); | 
					
						
							|  |  |  |         } | 
					
						
							| 
									
										
										
										
											2020-07-22 23:47:04 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-11-13 23:58:11 +01:00
										 |  |  |     } | 
					
						
							| 
									
										
										
										
											2020-07-22 23:47:04 +02:00
										 |  |  | } |