首页| 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
  • WYG 1天前 成为了本站会员

  • Shine 1天前 成为了本站会员

  • 柳贻 1天前 成为了本站会员

  • hallelujah_HL 1天前 成为了本站会员

  • 焦昱贺 1天前 成为了本站会员

  • Rubin 1天前 成为了本站会员

  • Li 2天前 成为了本站会员

  • bigfatcat1977 3天前 成为了本站会员

  • just4down 3天前 成为了本站会员

  • shallow 3天前 成为了本站会员

0.186467s