当前位置: 软件>java软件
Chex4j
本文导语: Chex4j让您的文件和执行@前和运行方法调用与@后置条件或仪器类文件编译时间。条件正常码快速运行。 示例代码： @Contract public class SimplePublicBankAccount { @Post("amount.doubleValue() >= 0.0d") public SimplePublicBankAccount(BigDecimal amount )...
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
}
您可能感兴趣的文章:
本站(WWW.)旨在分享和传播互联网科技相关的资讯和技术，将尽最大努力为读者提供更好的信息聚合和浏览方式。
本站(WWW.)站内文章除注明原创外，均为转载、整理或搜集自网络。欢迎任何形式的转载，转载请注明出处。
本站(WWW.)站内文章除注明原创外，均为转载、整理或搜集自网络。欢迎任何形式的转载，转载请注明出处。