摘要:
OO第四单元总结+课程总结 本单元作业架构设计 本单元实现了一个UML解析器,第一次作业对类图进行建模,实现一些查询的接口;第二次作业对顺序图、状态图进行建模,同样实现一些查询的接口;第三次作业则对一些规则进行了检查。 在实现第一次作业的时候,由于第一次接触UML图,指导手册看得云里雾里,不是很明白 阅读全文
摘要:
#面向对象JML系列 第三单元 ##JML ###注释格式 ######单行注释://@annotation ######多行注释:/*@ annotation @*/ ###表达式格式 JML表达式与Java表达式十分相似,就是多了一些操作符、原子表达式 ####原子表达式 \result 一个方 阅读全文