05 2020 档案

JML规格 -- OO Unit 3
摘要：JML 规格设计 JML语法 1. 一些语法的细节： jml断言中，不能使用++， ，+=等操作符 \old(expr) 仅表示一个java对象expr的引用是否在操作前后变化，而不能查看成员变量是否改变 \not_assigned(x, y) 表达式，用来表示变量是否被赋值，而\not_modif 阅读全文
posted @ 2020-05-23 12:25 Brandon_Moo 阅读(185) 评论(0) 推荐(0)