JML理论梳理与工具链分析 JML作为一种行为接口规格语言，可以较为准确地对Java程序的行为进行描述。然而在本人使用过程中，由于其工具链的功能的极不完善，大多数的代码编写及测试还是依靠人力完成的，虽然它具有较高的严谨性，但使用体验并不是很好。 JML的注释结构 JML以javadoc注释的方式表示 ...
分类：
其他好文 时间：
2020-05-19 22:39:41
阅读次数：
56
java.util.Arrays.equals方法 | Modifier and Type | 方法 | 描述 | | | | | | | | 如果两个指定的布尔数组彼此 相等 ，则返回 。 | | | | 如果两个指定的布尔值数组在指定的范围内彼此 相等 ，则返回true。 | | | | 如果两 ...
分类：
编程语言 时间：
2020-05-19 21:08:11
阅读次数：
58
java.util.Arrays.fill方法 | Modifier and Type | 方法 | 描述 | | | | | | | | 将指定的布尔值分配给指定的布尔数组的每个元素。 | | | | 将指定的布尔值分配给指定数组布尔值的指定范围的每个元素。 | | | | 将指定的字节值分配给指 ...
分类：
编程语言 时间：
2020-05-19 20:02:06
阅读次数：
63
3.1 内容操作 3.2 属性操作 3.3 css样式操作 3.4 文档CRUD操作 dom操作 ...
分类：
Web程序 时间：
2020-05-19 14:19:27
阅读次数：
46
Boolean类型 要明确地将一个值转换成boolean，用(bool)或者(boolean)来强制转换。但是很多情况下不需要用强制转换，因为当运算符，函数或者流程控制结构需要一个boolean参数时，该值会被 自动转换。 当转换为boolean时，以下值被认为时FALSE： 1.布尔值FALSE本 ...
分类：
Web程序 时间：
2020-05-19 12:19:23
阅读次数：
68
算术运算符：+、-、*、**、/、//、% a+=b a=a+b in 和 not in：判断是否包含在某个东西里面 name = "周杰伦" if "周" in name: print("True") else: print("False") if "杰伦" in name: print("Tru ...
分类：
其他好文 时间：
2020-05-19 00:49:51
阅读次数：
71
js中数组Array的push，unshift，以及ES6语法中的map、find、filter、reduce用法 ...
分类：
编程语言 时间：
2020-05-18 21:05:28
阅读次数：
63
今日内容概要 变量 数值类型 字符类型 布尔值 null与undefined 对象 数组 自定义对象 流程控制 函数 内置对象 时间对象 正则对象 JSON对象 BOM操作(js操作浏览器 显示动态效果等...) 变量 常量 变量 数据类型 js也是一门面向对象 的编程语言 即一切皆对象!!! js ...
分类：
Web程序 时间：
2020-05-17 19:18:24
阅读次数：
90
布尔盲注 无列名注入 测试 id=1 ==>Nu1L id=2 ==>V&N id=2-1 ==>Nu1L 贴一下脚本 # coding:utf-8 import requests import time url = 'http://14b858fa-e701-47da-a11a-304ef60eb ...
分类：
数据库 时间：
2020-05-17 13:30:39
阅读次数：
151
Java和Kotlin数据类型对比表 Java基本数据类型 Kotlin对象数据类型 数据类型说明 int Int 整形 long Long 长整型 short Short 短整形 floa Float 单精度浮点型 double Double 双精度浮点型 boolean Boolean 布尔型 ...
分类：
其他好文 时间：
2020-05-17 09:23:24
阅读次数：
59
