摘要: 一、JML语言基础梳理 JML(Java Modeling Language,Java建模语言),在Java代码种增加了一些符号,这些符号用来标志一个方法是干什么的,但是不关心它的具体实现。通过使用JML,在实现代码前,我们可以描述一个方法的预期功能,而尽可能地忽略实现,从而把过程性思考一直延迟到方 阅读全文
posted @ 2022-06-04 12:10 不怕事学渣扛把子势力 阅读(22) 评论(2) 推荐(0) 编辑