HKvv

摘要： OO-Blogs Unit3 单元简介 通过实现官方提供的JML规格，实现了一个对社交关系的模拟。 官方包已经提供了每个类每个方法的JML规格，因此无需做全局性的架构设计，只要着眼于方法的实现即可。因此，由于很多方法的内容十分简单(如get,set等)，本文只选择一些稍具规模的方法说明。 HW1 由 阅读全文