2022年6月
OO第三单元总结
摘要： #面向对象JML系列 第三单元 ##JML ###注释格式 ######单行注释：//@annotation ######多行注释：/*@ annotation @*/ ###表达式格式 JML表达式与Java表达式十分相似，就是多了一些操作符、原子表达式 ####原子表达式 \result 一个方 阅读全文
posted @ 2022-06-05 10:56 peaceminuczy 阅读(63) 评论(1) 推荐(1) 编辑