2019年5月22日

面向对象第三单元总结
摘要： 面向对象第三单元总结 一、JML JML理论基础 Java 建模语言（JML）将注释添加到 Java 代码中，这样我们就可以确定方法所执行的内容，而不必说明它们如何做到这一点。有了 JML，我们就可以描述方法预期的功能，无需考虑实现。JML 为说明性的描述行为引入了许多构造。这些构造包括模型字段、量 阅读全文
posted @ 2019-05-22 18:12 hcclll 阅读(102) 评论(0) 推荐(0)

导航