一、总结分析自己实现规格要求所采取的设计策略 首先分析要抛出哪些异常情况，把异常情况都抛完了再处理正常情况。 先通过JML读懂这个函数要实现什么功能，然后考虑有没有时间复杂度更优的实现方法。 二、基于JML规格来设计测试的方法和策略 JUnit：JUnit是一个开放源代码的Java测试框架，用于编写 ...
分类：
其他好文 时间：
2021-06-02 19:10:46
阅读次数：
0
Java BlockingQueue接口java.util.concurrent.BlockingQueue表示一个可以存取元素，并且线程安全的队列。换句话说，当多线程同时从 JavaBlockingQueue中插入元素、获取元素的时候，不会导致任何并发问题（元素被插入多次、处理多次等问题）。 从j ...
分类：
编程语言 时间：
2021-06-02 18:20:11
阅读次数：
0
if (this->qObjVector.size()==0) { ESMessageBox msgBox; msgBox.AutoSetSize(320, 180); msgBox.setText(tr(u8"图元未连接，请用箭头连接图元后保存!")); msgBox.exec(); return ...
分类：
其他好文 时间：
2021-06-02 18:09:19
阅读次数：
0
先在home控制器写个行为： 1. 直接写在方法里 缺点： 尽在对应的方法里，这个控制器 2. 使用异常处理控制器，并在配置文件. 实现全局的效果。 第一步：先定义个 异常处理控制器。 标注红色的 代码，是实现过程中，必须要写的代码 。 否则 跳转不成功。 第二步： 在配置文件中，添加节点 。 cu ...
分类：
其他好文 时间：
2021-06-02 18:06:01
阅读次数：
0
(1)List自带的排序方法 int可以自动排序，这是因为int 里面实现了排序的接口 默认是升序 （2）自定义类的排序 像下面这样写会报错，因为处理异常 如果要实现排序，需要实现排序接口： (3)通过委托函数进行排序 还可以使用匿名函数 ****************************** ...
分类：
编程语言 时间：
2021-06-02 17:38:55
阅读次数：
0
一、实现规格所采取的设计策略 这一部分基本上都由JML语言给出了程序设计的规格，所以也没啥特别需要交代的。总体上来说，我在编写代码时大致分为这几个步骤： 1.先阅读官方包中所有接口和抽象异常类的定义，关注于整个程序的代码架构并从OO角度理解该类需要实现什么； 2.然后再是较仔细地阅读所有类的JML语 ...
分类：
其他好文 时间：
2021-06-02 17:13:11
阅读次数：
0
1、异常简介 异常就是有异于常态，和正常情况不一样，有错误产生。在Java中，阻止当前方法或作用域的情况，称之为异常。Java中所有的异常类都继承自Throwable类。 Thowable类是Java语言中所有错误或异常的超类。只有当对象是此类(或其子类之一)的实例时，才能通过Java虚拟机或者Ja ...
分类：
编程语言 时间：
2021-06-02 17:08:00
阅读次数：
0
北航oo第三单元总结 基于JML设计总结 JML主要由方法规格和类型规格组成。 方法规格包括前置条件、后置条件和副作用范围的限定。前置条件可以用来区分该方法不同的行为（正常或异常），后置条件就是这个方法执行完后的结果，副作用范围限定规定了这个方法运行的过程中哪些元素可以被改变。 类型规格分为不变式和 ...
分类：
其他好文 时间：
2021-06-02 15:13:27
阅读次数：
0
相同点 😃 new/delete 和 malloc/free 都可以动态分配内存和释放内存 delete 和 free 都不能重复释放内存 delete 和 free 都可以释放空指针 不同点 1、new/delete 是C++的运算符，编译时需要加参数，malloc/free 是C语言中的函数， ...
分类：
其他好文 时间：
2021-06-02 15:04:08
阅读次数：
0
接口、内部类、异常[简单分类、异常体系结构、Error、Exception] ...
分类：
编程语言 时间：
2021-06-02 14:59:24
阅读次数：
0
