OO第三单元总结 JML语言及工具链 JML是什么? 根据我的理解,JML是一种严谨的规定,以方便需求方和实现方的沟通。需求方只需要给实现者定好JML规格,实现者就可以照着JML规格的要求写程序了。 JML规格有许多等级,包括Level 0, 1, 2, 3, C, X。我们在课程中学的是JML L ...
分类:
其他好文 时间:
2020-05-23 11:24:17
阅读次数:
59
一、日志 1、配置日志级别 日志记录器(Logger)的行为是分等级的。如下表所示: 分为:OFF、FATAL、ERROR、WARN、INFO、DEBUG、ALL 默认情况下,spring boot从控制台打印出来的日志级别只有INFO及以上级别,可以配置日志级别 这种方式只能将日志打印在控制台上 ...
分类:
编程语言 时间:
2020-05-22 21:12:29
阅读次数:
69
标签等级 + 块级元素 1. 霸占一行,不能与其他任何元素并列。 2. 能接受宽高,如果不设置宽度,那么宽度将默认变为父级的100%。 + 行级元素 1. 与其他行内元素并排 2. 不能设置宽高,默认的宽度就是文字的宽度。 + 行级元素与块级元素的转换 1. display:inline将块级元素设 ...
分类:
Web程序 时间:
2020-05-22 17:35:29
阅读次数:
103
众所周知,在设定了隔离等级为 及以上时, 可以实现数据的 一致性读 。换句话来说,就是事务执行的任意时刻,读取到的数据是同一个快照,不会受到其他事务的更新影响。 以前一直以为在事务内读到的数据不会受其他事务影响,后来发现只有普通的 语句才是一致性读。如果是 等语句是 当前读 ,读的是数据库最新数据, ...
分类:
数据库 时间:
2020-05-22 16:47:27
阅读次数:
54
log4j定义了8个级别的log(除去OFF和ALL,可以说分为6个级别),优先级从高到低依次为:OFF、FATAL、ERROR、WARN、INFO、DEBUG、TRACE、 ALL。 ALL 最低等级的,用于打开所有日志记录。 TRACE designates finer-grained info ...
分类:
其他好文 时间:
2020-05-21 19:48:37
阅读次数:
65
'''logging:日志模块(有时间,可以设置级别) logging模块将日志分为了五个等级:CRITICAL > ERROR > WARNING > INFO > DEBUG DEBUG:调试信息,通常在诊断问题的时候用得着; INFO:普通信息,确认程序安装预期运行; WARNING:警告信息 ...
分类:
其他好文 时间:
2020-05-21 00:34:01
阅读次数:
60
DVWA是有等级区分的,所以做题之前要先看看等级是否修改,要不然就一直impossible 级别 Vulnerability: Brute Force 下面的网址有密码字典,用来load https://github.com/arthur0081/Blasting_dictionary/blob/m ...
分类:
其他好文 时间:
2020-05-19 18:44:38
阅读次数:
59
题目大意:你有$n$张卡牌,你的桌面上最多只可容纳$k$张卡牌,每一张卡牌放到桌面上时有一个初始的等级$a_i$,并且在放到桌面上的时刻会给所有当前桌面上除该卡牌之外所有的卡牌等级全部加上$b_i$,中途你可以销毁桌上的一些卡牌,求任意一种方案使得最后桌上所有卡牌的等级之和最大。多组数据。$T\te ...
分类:
其他好文 时间:
2020-05-19 01:19:18
阅读次数:
79
Banana PI BPI-M3硬件:1Ghz ARM7 8核处理器,2GB LPDDR3内存,千兆以太网口,2 USB 接口 流畅运行Android5.1。Banana PI BPI-M3体积如信用卡大小,与BPI-M1+尺寸一样,但接口有不同,轻松运行《雷神之锤三:竞技场》这样的游戏,支持2K高清视频输出,GPIO兼容Raspberry PiB+并能运行其ROM Image。
分类:
其他好文 时间:
2020-05-19 00:33:58
阅读次数:
182
logging模块: import logging #日志级别:debug<info<warning<error<critical<NOTSET ,不设置等级默认是显示warning以上的级别 logging.debug("debug message") logging.info("info mes ...
分类:
编程语言 时间:
2020-05-18 22:51:45
阅读次数:
73