BUAA_OO第四单元总结性博客作业——UML(Floyd实现规则检查？）