您现在的位置是：网站首页> 软件下载软件下载

Contracts for Java下载 -开源Java工具-下载站

2021-04-28 210人已围观

简介 Contracts for Java,开源Java工具ContractsforJava，基于JohannesRieken制作的ModernJass，灵感来自Eiffel编程语言,您可以免费下载。

开源Java工具ContractsforJava，基于JohannesRieken制作的ModernJass，灵感来自Eiffel编程语言。

相关软件软件大小版本说明下载地址

【基本简介】

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

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

示例代码：

interfaceTime{
  ...

  @Ensures({
    "result >= 0",
    "result <= 23"
  })
  int getHour();

  @Requires({
    "h >= 0",
    "h <= 23"
  })
  @Ensures("getHour() == h")
  void setHour(int h);

  ...
}

下载资源

上一篇：电子导盲犬(eGuideDog)下载 0.91-中文语音合成软件 TTS软件-下载站

下一篇：Photos Inertia Gallery(Flash相册源码)下载 2.0-很实用的Flash+XML相册程-下载站

您现在的位置是：网站首页> 软件下载软件下载

Contracts for Java下载 -开源Java工具-下载站

相关内容

点击排行

本栏推荐

猜你喜欢