北航oo第三单元总结 基于JML设计总结 JML主要由方法规格和类型规格组成。 方法规格包括前置条件、后置条件和副作用范围的限定。前置条件可以用来区分该方法不同的行为（正常或异常），后置条件就是这个方法执行完后的结果，副作用范围限定规定了这个方法运行的过程中哪些元素可以被改变。 类型规格分为不变式和 ...
分类：
其他好文 时间：
2021-06-02 15:13:27
阅读次数：
0
运行模拟器出错 上述错误是因为需要JAVA环境 JAVA 环境下载网址 https://www.oracle.com/java/technologies/javase-jdk16-downloads.html GUI Guider是恩智浦提供的基于开源LVGL图形库的一种用户友好的图形用户界面开发工 ...
分类：
编程语言 时间：
2021-06-02 15:09:51
阅读次数：
0
JSP简介 JSP全称是Java Server Pages，是一种动态网页技术，JSP其实就是在html中插入了java代码和JSP标签之后形成的文件，文件名以.jsp结尾。其实JSP就是一个servlet。在servlet中编写html比较痛苦，而写JSP就像在写html，但它相比html而言，h ...
分类：
Web程序 时间：
2021-06-02 15:00:25
阅读次数：
0
####需求，当符合条件1 修改 A表 或 新增 A表 oracle 写法 语法: merge into 目标表 a using 源表 b on(a.条件字段1=b.条件字段1 and a.条件字段2=b.条件字段2 ……) when matched then update set a.更新字段=b ...
分类：
数据库 时间：
2021-06-02 14:37:34
阅读次数：
0
Linux系统可以通过top命令查看系统的CPU、内存、运行时间、交换分区、执行的线程等信息。通过top命令可以有效的发现系统的缺陷出在哪里。是内存不够、CPU处理能力不够、IO读写过高。 回到顶部 一、top选项 使用语法：top -hv | -abcHimMsS -d delay -n iter ...
分类：
系统相关 时间：
2021-06-02 14:25:14
阅读次数：
0
--check dataguard status select process,status,group#,sequence# from v$managed_standby select * from v$archived_log order by thread#, sequence#; selec ...
分类：
数据库 时间：
2021-06-02 14:24:58
阅读次数：
0
--create directory create directory dump_dir as '/splex/dump'; grant read,write on directory dump_dir to public; --export full database schema expdp u ...
分类：
数据库 时间：
2021-06-02 14:24:07
阅读次数：
0
我这里的是dataguard环境,我尝试将从库删除进行重新配置，下面是报错个解决办法: [oracle@18c_single ~]$ dbca -silent -deleteDatabase -sourceDB ora18c[FATAL] [DBT-10201] Delete database op ...
分类：
其他好文 时间：
2021-06-02 14:09:20
阅读次数：
0
--序列查询 SELECT 序列名.CURRVAL FROM dual; SELECT 序列名.NEXTVAL FROM DUAL; --查询表字段 SELECT column_name FROM user_tab_columns where table_name = upper('表名'); -- ...
分类：
数据库 时间：
2021-06-02 14:09:03
阅读次数：
0
这个问题已经被老生常谈了，一共有2中方案，但是今天写内部类时，想到另一种方案，通过内部类实现停止类继承； 首先来回顾前两种方案： 1、C++11语法，final关键字 1 class A1{ 2 public: 3 A1(){}; 4 ~A1(){}; 5 }; 6 7 class B1 final ...
分类：
编程语言 时间：
2021-06-02 14:08:36
阅读次数：
0
