1. 去官网 https://projectlombok.org/download 下载最新版的Lombok插件，我下载到F盘 2. cmd进入控制台，切换到f盘，执行以下命令： java -jar lommok.jar 显示以下界面： 此时在寻找java ide路径，寻找完毕后会出现 然后点击右下 ...
分类：
系统相关 时间：
2020-05-24 09:40:28
阅读次数：
115
JML语言的理论基础 什么是JML？ JML是一种形式化的、面向JAVA的行为接口规格语言。 JML拥有坚实的理论基础。 JML使用Javadoc的注释方式。 注释结构 JML以javadoc注释的方式来表示规格，每行都以@起头。有两种注释方式，行注释和块注释。其中行注释的表示方式为//@annot ...
分类：
其他好文 时间：
2020-05-23 21:51:39
阅读次数：
61
1.JML基础梳理 1.1注释结构 JML采用javadoc注释的方式来表示规格，且每行以@开头。通过使用//@annotation来进行行注释，使用/*@annotaion@*/来进行块注释。 1.2JML表达式 1.2.1原子表达式 \result表达式，在方法规格中使用，通过\result来指 ...
分类：
其他好文 时间：
2020-05-23 20:40:22
阅读次数：
58
[TOC] OO第三单元总结 1 梳理JML语言的理论基础、应用工具链情况 1.1 理论基础 ? JML是用于对Java程序进行规格化设计的一种表示语言。使用JML，能够描述一个方法预期的功能而不管如何实现，先设计类和接口，推迟了过程性的思考。JML以javadoc注释的方式来表示规格，有两种注释方 ...
分类：
其他好文 时间：
2020-05-23 18:39:41
阅读次数：
46
OO第三单元总结 1. JML基础梳理及工具链 1.1 注释结构 JML以javadoc注释的方式来表示规格， 每行都以@起头 行注释 的表示方式为 ； 块注释 的表示方式为 1.2 JML表达式 ? JML相对于Java新增的表达式成分仅用于JML中的断言(assertion)语句和其他相关的注释 ...
分类：
其他好文 时间：
2020-05-23 16:10:54
阅读次数：
38
java基础语法 注释 单行注释 // 多行注释 /* content */ 文档注释 /** this is javadoc comment */ 标识符 关键字 Abstract assert boolean break byte case..... 不可作为变量名或方法名 数据类型 强类型语言 ...
分类：
编程语言 时间：
2020-05-23 09:52:17
阅读次数：
52
最近复习一下javaEE和javaSE的内容准备上研究生前找个实习干，所以开一张知识汇总吧，暂时这样想得！ javaEE基础总结文档 单例模式——懒汉式和饿汉式详解 【设计模式】简单工厂、工厂方法与抽象工厂的区别 javadoc的两种生成方法简介 1：用命令行生成 在指定的.java所在文件夹下的目 ...
分类：
编程语言 时间：
2020-05-22 17:16:02
阅读次数：
62
OO第三单元总结 JML理论基础 JML是用于对Java程序进行规格化设计的一种表示语言，是一种行为接口规格语言(Behavior Interface Specification Language，BISL),基于Larch方法构建。JML以javadoc注释的方式来表示规格，每行都以@起头。而JM ...
分类：
其他好文 时间：
2020-05-20 00:19:58
阅读次数：
73
JML理论梳理与工具链分析 JML作为一种行为接口规格语言，可以较为准确地对Java程序的行为进行描述。然而在本人使用过程中，由于其工具链的功能的极不完善，大多数的代码编写及测试还是依靠人力完成的，虽然它具有较高的严谨性，但使用体验并不是很好。 JML的注释结构 JML以javadoc注释的方式表示 ...
分类：
其他好文 时间：
2020-05-19 22:39:41
阅读次数：
56
IDEA基础功能概览： shortcut(edit, 代码片段, 功能), 版本控制(VCS: git, github, local history) Debug, javadoc generator, database, web deployment project&module 等概念, 模板, ...
分类：
其他好文 时间：
2020-05-19 22:26:35
阅读次数：
70
