首页| JavaScript| HTML/CSS| Matlab| PHP| Python| Java| C/C++/VC++| C#| ASP| 其他|
购买积分 购买会员 激活码充值

您现在的位置是:虫虫源码 > Java > invariantj是在java类实现不变的检查机制。

invariantj是在java类实现不变的检查机制。

  • 资源大小:1.36 MB
  • 上传时间:2021-06-29
  • 下载次数:0次
  • 浏览次数:0次
  • 资源积分:1积分
  • 标      签: java 实现 是在 检查 机制 不变

资 源 简 介

InvariantJ is a mechanism for implementing class invariant checking in Java. It uses a simple method naming convention and byte code decoration to allow developers to create as many invariants as they wish. If one or more invariants fail at runtime, an exception will be thrown with a message containing the full list of violated invariants. See http://www.stateofflow.com/projects/4/invariantj

文 件 列 表

InvariantJ_1.1
doc
lib
src
VIP VIP
0.178616s