datetime模块1. 简介2. date类3. time类4. datetime类5. timedelta类5.1 数学计算的类date datetime timedelta5.2 时间变化量的计算会产生进位，即会影响到上一级的时间5.3 timedelta与date/datetime/time ...
分类：
其他好文 时间：
2020-05-23 00:15:22
阅读次数：
65
JML语言的理论基础、应用工具链情况 JML 是用于 Java 的规格描述语言。我们使用 JML 来描述 Java 模块的行为，避免了对设计者意图的歧义。JML 的规格可以写到注释或者单独的文件中，所以带有 JML 规格的文件可以直接使用 Java 编译器来编译，而无需做出修改。 OpenJML 是 ...
分类：
其他好文 时间：
2020-05-22 19:07:48
阅读次数：
53
1 maven archetype quickstart 1.1 IDEA中的前期准备 1.2 自动构建后 ↓pom.xml↓ 2 maven archetype webapp 2.1 IDEA中的前期准备 2.2 自动构建后 ↓pom.xml↓ ...
分类：
移动开发 时间：
2020-05-22 09:53:01
阅读次数：
71
1 重点： 1.1 多维度排序 thenComparing（详见实战案例） 1.2 Comparator.reverseOrder()的应用 2 排序demo 排序demo需求： 股票撮合交易，优先按照价格高的排序，在按照时间早的，再按照交易量大的，在按照先机构后个人的方式 测试类： package ...
分类：
编程语言 时间：
2020-05-21 19:01:49
阅读次数：
52
https://www.clariontech.com/blog/why-should-you-use-xunit-a-unit-testing-framework-for-.net Why Should You Use xUnit? A Unit Testing Framework For .Ne ...
分类：
Web程序 时间：
2020-05-21 11:50:07
阅读次数：
84
1.计算1到4的和 1 def main(args: Array[String]): Unit = { 2 3 val total = sum(1,2,3,4) 4 println(total) 5 6 } 7 8 def sum(args: Int*) = { 9 var result = 0 1 ...
分类：
其他好文 时间：
2020-05-21 10:17:21
阅读次数：
130
api代码示例入下 object DataFrameCase { def main(args: Array[String]): Unit = { val sparksession = SparkSession.builder().appName("DataFrameCase").master("lo ...
今天学习了单向链表的实现，记录一下，方便以后查看~ import util.control.Breaks._ object SingleLinkedListDemo { def main(args: Array[String]): Unit = { //创建和遍历 val singleLinkedL ...
分类：
其他好文 时间：
2020-05-19 23:10:25
阅读次数：
74
Description You are trapped in a 3D dungeon and need to find the quickest way out! The dungeon is composed of unit cubes which may or may not be fille ...
分类：
其他好文 时间：
2020-05-18 20:55:26
阅读次数：
60
