@tsonic/dotnet-pure/System.Diagnostics.Contracts.d.ts

TypeScript type definitions for .NET 10 BCL (Base Class Library) - CLR naming

// Generated by tsbindgen - Architecture
// Namespace: System.Diagnostics.Contracts
// Facade - Public API Surface

// Import internal declarations
import * as Internal from './System.Diagnostics.Contracts/internal/index.js';

// Cross-namespace type imports for constraints
import type { IEnumerable_1 } from './System.Collections.Generic/internal/index.js';
import type { IDictionary } from './System.Collections/internal/index.js';
import type { MethodBase } from './System.Reflection/internal/index.js';
import type { ISerializable, SerializationInfo, StreamingContext } from './System.Runtime.Serialization/internal/index.js';
import type { Attribute, Boolean as ClrBoolean, Enum, EventArgs, EventHandler_1, Exception, IComparable, IConvertible, IFormatProvider, IFormattable, Int32, ISpanFormattable, Object as ClrObject, Predicate_1, String as ClrString, Type, TypeCode, Void } from './System/internal/index.js';

// Public API exports (curated - no internal $instance/$views leakage)
export { ContractException as ContractException } from './System.Diagnostics.Contracts/internal/index.js';
export { ContractFailedEventArgs as ContractFailedEventArgs } from './System.Diagnostics.Contracts/internal/index.js';
export { PureAttribute as PureAttribute } from './System.Diagnostics.Contracts/internal/index.js';
export { ContractClassAttribute as ContractClassAttribute } from './System.Diagnostics.Contracts/internal/index.js';
export { ContractClassForAttribute as ContractClassForAttribute } from './System.Diagnostics.Contracts/internal/index.js';
export { ContractInvariantMethodAttribute as ContractInvariantMethodAttribute } from './System.Diagnostics.Contracts/internal/index.js';
export { ContractReferenceAssemblyAttribute as ContractReferenceAssemblyAttribute } from './System.Diagnostics.Contracts/internal/index.js';
export { ContractRuntimeIgnoredAttribute as ContractRuntimeIgnoredAttribute } from './System.Diagnostics.Contracts/internal/index.js';
export { ContractVerificationAttribute as ContractVerificationAttribute } from './System.Diagnostics.Contracts/internal/index.js';
export { ContractPublicPropertyNameAttribute as ContractPublicPropertyNameAttribute } from './System.Diagnostics.Contracts/internal/index.js';
export { ContractArgumentValidatorAttribute as ContractArgumentValidatorAttribute } from './System.Diagnostics.Contracts/internal/index.js';
export { ContractAbbreviatorAttribute as ContractAbbreviatorAttribute } from './System.Diagnostics.Contracts/internal/index.js';
export { ContractOptionAttribute as ContractOptionAttribute } from './System.Diagnostics.Contracts/internal/index.js';
export { Contract$instance as Contract } from './System.Diagnostics.Contracts/internal/index.js';
export { ContractFailureKind as ContractFailureKind } from './System.Diagnostics.Contracts/internal/index.js';