System.Diagnostics.Contracts.Internal 命名空间

提供可被二进制重写工具用来处理协定失败的类。 Provides classes that the binary rewriter can use to handle a contract failure.

ContractHelper

提供二进制重写程序用以处理协定失败的方法。Provides methods that the binary rewriter uses to handle contract failures.