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. |