hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-05 21:55:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

C#: Re-generate .NET Runtime models based on .NET 9.

Browse Source
This commit is contained in:
Michael Nebel
2025-02-07 14:22:27 +01:00
parent 54345044ad
commit ff74024f50
163 changed files with 6622 additions and 1689 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
csharp/ql/lib/ext/generated/System.Net.WebSockets.model.yml
View File

@@ -19,6 +19,8 @@ extensions:
- ["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
@@ -84,4 +86,8 @@ extensions:
- ["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"]
- ["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"]