2020年5月23日

摘要：理论基础 JML语法原子表达式 \result 表示方法的返回值 \old(expr) expr在方法执行前的值 \not_assigned(x,y,…) 表示变量在方法执行过程中没有被赋值 \nonnullelements(container) 表示container中存储的值不会有null \ 阅读全文

posted @ 2020-05-23 21:19 Plingpling# 阅读(138) 评论(0) 推荐(0) 编辑


Copyright © 2024 Plingpling# Powered by .NET 8.0 on Kubernetes 博客园

导航

2020年5月23日