一、梳理JML语言的理论基础、应用工具链情况 理论基础 定义： JML是用于对Java程序进行规格化设计的一种表示语言 JML基础 关键字解释举例 \result 方法执行后的返回值 \result = p1.getId() == p2.getId(); \old(expr) 相应方法执行前的取值 ...
分类：
其他好文 时间：
2020-05-21 16:20:01
阅读次数：
52
P1 JML语言理论基础 JML详细基础教程：https://blog.csdn.net/weixin_41412192/article/details/89527142 + 原子表达式 ：表示非void类型方法返回结果 ：表示相应方法执行前expr的取值，换言之，直接引用expr均表示方法执行完后 ...
分类：
其他好文 时间：
2020-05-21 16:18:03
阅读次数：
43
C and C++ allow various types of operators. By now, you should be familiar with the basic binary operators +, -, *, / and the boolean operators <, >, ...
分类：
其他好文 时间：
2020-05-19 12:14:52
阅读次数：
62
调试思路优先级 打开PHP错误提示 在php.ini文件里改变display_errors和error_reporting的值，没有的直接加上 注意：E_ALL – 所有的错误和警告(不包括 E_STRICT) PHP文件中加入 检查PHP语法错误 调试技巧 有时候在调试项目的时候，需要将一个对象或 ...
分类：
Web程序 时间：
2020-05-19 10:35:17
阅读次数：
59
报错信息： ERROR Error: ExpressionChangedAfterItHasBeenCheckedError: Expression has changed after it was checked. Previous value: 'null: 8'. Current value: ...
分类：
其他好文 时间：
2020-05-18 19:00:31
阅读次数：
94
Mysql常用函数的汇总，可看下面文章 https://www.cnblogs.com/poloyy/p/12890763.html time 的作用 返回指定日期时间的时间部分 time 的语法格式 TIME(expr) 小栗子 SELECT TIME('1987-01-01 16:00:00') ...
分类：
数据库 时间：
2020-05-17 13:14:51
阅读次数：
105
Mysql常用函数的汇总，可看下面文章 https://www.cnblogs.com/poloyy/p/12890763.html date 的作用 返回指定时间的日期部分 date 的语法格式 DATE(expr) 小栗子 SELECT DATE('1987-01-01 16:00:00'); ...
分类：
数据库 时间：
2020-05-17 11:44:43
阅读次数：
65
Mysql常用函数的汇总，可看下面系列文章 https://www.cnblogs.com/poloyy/category/1765164.html datediff 的作用 返回两个指定的日期之间相差的天数 datediff 的语法格式 DATEDIFF(expr1,expr2) 语法格式说明 返 ...
分类：
数据库 时间：
2020-05-16 20:45:32
阅读次数：
76
1.DATE_SUB(d,INTERVAL expr type) DATE_SUB(d,INTERVAL expr type) 函数返回起始日期d减去一个时间段后的日期 expr是一个表达式，用于指定从起始日期添加或减去的时间间隔值 expr是一个字符串，对于负值的时间间隔，可以用一个负号”-“开头 ...
分类：
数据库 时间：
2020-05-14 19:26:57
阅读次数：
95
