<center>OO第三单元总结博客<center> 李依隆20373457 目录 OO第三单元总结博客 JML与测试数据构造思路 jml学习和阅读心得 相关工具 测试数据构造思路 自动生成数据的思路 正确性评测的思路 算法性能分析和改进 架构和容器 算法分析
instanceof关键字和向上向下转型 public class Computer {//电脑 public static void main(String[] args) { Pad pad = new Pad(); HuaWeiPad huaWeiPad = new HuaWeiPad(); System.out.println("pad是否继承自电脑?"+(pad instanceof Computer));
BUAA OO Unit3` 总结 1 架构设计 1.1 Homework9 第九次作业训练目标是实现简单社交关系的模拟和查询。本次作业我一共实现了MyPerson、MyGroup、MyNetwork以及六个异常类。 MyPerson: 每一个由MyPerson类实例化的对象都是一个人,可以抽象为一个结点,有自己的name、age和独一无二的i
BUAA OO 第三单元总结 JML及数据构造: JML的理解 在本单元的学习中,我们认识了规划化的JML语言,它以类形式化的语言描述了接口的规格,能够有效消除自然语言的二义性。利用JML语言对方法的前置、后置条件进行约束,规定好作用范围等,来有效规定所要实现的规格。 数据构造 本单元数据构造较
获取Class对象 fun main(args: Array<String>) { val nums = ArrayList<Int>() println(nums::class) println(Person::class) val person = Person() println(person::class) } class Person 通过[对象/类]::class的格式获取到kotlin中的Class,实际为KClass
面向对象第三单元总结 fishlife 目录写在前面本单元关键词:图论复习与阅读理解分次作业分析第九次作业图模型构建与维护算法及性能分析测试bug情况第十次作业图模型构建与维护算法与性能分析测试bug情况第十一次作业图模型构建与维护算法及性能分
Kotlin调用Java 调用普通类 public class Person { private String name; private boolean married; private int age; public String getName() { return name; } public void setName(String name) { this.name = name; } public boolean isMarried()
一.自测数据 本次作业我采用的自测策略是根据JML规格中给出的边界条件自造数据进行自测。例如本单元第一次作业的IsCircle函数,可以通过建立复杂图的方式验证算法本身及细节是否正确;第二次作业的queryLeastConnection函数可通过建立含复杂最小生成树的图进行自测;第三次作业
定义普通类 fun main(args: Array<String>) { val person = Person("lisi") //不需要使用new关键字 println(person) //useranme:lisi,age:20 val person2 = Person("lisi", 23) println(person2) //useranme:lisi,age:23 } class Person cons
2022_OO第三单元总结 一、架构分析 1.hw9 基础架构和基本功能的搭建 hw9作为第三单元的第一次作业,基本上还是带我们熟悉jml的基础语法,搭建好整体的框架,实现一些基础功能,并在此基础上进行一些简单的优化。 基础架构 hw9中每个类的结构大致如下: //MyNetwork public class My
一、使用csv模块进行读写 1、通过writer和reader对象进行写和读操作 写操作 通过创建writer对象写入: 创建数据和表头 创建writer对象 写表头 遍历列表,将每一行数据写入 案例一(每次写入一行): import csv # 数据 person = [('xxx', 18, 193), ('yyy', 18, 182), (
注释规范 类注释 /// <summary> /// 老师类 /// </summary> public class Teacher {} 方法注释 /// <summary> /// 根据id查找人的名字 /// </summary> /// <param name="id">人的id</param> /// <returns>人的名字</returns> public strin
1. 架构设计 1.1 第一次作业 此次作业的架构比较简单,首先依据Person接口和JML规格来实现MyPerson,MyPerson类生成的每个对象都会有id(编号)、name(姓名)、character(性格)、age(年龄)、acquaintAndVaule(认识的Person和两人关系的权重)和circleFlag(所处的连通块编号)等属性,其中,因为id是独
「BUAA OO Unit 3 HW12」第三单元总结 目录「BUAA OO Unit 3 HW12」第三单元总结Part 0 前言Part 1 第九次作业1.1 作业要求1.2 JML入门1.3 自定义异常类与抛出try-catch1.4 连通块维护1.5 bug分析自己bug别人bug1.6 Tricks in HW9Part 2 第十次作业2.1 作业要求最小生成树2.3 bug
[定义]: golang的方法(Method)是一个带有receiver的函数Function,Receiver是一个特定的struct类型,当你将函数Function附加到该receiver, 这个方法Method就能获取该receiver的属性和其他方法。 [面向对象]: golang方法Method允许你在类型上定义函数,是一个面向对象的行为代码, 这也有一
SQLServer XML类型 SQL Server从2005起开始支持xml类型,这个数据类型对于后期的改变非常有用。一对多的关系在后期变成了多对多的关系,XML类型就是一个不错的选择。 1、创建测试数据 创建表 --创建表,包含Xml类型列 CREATE TABLE Person ( Id int
TS中常用的工具映射类型,让写TS时效率大大提升,避免无意义的重复性定义。 1.Omit 省略/剔除 顾名思义 可以剔除 已定义对象中 自己不需要的一部分形成新的定义类型。 interface UserObj { readonly name: string; // readonly 只读属性 只能初始化定义 不能二次赋值 age:
笔记来源:尚硅谷SpringData教程(springdata经典,spring data快速上手) 目录Repository 子接口1、Repository 子接口2、CrudRepository 接口3、PagingAndSortingRepository 接口4、JpaRepository 接口5、JpaSpecificationExecutor 接口6、自定义 Repository 方法总结 Repository 子
一、实现InitializingBean和DisposableBean接口中的方法可以观察Bean类的创建和销毁 xml中注入Bean: 测试方法: @Test public void fun6(){ System.out.println("begin!"); Person person = ioc.getBean("person", Person.class);
KVO实现原理 1 - 代码示例: // - Person.h 1 #import <Foundation/Foundation.h> 2 @interface Person : NSObject 3 4 @property(nonatomic,assign)int age; 5 6 @end // - Person.m 1 #import "Person.h" 2 @implementation Person 3 @synthesize age = _ag
java面向对象 1.类与对象的创建 1.1 类与对象的关系 类是一种抽象的数据类型,它是对某一类事物整体描述/定义,但是并不能代表某一个具体的事物 动物、植物、手机、电脑… Person类、Pet类、Car类等,这些类都是用来描述/定义某一类具体的事物应该具备的特点和行为 对象是抽
1、赋值 修改新对象原来的对象会发生改变(改变存储空间,联动改变) let person = { name: 'Tom', age: 12, hobby: ['音乐', '动漫'] } let copyObj = person; copyObj.name = '小明'; copyObj.hobby[0] = '看电视'
继承 struct Person { int age; int sex; }; struct Teacher { int age; int sex; int level; int classId; }; 如上代码中可以看见,Teacher类与Person类都存在着相同的2个成员age和sex,那么这就相当于重复编写了, 我们可以通过继承的方式避免这样重复的编写(当前类名称:要
“教育超市”是拼题 A 系统的一个衍生产品,发布了各种试卷和练习供用户选购。在试卷列表中,系统不仅列出了每份试卷的单价,还显示了当前的购买人次。本题就请你根据这些信息找出教育超市所有试卷中的销量(即购买人次)冠军和销售额冠军。 输入格式: 输入首先在第一行中给出一个正整数 N(≤
Autorelease调用时机 1 - 我们先看代码 ① 示例一:MRC模式 // - Person.m 1 #import "Person.h" 2 3 @implementation Person 4 5 -(void)dealloc{ 6 7 NSLog(@"person dealloc"); 8 [super dealloc]; 9 } 10 11 @end // - ViewController.m