Chex4j

• 授权协议: 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
 
}

本文地址：https://codercto.com/soft/d/17595.html