Skip to content

Commit b7b6fee

Browse files
michaelnebelmichaelnebel
committed
C#: Re-generate .NET 8 Runtime models.
1 parent 9cd9ebf commit b7b6fee

File tree

7 files changed

+237
-149
lines changed

7 files changed

+237
-149
lines changed

‎csharp/ql/lib/ext/generated/System.CodeDom.Compiler.model.yml‎

Lines changed: 82 additions & 56 deletions
Large diffs are not rendered by default.

‎csharp/ql/lib/ext/generated/System.Diagnostics.model.yml‎

Lines changed: 14 additions & 21 deletions
Original file line numberDiff line numberDiff line change
@@ -130,6 +130,20 @@ extensions:
130130
- ["System.Diagnostics", "TextWriterTraceListener", False, "TextWriterTraceListener", "(System.String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
131131
- ["System.Diagnostics", "TextWriterTraceListener", False, "TextWriterTraceListener", "(System.String,System.String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
132132
- ["System.Diagnostics", "TraceListener", False, "TraceListener", "(System.String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
133+
- ["System.Diagnostics", "TraceListener", True, "TraceData", "(System.Diagnostics.TraceEventCache,System.String,System.Diagnostics.TraceEventType,System.Int32,System.Object)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
134+
- ["System.Diagnostics", "TraceListener", True, "TraceData", "(System.Diagnostics.TraceEventCache,System.String,System.Diagnostics.TraceEventType,System.Int32,System.Object)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
135+
- ["System.Diagnostics", "TraceListener", True, "TraceData", "(System.Diagnostics.TraceEventCache,System.String,System.Diagnostics.TraceEventType,System.Int32,System.Object)", "", "Argument[4]", "Argument[this]", "taint", "df-generated"]
136+
- ["System.Diagnostics", "TraceListener", True, "TraceData", "(System.Diagnostics.TraceEventCache,System.String,System.Diagnostics.TraceEventType,System.Int32,System.Object[])", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
137+
- ["System.Diagnostics", "TraceListener", True, "TraceData", "(System.Diagnostics.TraceEventCache,System.String,System.Diagnostics.TraceEventType,System.Int32,System.Object[])", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
138+
- ["System.Diagnostics", "TraceListener", True, "TraceData", "(System.Diagnostics.TraceEventCache,System.String,System.Diagnostics.TraceEventType,System.Int32,System.Object[])", "", "Argument[4].Element", "Argument[this]", "taint", "df-generated"]
139+
- ["System.Diagnostics", "TraceListener", True, "TraceEvent", "(System.Diagnostics.TraceEventCache,System.String,System.Diagnostics.TraceEventType,System.Int32,System.String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
140+
- ["System.Diagnostics", "TraceListener", True, "TraceEvent", "(System.Diagnostics.TraceEventCache,System.String,System.Diagnostics.TraceEventType,System.Int32,System.String)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
141+
- ["System.Diagnostics", "TraceListener", True, "TraceEvent", "(System.Diagnostics.TraceEventCache,System.String,System.Diagnostics.TraceEventType,System.Int32,System.String)", "", "Argument[4]", "Argument[this]", "taint", "df-generated"]
142+
- ["System.Diagnostics", "TraceListener", True, "TraceEvent", "(System.Diagnostics.TraceEventCache,System.String,System.Diagnostics.TraceEventType,System.Int32,System.String,System.Object[])", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
143+
- ["System.Diagnostics", "TraceListener", True, "TraceEvent", "(System.Diagnostics.TraceEventCache,System.String,System.Diagnostics.TraceEventType,System.Int32,System.String,System.Object[])", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
144+
- ["System.Diagnostics", "TraceListener", True, "TraceEvent", "(System.Diagnostics.TraceEventCache,System.String,System.Diagnostics.TraceEventType,System.Int32,System.String,System.Object[])", "", "Argument[4]", "Argument[this]", "taint", "df-generated"]
145+
- ["System.Diagnostics", "TraceListener", True, "TraceEvent", "(System.Diagnostics.TraceEventCache,System.String,System.Diagnostics.TraceEventType,System.Int32,System.String,System.Object[])", "", "Argument[5].Element", "Argument[this]", "taint", "df-generated"]
146+
- ["System.Diagnostics", "TraceListener", True, "Write", "(System.String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
133147
- ["System.Diagnostics", "TraceSource", False, "TraceSource", "(System.String,System.Diagnostics.SourceLevels)", "", "Argument[0]", "Argument[this].SyntheticField[System.Diagnostics.TraceSource._sourceName]", "value", "dfc-generated"]
134148
- ["System.Diagnostics", "TraceSource", False, "get_Listeners", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
135149
- ["System.Diagnostics", "TraceSource", False, "get_Name", "()", "", "Argument[this].SyntheticField[System.Diagnostics.TraceSource._sourceName]", "ReturnValue", "value", "dfc-generated"]
@@ -351,7 +365,6 @@ extensions:
351365
- ["System.Diagnostics", "DebuggerVisualizerAttribute", "get_VisualizerTypeName", "()", "summary", "df-generated"]
352366
- ["System.Diagnostics", "DefaultTraceListener", "Fail", "(System.String)", "summary", "df-generated"]
353367
- ["System.Diagnostics", "DefaultTraceListener", "Fail", "(System.String,System.String)", "summary", "df-generated"]
354-
- ["System.Diagnostics", "DefaultTraceListener", "Write", "(System.String)", "summary", "df-generated"]
355368
- ["System.Diagnostics", "DefaultTraceListener", "WriteLine", "(System.String)", "summary", "df-generated"]
356369
- ["System.Diagnostics", "DelimitedListTraceListener", "DelimitedListTraceListener", "(System.IO.Stream)", "summary", "df-generated"]
357370
- ["System.Diagnostics", "DelimitedListTraceListener", "DelimitedListTraceListener", "(System.IO.Stream,System.String)", "summary", "df-generated"]
@@ -360,10 +373,6 @@ extensions:
360373
- ["System.Diagnostics", "DelimitedListTraceListener", "DelimitedListTraceListener", "(System.String)", "summary", "df-generated"]
361374
- ["System.Diagnostics", "DelimitedListTraceListener", "DelimitedListTraceListener", "(System.String,System.String)", "summary", "df-generated"]
362375
- ["System.Diagnostics", "DelimitedListTraceListener", "GetSupportedAttributes", "()", "summary", "df-generated"]
363-
- ["System.Diagnostics", "DelimitedListTraceListener", "TraceData", "(System.Diagnostics.TraceEventCache,System.String,System.Diagnostics.TraceEventType,System.Int32,System.Object)", "summary", "df-generated"]
364-
- ["System.Diagnostics", "DelimitedListTraceListener", "TraceData", "(System.Diagnostics.TraceEventCache,System.String,System.Diagnostics.TraceEventType,System.Int32,System.Object[])", "summary", "df-generated"]
365-
- ["System.Diagnostics", "DelimitedListTraceListener", "TraceEvent", "(System.Diagnostics.TraceEventCache,System.String,System.Diagnostics.TraceEventType,System.Int32,System.String)", "summary", "df-generated"]
366-
- ["System.Diagnostics", "DelimitedListTraceListener", "TraceEvent", "(System.Diagnostics.TraceEventCache,System.String,System.Diagnostics.TraceEventType,System.Int32,System.String,System.Object[])", "summary", "df-generated"]
367376
- ["System.Diagnostics", "DiagnosticListener", "DiagnosticListener", "(System.String)", "summary", "df-generated"]
368377
- ["System.Diagnostics", "DiagnosticListener", "Dispose", "()", "summary", "df-generated"]
369378
- ["System.Diagnostics", "DiagnosticListener", "IsEnabled", "()", "summary", "df-generated"]
@@ -475,11 +484,6 @@ extensions:
475484
- ["System.Diagnostics", "EventLogTraceListener", "Dispose", "(System.Boolean)", "summary", "df-generated"]
476485
- ["System.Diagnostics", "EventLogTraceListener", "EventLogTraceListener", "(System.Diagnostics.EventLog)", "summary", "df-generated"]
477486
- ["System.Diagnostics", "EventLogTraceListener", "EventLogTraceListener", "(System.String)", "summary", "df-generated"]
478-
- ["System.Diagnostics", "EventLogTraceListener", "TraceData", "(System.Diagnostics.TraceEventCache,System.String,System.Diagnostics.TraceEventType,System.Int32,System.Object)", "summary", "df-generated"]
479-
- ["System.Diagnostics", "EventLogTraceListener", "TraceData", "(System.Diagnostics.TraceEventCache,System.String,System.Diagnostics.TraceEventType,System.Int32,System.Object[])", "summary", "df-generated"]
480-
- ["System.Diagnostics", "EventLogTraceListener", "TraceEvent", "(System.Diagnostics.TraceEventCache,System.String,System.Diagnostics.TraceEventType,System.Int32,System.String)", "summary", "df-generated"]
481-
- ["System.Diagnostics", "EventLogTraceListener", "TraceEvent", "(System.Diagnostics.TraceEventCache,System.String,System.Diagnostics.TraceEventType,System.Int32,System.String,System.Object[])", "summary", "df-generated"]
482-
- ["System.Diagnostics", "EventLogTraceListener", "Write", "(System.String)", "summary", "df-generated"]
483487
- ["System.Diagnostics", "EventLogTraceListener", "WriteLine", "(System.String)", "summary", "df-generated"]
484488
- ["System.Diagnostics", "EventSourceCreationData", "EventSourceCreationData", "(System.String,System.String)", "summary", "df-generated"]
485489
- ["System.Diagnostics", "EventTypeFilter", "EventTypeFilter", "(System.Diagnostics.SourceLevels)", "summary", "df-generated"]
@@ -736,7 +740,6 @@ extensions:
736740
- ["System.Diagnostics", "TextWriterTraceListener", "TextWriterTraceListener", "(System.IO.Stream)", "summary", "df-generated"]
737741
- ["System.Diagnostics", "TextWriterTraceListener", "TextWriterTraceListener", "(System.IO.Stream,System.String)", "summary", "df-generated"]
738742
- ["System.Diagnostics", "TextWriterTraceListener", "TextWriterTraceListener", "(System.IO.TextWriter)", "summary", "df-generated"]
739-
- ["System.Diagnostics", "TextWriterTraceListener", "Write", "(System.String)", "summary", "df-generated"]
740743
- ["System.Diagnostics", "TextWriterTraceListener", "WriteLine", "(System.String)", "summary", "df-generated"]
741744
- ["System.Diagnostics", "Trace", "Assert", "(System.Boolean)", "summary", "df-generated"]
742745
- ["System.Diagnostics", "Trace", "Assert", "(System.Boolean,System.String)", "summary", "df-generated"]
@@ -787,15 +790,10 @@ extensions:
787790
- ["System.Diagnostics", "TraceListener", "Fail", "(System.String,System.String)", "summary", "df-generated"]
788791
- ["System.Diagnostics", "TraceListener", "Flush", "()", "summary", "df-generated"]
789792
- ["System.Diagnostics", "TraceListener", "GetSupportedAttributes", "()", "summary", "df-generated"]
790-
- ["System.Diagnostics", "TraceListener", "TraceData", "(System.Diagnostics.TraceEventCache,System.String,System.Diagnostics.TraceEventType,System.Int32,System.Object)", "summary", "df-generated"]
791-
- ["System.Diagnostics", "TraceListener", "TraceData", "(System.Diagnostics.TraceEventCache,System.String,System.Diagnostics.TraceEventType,System.Int32,System.Object[])", "summary", "df-generated"]
792793
- ["System.Diagnostics", "TraceListener", "TraceEvent", "(System.Diagnostics.TraceEventCache,System.String,System.Diagnostics.TraceEventType,System.Int32)", "summary", "df-generated"]
793-
- ["System.Diagnostics", "TraceListener", "TraceEvent", "(System.Diagnostics.TraceEventCache,System.String,System.Diagnostics.TraceEventType,System.Int32,System.String)", "summary", "df-generated"]
794-
- ["System.Diagnostics", "TraceListener", "TraceEvent", "(System.Diagnostics.TraceEventCache,System.String,System.Diagnostics.TraceEventType,System.Int32,System.String,System.Object[])", "summary", "df-generated"]
795794
- ["System.Diagnostics", "TraceListener", "TraceTransfer", "(System.Diagnostics.TraceEventCache,System.String,System.Int32,System.String,System.Guid)", "summary", "df-generated"]
796795
- ["System.Diagnostics", "TraceListener", "Write", "(System.Object)", "summary", "df-generated"]
797796
- ["System.Diagnostics", "TraceListener", "Write", "(System.Object,System.String)", "summary", "df-generated"]
798-
- ["System.Diagnostics", "TraceListener", "Write", "(System.String)", "summary", "df-generated"]
799797
- ["System.Diagnostics", "TraceListener", "Write", "(System.String,System.String)", "summary", "df-generated"]
800798
- ["System.Diagnostics", "TraceListener", "WriteIndent", "()", "summary", "df-generated"]
801799
- ["System.Diagnostics", "TraceListener", "WriteLine", "(System.Object)", "summary", "df-generated"]
@@ -842,12 +840,7 @@ extensions:
842840
- ["System.Diagnostics", "UnreachableException", "UnreachableException", "(System.String,System.Exception)", "summary", "df-generated"]
843841
- ["System.Diagnostics", "XmlWriterTraceListener", "Close", "()", "summary", "df-generated"]
844842
- ["System.Diagnostics", "XmlWriterTraceListener", "Fail", "(System.String,System.String)", "summary", "df-generated"]
845-
- ["System.Diagnostics", "XmlWriterTraceListener", "TraceData", "(System.Diagnostics.TraceEventCache,System.String,System.Diagnostics.TraceEventType,System.Int32,System.Object)", "summary", "df-generated"]
846-
- ["System.Diagnostics", "XmlWriterTraceListener", "TraceData", "(System.Diagnostics.TraceEventCache,System.String,System.Diagnostics.TraceEventType,System.Int32,System.Object[])", "summary", "df-generated"]
847-
- ["System.Diagnostics", "XmlWriterTraceListener", "TraceEvent", "(System.Diagnostics.TraceEventCache,System.String,System.Diagnostics.TraceEventType,System.Int32,System.String)", "summary", "df-generated"]
848-
- ["System.Diagnostics", "XmlWriterTraceListener", "TraceEvent", "(System.Diagnostics.TraceEventCache,System.String,System.Diagnostics.TraceEventType,System.Int32,System.String,System.Object[])", "summary", "df-generated"]
849843
- ["System.Diagnostics", "XmlWriterTraceListener", "TraceTransfer", "(System.Diagnostics.TraceEventCache,System.String,System.Int32,System.String,System.Guid)", "summary", "df-generated"]
850-
- ["System.Diagnostics", "XmlWriterTraceListener", "Write", "(System.String)", "summary", "df-generated"]
851844
- ["System.Diagnostics", "XmlWriterTraceListener", "WriteLine", "(System.String)", "summary", "df-generated"]
852845
- ["System.Diagnostics", "XmlWriterTraceListener", "XmlWriterTraceListener", "(System.IO.Stream)", "summary", "df-generated"]
853846
- ["System.Diagnostics", "XmlWriterTraceListener", "XmlWriterTraceListener", "(System.IO.Stream,System.String)", "summary", "df-generated"]

0 commit comments

Comments
 (0)