中间件真面目 关于ASP.NET Core中间件是啥，简单一句话描述就是：用来处理HTTP请求和响应的一段逻辑，并且可以决定是否把请求传递到 中的下一个中间件！ 上面只是概念上的一种文字描述，那问题来了，中间件在程序中到底是个啥:question: 一切还是从 说起，没错，就是大家熟悉的 类里面那个 ...
分类：
Web程序 时间：
2020-05-23 23:04:20
阅读次数：
88
OO第三单元总结 一、 JML语言的理论基础及应用工具链 （1）JML语言理论基础 1.原子表达式： \result表示非void类型的方法执行所获得的结果，即方法执行后的返回值。 \old(expr)用来表示一个表达式 expr 在相应方法执行前的取值。 \not_assigned(x,y,... ...
分类：
其他好文 时间：
2020-05-23 20:30:19
阅读次数：
59
JML 规格设计 JML语法 1. 一些语法的细节： jml断言中，不能使用++， ，+=等操作符 \old(expr) 仅表示一个java对象expr的引用是否在操作前后变化，而不能查看成员变量是否改变 \not_assigned(x, y) 表达式，用来表示变量是否被赋值，而\not_modif ...
分类：
其他好文 时间：
2020-05-23 13:28:33
阅读次数：
54
1.JML语法基础与工具 （1）JML表达式 JML的表达式是对Java表达式的扩展，新增了一些操作符和原子表达式。同样JML表达式中的操作符也有优先级的概念。 1 原子表达式 \result表达式：表示一个非void类型的方法执行所获得的结果，即方法执行后的返回值。 \old(expr)表达式：用 ...
分类：
其他好文 时间：
2020-05-23 13:26:34
阅读次数：
44
#!/bin/bash for((i=1;i<=100;i++)); do echo $(expr $i \* 3 + 1); done #!/bin/bash for i in $(seq 1 100) do echo $(expr $i \* 3 + 1); done #!/bin/bash f ...
分类：
系统相关 时间：
2020-05-21 19:31:55
阅读次数：
113
expr命令 最初,Bourne shell提供一种专有命令来计算数学等式.expr命令允许处理命令行中的灯饰,但是很笨拙: expr 1+5 expr命令能够区分一些不同的数学操作符和字符串操作符 在脚本或命令行中使用标准操作符会出现问题,尽管在expr命令中他们可以正常运行.shell中许多ex ...
分类：
系统相关 时间：
2020-05-21 19:10:49
阅读次数：
88
一、梳理JML语言的理论基础、应用工具链情况 理论基础 定义： JML是用于对Java程序进行规格化设计的一种表示语言 JML基础 关键字解释举例 \result 方法执行后的返回值 \result = p1.getId() == p2.getId(); \old(expr) 相应方法执行前的取值 ...
分类：
其他好文 时间：
2020-05-21 16:20:01
阅读次数：
52
P1 JML语言理论基础 JML详细基础教程：https://blog.csdn.net/weixin_41412192/article/details/89527142 + 原子表达式 ：表示非void类型方法返回结果 ：表示相应方法执行前expr的取值，换言之，直接引用expr均表示方法执行完后 ...
分类：
其他好文 时间：
2020-05-21 16:18:03
阅读次数：
43
http://qinghua.github.io/ddd/#%E8%81%9A%E5%90%88%EF%BC%88Aggregate%EF%BC%89 聚合就是一组应该呆在一起的对象，聚合根（Aggregate Root）就是聚合在一起的基础，并提供对这个聚合的操作。聚合除了聚合根以外，还有自己的边 ...
分类：
其他好文 时间：
2020-05-21 14:47:56
阅读次数：
159
