2019年5月22日
OO第三单元总结
摘要： OO第三单元总结 JML梳理 JML语言理论 身为规格描述语言，JML有着严格的语法规范。 + 注释 行注释： //@annotation ， 块注释： / @ annotation @ / + 方法规格 前置条件(pre condition) ：require 后置条件(post conditio 阅读全文
posted @ 2019-05-22 14:54 KSMLighter 阅读(137) 评论(0) 推荐(0)