摘要: (一)诊断概述 名称空间System.Diagnostics提供了用于跟踪、事件日志、性能测量以及代码协定的类。System.Diagnostics.Contracts名称空间中的类可以定义前提条件、后置条件和常量,它们不仅可以在运行期间检查,还可以使用静态的协定分析器检查。 (二)代码协定 前置条 阅读全文
posted @ 2017-04-26 06:44 好先生FX 阅读(477) 评论(0) 推荐(0) 编辑