C#: Re-generate .NET models.

github · Apr 12, 2024 · d88a813 · d88a813
1 parent 254c6c3
commit d88a813
Show file tree

Hide file tree

Showing 7 changed files with 0 additions and 19 deletions.
diff --git a/csharp/ql/lib/ext/generated/System.Data.Odbc.model.yml b/csharp/ql/lib/ext/generated/System.Data.Odbc.model.yml
@@ -61,7 +61,6 @@ extensions:
       - ["System.Data.Odbc", "OdbcErrorCollection", False, "get_SyncRoot", "()", "", "Argument[this]", "ReturnValue", "value", "df-generated"]
       - ["System.Data.Odbc", "OdbcException", False, "GetObjectData", "(System.Runtime.Serialization.SerializationInfo,System.Runtime.Serialization.StreamingContext)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]
       - ["System.Data.Odbc", "OdbcException", False, "get_Errors", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
-      - ["System.Data.Odbc", "OdbcException", False, "get_Source", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
       - ["System.Data.Odbc", "OdbcInfoMessageEventArgs", False, "ToString", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
       - ["System.Data.Odbc", "OdbcInfoMessageEventArgs", False, "get_Errors", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
       - ["System.Data.Odbc", "OdbcInfoMessageEventArgs", False, "get_Message", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]

diff --git a/csharp/ql/lib/ext/generated/System.Diagnostics.model.yml b/csharp/ql/lib/ext/generated/System.Diagnostics.model.yml
@@ -96,10 +96,7 @@ extensions:
       - ["System.Diagnostics", "ProcessModule", False, "ToString", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
       - ["System.Diagnostics", "ProcessModule", False, "get_FileName", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
       - ["System.Diagnostics", "ProcessModule", False, "get_ModuleName", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
-      - ["System.Diagnostics", "ProcessStartInfo", False, "ProcessStartInfo", "(System.String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
       - ["System.Diagnostics", "ProcessStartInfo", False, "ProcessStartInfo", "(System.String,System.Collections.Generic.IEnumerable<System.String>)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
-      - ["System.Diagnostics", "ProcessStartInfo", False, "ProcessStartInfo", "(System.String,System.String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
-      - ["System.Diagnostics", "ProcessStartInfo", False, "ProcessStartInfo", "(System.String,System.String)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
       - ["System.Diagnostics", "ProcessStartInfo", False, "get_Environment", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
       - ["System.Diagnostics", "ProcessStartInfo", False, "get_EnvironmentVariables", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
       - ["System.Diagnostics", "SourceFilter", False, "SourceFilter", "(System.String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

diff --git a/csharp/ql/lib/ext/generated/System.IO.Pipes.model.yml b/csharp/ql/lib/ext/generated/System.IO.Pipes.model.yml
@@ -29,15 +29,13 @@ extensions:
       - ["System.IO.Pipes", "AnonymousPipeClientStream", "AnonymousPipeClientStream", "(System.IO.Pipes.PipeDirection,System.String)", "summary", "df-generated"]
       - ["System.IO.Pipes", "AnonymousPipeClientStream", "AnonymousPipeClientStream", "(System.String)", "summary", "df-generated"]
       - ["System.IO.Pipes", "AnonymousPipeClientStream", "get_TransmissionMode", "()", "summary", "df-generated"]
-      - ["System.IO.Pipes", "AnonymousPipeClientStream", "set_ReadMode", "(System.IO.Pipes.PipeTransmissionMode)", "summary", "df-generated"]
       - ["System.IO.Pipes", "AnonymousPipeServerStream", "AnonymousPipeServerStream", "(System.IO.Pipes.PipeDirection)", "summary", "df-generated"]
       - ["System.IO.Pipes", "AnonymousPipeServerStream", "AnonymousPipeServerStream", "(System.IO.Pipes.PipeDirection,System.IO.HandleInheritability)", "summary", "df-generated"]
       - ["System.IO.Pipes", "AnonymousPipeServerStream", "AnonymousPipeServerStream", "(System.IO.Pipes.PipeDirection,System.IO.HandleInheritability,System.Int32)", "summary", "df-generated"]
       - ["System.IO.Pipes", "AnonymousPipeServerStream", "Dispose", "(System.Boolean)", "summary", "df-generated"]
       - ["System.IO.Pipes", "AnonymousPipeServerStream", "DisposeLocalCopyOfClientHandle", "()", "summary", "df-generated"]
       - ["System.IO.Pipes", "AnonymousPipeServerStream", "GetClientHandleAsString", "()", "summary", "df-generated"]
       - ["System.IO.Pipes", "AnonymousPipeServerStream", "get_TransmissionMode", "()", "summary", "df-generated"]
-      - ["System.IO.Pipes", "AnonymousPipeServerStream", "set_ReadMode", "(System.IO.Pipes.PipeTransmissionMode)", "summary", "df-generated"]
       - ["System.IO.Pipes", "AnonymousPipeServerStreamAcl", "Create", "(System.IO.Pipes.PipeDirection,System.IO.HandleInheritability,System.Int32,System.IO.Pipes.PipeSecurity)", "summary", "df-generated"]
       - ["System.IO.Pipes", "NamedPipeClientStream", "CheckPipePropertyOperations", "()", "summary", "df-generated"]
       - ["System.IO.Pipes", "NamedPipeClientStream", "Connect", "()", "summary", "df-generated"]

diff --git a/csharp/ql/lib/ext/generated/System.Management.model.yml b/csharp/ql/lib/ext/generated/System.Management.model.yml
@@ -284,7 +284,5 @@ extensions:
       - ["System.Management", "WqlEventQuery", "WqlEventQuery", "(System.String,System.TimeSpan)", "summary", "df-generated"]
       - ["System.Management", "WqlEventQuery", "WqlEventQuery", "(System.String,System.TimeSpan,System.String)", "summary", "df-generated"]
       - ["System.Management", "WqlEventQuery", "WqlEventQuery", "(System.String,System.TimeSpan,System.String,System.TimeSpan,System.String[],System.String)", "summary", "df-generated"]
-      - ["System.Management", "WqlEventQuery", "get_QueryLanguage", "()", "summary", "df-generated"]
       - ["System.Management", "WqlObjectQuery", "Clone", "()", "summary", "df-generated"]
       - ["System.Management", "WqlObjectQuery", "WqlObjectQuery", "(System.String)", "summary", "df-generated"]
-      - ["System.Management", "WqlObjectQuery", "get_QueryLanguage", "()", "summary", "df-generated"]
diff --git a/csharp/ql/lib/ext/generated/System.Net.model.yml b/csharp/ql/lib/ext/generated/System.Net.model.yml
@@ -20,7 +20,6 @@ extensions:
       - ["System.Net", "DnsEndPoint", False, "get_Host", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
       - ["System.Net", "DownloadDataCompletedEventArgs", False, "get_Result", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
       - ["System.Net", "DownloadStringCompletedEventArgs", False, "get_Result", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
-      - ["System.Net", "FileWebRequest", False, "get_Headers", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
       - ["System.Net", "FileWebRequest", False, "get_RequestUri", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
       - ["System.Net", "FileWebResponse", False, "GetResponseStream", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
       - ["System.Net", "FileWebResponse", False, "get_Headers", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
@@ -335,13 +334,10 @@ extensions:
       - ["System.Net", "FileWebResponse", "Close", "()", "summary", "df-generated"]
       - ["System.Net", "FileWebResponse", "FileWebResponse", "(System.Runtime.Serialization.SerializationInfo,System.Runtime.Serialization.StreamingContext)", "summary", "df-generated"]
       - ["System.Net", "FileWebResponse", "GetObjectData", "(System.Runtime.Serialization.SerializationInfo,System.Runtime.Serialization.StreamingContext)", "summary", "df-generated"]
-      - ["System.Net", "FileWebResponse", "get_ContentLength", "()", "summary", "df-generated"]
-      - ["System.Net", "FileWebResponse", "get_ContentType", "()", "summary", "df-generated"]
       - ["System.Net", "FileWebResponse", "get_SupportsHeaders", "()", "summary", "df-generated"]
       - ["System.Net", "FtpWebRequest", "Abort", "()", "summary", "df-generated"]
       - ["System.Net", "FtpWebRequest", "get_ServicePoint", "()", "summary", "df-generated"]
       - ["System.Net", "FtpWebResponse", "Close", "()", "summary", "df-generated"]
-      - ["System.Net", "FtpWebResponse", "get_ContentLength", "()", "summary", "df-generated"]
       - ["System.Net", "FtpWebResponse", "get_StatusCode", "()", "summary", "df-generated"]
       - ["System.Net", "FtpWebResponse", "get_SupportsHeaders", "()", "summary", "df-generated"]
       - ["System.Net", "GlobalProxySelection", "GetEmptyWebProxy", "()", "summary", "df-generated"]
@@ -420,8 +416,6 @@ extensions:
       - ["System.Net", "HttpWebResponse", "GetResponseStream", "()", "summary", "df-generated"]
       - ["System.Net", "HttpWebResponse", "HttpWebResponse", "(System.Runtime.Serialization.SerializationInfo,System.Runtime.Serialization.StreamingContext)", "summary", "df-generated"]
       - ["System.Net", "HttpWebResponse", "get_ContentEncoding", "()", "summary", "df-generated"]
-      - ["System.Net", "HttpWebResponse", "get_ContentLength", "()", "summary", "df-generated"]
-      - ["System.Net", "HttpWebResponse", "get_ContentType", "()", "summary", "df-generated"]
       - ["System.Net", "HttpWebResponse", "get_IsMutuallyAuthenticated", "()", "summary", "df-generated"]
       - ["System.Net", "HttpWebResponse", "get_LastModified", "()", "summary", "df-generated"]
       - ["System.Net", "HttpWebResponse", "get_Method", "()", "summary", "df-generated"]

diff --git a/csharp/ql/lib/ext/generated/System.Security.Cryptography.model.yml b/csharp/ql/lib/ext/generated/System.Security.Cryptography.model.yml
@@ -572,7 +572,6 @@ extensions:
       - ["System.Security.Cryptography", "DSAOpenSsl", "VerifySignature", "(System.Byte[],System.Byte[])", "summary", "df-generated"]
       - ["System.Security.Cryptography", "DSAOpenSsl", "VerifySignature", "(System.ReadOnlySpan<System.Byte>,System.ReadOnlySpan<System.Byte>)", "summary", "df-generated"]
       - ["System.Security.Cryptography", "DSAOpenSsl", "VerifySignatureCore", "(System.ReadOnlySpan<System.Byte>,System.ReadOnlySpan<System.Byte>,System.Security.Cryptography.DSASignatureFormat)", "summary", "df-generated"]
-      - ["System.Security.Cryptography", "DSAOpenSsl", "set_KeySize", "(System.Int32)", "summary", "df-generated"]
       - ["System.Security.Cryptography", "DSASignatureDeformatter", "SetHashAlgorithm", "(System.String)", "summary", "df-generated"]
       - ["System.Security.Cryptography", "DSASignatureDeformatter", "VerifySignature", "(System.Byte[],System.Byte[])", "summary", "df-generated"]
       - ["System.Security.Cryptography", "DSASignatureFormatter", "CreateSignature", "(System.Byte[])", "summary", "df-generated"]
@@ -1260,7 +1259,6 @@ extensions:
       - ["System.Security.Cryptography", "RSAOpenSsl", "VerifyHash", "(System.Byte[],System.Byte[],System.Security.Cryptography.HashAlgorithmName,System.Security.Cryptography.RSASignaturePadding)", "summary", "df-generated"]
       - ["System.Security.Cryptography", "RSAOpenSsl", "VerifyHash", "(System.ReadOnlySpan<System.Byte>,System.ReadOnlySpan<System.Byte>,System.Security.Cryptography.HashAlgorithmName,System.Security.Cryptography.RSASignaturePadding)", "summary", "df-generated"]
       - ["System.Security.Cryptography", "RSAOpenSsl", "get_LegalKeySizes", "()", "summary", "df-generated"]
-      - ["System.Security.Cryptography", "RSAOpenSsl", "set_KeySize", "(System.Int32)", "summary", "df-generated"]
       - ["System.Security.Cryptography", "RSAPKCS1KeyExchangeDeformatter", "DecryptKeyExchange", "(System.Byte[])", "summary", "df-generated"]
       - ["System.Security.Cryptography", "RSAPKCS1KeyExchangeFormatter", "CreateKeyExchange", "(System.Byte[])", "summary", "df-generated"]
       - ["System.Security.Cryptography", "RSAPKCS1KeyExchangeFormatter", "CreateKeyExchange", "(System.Byte[],System.Type)", "summary", "df-generated"]

diff --git a/csharp/ql/lib/ext/generated/System.Xml.model.yml b/csharp/ql/lib/ext/generated/System.Xml.model.yml
@@ -532,8 +532,6 @@ extensions:
       - ["System.Xml", "UniqueId", "op_Inequality", "(System.Xml.UniqueId,System.Xml.UniqueId)", "summary", "df-generated"]
       - ["System.Xml", "XmlAttribute", "XmlAttribute", "(System.String,System.String,System.String,System.Xml.XmlDocument)", "summary", "df-generated"]
       - ["System.Xml", "XmlAttribute", "get_Specified", "()", "summary", "df-generated"]
-      - ["System.Xml", "XmlAttribute", "set_InnerText", "(System.String)", "summary", "df-generated"]
-      - ["System.Xml", "XmlAttribute", "set_InnerXml", "(System.String)", "summary", "df-generated"]
       - ["System.Xml", "XmlAttributeCollection", "RemoveAll", "()", "summary", "df-generated"]
       - ["System.Xml", "XmlAttributeCollection", "get_Count", "()", "summary", "df-generated"]
       - ["System.Xml", "XmlAttributeCollection", "get_IsSynchronized", "()", "summary", "df-generated"]
@@ -749,7 +747,6 @@ extensions:
       - ["System.Xml", "XmlDocument", "Save", "(System.IO.TextWriter)", "summary", "df-generated"]
       - ["System.Xml", "XmlDocument", "Save", "(System.String)", "summary", "df-generated"]
       - ["System.Xml", "XmlDocument", "XmlDocument", "(System.Xml.XmlNameTable)", "summary", "df-generated"]
-      - ["System.Xml", "XmlDocument", "set_InnerText", "(System.String)", "summary", "df-generated"]
       - ["System.Xml", "XmlDocumentType", "WriteContentTo", "(System.Xml.XmlWriter)", "summary", "df-generated"]
       - ["System.Xml", "XmlDocumentType", "get_Entities", "()", "summary", "df-generated"]
       - ["System.Xml", "XmlDocumentType", "get_Notations", "()", "summary", "df-generated"]