所在位置:首页编程开发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

    发表评论

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

    精彩评论

    最新评论

    热门关键词