文件名称：Contracts:代码契约 ala DBC 的 CSharp 实现
文件大小：7KB
文件格式：ZIP
更新时间：2024-08-02 03:28:37
C#
合同 本着按契约设计的精神，代码契约的两种不同的 C# 实现。 提供了显示用法的示例文件。 基本版本使用单个静态 Contract 类。 高级版本更细化并使用三个不同的静态类 - 要求（前提条件）、假设（不变式）和验证（后置条件）。 使用它们中的任何一个，您都会创建更好的软件。
【文件预览】：
Contracts-master
----Advanced()
--------Verify.cs(5KB)
--------DesignByContract.cs(2KB)
--------Assume.cs(6KB)
--------Require.cs(3KB)
----LICENSE.md(1KB)
----README.md(428B)
----Basic()
--------Contract.cs(3KB)
--------DesignByContract.cs(2KB)