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

您现在的位置是:虫虫源码 > Java > saferjava

saferjava

资 源 简 介

SaferJava allows to create runtime-checked code and allows design-by-contract principles. Using Bytecode engineering, SaferJava transparently checks pre and post conditions of methodcalls. Oval, which is included in SaferJava, provides several predefined checks to assure properties of fields and method calls. Additionally, SaferJava provides new checks, e.g. an interface protocoll checker to assure the right call order of methods of an interface.

相 关 资 源

您 可 能 感 兴 趣 的

同 类 别 推 荐

VIP VIP