首页
学习
活动
专区
圈层
工具
发布
社区首页 >问答首页 >JML替代方案

JML替代方案
EN

Stack Overflow用户
提问于 2011-01-08 20:39:18
回答 1查看 554关注 0票数 2

我正在寻找Java的替代规范语言选项,比如JML。

有人认识吗?

谢谢。

EN

回答 1

Stack Overflow用户

回答已采纳

发布于 2011-03-25 02:32:20

Contracts for Java (http://code.google.com/p/cofoja/)是一个Google项目,它使您能够用Java注解编写方法契约。

该框架可以使用离线字节码重写器自动插入契约作为动态运行时检查。

票数 4
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/4633883

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档