@tsonic/dotnet 0.8.0 → 0.8.2

package/System.Diagnostics.CodeAnalysis/internal/index.d.ts

@@ -48,20 +48,20 @@ export interface AllowNullAttribute$instance extends Attribute {
 
 
 export const AllowNullAttribute: {
-    new(): AllowNullAttribute$instance;
+    new(): AllowNullAttribute;
 };
 
 
 export type AllowNullAttribute = AllowNullAttribute$instance;
 
 export interface ConstantExpectedAttribute$instance extends Attribute {
-    max: unknown;
-    min: unknown;
+    max: unknown | undefined;
+    min: unknown | undefined;
 }
 
 
 export const ConstantExpectedAttribute: {
-    new(): ConstantExpectedAttribute$instance;
+    new(): ConstantExpectedAttribute;
 };
 
 
@@ -72,7 +72,7 @@ export interface DisallowNullAttribute$instance extends Attribute {
 
 
 export const DisallowNullAttribute: {
-    new(): DisallowNullAttribute$instance;
+    new(): DisallowNullAttribute;
 };
 
 
@@ -83,7 +83,7 @@ export interface DoesNotReturnAttribute$instance extends Attribute {
 
 
 export const DoesNotReturnAttribute: {
-    new(): DoesNotReturnAttribute$instance;
+    new(): DoesNotReturnAttribute;
 };
 
 
@@ -95,7 +95,7 @@ export interface DoesNotReturnIfAttribute$instance extends Attribute {
 
 
 export const DoesNotReturnIfAttribute: {
-    new(parameterValue: boolean): DoesNotReturnIfAttribute$instance;
+    new(parameterValue: boolean): DoesNotReturnIfAttribute;
 };
 
 
@@ -107,7 +107,7 @@ export interface DynamicallyAccessedMembersAttribute$instance extends Attribute
 
 
 export const DynamicallyAccessedMembersAttribute: {
-    new(memberTypes: DynamicallyAccessedMemberTypes): DynamicallyAccessedMembersAttribute$instance;
+    new(memberTypes: DynamicallyAccessedMemberTypes): DynamicallyAccessedMembersAttribute;
 };
 
 
@@ -115,8 +115,8 @@ export type DynamicallyAccessedMembersAttribute = DynamicallyAccessedMembersAttr
 
 export interface DynamicDependencyAttribute$instance extends Attribute {
     readonly assemblyName: string;
-    condition: string;
-    readonly memberSignature: string;
+    condition: string | undefined;
+    readonly memberSignature: string | undefined;
     readonly memberTypes: DynamicallyAccessedMemberTypes;
     readonly type_: Type;
     readonly typeName: string;
@@ -124,23 +124,23 @@ export interface DynamicDependencyAttribute$instance extends Attribute {
 
 
 export const DynamicDependencyAttribute: {
-    new(memberSignature: string): DynamicDependencyAttribute$instance;
-    new(memberSignature: string, type_: Type): DynamicDependencyAttribute$instance;
-    new(memberSignature: string, typeName: string, assemblyName: string): DynamicDependencyAttribute$instance;
-    new(memberTypes: DynamicallyAccessedMemberTypes, type_: Type): DynamicDependencyAttribute$instance;
-    new(memberTypes: DynamicallyAccessedMemberTypes, typeName: string, assemblyName: string): DynamicDependencyAttribute$instance;
+    new(memberSignature: string | undefined): DynamicDependencyAttribute;
+    new(memberSignature: string | undefined, type_: Type | undefined): DynamicDependencyAttribute;
+    new(memberSignature: string | undefined, typeName: string | undefined, assemblyName: string | undefined): DynamicDependencyAttribute;
+    new(memberTypes: DynamicallyAccessedMemberTypes, type_: Type | undefined): DynamicDependencyAttribute;
+    new(memberTypes: DynamicallyAccessedMemberTypes, typeName: string | undefined, assemblyName: string | undefined): DynamicDependencyAttribute;
 };
 
 
 export type DynamicDependencyAttribute = DynamicDependencyAttribute$instance;
 
 export interface ExcludeFromCodeCoverageAttribute$instance extends Attribute {
-    justification: string;
+    justification: string | undefined;
 }
 
 
 export const ExcludeFromCodeCoverageAttribute: {
-    new(): ExcludeFromCodeCoverageAttribute$instance;
+    new(): ExcludeFromCodeCoverageAttribute;
 };
 
 
@@ -149,12 +149,12 @@ export type ExcludeFromCodeCoverageAttribute = ExcludeFromCodeCoverageAttribute$
 export interface ExperimentalAttribute$instance extends Attribute {
     readonly diagnosticId: string;
     message: string;
-    urlFormat: string;
+    urlFormat: string | undefined;
 }
 
 
 export const ExperimentalAttribute: {
-    new(diagnosticId: string): ExperimentalAttribute$instance;
+    new(diagnosticId: string | undefined): ExperimentalAttribute;
 };
 
 
@@ -166,7 +166,7 @@ export interface FeatureGuardAttribute$instance extends Attribute {
 
 
 export const FeatureGuardAttribute: {
-    new(featureType: Type): FeatureGuardAttribute$instance;
+    new(featureType: Type): FeatureGuardAttribute;
 };
 
 
@@ -178,7 +178,7 @@ export interface FeatureSwitchDefinitionAttribute$instance extends Attribute {
 
 
 export const FeatureSwitchDefinitionAttribute: {
-    new(switchName: string): FeatureSwitchDefinitionAttribute$instance;
+    new(switchName: string): FeatureSwitchDefinitionAttribute;
 };
 
 
@@ -189,7 +189,7 @@ export interface MaybeNullAttribute$instance extends Attribute {
 
 
 export const MaybeNullAttribute: {
-    new(): MaybeNullAttribute$instance;
+    new(): MaybeNullAttribute;
 };
 
 
@@ -201,7 +201,7 @@ export interface MaybeNullWhenAttribute$instance extends Attribute {
 
 
 export const MaybeNullWhenAttribute: {
-    new(returnValue: boolean): MaybeNullWhenAttribute$instance;
+    new(returnValue: boolean): MaybeNullWhenAttribute;
 };
 
 
@@ -213,8 +213,8 @@ export interface MemberNotNullAttribute$instance extends Attribute {
 
 
 export const MemberNotNullAttribute: {
-    new(member: string): MemberNotNullAttribute$instance;
-    new(members: string[]): MemberNotNullAttribute$instance;
+    new(member: string): MemberNotNullAttribute;
+    new(members: string[]): MemberNotNullAttribute;
 };
 
 
@@ -227,8 +227,8 @@ export interface MemberNotNullWhenAttribute$instance extends Attribute {
 
 
 export const MemberNotNullWhenAttribute: {
-    new(returnValue: boolean, member: string): MemberNotNullWhenAttribute$instance;
-    new(returnValue: boolean, members: string[]): MemberNotNullWhenAttribute$instance;
+    new(returnValue: boolean, member: string): MemberNotNullWhenAttribute;
+    new(returnValue: boolean, members: string[]): MemberNotNullWhenAttribute;
 };
 
 
@@ -239,7 +239,7 @@ export interface NotNullAttribute$instance extends Attribute {
 
 
 export const NotNullAttribute: {
-    new(): NotNullAttribute$instance;
+    new(): NotNullAttribute;
 };
 
 
@@ -251,7 +251,7 @@ export interface NotNullIfNotNullAttribute$instance extends Attribute {
 
 
 export const NotNullIfNotNullAttribute: {
-    new(parameterName: string): NotNullIfNotNullAttribute$instance;
+    new(parameterName: string): NotNullIfNotNullAttribute;
 };
 
 
@@ -263,7 +263,7 @@ export interface NotNullWhenAttribute$instance extends Attribute {
 
 
 export const NotNullWhenAttribute: {
-    new(returnValue: boolean): NotNullWhenAttribute$instance;
+    new(returnValue: boolean): NotNullWhenAttribute;
 };
 
 
@@ -271,13 +271,13 @@ export type NotNullWhenAttribute = NotNullWhenAttribute$instance;
 
 export interface RequiresAssemblyFilesAttribute$instance extends Attribute {
     readonly message: string;
-    url: string;
+    url: string | undefined;
 }
 
 
 export const RequiresAssemblyFilesAttribute: {
-    new(): RequiresAssemblyFilesAttribute$instance;
-    new(message: string): RequiresAssemblyFilesAttribute$instance;
+    new(): RequiresAssemblyFilesAttribute;
+    new(message: string | undefined): RequiresAssemblyFilesAttribute;
 };
 
 
@@ -286,12 +286,12 @@ export type RequiresAssemblyFilesAttribute = RequiresAssemblyFilesAttribute$inst
 export interface RequiresDynamicCodeAttribute$instance extends Attribute {
     excludeStatics: boolean;
     readonly message: string;
-    url: string;
+    url: string | undefined;
 }
 
 
 export const RequiresDynamicCodeAttribute: {
-    new(message: string): RequiresDynamicCodeAttribute$instance;
+    new(message: string): RequiresDynamicCodeAttribute;
 };
 
 
@@ -300,12 +300,12 @@ export type RequiresDynamicCodeAttribute = RequiresDynamicCodeAttribute$instance
 export interface RequiresUnreferencedCodeAttribute$instance extends Attribute {
     excludeStatics: boolean;
     readonly message: string;
-    url: string;
+    url: string | undefined;
 }
 
 
 export const RequiresUnreferencedCodeAttribute: {
-    new(message: string): RequiresUnreferencedCodeAttribute$instance;
+    new(message: string): RequiresUnreferencedCodeAttribute;
 };
 
 
@@ -316,21 +316,21 @@ export interface SetsRequiredMembersAttribute$instance extends Attribute {
 
 
 export const SetsRequiredMembersAttribute: {
-    new(): SetsRequiredMembersAttribute$instance;
+    new(): SetsRequiredMembersAttribute;
 };
 
 
 export type SetsRequiredMembersAttribute = SetsRequiredMembersAttribute$instance;
 
 export interface StringSyntaxAttribute$instance extends Attribute {
-    readonly arguments: unknown[];
+    readonly arguments: (unknown | undefined)[];
     readonly syntax: string;
 }
 
 
 export const StringSyntaxAttribute: {
-    new(syntax: string): StringSyntaxAttribute$instance;
-    new(syntax: string, arguments: unknown[]): StringSyntaxAttribute$instance;
+    new(syntax: string): StringSyntaxAttribute;
+    new(syntax: string, arguments: unknown[]): StringSyntaxAttribute;
     readonly compositeFormat: string;
     readonly dateOnlyFormat: string;
     readonly dateTimeFormat: string;
@@ -351,15 +351,15 @@ export type StringSyntaxAttribute = StringSyntaxAttribute$instance;
 export interface SuppressMessageAttribute$instance extends Attribute {
     readonly category: string;
     readonly checkId: string;
-    justification: string;
-    messageId: string;
-    scope: string;
+    justification: string | undefined;
+    messageId: string | undefined;
+    scope: string | undefined;
     target: string;
 }
 
 
 export const SuppressMessageAttribute: {
-    new(category: string, checkId: string): SuppressMessageAttribute$instance;
+    new(category: string | undefined, checkId: string | undefined): SuppressMessageAttribute;
 };
 
 
@@ -368,15 +368,15 @@ export type SuppressMessageAttribute = SuppressMessageAttribute$instance;
 export interface UnconditionalSuppressMessageAttribute$instance extends Attribute {
     readonly category: string;
     readonly checkId: string;
-    justification: string;
-    messageId: string;
-    scope: string;
+    justification: string | undefined;
+    messageId: string | undefined;
+    scope: string | undefined;
     target: string;
 }
 
 
 export const UnconditionalSuppressMessageAttribute: {
-    new(category: string, checkId: string): UnconditionalSuppressMessageAttribute$instance;
+    new(category: string | undefined, checkId: string | undefined): UnconditionalSuppressMessageAttribute;
 };
 
 
@@ -387,7 +387,7 @@ export interface UnscopedRefAttribute$instance extends Attribute {
 
 
 export const UnscopedRefAttribute: {
-    new(): UnscopedRefAttribute$instance;
+    new(): UnscopedRefAttribute;
 };
 
 

package/System.Diagnostics.Contracts/internal/index.d.ts

@@ -32,7 +32,7 @@ export interface ContractAbbreviatorAttribute$instance extends Attribute {
 
 
 export const ContractAbbreviatorAttribute: {
-    new(): ContractAbbreviatorAttribute$instance;
+    new(): ContractAbbreviatorAttribute;
 };
 
 
@@ -43,7 +43,7 @@ export interface ContractArgumentValidatorAttribute$instance extends Attribute {
 
 
 export const ContractArgumentValidatorAttribute: {
-    new(): ContractArgumentValidatorAttribute$instance;
+    new(): ContractArgumentValidatorAttribute;
 };
 
 
@@ -55,7 +55,7 @@ export interface ContractClassAttribute$instance extends Attribute {
 
 
 export const ContractClassAttribute: {
-    new(typeContainingContracts: Type): ContractClassAttribute$instance;
+    new(typeContainingContracts: Type): ContractClassAttribute;
 };
 
 
@@ -67,23 +67,23 @@ export interface ContractClassForAttribute$instance extends Attribute {
 
 
 export const ContractClassForAttribute: {
-    new(typeContractsAreFor: Type): ContractClassForAttribute$instance;
+    new(typeContractsAreFor: Type): ContractClassForAttribute;
 };
 
 
 export type ContractClassForAttribute = ContractClassForAttribute$instance;
 
 export interface ContractException$instance extends Exception {
-    readonly condition: string;
+    readonly condition: string | undefined;
     readonly failure: string;
     readonly kind: ContractFailureKind;
-    readonly userMessage: string;
-    getObjectData(info: SerializationInfo, context: StreamingContext): void;
+    readonly userMessage: string | undefined;
+    getObjectData(info: SerializationInfo | undefined, context: StreamingContext): void;
 }
 
 
 export const ContractException: {
-    new(kind: ContractFailureKind, failure: string, userMessage: string, condition: string, innerException: Exception): ContractException$instance;
+    new(kind: ContractFailureKind, failure: string | undefined, userMessage: string | undefined, condition: string | undefined, innerException: Exception | undefined): ContractException;
 };
 
 
@@ -95,11 +95,11 @@ export type ContractException = ContractException$instance & __ContractException
 
 
 export interface ContractFailedEventArgs$instance extends EventArgs {
-    readonly condition: string;
+    readonly condition: string | undefined;
     readonly failureKind: ContractFailureKind;
     readonly handled: boolean;
     readonly message: string;
-    readonly originalException: Exception;
+    readonly originalException: Exception | undefined;
     readonly unwind: boolean;
     setHandled(): void;
     setUnwind(): void;
@@ -107,7 +107,7 @@ export interface ContractFailedEventArgs$instance extends EventArgs {
 
 
 export const ContractFailedEventArgs: {
-    new(failureKind: ContractFailureKind, message: string, condition: string, originalException: Exception): ContractFailedEventArgs$instance;
+    new(failureKind: ContractFailureKind, message: string | undefined, condition: string | undefined, originalException: Exception | undefined): ContractFailedEventArgs;
 };
 
 
@@ -118,7 +118,7 @@ export interface ContractInvariantMethodAttribute$instance extends Attribute {
 
 
 export const ContractInvariantMethodAttribute: {
-    new(): ContractInvariantMethodAttribute$instance;
+    new(): ContractInvariantMethodAttribute;
 };
 
 
@@ -133,8 +133,8 @@ export interface ContractOptionAttribute$instance extends Attribute {
 
 
 export const ContractOptionAttribute: {
-    new(category: string, setting: string, enabled: boolean): ContractOptionAttribute$instance;
-    new(category: string, setting: string, value: string): ContractOptionAttribute$instance;
+    new(category: string, setting: string, enabled: boolean): ContractOptionAttribute;
+    new(category: string, setting: string, value: string): ContractOptionAttribute;
 };
 
 
@@ -146,7 +146,7 @@ export interface ContractPublicPropertyNameAttribute$instance extends Attribute
 
 
 export const ContractPublicPropertyNameAttribute: {
-    new(name: string): ContractPublicPropertyNameAttribute$instance;
+    new(name: string): ContractPublicPropertyNameAttribute;
 };
 
 
@@ -157,7 +157,7 @@ export interface ContractReferenceAssemblyAttribute$instance extends Attribute {
 
 
 export const ContractReferenceAssemblyAttribute: {
-    new(): ContractReferenceAssemblyAttribute$instance;
+    new(): ContractReferenceAssemblyAttribute;
 };
 
 
@@ -168,7 +168,7 @@ export interface ContractRuntimeIgnoredAttribute$instance extends Attribute {
 
 
 export const ContractRuntimeIgnoredAttribute: {
-    new(): ContractRuntimeIgnoredAttribute$instance;
+    new(): ContractRuntimeIgnoredAttribute;
 };
 
 
@@ -180,7 +180,7 @@ export interface ContractVerificationAttribute$instance extends Attribute {
 
 
 export const ContractVerificationAttribute: {
-    new(value: boolean): ContractVerificationAttribute$instance;
+    new(value: boolean): ContractVerificationAttribute;
 };
 
 
@@ -191,7 +191,7 @@ export interface PureAttribute$instance extends Attribute {
 
 
 export const PureAttribute: {
-    new(): PureAttribute$instance;
+    new(): PureAttribute;
 };
 
 
@@ -205,7 +205,7 @@ export abstract class Contract$instance {
     static endContractBlock(): void;
     static ensures(condition: boolean, userMessage: string): void;
     static ensures(condition: boolean): void;
-    static ensuresOnThrow<TException extends Exception>(condition: boolean, userMessage: string): void;
+    static ensuresOnThrow<TException extends Exception>(condition: boolean, userMessage: string | undefined): void;
     static ensuresOnThrow<TException extends Exception>(condition: boolean): void;
     static exists<T>(collection: IEnumerable_1<T>, predicate: Predicate_1<T>): boolean;
     static exists(fromInclusive: int, toExclusive: int, predicate: Predicate_1<System_Internal.Int32>): boolean;