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

C#: Convert existing models using model converter

Browse Source
This commit is contained in:
Tom Hvitved
2023-11-06 10:33:04 +01:00
parent 74f483a6f5
commit 84773fcde4
74 changed files with 5117 additions and 5120 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
csharp/ql/lib/ext/generated/System.Threading.Tasks.Sources.model.yml
View File

@@ -3,19 +3,19 @@ extensions:
pack: codeql/csharp-all
extensible: summaryModel
data:
- ["System.Threading.Tasks.Sources", "ManualResetValueTaskSourceCore<>", False, "GetResult", "(System.Int16)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["System.Threading.Tasks.Sources", "ManualResetValueTaskSourceCore<>", False, "SetException", "(System.Exception)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["System.Threading.Tasks.Sources", "ManualResetValueTaskSourceCore<>", False, "SetResult", "(TResult)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["System.Threading.Tasks.Sources", "ManualResetValueTaskSourceCore<TResult>", False, "GetResult", "(System.Int16)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["System.Threading.Tasks.Sources", "ManualResetValueTaskSourceCore<TResult>", False, "SetException", "(System.Exception)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["System.Threading.Tasks.Sources", "ManualResetValueTaskSourceCore<TResult>", False, "SetResult", "(TResult)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- addsTo:
pack: codeql/csharp-all
extensible: neutralModel
data:
- ["System.Threading.Tasks.Sources", "IValueTaskSource", "GetResult", "(System.Int16)", "summary", "df-generated"]
- ["System.Threading.Tasks.Sources", "IValueTaskSource", "GetStatus", "(System.Int16)", "summary", "df-generated"]
- ["System.Threading.Tasks.Sources", "IValueTaskSource<>", "GetResult", "(System.Int16)", "summary", "df-generated"]
- ["System.Threading.Tasks.Sources", "IValueTaskSource<>", "GetStatus", "(System.Int16)", "summary", "df-generated"]
- ["System.Threading.Tasks.Sources", "ManualResetValueTaskSourceCore<>", "GetStatus", "(System.Int16)", "summary", "df-generated"]
- ["System.Threading.Tasks.Sources", "ManualResetValueTaskSourceCore<>", "Reset", "()", "summary", "df-generated"]
- ["System.Threading.Tasks.Sources", "ManualResetValueTaskSourceCore<>", "get_RunContinuationsAsynchronously", "()", "summary", "df-generated"]
- ["System.Threading.Tasks.Sources", "ManualResetValueTaskSourceCore<>", "get_Version", "()", "summary", "df-generated"]
- ["System.Threading.Tasks.Sources", "ManualResetValueTaskSourceCore<>", "set_RunContinuationsAsynchronously", "(System.Boolean)", "summary", "df-generated"]
- ["System.Threading.Tasks.Sources", "IValueTaskSource<TResult>", "GetResult", "(System.Int16)", "summary", "df-generated"]
- ["System.Threading.Tasks.Sources", "IValueTaskSource<TResult>", "GetStatus", "(System.Int16)", "summary", "df-generated"]
- ["System.Threading.Tasks.Sources", "ManualResetValueTaskSourceCore<TResult>", "GetStatus", "(System.Int16)", "summary", "df-generated"]
- ["System.Threading.Tasks.Sources", "ManualResetValueTaskSourceCore<TResult>", "Reset", "()", "summary", "df-generated"]
- ["System.Threading.Tasks.Sources", "ManualResetValueTaskSourceCore<TResult>", "get_RunContinuationsAsynchronously", "()", "summary", "df-generated"]
- ["System.Threading.Tasks.Sources", "ManualResetValueTaskSourceCore<TResult>", "get_Version", "()", "summary", "df-generated"]
- ["System.Threading.Tasks.Sources", "ManualResetValueTaskSourceCore<TResult>", "set_RunContinuationsAsynchronously", "(System.Boolean)", "summary", "df-generated"]