go top

code contract

网络释义专业释义

  代码契约

代码契约Code Contract)就是让你用额外的代码来表达应用程序中对代码的假设情况,一般可以执行前置条件、后置调剂和不变式。

基于26个网页-相关网页

  代码协定

代码协定Code Contract)的核心类是“Contract”,以下是一个示例:

基于12个网页-相关网页

短语

Contract Code 合同代码 ; 合约代码 ; 合同守则

Chinese Contract Code 光船租赁合同

Contract Code Credit Enterprise 重合同守信用企业

Code specified in the contract 合约规定的规范和标准

 更多收起网络短语
  • 规程对比 - 引用次数:1

    参考来源 - 土钉支护设计理论与工程实践的探讨

·2,447,543篇论文数据,部分数据来源于NoteExpress

双语例句权威例句

  • Code Contract brings this programming paradigm to.net.

    代码契约为。NET引入了这种编程范式

    youdao

  • A Code Contract that fails, on the other hand, tells you a lot more.

    代码合同失败一方面,告诉很多。

    youdao

  • Whereas an assertion tells you only about a detected bad symptom, a Code Contract can show invaluable information on how the method should be used.

    断言告诉检测到不良症状,则代码合同可以显示宝贵的资讯如何使用方法

    youdao

更多双语例句
更多权威例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定