摘要: 1 JML语言总结 1.1 注释结构 JML注释一般被放置在被注释成分的近邻上部,结构主要有以下三种: 1 //@ annotation 2 3 /*@ annotation @*/ 4 5 /*@ annotation 6 @ annotation 7 @ annotation 8 @*/ 1.2 阅读全文
posted @ 2020-05-23 09:49 DrSpace 阅读(123) 评论(0) 推荐(0) 编辑