参考文章: https://www.jianshu.com/p/29b44e3b62ed 1 cd ~ 2 mv .itmstransporter/ .old_itmstransporter/ 备份原文件.itmstransporter/到.old_itmstransporter/ 3 rm -rf ...
分类：
移动开发 时间：
2020-06-02 13:27:54
阅读次数：
186
先向大家展示以下困扰了我好久的问题 C:\Users\caiya>pip install pipenv WARNING: pip is being invoked by an old script wrapper. This will fail in a future version of pip. ...
分类：
编程语言 时间：
2020-05-30 16:02:46
阅读次数：
794
JavaScript 字符串 字符串是存储字符（比如 "Bill Gates"）的变量。 字符串可以是引号中的任意文本。您可以使用单引号或双引号： 实例 var carname="Volvo XC60"; var carname='Volvo XC60'; 您可以在字符串中使用引号，只要不匹配包围字 ...
分类：
Web程序 时间：
2020-05-30 15:52:00
阅读次数：
103
Ubuntu系统安装软件时报以下错误： E: Sub-process /usr/bin/dpkg returned an error code (1) 解决： mv /var/lib/dpkg/info /var/lib/dpkg/info_old mkdir /var/lib/dpkg/info ...
分类：
系统相关 时间：
2020-05-28 20:06:50
阅读次数：
78
来自：https://www.cnblogs.com/qinmengjiao123-123/p/8325646.html Unicode规范中推荐的标记字节顺序的方法是BOM。BOM不是“Bill Of Material”的BOM表，而是Byte Order Mark。 1.什么是BOM？ BOM是 ...
分类：
其他好文 时间：
2020-05-28 13:34:19
阅读次数：
54
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
JML理论基础 表达式 | 含义 : : | : : \result | 返回值 \old() | 原值 \not_assigned() | 值为“括号中变量没有被赋值”的真值 \not_modified() | 值为“括号中变量值没有发生变化”的真值 \nonnullelements() | 括号 ...
分类：
其他好文 时间：
2020-05-23 10:00:49
阅读次数：
54
一、梳理JML语言的理论基础、应用工具链情况 理论基础 定义： JML是用于对Java程序进行规格化设计的一种表示语言 JML基础 关键字解释举例 \result 方法执行后的返回值 \result = p1.getId() == p2.getId(); \old(expr) 相应方法执行前的取值 ...
分类：
其他好文 时间：
2020-05-21 16:20:01
阅读次数：
52
