2020年5月23日
OO第三单元总结
摘要： 一、梳理JML语言的理论基础、应用工具链情况 JML以javadoc注释的方式来表示规格，每行以@起头。其中行注释为“//@annotation”，块注释为“/*@ annotation... @*/”。 常用表达式有以下几种： \public normal_behavior：表达方法在正常情况下应 阅读全文
posted @ 2020-05-23 16:10 Ruby7 阅读(161) 评论(0) 推荐(0)