hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 04:36:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

C#: Update .NET and ASP.NET stubs.

Browse Source
This commit is contained in:
Michael Nebel
2023-09-26 15:09:10 +02:00
parent 839ef7fef5
commit 5e3ae0afac
19 changed files with 157 additions and 157 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
csharp/ql/test/resources/stubs/_frameworks/Microsoft.AspNetCore.App/Microsoft.AspNetCore.Authentication.Cookies.cs
View File

@@ -13,7 +13,7 @@ namespace Microsoft
public void AppendResponseCookie(Microsoft.AspNetCore.Http.HttpContext context, string key, string value, Microsoft.AspNetCore.Http.CookieOptions options) => throw null;
public int? ChunkSize { get => throw null; set { } }
public ChunkingCookieManager() => throw null;
public const int DefaultChunkSize = default;
public const int DefaultChunkSize = 4050;
public void DeleteCookie(Microsoft.AspNetCore.Http.HttpContext context, string key, Microsoft.AspNetCore.Http.CookieOptions options) => throw null;
public string GetRequestCookie(Microsoft.AspNetCore.Http.HttpContext context, string key) => throw null;
public bool ThrowForPartialCookies { get => throw null; set { } }

130
csharp/ql/test/resources/stubs/_frameworks/Microsoft.AspNetCore.App/Microsoft.AspNetCore.Http.Abstractions.cs
View File

@@ -581,71 +581,71 @@ namespace Microsoft
}
public static class StatusCodes
{
public const int Status100Continue = default;
public const int Status101SwitchingProtocols = default;
public const int Status102Processing = default;
public const int Status200OK = default;
public const int Status201Created = default;
public const int Status202Accepted = default;
public const int Status203NonAuthoritative = default;
public const int Status204NoContent = default;
public const int Status205ResetContent = default;
public const int Status206PartialContent = default;
public const int Status207MultiStatus = default;
public const int Status208AlreadyReported = default;
public const int Status226IMUsed = default;
public const int Status300MultipleChoices = default;
public const int Status301MovedPermanently = default;
public const int Status302Found = default;
public const int Status303SeeOther = default;
public const int Status304NotModified = default;
public const int Status305UseProxy = default;
public const int Status306SwitchProxy = default;
public const int Status307TemporaryRedirect = default;
public const int Status308PermanentRedirect = default;
public const int Status400BadRequest = default;
public const int Status401Unauthorized = default;
public const int Status402PaymentRequired = default;
public const int Status403Forbidden = default;
public const int Status404NotFound = default;
public const int Status405MethodNotAllowed = default;
public const int Status406NotAcceptable = default;
public const int Status407ProxyAuthenticationRequired = default;
public const int Status408RequestTimeout = default;
public const int Status409Conflict = default;
public const int Status410Gone = default;
public const int Status411LengthRequired = default;
public const int Status412PreconditionFailed = default;
public const int Status413PayloadTooLarge = default;
public const int Status413RequestEntityTooLarge = default;
public const int Status414RequestUriTooLong = default;
public const int Status414UriTooLong = default;
public const int Status415UnsupportedMediaType = default;
public const int Status416RangeNotSatisfiable = default;
public const int Status416RequestedRangeNotSatisfiable = default;
public const int Status417ExpectationFailed = default;
public const int Status418ImATeapot = default;
public const int Status419AuthenticationTimeout = default;
public const int Status421MisdirectedRequest = default;
public const int Status422UnprocessableEntity = default;
public const int Status423Locked = default;
public const int Status424FailedDependency = default;
public const int Status426UpgradeRequired = default;
public const int Status428PreconditionRequired = default;
public const int Status429TooManyRequests = default;
public const int Status431RequestHeaderFieldsTooLarge = default;
public const int Status451UnavailableForLegalReasons = default;
public const int Status500InternalServerError = default;
public const int Status501NotImplemented = default;
public const int Status502BadGateway = default;
public const int Status503ServiceUnavailable = default;
public const int Status504GatewayTimeout = default;
public const int Status505HttpVersionNotsupported = default;
public const int Status506VariantAlsoNegotiates = default;
public const int Status507InsufficientStorage = default;
public const int Status508LoopDetected = default;
public const int Status510NotExtended = default;
public const int Status511NetworkAuthenticationRequired = default;
public const int Status100Continue = 100;
public const int Status101SwitchingProtocols = 101;
public const int Status102Processing = 102;
public const int Status200OK = 200;
public const int Status201Created = 201;
public const int Status202Accepted = 202;
public const int Status203NonAuthoritative = 203;
public const int Status204NoContent = 204;
public const int Status205ResetContent = 205;
public const int Status206PartialContent = 206;
public const int Status207MultiStatus = 207;
public const int Status208AlreadyReported = 208;
public const int Status226IMUsed = 226;
public const int Status300MultipleChoices = 300;
public const int Status301MovedPermanently = 301;
public const int Status302Found = 302;
public const int Status303SeeOther = 303;
public const int Status304NotModified = 304;
public const int Status305UseProxy = 305;
public const int Status306SwitchProxy = 306;
public const int Status307TemporaryRedirect = 307;
public const int Status308PermanentRedirect = 308;
public const int Status400BadRequest = 400;
public const int Status401Unauthorized = 401;
public const int Status402PaymentRequired = 402;
public const int Status403Forbidden = 403;
public const int Status404NotFound = 404;
public const int Status405MethodNotAllowed = 405;
public const int Status406NotAcceptable = 406;
public const int Status407ProxyAuthenticationRequired = 407;
public const int Status408RequestTimeout = 408;
public const int Status409Conflict = 409;
public const int Status410Gone = 410;
public const int Status411LengthRequired = 411;
public const int Status412PreconditionFailed = 412;
public const int Status413PayloadTooLarge = 413;
public const int Status413RequestEntityTooLarge = 413;
public const int Status414RequestUriTooLong = 414;
public const int Status414UriTooLong = 414;
public const int Status415UnsupportedMediaType = 415;
public const int Status416RangeNotSatisfiable = 416;
public const int Status416RequestedRangeNotSatisfiable = 416;
public const int Status417ExpectationFailed = 417;
public const int Status418ImATeapot = 418;
public const int Status419AuthenticationTimeout = 419;
public const int Status421MisdirectedRequest = 421;
public const int Status422UnprocessableEntity = 422;
public const int Status423Locked = 423;
public const int Status424FailedDependency = 424;
public const int Status426UpgradeRequired = 426;
public const int Status428PreconditionRequired = 428;
public const int Status429TooManyRequests = 429;
public const int Status431RequestHeaderFieldsTooLarge = 431;
public const int Status451UnavailableForLegalReasons = 451;
public const int Status500InternalServerError = 500;
public const int Status501NotImplemented = 501;
public const int Status502BadGateway = 502;
public const int Status503ServiceUnavailable = 503;
public const int Status504GatewayTimeout = 504;
public const int Status505HttpVersionNotsupported = 505;
public const int Status506VariantAlsoNegotiates = 506;
public const int Status507InsufficientStorage = 507;
public const int Status508LoopDetected = 508;
public const int Status510NotExtended = 510;
public const int Status511NetworkAuthenticationRequired = 511;
}
public abstract class WebSocketManager
{

8
csharp/ql/test/resources/stubs/_frameworks/Microsoft.AspNetCore.App/Microsoft.AspNetCore.Http.cs
View File

@@ -87,10 +87,10 @@ namespace Microsoft
public bool BufferBody { get => throw null; set { } }
public long BufferBodyLengthLimit { get => throw null; set { } }
public FormOptions() => throw null;
public const int DefaultBufferBodyLengthLimit = default;
public const int DefaultMemoryBufferThreshold = default;
public const long DefaultMultipartBodyLengthLimit = default;
public const int DefaultMultipartBoundaryLengthLimit = default;
public const int DefaultBufferBodyLengthLimit = 134217728;
public const int DefaultMemoryBufferThreshold = 65536;
public const long DefaultMultipartBodyLengthLimit = 134217728;
public const int DefaultMultipartBoundaryLengthLimit = 128;
public int KeyLengthLimit { get => throw null; set { } }
public int MemoryBufferThreshold { get => throw null; set { } }
public long MultipartBodyLengthLimit { get => throw null; set { } }

2
csharp/ql/test/resources/stubs/_frameworks/Microsoft.AspNetCore.App/Microsoft.AspNetCore.Mvc.Core.cs
View File

@@ -1617,7 +1617,7 @@ namespace Microsoft
}
public class FileResultExecutorBase
{
protected const int BufferSize = default;
protected const int BufferSize = 65536;
protected static Microsoft.Extensions.Logging.ILogger CreateLogger<T>(Microsoft.Extensions.Logging.ILoggerFactory factory) => throw null;
public FileResultExecutorBase(Microsoft.Extensions.Logging.ILogger logger) => throw null;
protected Microsoft.Extensions.Logging.ILogger Logger { get => throw null; }

14
csharp/ql/test/resources/stubs/_frameworks/Microsoft.AspNetCore.App/Microsoft.AspNetCore.SignalR.Common.cs
View File

@@ -89,13 +89,13 @@ namespace Microsoft
}
public static class HubProtocolConstants
{
public const int CancelInvocationMessageType = default;
public const int CloseMessageType = default;
public const int CompletionMessageType = default;
public const int InvocationMessageType = default;
public const int PingMessageType = default;
public const int StreamInvocationMessageType = default;
public const int StreamItemMessageType = default;
public const int CancelInvocationMessageType = 5;
public const int CloseMessageType = 7;
public const int CompletionMessageType = 3;
public const int InvocationMessageType = 1;
public const int PingMessageType = 6;
public const int StreamInvocationMessageType = 4;
public const int StreamItemMessageType = 2;
}
public static partial class HubProtocolExtensions
{

10
csharp/ql/test/resources/stubs/_frameworks/Microsoft.AspNetCore.App/Microsoft.AspNetCore.WebUtilities.cs
View File

@@ -127,9 +127,9 @@ namespace Microsoft
public FormReader(System.IO.Stream stream) => throw null;
public FormReader(System.IO.Stream stream, System.Text.Encoding encoding) => throw null;
public FormReader(System.IO.Stream stream, System.Text.Encoding encoding, System.Buffers.ArrayPool<char> charPool) => throw null;
public const int DefaultKeyLengthLimit = default;
public const int DefaultValueCountLimit = default;
public const int DefaultValueLengthLimit = default;
public const int DefaultKeyLengthLimit = 2048;
public const int DefaultValueCountLimit = 1024;
public const int DefaultValueLengthLimit = 4194304;
public void Dispose() => throw null;
public int KeyLengthLimit { get => throw null; set { } }
public System.Collections.Generic.Dictionary<string, Microsoft.Extensions.Primitives.StringValues> ReadForm() => throw null;
@@ -192,8 +192,8 @@ namespace Microsoft
public long? BodyLengthLimit { get => throw null; set { } }
public MultipartReader(string boundary, System.IO.Stream stream) => throw null;
public MultipartReader(string boundary, System.IO.Stream stream, int bufferSize) => throw null;
public const int DefaultHeadersCountLimit = default;
public const int DefaultHeadersLengthLimit = default;
public const int DefaultHeadersCountLimit = 16;
public const int DefaultHeadersLengthLimit = 16384;
public int HeadersCountLimit { get => throw null; set { } }
public int HeadersLengthLimit { get => throw null; set { } }
public System.Threading.Tasks.Task<Microsoft.AspNetCore.WebUtilities.MultipartSection> ReadNextSectionAsync(System.Threading.CancellationToken cancellationToken = default(System.Threading.CancellationToken)) => throw null;

2
csharp/ql/test/resources/stubs/_frameworks/Microsoft.NETCore.App/Microsoft.VisualBasic.Core.cs
View File

@@ -429,7 +429,7 @@ namespace Microsoft
public const string vbNullChar = default;
public const string vbNullString = default;
public const Microsoft.VisualBasic.VariantType vbObject = default;
public const int vbObjectError = default;
public const int vbObjectError = -2147221504;
public const Microsoft.VisualBasic.MsgBoxResult vbOK = default;
public const Microsoft.VisualBasic.MsgBoxStyle vbOKCancel = default;
public const Microsoft.VisualBasic.MsgBoxStyle vbOKOnly = default;

4
csharp/ql/test/resources/stubs/_frameworks/Microsoft.NETCore.App/System.Diagnostics.StackTrace.cs
View File

@@ -18,7 +18,7 @@ namespace System
public virtual int GetILOffset() => throw null;
public virtual System.Reflection.MethodBase GetMethod() => throw null;
public virtual int GetNativeOffset() => throw null;
public const int OFFSET_UNKNOWN = default;
public const int OFFSET_UNKNOWN = -1;
public override string ToString() => throw null;
}
public static partial class StackFrameExtensions
@@ -44,7 +44,7 @@ namespace System
public virtual int FrameCount { get => throw null; }
public virtual System.Diagnostics.StackFrame GetFrame(int index) => throw null;
public virtual System.Diagnostics.StackFrame[] GetFrames() => throw null;
public const int METHODS_TO_SKIP = default;
public const int METHODS_TO_SKIP = 0;
public override string ToString() => throw null;
}
namespace SymbolStore

2
csharp/ql/test/resources/stubs/_frameworks/Microsoft.NETCore.App/System.IO.Pipes.cs
View File

@@ -77,7 +77,7 @@ namespace System
public void Disconnect() => throw null;
public void EndWaitForConnection(System.IAsyncResult asyncResult) => throw null;
public string GetImpersonationUserName() => throw null;
public const int MaxAllowedServerInstances = default;
public const int MaxAllowedServerInstances = -1;
public void RunAsClient(System.IO.Pipes.PipeStreamImpersonationWorker impersonationWorker) => throw null;
public void WaitForConnection() => throw null;
public System.Threading.Tasks.Task WaitForConnectionAsync() => throw null;

4
csharp/ql/test/resources/stubs/_frameworks/Microsoft.NETCore.App/System.Memory.cs
View File

@@ -225,8 +225,8 @@ namespace System
public override int GetHashCode() => throw null;
public bool HasPrecision { get => throw null; }
public bool IsDefault { get => throw null; }
public const byte MaxPrecision = default;
public const byte NoPrecision = default;
public const byte MaxPrecision = 99;
public const byte NoPrecision = 255;
public static bool operator ==(System.Buffers.StandardFormat left, System.Buffers.StandardFormat right) => throw null;
public static implicit operator System.Buffers.StandardFormat(char symbol) => throw null;
public static bool operator !=(System.Buffers.StandardFormat left, System.Buffers.StandardFormat right) => throw null;

10
csharp/ql/test/resources/stubs/_frameworks/Microsoft.NETCore.App/System.Net.Primitives.cs
View File

@@ -89,9 +89,9 @@ namespace System
public CookieContainer() => throw null;
public CookieContainer(int capacity) => throw null;
public CookieContainer(int capacity, int perDomainCapacity, int maxCookieSize) => throw null;
public const int DefaultCookieLengthLimit = default;
public const int DefaultCookieLimit = default;
public const int DefaultPerDomainCookieLimit = default;
public const int DefaultCookieLengthLimit = 4096;
public const int DefaultCookieLimit = 300;
public const int DefaultPerDomainCookieLimit = 20;
public System.Net.CookieCollection GetAllCookies() => throw null;
public string GetCookieHeader(System.Uri uri) => throw null;
public System.Net.CookieCollection GetCookies(System.Uri uri) => throw null;
@@ -283,8 +283,8 @@ namespace System
public IPEndPoint(System.Net.IPAddress address, int port) => throw null;
public override bool Equals(object comparand) => throw null;
public override int GetHashCode() => throw null;
public const int MaxPort = default;
public const int MinPort = default;
public const int MaxPort = 65535;
public const int MinPort = 0;
public static System.Net.IPEndPoint Parse(System.ReadOnlySpan<char> s) => throw null;
public static System.Net.IPEndPoint Parse(string s) => throw null;
public int Port { get => throw null; set { } }

4
csharp/ql/test/resources/stubs/_frameworks/Microsoft.NETCore.App/System.Net.ServicePoint.cs
View File

@@ -39,8 +39,8 @@ namespace System
{
public static bool CheckCertificateRevocationList { get => throw null; set { } }
public static int DefaultConnectionLimit { get => throw null; set { } }
public const int DefaultNonPersistentConnectionLimit = default;
public const int DefaultPersistentConnectionLimit = default;
public const int DefaultNonPersistentConnectionLimit = 4;
public const int DefaultPersistentConnectionLimit = 2;
public static int DnsRefreshTimeout { get => throw null; set { } }
public static bool EnableDnsRoundRobin { get => throw null; set { } }
public static System.Net.Security.EncryptionPolicy EncryptionPolicy { get => throw null; }

2
csharp/ql/test/resources/stubs/_frameworks/Microsoft.NETCore.App/System.Reflection.Emit.cs
View File

@@ -478,7 +478,7 @@ namespace System
public override string ToString() => throw null;
public override System.RuntimeTypeHandle TypeHandle { get => throw null; }
public override System.Type UnderlyingSystemType { get => throw null; }
public const int UnspecifiedTypeSize = default;
public const int UnspecifiedTypeSize = 0;
}
}
}

8
csharp/ql/test/resources/stubs/_frameworks/Microsoft.NETCore.App/System.Reflection.Metadata.cs
View File

@@ -2519,7 +2519,7 @@ namespace System
public override bool Equals(object obj) => throw null;
public bool Equals(System.Reflection.Metadata.SequencePoint other) => throw null;
public override int GetHashCode() => throw null;
public const int HiddenLine = default;
public const int HiddenLine = 16707566;
public bool IsHidden { get => throw null; }
public int Offset { get => throw null; }
public int StartColumn { get => throw null; }
@@ -2582,7 +2582,7 @@ namespace System
{
public System.Reflection.Metadata.SignatureAttributes Attributes { get => throw null; }
public System.Reflection.Metadata.SignatureCallingConvention CallingConvention { get => throw null; }
public const byte CallingConventionOrKindMask = default;
public const byte CallingConventionOrKindMask = 15;
public SignatureHeader(byte rawValue) => throw null;
public SignatureHeader(System.Reflection.Metadata.SignatureKind kind, System.Reflection.Metadata.SignatureCallingConvention convention, System.Reflection.Metadata.SignatureAttributes attributes) => throw null;
public override bool Equals(object obj) => throw null;
@@ -2989,8 +2989,8 @@ namespace System
protected override System.Collections.Immutable.ImmutableArray<System.Reflection.PortableExecutable.PEBuilder.Section> CreateSections() => throw null;
public ManagedPEBuilder(System.Reflection.PortableExecutable.PEHeaderBuilder header, System.Reflection.Metadata.Ecma335.MetadataRootBuilder metadataRootBuilder, System.Reflection.Metadata.BlobBuilder ilStream, System.Reflection.Metadata.BlobBuilder mappedFieldData = default(System.Reflection.Metadata.BlobBuilder), System.Reflection.Metadata.BlobBuilder managedResources = default(System.Reflection.Metadata.BlobBuilder), System.Reflection.PortableExecutable.ResourceSectionBuilder nativeResources = default(System.Reflection.PortableExecutable.ResourceSectionBuilder), System.Reflection.PortableExecutable.DebugDirectoryBuilder debugDirectoryBuilder = default(System.Reflection.PortableExecutable.DebugDirectoryBuilder), int strongNameSignatureSize = default(int), System.Reflection.Metadata.MethodDefinitionHandle entryPoint = default(System.Reflection.Metadata.MethodDefinitionHandle), System.Reflection.PortableExecutable.CorFlags flags = default(System.Reflection.PortableExecutable.CorFlags), System.Func<System.Collections.Generic.IEnumerable<System.Reflection.Metadata.Blob>, System.Reflection.Metadata.BlobContentId> deterministicIdProvider = default(System.Func<System.Collections.Generic.IEnumerable<System.Reflection.Metadata.Blob>, System.Reflection.Metadata.BlobContentId>)) : base(default(System.Reflection.PortableExecutable.PEHeaderBuilder), default(System.Func<System.Collections.Generic.IEnumerable<System.Reflection.Metadata.Blob>, System.Reflection.Metadata.BlobContentId>)) => throw null;
protected override System.Reflection.PortableExecutable.PEDirectoriesBuilder GetDirectories() => throw null;
public const int ManagedResourcesDataAlignment = default;
public const int MappedFieldDataAlignment = default;
public const int ManagedResourcesDataAlignment = 8;
public const int MappedFieldDataAlignment = 8;
protected override System.Reflection.Metadata.BlobBuilder SerializeSection(string name, System.Reflection.PortableExecutable.SectionLocation location) => throw null;
public void Sign(System.Reflection.Metadata.BlobBuilder peImage, System.Func<System.Collections.Generic.IEnumerable<System.Reflection.Metadata.Blob>, byte[]> signatureProvider) => throw null;
}

2
csharp/ql/test/resources/stubs/_frameworks/Microsoft.NETCore.App/System.Runtime.InteropServices.cs
View File

@@ -750,7 +750,7 @@ namespace System
public System.Runtime.InteropServices.ComTypes.IDLDESC idldescType;
public int lcid;
public nint lpstrSchema;
public const int MEMBER_ID_NIL = default;
public const int MEMBER_ID_NIL = -1;
public int memidConstructor;
public int memidDestructor;
public System.Runtime.InteropServices.ComTypes.TYPEDESC tdescAlias;

66
csharp/ql/test/resources/stubs/_frameworks/Microsoft.NETCore.App/System.Runtime.cs
View File

@@ -743,13 +743,13 @@ namespace System
static byte System.Numerics.INumberBase<byte>.MaxMagnitude(byte x, byte y) => throw null;
static byte System.Numerics.INumberBase<byte>.MaxMagnitudeNumber(byte x, byte y) => throw null;
static byte System.Numerics.INumber<byte>.MaxNumber(byte x, byte y) => throw null;
public const byte MaxValue = default;
public const byte MaxValue = 255;
static byte System.Numerics.IMinMaxValue<byte>.MaxValue { get => throw null; }
static byte System.Numerics.INumber<byte>.Min(byte x, byte y) => throw null;
static byte System.Numerics.INumberBase<byte>.MinMagnitude(byte x, byte y) => throw null;
static byte System.Numerics.INumberBase<byte>.MinMagnitudeNumber(byte x, byte y) => throw null;
static byte System.Numerics.INumber<byte>.MinNumber(byte x, byte y) => throw null;
public const byte MinValue = default;
public const byte MinValue = 0;
static byte System.Numerics.IMinMaxValue<byte>.MinValue { get => throw null; }
static byte System.Numerics.IMultiplicativeIdentity<byte, byte>.MultiplicativeIdentity { get => throw null; }
static byte System.Numerics.INumberBase<byte>.One { get => throw null; }
@@ -3437,7 +3437,7 @@ namespace System
public virtual System.Globalization.CalendarAlgorithmType AlgorithmType { get => throw null; }
public virtual object Clone() => throw null;
protected Calendar() => throw null;
public const int CurrentEra = default;
public const int CurrentEra = 0;
protected virtual int DaysInYearBeforeMinSupportedYear { get => throw null; }
public abstract int[] Eras { get; }
public abstract int GetDayOfMonth(System.DateTime time);
@@ -3501,7 +3501,7 @@ namespace System
}
public class ChineseLunisolarCalendar : System.Globalization.EastAsianLunisolarCalendar
{
public const int ChineseEra = default;
public const int ChineseEra = 1;
public ChineseLunisolarCalendar() => throw null;
protected override int DaysInYearBeforeMinSupportedYear { get => throw null; }
public override int[] Eras { get => throw null; }
@@ -3774,7 +3774,7 @@ namespace System
{
public override System.DateTime AddMonths(System.DateTime time, int months) => throw null;
public override System.DateTime AddYears(System.DateTime time, int years) => throw null;
public const int ADEra = default;
public const int ADEra = 1;
public override System.Globalization.CalendarAlgorithmType AlgorithmType { get => throw null; }
public virtual System.Globalization.GregorianCalendarTypes CalendarType { get => throw null; set { } }
public GregorianCalendar() => throw null;
@@ -3920,7 +3920,7 @@ namespace System
protected override int DaysInYearBeforeMinSupportedYear { get => throw null; }
public override int[] Eras { get => throw null; }
public override int GetEra(System.DateTime time) => throw null;
public const int JapaneseEra = default;
public const int JapaneseEra = 1;
public override System.DateTime MaxSupportedDateTime { get => throw null; }
public override System.DateTime MinSupportedDateTime { get => throw null; }
}
@@ -3972,7 +3972,7 @@ namespace System
public override bool IsLeapDay(int year, int month, int day, int era) => throw null;
public override bool IsLeapMonth(int year, int month, int era) => throw null;
public override bool IsLeapYear(int year, int era) => throw null;
public const int KoreanEra = default;
public const int KoreanEra = 1;
public override System.DateTime MaxSupportedDateTime { get => throw null; }
public override System.DateTime MinSupportedDateTime { get => throw null; }
public override System.DateTime ToDateTime(int year, int month, int day, int hour, int minute, int second, int millisecond, int era) => throw null;
@@ -3985,7 +3985,7 @@ namespace System
protected override int DaysInYearBeforeMinSupportedYear { get => throw null; }
public override int[] Eras { get => throw null; }
public override int GetEra(System.DateTime time) => throw null;
public const int GregorianEra = default;
public const int GregorianEra = 1;
public override System.DateTime MaxSupportedDateTime { get => throw null; }
public override System.DateTime MinSupportedDateTime { get => throw null; }
}
@@ -4226,7 +4226,7 @@ namespace System
public override bool IsLeapYear(int year, int era) => throw null;
public override System.DateTime MaxSupportedDateTime { get => throw null; }
public override System.DateTime MinSupportedDateTime { get => throw null; }
public const int ThaiBuddhistEra = default;
public const int ThaiBuddhistEra = 1;
public override System.DateTime ToDateTime(int year, int month, int day, int hour, int minute, int second, int millisecond, int era) => throw null;
public override int ToFourDigitYear(int year) => throw null;
public override int TwoDigitYearMax { get => throw null; set { } }
@@ -4263,7 +4263,7 @@ namespace System
public override System.DateTime ToDateTime(int year, int month, int day, int hour, int minute, int second, int millisecond, int era) => throw null;
public override int ToFourDigitYear(int year) => throw null;
public override int TwoDigitYearMax { get => throw null; set { } }
public const int UmAlQuraEra = default;
public const int UmAlQuraEra = 1;
}
public enum UnicodeCategory
{
@@ -4872,13 +4872,13 @@ namespace System
static short System.Numerics.INumberBase<short>.MaxMagnitude(short x, short y) => throw null;
static short System.Numerics.INumberBase<short>.MaxMagnitudeNumber(short x, short y) => throw null;
static short System.Numerics.INumber<short>.MaxNumber(short x, short y) => throw null;
public const short MaxValue = default;
public const short MaxValue = 32767;
static short System.Numerics.IMinMaxValue<short>.MaxValue { get => throw null; }
static short System.Numerics.INumber<short>.Min(short x, short y) => throw null;
static short System.Numerics.INumberBase<short>.MinMagnitude(short x, short y) => throw null;
static short System.Numerics.INumberBase<short>.MinMagnitudeNumber(short x, short y) => throw null;
static short System.Numerics.INumber<short>.MinNumber(short x, short y) => throw null;
public const short MinValue = default;
public const short MinValue = -32768;
static short System.Numerics.IMinMaxValue<short>.MinValue { get => throw null; }
static short System.Numerics.IMultiplicativeIdentity<short, short>.MultiplicativeIdentity { get => throw null; }
static short System.Numerics.ISignedNumber<short>.NegativeOne { get => throw null; }
@@ -5013,14 +5013,14 @@ namespace System
public static int MaxMagnitude(int x, int y) => throw null;
static int System.Numerics.INumberBase<int>.MaxMagnitudeNumber(int x, int y) => throw null;
static int System.Numerics.INumber<int>.MaxNumber(int x, int y) => throw null;
public const int MaxValue = default;
public const int MaxValue = 2147483647;
static int System.Numerics.IMinMaxValue<int>.MaxValue { get => throw null; }
static int System.Numerics.INumber<int>.Min(int x, int y) => throw null;
static int System.Numerics.INumberBase<int>.MinMagnitude(int x, int y) => throw null;
public static int MinMagnitude(int x, int y) => throw null;
static int System.Numerics.INumberBase<int>.MinMagnitudeNumber(int x, int y) => throw null;
static int System.Numerics.INumber<int>.MinNumber(int x, int y) => throw null;
public const int MinValue = default;
public const int MinValue = -2147483648;
static int System.Numerics.IMinMaxValue<int>.MinValue { get => throw null; }
static int System.Numerics.IMultiplicativeIdentity<int, int>.MultiplicativeIdentity { get => throw null; }
static int System.Numerics.ISignedNumber<int>.NegativeOne { get => throw null; }
@@ -5150,13 +5150,13 @@ namespace System
static long System.Numerics.INumberBase<long>.MaxMagnitude(long x, long y) => throw null;
static long System.Numerics.INumberBase<long>.MaxMagnitudeNumber(long x, long y) => throw null;
static long System.Numerics.INumber<long>.MaxNumber(long x, long y) => throw null;
public const long MaxValue = default;
public const long MaxValue = 9223372036854775807;
static long System.Numerics.IMinMaxValue<long>.MaxValue { get => throw null; }
static long System.Numerics.INumber<long>.Min(long x, long y) => throw null;
static long System.Numerics.INumberBase<long>.MinMagnitude(long x, long y) => throw null;
static long System.Numerics.INumberBase<long>.MinMagnitudeNumber(long x, long y) => throw null;
static long System.Numerics.INumber<long>.MinNumber(long x, long y) => throw null;
public const long MinValue = default;
public const long MinValue = -9223372036854775808;
static long System.Numerics.IMinMaxValue<long>.MinValue { get => throw null; }
static long System.Numerics.IMultiplicativeIdentity<long, long>.MultiplicativeIdentity { get => throw null; }
static long System.Numerics.ISignedNumber<long>.NegativeOne { get => throw null; }
@@ -10076,13 +10076,13 @@ namespace System
static sbyte System.Numerics.INumberBase<sbyte>.MaxMagnitude(sbyte x, sbyte y) => throw null;
static sbyte System.Numerics.INumberBase<sbyte>.MaxMagnitudeNumber(sbyte x, sbyte y) => throw null;
static sbyte System.Numerics.INumber<sbyte>.MaxNumber(sbyte x, sbyte y) => throw null;
public const sbyte MaxValue = default;
public const sbyte MaxValue = 127;
static sbyte System.Numerics.IMinMaxValue<sbyte>.MaxValue { get => throw null; }
static sbyte System.Numerics.INumber<sbyte>.Min(sbyte x, sbyte y) => throw null;
static sbyte System.Numerics.INumberBase<sbyte>.MinMagnitude(sbyte x, sbyte y) => throw null;
static sbyte System.Numerics.INumberBase<sbyte>.MinMagnitudeNumber(sbyte x, sbyte y) => throw null;
static sbyte System.Numerics.INumber<sbyte>.MinNumber(sbyte x, sbyte y) => throw null;
public const sbyte MinValue = default;
public const sbyte MinValue = -128;
static sbyte System.Numerics.IMinMaxValue<sbyte>.MinValue { get => throw null; }
static sbyte System.Numerics.IMultiplicativeIdentity<sbyte, sbyte>.MultiplicativeIdentity { get => throw null; }
static sbyte System.Numerics.ISignedNumber<sbyte>.NegativeOne { get => throw null; }
@@ -11943,7 +11943,7 @@ namespace System
}
public static class Timeout
{
public const int Infinite = default;
public const int Infinite = -1;
public static readonly System.TimeSpan InfiniteTimeSpan;
}
public sealed class Timer : System.MarshalByRefObject, System.IAsyncDisposable, System.IDisposable
@@ -11990,7 +11990,7 @@ namespace System
public virtual bool WaitOne(int millisecondsTimeout, bool exitContext) => throw null;
public virtual bool WaitOne(System.TimeSpan timeout) => throw null;
public virtual bool WaitOne(System.TimeSpan timeout, bool exitContext) => throw null;
public const int WaitTimeout = default;
public const int WaitTimeout = 258;
}
public static partial class WaitHandleExtensions
{
@@ -12115,7 +12115,7 @@ namespace System
public static readonly System.TimeSpan MinValue;
public System.TimeSpan Multiply(double factor) => throw null;
public int Nanoseconds { get => throw null; }
public const long NanosecondsPerTick = default;
public const long NanosecondsPerTick = 100;
public System.TimeSpan Negate() => throw null;
public static System.TimeSpan operator +(System.TimeSpan t1, System.TimeSpan t2) => throw null;
public static System.TimeSpan operator /(System.TimeSpan timeSpan, double divisor) => throw null;
@@ -12143,12 +12143,12 @@ namespace System
public int Seconds { get => throw null; }
public System.TimeSpan Subtract(System.TimeSpan ts) => throw null;
public long Ticks { get => throw null; }
public const long TicksPerDay = default;
public const long TicksPerHour = default;
public const long TicksPerMicrosecond = default;
public const long TicksPerMillisecond = default;
public const long TicksPerMinute = default;
public const long TicksPerSecond = default;
public const long TicksPerDay = 864000000000;
public const long TicksPerHour = 36000000000;
public const long TicksPerMicrosecond = 10;
public const long TicksPerMillisecond = 10000;
public const long TicksPerMinute = 600000000;
public const long TicksPerSecond = 10000000;
public override string ToString() => throw null;
public string ToString(string format) => throw null;
public string ToString(string format, System.IFormatProvider formatProvider) => throw null;
@@ -12960,13 +12960,13 @@ namespace System
static ushort System.Numerics.INumberBase<ushort>.MaxMagnitude(ushort x, ushort y) => throw null;
static ushort System.Numerics.INumberBase<ushort>.MaxMagnitudeNumber(ushort x, ushort y) => throw null;
static ushort System.Numerics.INumber<ushort>.MaxNumber(ushort x, ushort y) => throw null;
public const ushort MaxValue = default;
public const ushort MaxValue = 65535;
static ushort System.Numerics.IMinMaxValue<ushort>.MaxValue { get => throw null; }
static ushort System.Numerics.INumber<ushort>.Min(ushort x, ushort y) => throw null;
static ushort System.Numerics.INumberBase<ushort>.MinMagnitude(ushort x, ushort y) => throw null;
static ushort System.Numerics.INumberBase<ushort>.MinMagnitudeNumber(ushort x, ushort y) => throw null;
static ushort System.Numerics.INumber<ushort>.MinNumber(ushort x, ushort y) => throw null;
public const ushort MinValue = default;
public const ushort MinValue = 0;
static ushort System.Numerics.IMinMaxValue<ushort>.MinValue { get => throw null; }
static ushort System.Numerics.IMultiplicativeIdentity<ushort, ushort>.MultiplicativeIdentity { get => throw null; }
static ushort System.Numerics.INumberBase<ushort>.One { get => throw null; }
@@ -13091,13 +13091,13 @@ namespace System
static uint System.Numerics.INumberBase<uint>.MaxMagnitude(uint x, uint y) => throw null;
static uint System.Numerics.INumberBase<uint>.MaxMagnitudeNumber(uint x, uint y) => throw null;
static uint System.Numerics.INumber<uint>.MaxNumber(uint x, uint y) => throw null;
public const uint MaxValue = default;
public const uint MaxValue = 4294967295;
static uint System.Numerics.IMinMaxValue<uint>.MaxValue { get => throw null; }
static uint System.Numerics.INumber<uint>.Min(uint x, uint y) => throw null;
static uint System.Numerics.INumberBase<uint>.MinMagnitude(uint x, uint y) => throw null;
static uint System.Numerics.INumberBase<uint>.MinMagnitudeNumber(uint x, uint y) => throw null;
static uint System.Numerics.INumber<uint>.MinNumber(uint x, uint y) => throw null;
public const uint MinValue = default;
public const uint MinValue = 0;
static uint System.Numerics.IMinMaxValue<uint>.MinValue { get => throw null; }
static uint System.Numerics.IMultiplicativeIdentity<uint, uint>.MultiplicativeIdentity { get => throw null; }
static uint System.Numerics.INumberBase<uint>.One { get => throw null; }
@@ -13222,13 +13222,13 @@ namespace System
static ulong System.Numerics.INumberBase<ulong>.MaxMagnitude(ulong x, ulong y) => throw null;
static ulong System.Numerics.INumberBase<ulong>.MaxMagnitudeNumber(ulong x, ulong y) => throw null;
static ulong System.Numerics.INumber<ulong>.MaxNumber(ulong x, ulong y) => throw null;
public const ulong MaxValue = default;
public const ulong MaxValue = 18446744073709551615;
static ulong System.Numerics.IMinMaxValue<ulong>.MaxValue { get => throw null; }
static ulong System.Numerics.INumber<ulong>.Min(ulong x, ulong y) => throw null;
static ulong System.Numerics.INumberBase<ulong>.MinMagnitude(ulong x, ulong y) => throw null;
static ulong System.Numerics.INumberBase<ulong>.MinMagnitudeNumber(ulong x, ulong y) => throw null;
static ulong System.Numerics.INumber<ulong>.MinNumber(ulong x, ulong y) => throw null;
public const ulong MinValue = default;
public const ulong MinValue = 0;
static ulong System.Numerics.IMinMaxValue<ulong>.MinValue { get => throw null; }
static ulong System.Numerics.IMultiplicativeIdentity<ulong, ulong>.MultiplicativeIdentity { get => throw null; }
static ulong System.Numerics.INumberBase<ulong>.One { get => throw null; }

40
csharp/ql/test/resources/stubs/_frameworks/Microsoft.NETCore.App/System.Security.Cryptography.cs
View File

@@ -1164,8 +1164,8 @@ namespace System
public static System.Threading.Tasks.ValueTask<int> HashDataAsync(System.ReadOnlyMemory<byte> key, System.IO.Stream source, System.Memory<byte> destination, System.Threading.CancellationToken cancellationToken = default(System.Threading.CancellationToken)) => throw null;
public static System.Threading.Tasks.ValueTask<byte[]> HashDataAsync(System.ReadOnlyMemory<byte> key, System.IO.Stream source, System.Threading.CancellationToken cancellationToken = default(System.Threading.CancellationToken)) => throw null;
protected override byte[] HashFinal() => throw null;
public const int HashSizeInBits = default;
public const int HashSizeInBytes = default;
public const int HashSizeInBits = 128;
public const int HashSizeInBytes = 16;
public override void Initialize() => throw null;
public override byte[] Key { get => throw null; set { } }
public static bool TryHashData(System.ReadOnlySpan<byte> key, System.ReadOnlySpan<byte> source, System.Span<byte> destination, out int bytesWritten) => throw null;
@@ -1189,8 +1189,8 @@ namespace System
public static System.Threading.Tasks.ValueTask<int> HashDataAsync(System.ReadOnlyMemory<byte> key, System.IO.Stream source, System.Memory<byte> destination, System.Threading.CancellationToken cancellationToken = default(System.Threading.CancellationToken)) => throw null;
public static System.Threading.Tasks.ValueTask<byte[]> HashDataAsync(System.ReadOnlyMemory<byte> key, System.IO.Stream source, System.Threading.CancellationToken cancellationToken = default(System.Threading.CancellationToken)) => throw null;
protected override byte[] HashFinal() => throw null;
public const int HashSizeInBits = default;
public const int HashSizeInBytes = default;
public const int HashSizeInBits = 160;
public const int HashSizeInBytes = 20;
public override void Initialize() => throw null;
public override byte[] Key { get => throw null; set { } }
public static bool TryHashData(System.ReadOnlySpan<byte> key, System.ReadOnlySpan<byte> source, System.Span<byte> destination, out int bytesWritten) => throw null;
@@ -1213,8 +1213,8 @@ namespace System
public static System.Threading.Tasks.ValueTask<int> HashDataAsync(System.ReadOnlyMemory<byte> key, System.IO.Stream source, System.Memory<byte> destination, System.Threading.CancellationToken cancellationToken = default(System.Threading.CancellationToken)) => throw null;
public static System.Threading.Tasks.ValueTask<byte[]> HashDataAsync(System.ReadOnlyMemory<byte> key, System.IO.Stream source, System.Threading.CancellationToken cancellationToken = default(System.Threading.CancellationToken)) => throw null;
protected override byte[] HashFinal() => throw null;
public const int HashSizeInBits = default;
public const int HashSizeInBytes = default;
public const int HashSizeInBits = 256;
public const int HashSizeInBytes = 32;
public override void Initialize() => throw null;
public override byte[] Key { get => throw null; set { } }
public static bool TryHashData(System.ReadOnlySpan<byte> key, System.ReadOnlySpan<byte> source, System.Span<byte> destination, out int bytesWritten) => throw null;
@@ -1237,8 +1237,8 @@ namespace System
public static System.Threading.Tasks.ValueTask<int> HashDataAsync(System.ReadOnlyMemory<byte> key, System.IO.Stream source, System.Memory<byte> destination, System.Threading.CancellationToken cancellationToken = default(System.Threading.CancellationToken)) => throw null;
public static System.Threading.Tasks.ValueTask<byte[]> HashDataAsync(System.ReadOnlyMemory<byte> key, System.IO.Stream source, System.Threading.CancellationToken cancellationToken = default(System.Threading.CancellationToken)) => throw null;
protected override byte[] HashFinal() => throw null;
public const int HashSizeInBits = default;
public const int HashSizeInBytes = default;
public const int HashSizeInBits = 384;
public const int HashSizeInBytes = 48;
public override void Initialize() => throw null;
public override byte[] Key { get => throw null; set { } }
public bool ProduceLegacyHmacValues { get => throw null; set { } }
@@ -1262,8 +1262,8 @@ namespace System
public static System.Threading.Tasks.ValueTask<int> HashDataAsync(System.ReadOnlyMemory<byte> key, System.IO.Stream source, System.Memory<byte> destination, System.Threading.CancellationToken cancellationToken = default(System.Threading.CancellationToken)) => throw null;
public static System.Threading.Tasks.ValueTask<byte[]> HashDataAsync(System.ReadOnlyMemory<byte> key, System.IO.Stream source, System.Threading.CancellationToken cancellationToken = default(System.Threading.CancellationToken)) => throw null;
protected override byte[] HashFinal() => throw null;
public const int HashSizeInBits = default;
public const int HashSizeInBytes = default;
public const int HashSizeInBits = 512;
public const int HashSizeInBytes = 64;
public override void Initialize() => throw null;
public override byte[] Key { get => throw null; set { } }
public bool ProduceLegacyHmacValues { get => throw null; set { } }
@@ -1341,8 +1341,8 @@ namespace System
public static int HashData(System.ReadOnlySpan<byte> source, System.Span<byte> destination) => throw null;
public static System.Threading.Tasks.ValueTask<int> HashDataAsync(System.IO.Stream source, System.Memory<byte> destination, System.Threading.CancellationToken cancellationToken = default(System.Threading.CancellationToken)) => throw null;
public static System.Threading.Tasks.ValueTask<byte[]> HashDataAsync(System.IO.Stream source, System.Threading.CancellationToken cancellationToken = default(System.Threading.CancellationToken)) => throw null;
public const int HashSizeInBits = default;
public const int HashSizeInBytes = default;
public const int HashSizeInBits = 128;
public const int HashSizeInBytes = 16;
public static bool TryHashData(System.ReadOnlySpan<byte> source, System.Span<byte> destination, out int bytesWritten) => throw null;
}
public sealed class MD5CryptoServiceProvider : System.Security.Cryptography.MD5
@@ -1825,8 +1825,8 @@ namespace System
public static int HashData(System.ReadOnlySpan<byte> source, System.Span<byte> destination) => throw null;
public static System.Threading.Tasks.ValueTask<int> HashDataAsync(System.IO.Stream source, System.Memory<byte> destination, System.Threading.CancellationToken cancellationToken = default(System.Threading.CancellationToken)) => throw null;
public static System.Threading.Tasks.ValueTask<byte[]> HashDataAsync(System.IO.Stream source, System.Threading.CancellationToken cancellationToken = default(System.Threading.CancellationToken)) => throw null;
public const int HashSizeInBits = default;
public const int HashSizeInBytes = default;
public const int HashSizeInBits = 160;
public const int HashSizeInBytes = 20;
public static bool TryHashData(System.ReadOnlySpan<byte> source, System.Span<byte> destination, out int bytesWritten) => throw null;
}
public sealed class SHA1CryptoServiceProvider : System.Security.Cryptography.SHA1
@@ -1861,8 +1861,8 @@ namespace System
public static int HashData(System.ReadOnlySpan<byte> source, System.Span<byte> destination) => throw null;
public static System.Threading.Tasks.ValueTask<int> HashDataAsync(System.IO.Stream source, System.Memory<byte> destination, System.Threading.CancellationToken cancellationToken = default(System.Threading.CancellationToken)) => throw null;
public static System.Threading.Tasks.ValueTask<byte[]> HashDataAsync(System.IO.Stream source, System.Threading.CancellationToken cancellationToken = default(System.Threading.CancellationToken)) => throw null;
public const int HashSizeInBits = default;
public const int HashSizeInBytes = default;
public const int HashSizeInBits = 256;
public const int HashSizeInBytes = 32;
public static bool TryHashData(System.ReadOnlySpan<byte> source, System.Span<byte> destination, out int bytesWritten) => throw null;
}
public sealed class SHA256CryptoServiceProvider : System.Security.Cryptography.SHA256
@@ -1897,8 +1897,8 @@ namespace System
public static int HashData(System.ReadOnlySpan<byte> source, System.Span<byte> destination) => throw null;
public static System.Threading.Tasks.ValueTask<int> HashDataAsync(System.IO.Stream source, System.Memory<byte> destination, System.Threading.CancellationToken cancellationToken = default(System.Threading.CancellationToken)) => throw null;
public static System.Threading.Tasks.ValueTask<byte[]> HashDataAsync(System.IO.Stream source, System.Threading.CancellationToken cancellationToken = default(System.Threading.CancellationToken)) => throw null;
public const int HashSizeInBits = default;
public const int HashSizeInBytes = default;
public const int HashSizeInBits = 384;
public const int HashSizeInBytes = 48;
public static bool TryHashData(System.ReadOnlySpan<byte> source, System.Span<byte> destination, out int bytesWritten) => throw null;
}
public sealed class SHA384CryptoServiceProvider : System.Security.Cryptography.SHA384
@@ -1933,8 +1933,8 @@ namespace System
public static int HashData(System.ReadOnlySpan<byte> source, System.Span<byte> destination) => throw null;
public static System.Threading.Tasks.ValueTask<int> HashDataAsync(System.IO.Stream source, System.Memory<byte> destination, System.Threading.CancellationToken cancellationToken = default(System.Threading.CancellationToken)) => throw null;
public static System.Threading.Tasks.ValueTask<byte[]> HashDataAsync(System.IO.Stream source, System.Threading.CancellationToken cancellationToken = default(System.Threading.CancellationToken)) => throw null;
public const int HashSizeInBits = default;
public const int HashSizeInBytes = default;
public const int HashSizeInBits = 512;
public const int HashSizeInBytes = 64;
public static bool TryHashData(System.ReadOnlySpan<byte> source, System.Span<byte> destination, out int bytesWritten) => throw null;
}
public sealed class SHA512CryptoServiceProvider : System.Security.Cryptography.SHA512

2
csharp/ql/test/resources/stubs/_frameworks/Microsoft.NETCore.App/System.Text.Encoding.Extensions.cs
View File

@@ -30,7 +30,7 @@ namespace System
}
public class UnicodeEncoding : System.Text.Encoding
{
public const int CharSize = default;
public const int CharSize = 2;
public UnicodeEncoding() => throw null;
public UnicodeEncoding(bool bigEndian, bool byteOrderMark) => throw null;
public UnicodeEncoding(bool bigEndian, bool byteOrderMark, bool throwOnInvalidBytes) => throw null;

2
csharp/ql/test/resources/stubs/_frameworks/Microsoft.NETCore.App/System.Threading.Tasks.Dataflow.cs
View File

@@ -151,7 +151,7 @@ namespace System
public int MaxMessagesPerTask { get => throw null; set { } }
public string NameFormat { get => throw null; set { } }
public System.Threading.Tasks.TaskScheduler TaskScheduler { get => throw null; set { } }
public const int Unbounded = default;
public const int Unbounded = -1;
}
public class DataflowLinkOptions
{