所在位置：首页 → 编程开发 → JAVA相关 → Contracts for Java

Contracts for Java

 
  • 软件大小：451KB
  • 更新日期：2011/2/9
  • 软件语言：简体
  • 软件类别：JAVA相关
  • 软件授权：免费软件
  • 软件官网：
  • 适用平台：Vista, Win2003, WinXP, Win2K, win7

分
软件评分

PC6本地下载文件大小：451KB 高速下载需下载高速下载器，提速50%

    软件介绍精品推荐相关视频人气软件相关文章评论0下载地址

    为您推荐：JAVA相关

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

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

     【基本简介】

    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

      本地高速下载

    其他版本下载

    相关视频

      没有数据

    人气软件

    厂商其他下载

    电脑版安卓版IOS版Mac版

    相关文章

      没有数据

    查看所有评论>>网友评论共0条

    发表评论

    您的评论需要经过审核才能显示

    精彩评论

    最新评论

    热门关键词