软件概览
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
}