本单元是基于JML规格来实现对社交关系的模拟和查询，整体架构与设计都是官方给出。在实现过程中，我深感JML是一个非常适合开发的形式化规格语言。尤其对于团队项目的开发，用JML可以清晰规定每一部分的代码要求，程序员在实现时仅需思考在此基础上如何提升性能，而不用为架构设计发愁，体验极佳。 设计策略 由于 ...
分类：
其他好文 时间：
2021-06-02 15:07:31
阅读次数：
0
接口、内部类、异常[简单分类、异常体系结构、Error、Exception] ...
分类：
编程语言 时间：
2021-06-02 14:59:24
阅读次数：
0
An exception was thrown while activating Castle.Proxies.ProcedureAppServiceProxy.Autofac.Core.DependencyResolutionException: An exception was thrown w ...
分类：
其他好文 时间：
2021-06-02 14:54:19
阅读次数：
0
将打包apk重命名 android { //命令打包apk重命名 android.applicationVariants.all { variant -> variant.outputs.all { outputFileName = "YT-${variant.name}-${variant.ver ...
分类：
移动开发 时间：
2021-06-02 14:11:15
阅读次数：
0
model代码如下： @OneToMany(fetch=FetchType.EAGER, cascade = CascadeType.ALL) @Where(clause="isValid=1 and orderType=1") @JoinColumn(name = "orderUUID", ref ...
分类：
Web程序 时间：
2021-06-02 13:20:12
阅读次数：
0
1、定义一个执行器抽象类 public abstract class AbstractExecutor<T> { /** * 执行业务逻辑 */ public void doExecute(T t) { try { // 初始化 this.init(t); // 执行逻辑 this.process( ...
分类：
其他好文 时间：
2021-06-02 13:14:08
阅读次数：
0
此篇主要内容：1、代码逻辑（流程图呈现） 2、具体实现语句 3、脚本（脚本为完善后的） 一、分页逻辑图 2、语句分析与记录 3、脚本 using System; using System.Collections; using System.Collections.Generic; using Uni ...
分类：
其他好文 时间：
2021-06-02 10:37:57
阅读次数：
0
我们上传文件时，当文件比较大的时候，我们往往采用前端将大文件分割，分块多次上传给后端，全部上传成功再合并分块的方式上传。（这里仅介绍后端操作） import com.sundear.model.exception.ServiceException;import lombok.extern.slf4j ...
分类：
编程语言 时间：
2021-05-25 18:35:30
阅读次数：
0
UserInfoHolder --也可以换成user /** *用户登录 返回角色ABCF，根据角色判断可查看哪个页面 * *///@ACL@PostMapping("/userLogin")public BaseResponse userLogin(@RequestBody User user, ...
分类：
其他好文 时间：
2021-05-25 18:35:11
阅读次数：
0
获取mybatis的update行数，总是返回负数。后来在官网上找到原因，是由于defaultExecutorType的引起的，defaultExecutorType有三个执行器SIMPLE、REUSE和BATCH。其中BATCH可以批量更新操作缓存SQL以提高性能，但是有个缺陷就是无法获取upda ...
分类：
其他好文 时间：
2021-05-24 17:09:38
阅读次数：
0
