# 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", "HttpListenerWebSocketContext", False, "get_CookieCollection", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Net.WebSockets", "HttpListenerWebSocketContext", False, "get_Headers", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Net.WebSockets", "HttpListenerWebSocketContext", False, "get_Origin", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Net.WebSockets", "HttpListenerWebSocketContext", False, "get_RequestUri", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Net.WebSockets", "HttpListenerWebSocketContext", False, "get_SecWebSocketKey", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Net.WebSockets", "HttpListenerWebSocketContext", False, "get_SecWebSocketProtocols", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Net.WebSockets", "HttpListenerWebSocketContext", False, "get_SecWebSocketVersion", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Net.WebSockets", "HttpListenerWebSocketContext", False, "get_User", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Net.WebSockets", "HttpListenerWebSocketContext", False, "get_WebSocket", "()", "", "Argument[this]", "ReturnValue", "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[0]", "ReturnValue", "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", "taint", "df-generated"]
      - ["System.Net.WebSockets", "WebSocket", False, "CreateFromStream", "(System.IO.Stream,System.Boolean,System.String,System.TimeSpan)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.Net.WebSockets", "WebSocket", False, "CreateFromStream", "(System.IO.Stream,System.Boolean,System.String,System.TimeSpan)", "", "Argument[2]", "ReturnValue", "taint", "df-generated"]
      - ["System.Net.WebSockets", "WebSocket", True, "SendAsync", "(System.ReadOnlyMemory<System.Byte>,System.Net.WebSockets.WebSocketMessageType,System.Boolean,System.Threading.CancellationToken)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Net.WebSockets", "WebSocket", True, "SendAsync", "(System.ReadOnlyMemory<System.Byte>,System.Net.WebSockets.WebSocketMessageType,System.Net.WebSockets.WebSocketMessageFlags,System.Threading.CancellationToken)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketException", False, "GetObjectData", "(System.Runtime.Serialization.SerializationInfo,System.Runtime.Serialization.StreamingContext)", "", "Argument[this]", "Argument[0]", "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_CloseStatus", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "ClientWebSocket", "get_CloseStatusDescription", "()", "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", "ClientWebSocket", "get_SubProtocol", "()", "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", "ThrowOnInvalidState", "(System.Net.WebSockets.WebSocketState,System.Net.WebSockets.WebSocketState[])", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocket", "get_CloseStatus", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocket", "get_CloseStatusDescription", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocket", "get_DefaultKeepAliveInterval", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocket", "get_State", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocket", "get_SubProtocol", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketContext", "get_CookieCollection", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketContext", "get_Headers", "()", "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", "WebSocketContext", "get_Origin", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketContext", "get_RequestUri", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketContext", "get_SecWebSocketKey", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketContext", "get_SecWebSocketProtocols", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketContext", "get_SecWebSocketVersion", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketContext", "get_User", "()", "summary", "df-generated"]
      - ["System.Net.WebSockets", "WebSocketContext", "get_WebSocket", "()", "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", "WebSocketReceiveResult", "(System.Int32,System.Net.WebSockets.WebSocketMessageType,System.Boolean,System.Nullable<System.Net.WebSockets.WebSocketCloseStatus>,System.String)", "summary", "df-generated"]
