Contracts for Java

Contracts for Java

  • 版本:
  • 分类:JAVA相关
  • 大小: 451KB
  • 时间:2022-12-12
  • 软件介绍
介绍
【基本简介】

Google宣布 了一个新的开源 Java 工具 Contracts for Java,基于 Johannes Rieken 制作的 Modern Jass,灵感来自 Eiffel 编程语言,由两名 Google 工程师 David Morgan 和 Andreas Leitner 利用自己的20%时间制作。

【特色功能】Contracts for Java 可让你对代码进行注释来约束代码的先决条件、后置条件和不变量

示例代码:

interface Time { ... @Ensures({ "result = 0", "result = 23" }) int getHour(); @Requires({ "h = 0", "h = 23" }) @Ensures("getHour() == h") void setHour(int h); ...}

Contracts for Java

展开