- 授权协议: EPL
- 开发语言: Java
- 操作系统: 跨平台
- 软件首页: http://chex4j.sourceforge.net/
软件介绍
Chex4j让您的文件和执行@前和运行方法调用与@后置条件或仪器类文件编译时间。条件正常码快速运行。
示例代码：
@Contract
public class SimplePublicBankAccount {
@Post("amount.doubleValue() >= 0.0d")
public SimplePublicBankAccount(BigDecimal amount ){
this.balance = amount;
}
@Post("$_.doubleValue() >= 0.0d")
public BigDecimal getBalance() {
return this.balance;
}
... // other members
}
