面向对象JML系列作业总结 一.综述 本单元作业,由简到难地迭代式实现了三种JML需求,主要学习了面向规格的编程方法. 第一次:实现Path类和PathContainer类 第二次:继承PathContainer类实现Graph类 第三次:继承Graph类实现RailwaySystem类 前两次作业的难度较低,最后一次作业在算法构造方面有难度,但总体来说,这三次作业在考察读懂规格,实现规格的功能方面难度较低. 二.JML语言理论基础.应用工具链 (一) JML语法总结 参考https://blo…

OO_JAVA_JML系列作业_单元总结 (1)梳理JML语言的理论基础.应用工具链情况 简单梳理 以下三者是jml规格里的核心,对一个方法功能和属性的限制: requires子句:规定方法的前置条件(precondition): assignable子句:方法的副作用范围限定: ensures子句:规定方法的后置条件(post condition). 简单运用 采用OpenJML工具check第一次JML官方开源库代码得到如下结果: 对比第一次和第二次JML规格官方源码: 第一次: /*@ p…

javascript是一种基于对象的语言,但它没有类的概念,所以又和实际面向对象的语言有区别,面向对象是javascript中的难点之一.现在就我所理解的总结一下,便于以后复习: 一.创建对象 1.创建自定义对象最简单的方式就是创建Object的实例,并在为其添加属性和方法,如下所示: var cat = new Object(); //以猫咪为对象,添加两个属性分别为猫咪姓名和猫咪花色,并添加一个方法,说出猫咪的姓名 cat.name = "cc"; cat.color = &quo…

一.选择题 1.使用权限修饰符(B)修饰的类的成员变量和成员方法,可以被当前包中所有类访问,也可以被它的子类(同一个包以及不同包中的子类)访问.(选择一项) Apublic B.protected C.默认 D.private private私有属性  只有自己能够使用 defult 默认属性 同包类,同一包的方法,类可以使用 protected 受保护的 同一个包的还有不同包的子类访问 public 公开属性 所有的包和类都可以访问 2.以下关于继承条件下构造方法执行过程的代码的执行结果是(…

Github链接 在看完这次的作业要求后我整个人是混乱的,因为作业要求把不同的函数放在一个main函数中:我们之前也是进行了函数分离,但是是放在了不同的文件中.如果要改的话相当于重写(而且这两种形式其实也都是在调用函数),绝不是星期日一个小时就能做完的,所以我和助教聊了一下: 在得到助教的回答后我又重新看了一遍代码,发现我们之前写的代码功能都混在一起了,没有办法完全分离成不同的函数,所以还是要重构.... 作业感想 虽然代码达到了要求,但是我还是不太了解到底什么是模块化,所以我又上网查了一下,看…

原 js面向对象编程:数据的缓存 原 js面向对象编程:如何检测对象类型 原 js面向对象编程:if中可以使用那些作为判断条件呢? 原 js面向对象编程:this到底代表什么?第二篇 原 js面向对象编程:命名空间 原 js面向对象编程:如何定义常量? 原 js面向对象编程:如何实现方法重载 原 js面向对象编程:两个小括号的使用 原 js面向对象编程:this到底代表什么? 原 js面向对象编程,如何定义属性字段? 原 js面向对象编程: js类定义函数时prototype和this区别? 原…

第五次作业:多线程电梯调度 设计策略 ​ 在本次电梯作业当中,我构造了一个电梯请求队列线程,一个调度器线程,三个电梯线程,一个文件输出线程,还有主线程. ​ 调度器扫描用户的请求队列,将每个队列分配给符合要求的电梯,每个电梯有自己的请求队列,电梯根据自己的请求队列来改变自身状态. ​ 同步控制主要包含两个点:用户请求队列会被调度器和请求队列输入线程操作,需要进行同步控制,电梯内部的运行队列也会被电梯本身和调度器操作,也需要进行同步控制. ​ 同步控制上,我用了synchronized关键词和wa…

1.编写一个完整的程序,实现功能:向用户提问“现在正在下雨吗?”,提示用户输入Y或N.若输入为Y,显示“现在正在下雨.”:若输入为N,显示“现在没有下雨”:否则继续提问“现在正在下雨吗?” #include<iostream> #include<string> using namespace std; int main() { string input; //用户输入的是一个字符串,要用cin接收一行的输入 ) { //永远执行此循环 cout << "现在正…

(2019年2月19日注:Matlab这门课是在我大四上学期经历的,那时候开这篇文章是为了记录学习Matlab的时候遇到的坑,所以将所有的作业题合并到一篇文章中) 1.创建一个10*10的矩阵,矩阵所有对角元素为1,其余元素为10~20之间(包括10和20)的均匀分布随机数,并得出该矩阵中大于13且小于18的元素个数,同时求得这些元素的平均数. A=unifrnd(10,20,10,10); % 产生一个10*10的由10到20均匀分布的矩阵 % eye()产生了一个单位对角矩阵 % logic…

class Foo: def __getitem__(self, item): print('=====>get') return self.__dict__[item] def __setitem__(self, key, value): self.__dict__[key] = value # setattr(self,key,value) def __delitem__(self, key): self.__dict__.pop(key) f = Foo() f.x = 1 print(f…