如何找到“代码合同”?用于.net库

本文关键字:用于 net 代码合同 合同 何找 代码 | 更新日期: 2023-09-27 18:04:40

我才刚刚开始,如果我得到一个未经证实的保证。如果我知道我调用的方法的契约是什么,如果我不知道我猜测的契约是什么,那就没关系。

但是,尽管这似乎是一个关于合同的大问题,我能在任何地方找到它们吗?没有。

。《字典》的合同是什么?

我已经阅读了微软官方文档,并在网上搜索,我希望它们会在智能感知中出现,我要去看看对象浏览器

如何找到“代码合同”?用于.net库

安装来自Microsoft Research的代码契约编辑器扩展以获得对代码契约的智能感知支持