hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 17:23:36 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
ginsbach/EnableJavaOverlayCompilation
codeql/csharp/ql/lib/ext/generated/System.Net.WebSockets.model.yml
Michael Nebel ff74024f50 C#: Re-generate .NET Runtime models based on .NET 9.
2025-02-11 13:42:45 +01:00

94 lines
13 KiB
YAML
Raw Permalink Blame History

# 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"]
- 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"]
Reference in New Issue View Git Blame Copy Permalink