# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
  - addsTo:
      pack: codeql/csharp-all
      extensible: summaryModel
    data:
      - ["System.Net.WebSockets", "ClientWebSocketOptions", False, "SetBuffer", "(System.Int32,System.Int32,System.ArraySegment<System.Byte>)", "", "Argument[2].Element", "Argument[this]", "taint", "df-generated"]
      - ["System.Net.WebSockets", "WebSocket", False, "CreateClientWebSocket", "(System.IO.Stream,System.String,System.Int32,System.Int32,System.TimeSpan,System.Boolean,System.ArraySegment<System.Byte>)", "", "Argument[1]", "ReturnValue.SyntheticField[System.Net.WebSockets.ManagedWebSocket._subprotocol]", "value", "dfc-generated"]
      - ["System.Net.WebSockets", "WebSocket", False, "CreateFromStream", "(System.IO.Stream,System.Boolean,System.String,System.TimeSpan)", "", "Argument[2]", "ReturnValue.SyntheticField[System.Net.WebSockets.ManagedWebSocket._subprotocol]", "value", "dfc-generated"]
      - ["System.Net.WebSockets", "WebSocket", True, "get_CloseStatus", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Net.WebSockets", "WebSocket", True, "get_CloseStatusDescription", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Net.WebSockets", "WebSocket", True, "get_SubProtocol", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketContext", True, "get_CookieCollection", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketContext", True, "get_Headers", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketContext", True, "get_Origin", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketContext", True, "get_RequestUri", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketContext", True, "get_SecWebSocketKey", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketContext", True, "get_SecWebSocketProtocols", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketContext", True, "get_SecWebSocketVersion", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketContext", True, "get_User", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketContext", True, "get_WebSocket", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketReceiveResult", False, "WebSocketReceiveResult", "(System.Int32,System.Net.WebSockets.WebSocketMessageType,System.Boolean,System.Nullable<System.Net.WebSockets.WebSocketCloseStatus>,System.String)", "", "Argument[3]", "Argument[this].Property[System.Net.WebSockets.WebSocketReceiveResult.CloseStatus]", "value", "dfc-generated"]
      - ["System.Net.WebSockets", "WebSocketReceiveResult", False, "WebSocketReceiveResult", "(System.Int32,System.Net.WebSockets.WebSocketMessageType,System.Boolean,System.Nullable<System.Net.WebSockets.WebSocketCloseStatus>,System.String)", "", "Argument[4]", "Argument[this].Property[System.Net.WebSockets.WebSocketReceiveResult.CloseStatusDescription]", "value", "dfc-generated"]
      - ["System.Net.WebSockets", "WebSocketStream", False, "Create", "(System.Net.WebSockets.WebSocket,System.Net.WebSockets.WebSocketMessageType,System.TimeSpan)", "", "Argument[2]", "ReturnValue", "taint", "df-generated"]
  - addsTo:
      pack: codeql/csharp-all
      extensible: neutralModel
    data:
      - ["System.Net.WebSockets", "ClientWebSocket", "Abort", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "ClientWebSocket", "CloseAsync", "(System.Net.WebSockets.WebSocketCloseStatus,System.String,System.Threading.CancellationToken)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "ClientWebSocket", "CloseOutputAsync", "(System.Net.WebSockets.WebSocketCloseStatus,System.String,System.Threading.CancellationToken)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "ClientWebSocket", "ConnectAsync", "(System.Uri,System.Net.Http.HttpMessageInvoker,System.Threading.CancellationToken)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "ClientWebSocket", "ConnectAsync", "(System.Uri,System.Threading.CancellationToken)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "ClientWebSocket", "Dispose", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "ClientWebSocket", "ReceiveAsync", "(System.ArraySegment<System.Byte>,System.Threading.CancellationToken)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "ClientWebSocket", "ReceiveAsync", "(System.Memory<System.Byte>,System.Threading.CancellationToken)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "ClientWebSocket", "SendAsync", "(System.ArraySegment<System.Byte>,System.Net.WebSockets.WebSocketMessageType,System.Boolean,System.Threading.CancellationToken)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "ClientWebSocket", "SendAsync", "(System.ReadOnlyMemory<System.Byte>,System.Net.WebSockets.WebSocketMessageType,System.Boolean,System.Threading.CancellationToken)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "ClientWebSocket", "SendAsync", "(System.ReadOnlyMemory<System.Byte>,System.Net.WebSockets.WebSocketMessageType,System.Net.WebSockets.WebSocketMessageFlags,System.Threading.CancellationToken)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "ClientWebSocket", "get_HttpStatusCode", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "ClientWebSocket", "get_Options", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "ClientWebSocket", "get_State", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "ClientWebSocketOptions", "AddSubProtocol", "(System.String)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "ClientWebSocketOptions", "SetBuffer", "(System.Int32,System.Int32)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "ClientWebSocketOptions", "SetRequestHeader", "(System.String,System.String)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "HttpListenerWebSocketContext", "get_IsAuthenticated", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "HttpListenerWebSocketContext", "get_IsLocal", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "HttpListenerWebSocketContext", "get_IsSecureConnection", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "ValueWebSocketReceiveResult", "ValueWebSocketReceiveResult", "(System.Int32,System.Net.WebSockets.WebSocketMessageType,System.Boolean)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "ValueWebSocketReceiveResult", "get_Count", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "ValueWebSocketReceiveResult", "get_EndOfMessage", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "ValueWebSocketReceiveResult", "get_MessageType", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocket", "Abort", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocket", "CloseAsync", "(System.Net.WebSockets.WebSocketCloseStatus,System.String,System.Threading.CancellationToken)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocket", "CloseOutputAsync", "(System.Net.WebSockets.WebSocketCloseStatus,System.String,System.Threading.CancellationToken)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocket", "CreateClientBuffer", "(System.Int32,System.Int32)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocket", "CreateFromStream", "(System.IO.Stream,System.Net.WebSockets.WebSocketCreationOptions)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocket", "CreateServerBuffer", "(System.Int32)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocket", "Dispose", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocket", "IsApplicationTargeting45", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocket", "IsStateTerminal", "(System.Net.WebSockets.WebSocketState)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocket", "ReceiveAsync", "(System.ArraySegment<System.Byte>,System.Threading.CancellationToken)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocket", "ReceiveAsync", "(System.Memory<System.Byte>,System.Threading.CancellationToken)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocket", "RegisterPrefixes", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocket", "SendAsync", "(System.ArraySegment<System.Byte>,System.Net.WebSockets.WebSocketMessageType,System.Boolean,System.Threading.CancellationToken)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocket", "SendAsync", "(System.ReadOnlyMemory<System.Byte>,System.Net.WebSockets.WebSocketMessageType,System.Boolean,System.Threading.CancellationToken)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocket", "SendAsync", "(System.ReadOnlyMemory<System.Byte>,System.Net.WebSockets.WebSocketMessageType,System.Net.WebSockets.WebSocketMessageFlags,System.Threading.CancellationToken)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocket", "ThrowOnInvalidState", "(System.Net.WebSockets.WebSocketState,System.Net.WebSockets.WebSocketState[])", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocket", "get_DefaultKeepAliveInterval", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocket", "get_State", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketContext", "get_IsAuthenticated", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketContext", "get_IsLocal", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketContext", "get_IsSecureConnection", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketException", "WebSocketException", "(System.Int32)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketException", "WebSocketException", "(System.Int32,System.Exception)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketException", "WebSocketException", "(System.Int32,System.String)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketException", "WebSocketException", "(System.Net.WebSockets.WebSocketError)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketException", "WebSocketException", "(System.Net.WebSockets.WebSocketError,System.Exception)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketException", "WebSocketException", "(System.Net.WebSockets.WebSocketError,System.Int32)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketException", "WebSocketException", "(System.Net.WebSockets.WebSocketError,System.Int32,System.Exception)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketException", "WebSocketException", "(System.Net.WebSockets.WebSocketError,System.Int32,System.String)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketException", "WebSocketException", "(System.Net.WebSockets.WebSocketError,System.Int32,System.String,System.Exception)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketException", "WebSocketException", "(System.Net.WebSockets.WebSocketError,System.String)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketException", "WebSocketException", "(System.Net.WebSockets.WebSocketError,System.String,System.Exception)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketException", "WebSocketException", "(System.String)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketException", "WebSocketException", "(System.String,System.Exception)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketException", "get_ErrorCode", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketException", "get_WebSocketErrorCode", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketReceiveResult", "WebSocketReceiveResult", "(System.Int32,System.Net.WebSockets.WebSocketMessageType,System.Boolean)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketReceiveResult", "get_CloseStatus", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketReceiveResult", "get_CloseStatusDescription", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketReceiveResult", "get_Count", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketReceiveResult", "get_EndOfMessage", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketReceiveResult", "get_MessageType", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketStream", "Create", "(System.Net.WebSockets.WebSocket,System.Net.WebSockets.WebSocketMessageType,System.Boolean)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketStream", "CreateReadableMessageStream", "(System.Net.WebSockets.WebSocket)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketStream", "CreateWritableMessageStream", "(System.Net.WebSockets.WebSocket,System.Net.WebSockets.WebSocketMessageType)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketStream", "Dispose", "(System.Boolean)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketStream", "EndRead", "(System.IAsyncResult)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketStream", "EndWrite", "(System.IAsyncResult)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketStream", "Flush", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketStream", "Seek", "(System.Int64,System.IO.SeekOrigin)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketStream", "SetLength", "(System.Int64)", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketStream", "get_CanRead", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketStream", "get_CanSeek", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketStream", "get_CanWrite", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketStream", "get_Length", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketStream", "get_WebSocket", "()", "summary", "df-generated"]
