OO第三单元总结 一、JML介绍及工具链 （一）JML理论 The Java Modeling Language (JML)是一种行为接口规范语言，可用于指定Java模块行为。使用JML可以对Java程序模块的行为进行准确和明确的描述，也允许人们不仅记录公共接口和行为，也记录一些详细的决策细节。 J ...
分类：
其他好文 时间：
2020-05-23 12:54:03
阅读次数：
42
relinquish vt. 1. VERB If you relinquish something such as power or control, you give it up. intergalactic adj. 1. ADJ Intergalatic space travel is tr ...
分类：
其他好文 时间：
2020-05-21 19:14:22
阅读次数：
63
我在本地使用@InjectMocks注入依赖时发现@InjectMocks并不能将“被注入类”中所有“被Mook的类”都用“Mook的类”的替换掉，注入的方式似乎没有规则，目前测试结果如下： @InjectMocks只会注入给一个成员变量，只注入一次。优先级从大到小：没有创建对象的成员变量(无论申明 ...
分类：
其他好文 时间：
2020-05-21 12:02:07
阅读次数：
236
pipeline 分为脚本式和声明式，相比于脚本式声明式更主流更强大一些。pipeline 自身有语法语句外还支持groovy 语法，groovy 是一个类似java 语言，更简洁，有各种数据结构，函数，流程控制语句以供使用。 Jenkins是使用Java实现的，所以在很早的时候就引入了groovy ...
分类：
其他好文 时间：
2020-05-20 15:53:39
阅读次数：
86
In this lesson, we build a little app that fetches dog photos from the dog.ceo API, based on a "breed" search field. We want the API call to happen ag ...
（如果你不知道这些出锅了的技巧那就当我没说） 这个奇淫技巧在某些测评姬上可能re （通过this==0判断是否为“空”的结构体） ...
分类：
其他好文 时间：
2020-05-14 01:23:56
阅读次数：
53
1.下面的代码能通过编译吗？如果能，有什么潜在的问题？ #include <stdio.h>void main(){ char* ptr = (char*)malloc(10); if(NULL == ptr){ printf("\n malloc failed\n"); return; }else ...
分类：
编程语言 时间：
2020-05-13 23:21:23
阅读次数：
64
什么是D Bus？ D Bus是一种消息总线系统，用于两个应用之间的通信。 对于进程间通信，D Bus也可以管理应用的生命周期， Qt D Bus D Bus是一种linux下进程间通信（IPC）和远程方法调用（RPC）机制，使用统一的通信方式来取代linux下多种IPC竞争状态。 它既可以进行系统 ...
分类：
数据库 时间：
2020-05-12 09:16:38
阅读次数：
96
//父类 class Person{ constructor(name) { this.name = name } eat(){ console.log(`${this.name} eat something`) } } //子类 class Student extends Person{ cons ...
分类：
Web程序 时间：
2020-05-04 13:11:21
阅读次数：
81
事务如何书写 参考文档： https://learnku.com/articles/40908 ...
分类：
其他好文 时间：
2020-04-30 15:50:15
阅读次数：
140
