JML语言的理论基础、应用工具链 JML语言 JML是一种面向JAVA，形式化的行为接口规格语言。 JML表达式 原子表达式 ：方法执行后的返回值 ：一个表达式 在相应方法执行前的取值 ：返回 表示括号中的变量在方法执行过程中没有被赋值， 则表示被赋值 ：限制括号中的变量在方法执行期间取值不发生变化 ...
分类：
其他好文 时间：
2020-05-23 20:25:38
阅读次数：
59
JML 规格设计 JML语法 1. 一些语法的细节： jml断言中，不能使用++， ，+=等操作符 \old(expr) 仅表示一个java对象expr的引用是否在操作前后变化，而不能查看成员变量是否改变 \not_assigned(x, y) 表达式，用来表示变量是否被赋值，而\not_modif ...
分类：
其他好文 时间：
2020-05-23 13:28:33
阅读次数：
54
JML理论基础 表达式 | 含义 : : | : : \result | 返回值 \old() | 原值 \not_assigned() | 值为“括号中变量没有被赋值”的真值 \not_modified() | 值为“括号中变量值没有发生变化”的真值 \nonnullelements() | 括号 ...
分类：
其他好文 时间：
2020-05-23 10:00:49
阅读次数：
54
Given a non-empty tree with root R, and with weight W?i?? assigned to each tree node T?i??. The weight of a path from R to L is defined to be the sum ...
分类：
其他好文 时间：
2020-05-07 23:06:39
阅读次数：
102
今天在做好友请求删除 接受的时候，能显示好友列表，后端逻辑都正常，但点删除按钮，就是出现上述错误。 1. 先百度了，字面意思，id 保存前要先初始化。【我这都已经存在这个Id了，况且点的是删除按钮。】 2. 然后我开始排查，检查前端代码，传参，请求url都能对上，所覆盖的innerHTML 也正确， ...
分类：
其他好文 时间：
2020-04-14 18:59:52
阅读次数：
80
快速吸收这些知识，然后进行思考整合记忆。然后学习更高阶的知识，不断升级。 Basics of Computer Networking ： 也就是连接到网络中的系统。可以进行通信。 ： 没有连接到网络中的系统。不可以进行通信。 ： 在中文中， 意思是 ，也就是网络设备之间的排列方式。有星型的排列方式、 ...
分类：
Web程序 时间：
2020-04-07 16:54:40
阅读次数：
80
Inhabitants of the Wonderland have decided to hold a regional programming contest. The Judging Committee has volunteered and has promised to organize ...
分类：
其他好文 时间：
2020-04-06 10:14:07
阅读次数：
91
题目如下： There are n soldiers standing in a line. Each soldier is assigned a unique rating value. You have to form a team of 3 soldiers amongst them unde ...
分类：
其他好文 时间：
2020-04-04 14:39:27
阅读次数：
69
1 procedure TForm1.BitBtn1Click(Sender: TObject); 2 var REP : IExcelPanelXDisp; 3 modulePath:string; 4 begin 5 REP := this.NewEPX; 6 REP.AddAValue(ADO ...
分类：
其他好文 时间：
2020-03-12 14:17:50
阅读次数：
50
CRM C4C 这个Assigned To字段UI上显示的是party name, 然而绑定的字段是party ID。 原因是这个UI字段的presentationMode设为DescriptionOnly。 其实际显示的Description的值绑到了/Root/ProcessorFormatte ...
分类：
其他好文 时间：
2020-03-03 19:00:23
阅读次数：
84
