第一部分：JML小结 一、入门关键字小结 1.引导词： requires ：接下来部分的入口要求 assignable ：在该程序中可修改的变量 ensures ：后面是对该函数运行结束后的要求 also exception_behavior ：接下来是出现异常的处理部分 signals ： 对应抛 ...
分类：
其他 时间：
2019-05-22 15:46:29
收藏：
0 评论：
0 赞：
0 阅读：
76
环境 系统: Ubuntu 16.04 IP: 192.168.244.144 数据库：mysql 版本大于等于 5.6 mariadb 版本大于等于 5.5.6 环境 系统: Ubuntu 16.04 IP: 192.168.244.144 数据库：mysql 版本大于等于 5.6 mariadb ...
分类：
系统服务 时间：
2019-05-22 15:46:11
收藏：
0 评论：
0 赞：
0 阅读：
134
一、enablePullDownRefresh 1、下拉刷新enablePullDownRefresh的支持 单页面配置json文件 app.json配置（所有页面都带有下拉刷新功能） 2、设置backgroundTextStyle 大家会发现别人的小程序下拉刷新是有三个点闪烁的动画、自己设置的并没 ...
分类：
微信 时间：
2019-05-22 15:45:57
收藏：
0 评论：
0 赞：
0 阅读：
902
Python操作redis python连接方式：点击 下面介绍详细使用 1、String 操作 redis中的String在在内存中按照一个name对应一个value来存储 set() 按 Ctrl+C 复制代码 #在Redis中设置值，默认不存在则创建，存在则修改r.set('name', 'z ...
分类：
编程语言 时间：
2019-05-22 15:45:26
收藏：
0 评论：
0 赞：
0 阅读：
50
1JML梳理 1.1理论基础 JML表达式 \result表达式：方法执行后的返回值。 \old( expr )表达式：用来表示一个表达式expr 在相应方法执行前的取值。 \forall表达式：全称量词修饰的表达式，表示对于给定范围内的元素，每个元素都满足相应的约束。 \exists表达式：存在量 ...
分类：
其他 时间：
2019-05-22 15:44:48
收藏：
0 评论：
0 赞：
0 阅读：
97
vue提供的混入对象mixin,类似于一个公共的组件,其他任何组件都可以使用它.我更经常的是把它当成一个公共方法来使用 在项目中有些多次使用的data数据,method方法,或者自定义的vue指令都可以放到mixin中,引入到各自的组件就可以使用,非常方便.这里写一下局部的混入组件使用,不建议在项目 ...
分类：
其他 时间：
2019-05-22 15:44:21
收藏：
0 评论：
0 赞：
0 阅读：
100
今天看到spring的自动装配组件，照着书上的敲了下来报错了 代码： 接口 public interface CompactDisc { 然后执行测试类，错误 Error creating bean with name 'org.springframework.context.annotation. ...
分类：
移动平台 时间：
2019-05-22 15:44:06
收藏：
0 评论：
0 赞：
0 阅读：
408
1、类的修饰符分为：可访问控制符和非访问控制符两种。 可访问控制符是：公共类修饰符 public非访问控制符有：抽象类修饰符 abstract ；最终类修饰符 final1 ）公共类修饰符 public ： Java 语言中类的可访问控制符只有一个： public 即公共的。每个 Java 程序的主 ...
分类：
编程语言 时间：
2019-05-22 15:43:06
收藏：
0 评论：
0 赞：
0 阅读：
74
all global about position and hall? 1. ms_HallSensor Emios_cfg.c, Emios_CfgHallA1A2CaptureInt() Bswif.c -->Sci_Call_HallSensor_Edge_A_1() SensorHall.c ...
分类：
其他 时间：
2019-05-22 15:42:30
收藏：
0 评论：
0 赞：
0 阅读：
121
非常实用，非常简单的例子，结果都在图片里 <html> ...
分类：
其他 时间：
2019-05-22 15:42:03
收藏：
0 评论：
0 赞：
0 阅读：
84
站在巨人的肩膀上 https://blog.csdn.net/liaoxiaohua1981/article/details/6862466 聚集元素用来处理“一对多”的关系。需要指定映射的Java实体类的属性，属性的javaType（一般为ArrayList）；列表中对象的类型ofType（Jav ...
分类：
其他 时间：
2019-05-22 15:41:23
收藏：
0 评论：
0 赞：
0 阅读：
391
转自: https://www.jianshu.com/p/d8eeb31bee5c 前言 在java.util.concurrent.locks包中有很多Lock的实现类，常用的有ReentrantLock、ReadWriteLock（实现类ReentrantReadWriteLock），内部实现 ...
分类：
其他 时间：
2019-05-22 15:40:59
收藏：
0 评论：
0 赞：
0 阅读：
97
使用 application/x-www-form-urlencoded 格式化 默认情况下，axios串联js对象为 JSON 格式。为了发送 application/x-wwww-form-urlencoded格式数据， 你可以使用一下的设置。 浏览器 Browser 在浏览器中你可以如下使用 ...
分类：
移动平台 时间：
2019-05-22 15:40:44
收藏：
0 评论：
0 赞：
0 阅读：
133
MVVMLight框架入门(一)到(四)：https://www.cnblogs.com/manupstairs/p/4890300.html ...
分类：
Windows开发 时间：
2019-05-22 15:40:17
收藏：
0 评论：
0 赞：
0 阅读：
233
参考资料：CKEditor添加Video视频插件 HTML5 video 记得配置插件以及上传地址,不知道哪一个是上传视频的地址参数，我也没有试，因为我有上传图片的功能，所以这三个参数我都设置了。 API接口直接返回图片或者视频地址即可 ...
分类：
Web开发 时间：
2019-05-22 15:39:08
收藏：
0 评论：
0 赞：
0 阅读：
193
...
分类：
其他 时间：
2019-05-22 15:38:53
收藏：
0 评论：
0 赞：
0 阅读：
82
废话少说，直接建项目上代码 先建一个springboot web项目或者模块，目录结构如下 在pom.xml中自行加入需要的依赖，application.properties的配置如下 实体类User.java UserMapper.xml中 使用foreach接收list参数 使用foreach批 ...
分类：
编程语言 时间：
2019-05-22 15:38:39
收藏：
0 评论：
0 赞：
0 阅读：
124
1.加入JAR包。出了Spring自身的Jar包还要一些依赖的JAR包。不然会报ClassNotFound。 Student.java package com.lubby.bean; import org.springframework.stereotype.Component; @Componen ...
分类：
编程语言 时间：
2019-05-22 15:38:12
收藏：
0 评论：
0 赞：
0 阅读：
125
使用xpath解析指定节点数据，适用多层子节点遍历 1.依赖的jar包 2.示例xml 3.读取xml 打印如下： ...
分类：
其他 时间：
2019-05-22 15:37:43
收藏：
0 评论：
0 赞：
0 阅读：
86
刚开始写代码，一些遇到的问题和自己整理的小帖子。 1.数据类型转换 as.character(x) 转为字符型 as.complex(x) as.numeric(x) 或者 as.double(x) as.integer(x) 转为整数值 as.logical(x) 转为逻辑值（TURE ,FALS ...
分类：
其他 时间：
2019-05-22 15:37:24
收藏：
0 评论：
0 赞：
0 阅读：
92
