JML理论 jml是对java程序进行规格化设计的一种表示语言。jml主要运用在：(1)开展规格化设计；(2)针对已有的代码书写规格，增强代码的可维护性。 需要注意的是：jml描述的是我们的程序在什么样的情况下会正确执行，预期的返回值满足什么样的条件，一言以蔽之：jml描述的是程序能用什么样的原料做 ...
分类：
其他好文 时间：
2020-05-23 11:12:06
阅读次数：
40
自由书写 书法临摹 书法知识 优秀作品 ※ 练字功能※ 可以打开字贴，对着背景临写； ※ 印章功能※ 可以选择自己喜欢风格的印章模式；※拍照功能※ 让热爱书法的你写一幅书法作品，拍下现场的照片，加载到作品中去。 ※ 分享功能※ 把你的作品一键发送到微信等。 让使用者都有书法大师的风采。 ...
分类：
其他好文 时间：
2020-05-22 13:07:35
阅读次数：
106
<!DOCTYPE html> <html lang="en"> <head> <meta charset="UTF-8"> <meta name="viewport" content="width=device-width, initial-scale=1.0"> <title>Document< ...
分类：
Web程序 时间：
2020-05-21 21:13:52
阅读次数：
76
前面已经写过一个封装定位了，但是可能在yaml中书写的时候过于繁琐，以及如果代码基础较差的同学，也没有办法进行编写测试用例。就重新进行封装一次定位 页面元素写入yaml 上一篇写的yaml可能有点杂乱，这次我们换个写法 把一个页面上元素编写上去，这里没有写验证码的操作了。 # appium.yaml ...
分类：
移动开发 时间：
2020-05-21 19:26:56
阅读次数：
84
变量与数据类型主要内容标识符与关键字变量与常量数据类型类型转换转义字符与进制问题第一节关键字和标识符1.编程规范?任何地方的名字都需要见名知意；?代码适当缩进?书写过程成对编程?对代码进行合理注释2.关键字2.1、定义是被系统征用的特殊单词(标识符)，而且是被广大程序员所认知的。2.2、特点全部小写2.3、注意事项A:goto和const作为保留字存在。B:类似于Notepad++这样的高级记事本
分类：
其他好文 时间：
2020-05-21 10:15:12
阅读次数：
546
OO第三单元总结 规格JML和社交关系系统 一、JML语言概况 1.1 理论基础 JML是一种形式化面向JAVA的行为接口规格语言 作用 1. 开展规格化设计与测试。将逻辑严格的规格交给代码实现人员。 2. 针对已有的代码实现，书写其对应的规格，从而提高代码的可维护性。 JML语法 JML表达式 \ ...
分类：
其他好文 时间：
2020-05-21 09:23:52
阅读次数：
63
什么是jQuery jQuery内部封装了原生的js代码(还额外添加了很多的功能)能够让你通过书写更少的代码 完成js操作 类似于python里面的模块 在前端模块不叫模块 叫 “类库” jQuery的优点 兼容多个浏览器的 你在使用jQuery的时候就不需要考虑浏览器兼容问题更少的代码完成更多的事 ...
分类：
Web程序 时间：
2020-05-19 20:39:23
阅读次数：
69
""" jQuery内部封装了原生的js代码(还额外添加了很多的功能) 能够让你通过书写更少的代码 完成js操作 类似于python里面的模块 在前端模块不叫模块 叫 “类库” 兼容多个浏览器的 你在使用jQuery的时候就不需要考虑浏览器兼容问题 jQuery的宗旨 write less do m ...
分类：
Web程序 时间：
2020-05-19 18:10:19
阅读次数：
72
以前对于java8 的lambda使用过，就是用在了spring JdbcTemplate 的一些数据库dml操作方法上，但是并不会自己书写一个，今天学习了下，还是很好理解的。 第一步、我们建立一个接口，并且书写一个抽象方法 这里要特别注意，想用lambda表达式方式书写，这里一定只能书写一个抽象方 ...
分类：
其他好文 时间：
2020-05-19 11:03:03
阅读次数：
79
一、变量的书名及书写规范 1.1、js变量的命名规范 1.要求以数字、字母、下划线、$组成 2.建议使用驼峰体 3.不嫩使用关键字命名 1.2、js代码的书写位置 1.单独开设js文件书写 2.在浏览器上书写 浏览器上的清空键，只能清空显示页面，不能清空代码，需要重新开一个新页面 二、数据类型 js ...
分类：
Web程序 时间：
2020-05-18 00:26:56
阅读次数：
68
