一、梳理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