add WebIDL typedefs by json

Author: saschanaz

TS.fsx

@@ -34,6 +34,11 @@ module Helpers =
         match FSharpValue.GetUnionFields(x, typeof<'a>) with
         | case, _ -> case.Name
 
+    let inline toNameMap< ^a when ^a: (member Name: string) > (data: array< ^a > ) =
+        data
+        |> Array.map (fun x -> ((^a: (member Name: string) x), x))
+        |> Map.ofArray
+
     module Option =
         let runIfSome f x =
             match x with
@@ -132,6 +137,32 @@ module Types =
 
     type ExtendConflict = { BaseType: string; ExtendType: string list; MemberNames: string list }
 
+module InputIdlJson =
+    open Helpers
+    open System.Xml.Linq
+
+    type InputIdlJsonType = JsonProvider<"inputfiles/sample.webidl.json">
+
+    let inputIdl =
+        File.ReadAllText(GlobalVars.inputFolder + @"/browser.webidl.json") |> InputIdlJsonType.Parse
+
+    let allTypedefsMap =
+        inputIdl.Typedefs |> toNameMap
+
+    let hasType itemName =
+        allTypedefsMap.ContainsKey itemName
+    
+    module Compat =
+        let xNamespace = XNamespace.Get "http://schemas.microsoft.com/ie/webidl-xml"
+
+        let convertTypedef (i: InputIdlJsonType.Typedef) =
+            let typedef = XElement(xNamespace + "typedef", XAttribute (XName.Get "new-type", i.Name), XAttribute (XName.Get "type", i.Type))
+
+            if OptionCheckValue true i.Nullable then
+                typedef.Add(XAttribute(XName.Get "nullable", "1"))
+
+            Types.Browser.Typedef typedef
+
 module InputJson =
     open Helpers
     open Types
@@ -301,11 +332,6 @@ module Data =
     let allInterfaces =
         Array.concat [| allWebInterfaces; allWorkerAdditionalInterfaces |]
 
-    let inline toNameMap< ^a when ^a: (member Name: string) > (data: array< ^a > ) =
-        data
-        |> Array.map (fun x -> ((^a: (member Name: string) x), x))
-        |> Map.ofArray
-
     let allInterfacesMap =
         allInterfaces |> toNameMap
 
@@ -701,7 +727,6 @@ module Emit =
         | "Date" -> "Date"
         | "DOMHighResTimeStamp" -> "number"
         | "DOMString" -> "string"
-        | "DOMTimeStamp" -> "number"
         | "EndOfStreamError" -> "number"
         | "EventListener" -> "EventListenerOrEventListenerObject"
         | "double" | "float" -> "number"
@@ -721,7 +746,8 @@ module Emit =
                 if allInterfacesMap.ContainsKey objDomType ||
                     allCallbackFuncs.ContainsKey objDomType ||
                     allDictionariesMap.ContainsKey objDomType ||
-                    allEnumsMap.ContainsKey objDomType then
+                    allEnumsMap.ContainsKey objDomType || 
+                    InputIdlJson.hasType objDomType then
                     objDomType
                 // Name of a type alias. Just return itself
                 elif typeDefSet.Contains objDomType then objDomType
@@ -1482,15 +1508,14 @@ module Emit =
         let emitTypeDefFromJson (typeDef: InputJsonType.Root) =
             Pt.Printl "type %s = %s;" typeDef.Name.Value typeDef.Type.Value
 
-        match flavor with
-        | Flavor.Worker ->
-            browser.Typedefs
-            |> Array.filter (fun typedef -> knownWorkerInterfaces.Contains typedef.NewType)
-            |> Array.iter emitTypeDef
-        | _ ->
-            browser.Typedefs
-            |> Array.filter (fun typedef -> getRemovedItemByName typedef.NewType ItemKind.TypeDef "" |> Option.isNone)
-            |> Array.iter emitTypeDef
+        let mutable map = browser.Typedefs |> Array.map(fun i -> (i.NewType, i)) |> Map.ofArray
+        InputIdlJson.inputIdl.Typedefs
+            |> Array.iter (InputIdlJson.Compat.convertTypedef >> (fun i -> map <- map.Add(i.NewType, i)))
+            
+        map |> Map.toArray |> Array.map snd
+        |> Array.filter (fun typedef -> getRemovedItemByName typedef.NewType ItemKind.TypeDef "" |> Option.isNone)
+        |> Array.filter (fun i -> (flavor <> Flavor.Worker || knownWorkerInterfaces.Contains i.NewType))
+        |> Array.iter emitTypeDef
 
         InputJson.getAddedItems ItemKind.TypeDef flavor
         |> Array.iter emitTypeDefFromJson

baselines/dom.generated.d.ts

@@ -761,7 +761,7 @@ interface ProgressEventInit extends EventInit {
 }
 
 interface PushSubscriptionOptionsInit {
-    applicationServerKey?: any;
+    applicationServerKey?: BufferSource | null;
     userVisibleOnly?: boolean;
 }
 
@@ -770,7 +770,7 @@ interface RegistrationOptions {
 }
 
 interface RequestInit {
-    body?: any;
+    body?: Blob | BufferSource | FormData | string | null;
     cache?: RequestCache;
     credentials?: RequestCredentials;
     headers?: HeadersInit;
@@ -1088,7 +1088,7 @@ interface RTCTransportStats extends RTCStats {
 }
 
 interface ScopedCredentialDescriptor {
-    id: any;
+    id: BufferSource;
     transports?: Transport[];
     type: ScopedCredentialType;
 }
@@ -7539,7 +7539,7 @@ declare var MediaKeyMessageEvent: {
 
 interface MediaKeys {
     createSession(sessionType?: MediaKeySessionType): MediaKeySession;
-    setServerCertificate(serverCertificate: any): Promise<void>;
+    setServerCertificate(serverCertificate: BufferSource): Promise<void>;
 }
 
 declare var MediaKeys: {
@@ -7553,10 +7553,10 @@ interface MediaKeySession extends EventTarget {
     readonly keyStatuses: MediaKeyStatusMap;
     readonly sessionId: string;
     close(): Promise<void>;
-    generateRequest(initDataType: string, initData: any): Promise<void>;
+    generateRequest(initDataType: string, initData: BufferSource): Promise<void>;
     load(sessionId: string): Promise<boolean>;
     remove(): Promise<void>;
-    update(response: any): Promise<void>;
+    update(response: BufferSource): Promise<void>;
 }
 
 declare var MediaKeySession: {
@@ -7567,8 +7567,8 @@ declare var MediaKeySession: {
 interface MediaKeyStatusMap {
     readonly size: number;
     forEach(callback: ForEachCallback): void;
-    get(keyId: any): MediaKeyStatus;
-    has(keyId: any): boolean;
+    get(keyId: BufferSource): MediaKeyStatus;
+    has(keyId: BufferSource): boolean;
 }
 
 declare var MediaKeyStatusMap: {
@@ -9072,7 +9072,7 @@ declare var PopStateEvent: {
 
 interface Position {
     readonly coords: Coordinates;
-    readonly timestamp: number;
+    readonly timestamp: DOMTimeStamp;
 }
 
 declare var Position: {
@@ -12306,8 +12306,8 @@ declare var WaveShaperNode: {
 };
 
 interface WebAuthentication {
-    getAssertion(assertionChallenge: any, options?: AssertionOptions): Promise<WebAuthnAssertion>;
-    makeCredential(accountInformation: Account, cryptoParameters: ScopedCredentialParameters[], attestationChallenge: any, options?: ScopedCredentialOptions): Promise<ScopedCredentialInfo>;
+    getAssertion(assertionChallenge: BufferSource, options?: AssertionOptions): Promise<WebAuthnAssertion>;
+    makeCredential(accountInformation: Account, cryptoParameters: ScopedCredentialParameters[], attestationChallenge: BufferSource, options?: ScopedCredentialOptions): Promise<ScopedCredentialInfo>;
 }
 
 declare var WebAuthentication: {
@@ -14796,7 +14796,7 @@ interface ErrorEventHandler {
     (message: string, filename?: string, lineno?: number, colno?: number, error?: Error): void;
 }
 interface ForEachCallback {
-    (keyId: any, status: MediaKeyStatus): void;
+    (keyId: BufferSource, status: MediaKeyStatus): void;
 }
 interface FrameRequestCallback {
     (time: number): void;
@@ -15252,13 +15252,15 @@ declare function removeEventListener<K extends keyof WindowEventMap>(type: K, li
 declare function removeEventListener(type: string, listener: EventListenerOrEventListenerObject, options?: boolean | EventListenerOptions): void;
 type AAGUID = string;
 type AlgorithmIdentifier = string | Algorithm;
-type BodyInit = any;
+type BodyInit = Blob | BufferSource | FormData | string;
+type BufferSource = ArrayBufferView | ArrayBuffer;
 type ByteString = string;
 type ConstrainBoolean = boolean | ConstrainBooleanParameters;
 type ConstrainDOMString = string | string[] | ConstrainDOMStringParameters;
 type ConstrainDouble = number | ConstrainDoubleRange;
 type ConstrainLong = number | ConstrainLongRange;
 type CryptoOperationData = ArrayBufferView;
+type DOMTimeStamp = number;
 type GLbitfield = number;
 type GLboolean = boolean;
 type GLbyte = number;
@@ -15288,7 +15290,6 @@ type payloadtype = number;
 type ScrollBehavior = "auto" | "instant" | "smooth";
 type ScrollLogicalPosition = "start" | "center" | "end" | "nearest";
 type IDBValidKey = number | string | Date | IDBArrayKey;
-type BufferSource = ArrayBuffer | ArrayBufferView;
 type MouseWheelEvent = WheelEvent;
 type ScrollRestoration = "auto" | "manual";
 type FormDataEntryValue = string | File;

baselines/webworker.generated.d.ts

@@ -66,12 +66,12 @@ interface ObjectURLOptions {
 }
 
 interface PushSubscriptionOptionsInit {
-    applicationServerKey?: any;
+    applicationServerKey?: BufferSource | null;
     userVisibleOnly?: boolean;
 }
 
 interface RequestInit {
-    body?: any;
+    body?: Blob | BufferSource | FormData | string | null;
     cache?: RequestCache;
     credentials?: RequestCredentials;
     headers?: HeadersInit;
@@ -119,7 +119,7 @@ interface NotificationEventInit extends ExtendableEventInit {
 }
 
 interface PushEventInit extends ExtendableEventInit {
-    data?: any;
+    data?: BufferSource | USVString;
 }
 
 interface SyncEventInit extends ExtendableEventInit {
@@ -853,7 +853,7 @@ declare var PerformanceTiming: {
 
 interface Position {
     readonly coords: Coordinates;
-    readonly timestamp: number;
+    readonly timestamp: DOMTimeStamp;
 }
 
 declare var Position: {
@@ -1834,7 +1834,7 @@ interface ErrorEventHandler {
     (message: string, filename?: string, lineno?: number, colno?: number, error?: Error): void;
 }
 interface ForEachCallback {
-    (keyId: any, status: MediaKeyStatus): void;
+    (keyId: BufferSource, status: MediaKeyStatus): void;
 }
 interface FunctionStringCallback {
     (data: string): void;
@@ -1884,12 +1884,13 @@ declare function addEventListener(type: string, listener: EventListenerOrEventLi
 declare function removeEventListener<K extends keyof DedicatedWorkerGlobalScopeEventMap>(type: K, listener: (this: DedicatedWorkerGlobalScope, ev: DedicatedWorkerGlobalScopeEventMap[K]) => any, options?: boolean | EventListenerOptions): void;
 declare function removeEventListener(type: string, listener: EventListenerOrEventListenerObject, options?: boolean | EventListenerOptions): void;
 type AlgorithmIdentifier = string | Algorithm;
-type BodyInit = any;
+type BodyInit = Blob | BufferSource | FormData | string;
+type BufferSource = ArrayBufferView | ArrayBuffer;
+type DOMTimeStamp = number;
 type IDBKeyPath = string;
 type RequestInfo = Request | string;
 type USVString = string;
 type IDBValidKey = number | string | Date | IDBArrayKey;
-type BufferSource = ArrayBuffer | ArrayBufferView;
 type FormDataEntryValue = string | File;
 type HeadersInit = Headers | string[][] | { [key: string]: string };
 type IDBCursorDirection = "next" | "nextunique" | "prev" | "prevunique";

inputfiles/addedTypes.json

@@ -815,11 +815,6 @@
         "name": "failIfMajorPerformanceCaveat?",
         "type": "boolean"
     },
-    {
-        "kind": "typedef",
-        "name": "BufferSource",
-        "type": "ArrayBuffer | ArrayBufferView"
-    },
     {
         "kind": "interface",
         "name": "RsaKeyGenParams",

inputfiles/browser.webidl.json

@@ -0,0 +1,57 @@
+{
+  "callbackInterfaces": [], "dictionaries": [], "enums": [], "namespaces": [],
+  "callbackFunctions": [
+    {
+      "name": "Function", "type": "any",
+      "params": [{ "name": "arguments", "type": "any", "variadic": true }]
+    },
+    { "name": "VoidFunction", "type": "void", "params": [] }
+  ],
+  "interfaces": [{
+    "name": "DOMException", "extends": "Object",
+    "exposed": ["Window", "Worker"],
+    "constructors": [{
+      "arguments": [
+        { "name": "message", "type": "DOMString", "optional": true, "default": "\"\"" },
+        { "name": "name", "type": "DOMString", "optional": true, "default": "\"Error\"" }
+      ]
+    }],
+    "constants": [
+      { "name": "ABORT_ERR", "type": "unsigned short", "value": "20" },
+      { "name": "DATA_CLONE_ERR", "type": "unsigned short", "value": "25" },
+      { "name": "DOMSTRING_SIZE_ERR", "type": "unsigned short", "value": "2" },
+      { "name": "HIERARCHY_REQUEST_ERR", "type": "unsigned short", "value": "3" },
+      { "name": "INDEX_SIZE_ERR", "type": "unsigned short", "value": "1" },
+      { "name": "INUSE_ATTRIBUTE_ERR", "type": "unsigned short", "value": "10" },
+      { "name": "INVALID_ACCESS_ERR", "type": "unsigned short", "value": "15" },
+      { "name": "INVALID_CHARACTER_ERR", "type": "unsigned short", "value": "5" },
+      { "name": "INVALID_MODIFICATION_ERR", "type": "unsigned short", "value": "13" },
+      { "name": "INVALID_NODE_TYPE_ERR", "type": "unsigned short", "value": "24" },
+      { "name": "INVALID_STATE_ERR", "type": "unsigned short", "value": "11" },
+      { "name": "NAMESPACE_ERR", "type": "unsigned short", "value": "14" },
+      { "name": "NETWORK_ERR", "type": "unsigned short", "value": "19" },
+      { "name": "NO_DATA_ALLOWED_ERR", "type": "unsigned short", "value": "6" },
+      { "name": "NO_MODIFICATION_ALLOWED_ERR", "type": "unsigned short", "value": "7" },
+      { "name": "NOT_FOUND_ERR", "type": "unsigned short", "value": "8" },
+      { "name": "NOT_SUPPORTED_ERR", "type": "unsigned short", "value": "9" },
+      { "name": "QUOTA_EXCEEDED_ERR", "type": "unsigned short", "value": "22" },
+      { "name": "SECURITY_ERR", "type": "unsigned short", "value": "18" },
+      { "name": "SYNTAX_ERR", "type": "unsigned short", "value": "12" },
+      { "name": "TIMEOUT_ERR", "type": "unsigned short", "value": "23" },
+      { "name": "TYPE_MISMATCH_ERR", "type": "unsigned short", "value": "17" },
+      { "name": "URL_MISMATCH_ERR", "type": "unsigned short", "value": "21" },
+      { "name": "VALIDATION_ERR", "type": "unsigned short", "value": "16" },
+      { "name": "WRONG_DOCUMENT_ERR", "type": "unsigned short", "value": "4" }
+    ],
+    "attributes": [
+      { "name": "code", "type": "unsigned short", "readonly": true },
+      { "name": "message", "type": "DOMString", "readonly": true },
+      { "name": "name", "type": "DOMString", "readonly": true }
+    ]
+  }],
+  "typedefs": [
+    { "name": "ArrayBufferView", "type": "(Int8Array or Int16Array or Int32Array or Uint8Array or Uint16Array or Uint32Array or Uint8ClampedArray or Float32Array or Float64Array or DataView)" },
+    { "name": "BufferSource", "type": "(ArrayBufferView or ArrayBuffer)" },
+    { "name": "DOMTimeStamp", "type": "unsigned long long" }
+  ]
+}

inputfiles/knownWorkerInterfaces.json

@@ -6,6 +6,7 @@
     "Blob",
     "Body",
     "BodyInit",
+    "BufferSource",
     "Cache",
     "CacheQueryOptions",
     "CacheStorage",
@@ -18,6 +19,7 @@
     "DOMError",
     "DOMException",
     "DOMStringList",
+    "DOMTimeStamp",
     "DecodeErrorCallback",
     "DecodeSuccessCallback",
     "ErrorEvent",
@@ -92,6 +94,8 @@
     "ServiceWorkerRegistration",
     "SyncEventInit",
     "SyncManager",
+    "TextDecodeOptions",
+    "TextDecoderOptions",
     "USVString",
     "URL",
     "URLSearchParams",

inputfiles/removedTypes.json

@@ -83,5 +83,9 @@
     {
         "kind": "typedef",
         "name": "HeadersInit"
+    },
+    {
+        "kind": "typedef",
+        "name": "ArrayBufferView"
     }
-]
+]