spring: datasource: url: jdbc:mysql://localhost:3306/lovers?serverTimezone=UTC #jdbc:mysql://localhost:3306/lovers?useUnicode=true&characterEncoding=u ...
分类：
其他好文 时间：
2020-05-24 09:34:29
阅读次数：
44
解决方案 先说解决方案。以下内容是需要加到gradle中的。 plugins { id 'io.qameta.allure' version '2.8.1 } allure { autoconfigure = true version = '2.13.3' // Latest Allure Vers ...
分类：
其他好文 时间：
2020-05-24 00:35:41
阅读次数：
82
1.JML基础梳理 1.1注释结构 JML采用javadoc注释的方式来表示规格，且每行以@开头。通过使用//@annotation来进行行注释，使用/*@annotaion@*/来进行块注释。 1.2JML表达式 1.2.1原子表达式 \result表达式，在方法规格中使用，通过\result来指 ...
分类：
其他好文 时间：
2020-05-23 20:40:22
阅读次数：
58
OO第三单元总结 一、 JML语言的理论基础及应用工具链 （1）JML语言理论基础 1.原子表达式： \result表示非void类型的方法执行所获得的结果，即方法执行后的返回值。 \old(expr)用来表示一个表达式 expr 在相应方法执行前的取值。 \not_assigned(x,y,... ...
分类：
其他好文 时间：
2020-05-23 20:30:19
阅读次数：
59
Therefore, as a result, so, then, consequently She was therefore unable to find a solution. So she had to quit her job. I think; therefore I am. ‘We h ...
分类：
其他好文 时间：
2020-05-23 20:19:07
阅读次数：
83
程序的基本功能是处理数据。 程序用变量来表示数据。 public int add(int am, int b){ int result=a+b; return result; } a b result都是变量。 数据类型名 变量名; int result; 上边代码定义了一个变量，名为result， ...
分类：
其他好文 时间：
2020-05-23 20:11:49
阅读次数：
48
1.理论基础 这次接触了JML————进行规格化设计的一种语言，用来表示一个接口要干些什么事，相比直接用文字叙述，这样的方式更加规范，不会千人千面，读起来也不会很费劲，我一般是猜测它想要干什么，再去细读是不是我想的那样，以下列举一下JML的规范： + 原子表达式 \result：表示返回值。 \ol ...
分类：
其他好文 时间：
2020-05-23 18:36:12
阅读次数：
49
罗马数字包含以下七种字符: I， V， X， L，C，D 和 M。 字符 数值I 1V 5X 10L 50C 100D 500M 1000例如， 罗马数字 2 写做 II ，即为两个并列的 1。12 写做 XII ，即为 X + II 。 27 写做 XXVII, 即为 XX + V + II 。 ...
分类：
其他好文 时间：
2020-05-23 18:30:32
阅读次数：
49
背景： 最近在做一个关于android的续航时间测试apk，从开始测试记录时间到低电自动关机时这整个的时间，当前采用监听关机广播的来实际统计续航时间，但遇到的问题是同样的测试apk在android8及以下系统均能正常监听到关机广播，但从android 9开始就监听不到关机广播了。 下面是我的监听广播 ...
分类：
移动开发 时间：
2020-05-23 18:27:25
阅读次数：
80
node-sass安装失败，提示如下： gyp verb check python checking for Python executable "python" in the PATH gyp verb `which` succeeded python D:\Program Files\Pytho ...
分类：
其他好文 时间：
2020-05-23 16:21:45
阅读次数：
363
