OO第三单元总结 1. JML基础梳理及工具链 1.1 注释结构 JML以javadoc注释的方式来表示规格， 每行都以@起头 行注释 的表示方式为 ； 块注释 的表示方式为 1.2 JML表达式 ? JML相对于Java新增的表达式成分仅用于JML中的断言(assertion)语句和其他相关的注释 ...
分类：
其他好文 时间：
2020-05-23 16:10:54
阅读次数：
38
assert 1 > 2,'1不大于2' 抛出异常：AssertionError: 1不大于2 if not 1 > 2: raise Exception('1不大于2') 抛出异常：Exception: 1不大于2 ...
分类：
编程语言 时间：
2020-05-23 13:28:17
阅读次数：
70
一、实践目标 本实践的具体要求有： (1).Web前端HTML(0.5分) 能正常安装、启停Apache。理解HTML，理解表单，理解GET与POST方法,编写一个含有表单的HTML。 (2).Web前端javascipt(0.5分) 理解JavaScript的基本功能，理解DOM。编写JavaSc ...
分类：
Web程序 时间：
2020-05-23 13:24:36
阅读次数：
50
Flutter 项目引入本地存储库出现如下问题 解决方案 将shared_preferences 版本换成0.5.3 并去掉版本号之前的^ 符号 不引用最新版本 ...
分类：
其他好文 时间：
2020-05-23 12:57:47
阅读次数：
262
JML单元总结 JML理论基础及应用工具链 理论基础 JML设计源自契约式设计的需要，我个人的理解是它是一种功能要求的表述，要求写程序的人按照这个要求去实现功能。 1.方法规格 前置条件： 后置条件： 副作用：放在 之后，表示需要被修改的对象属性及类静态变量 pure方法：使用 ，表示该方法可以被其 ...
分类：
其他好文 时间：
2020-05-23 00:37:22
阅读次数：
55
1.方法封装（新建文件夹utils，工具文件，在文件夹下创建request.js文件，用于对方法封装） var app = getApp(); //项目URL相同部分，减轻代码量，同时方便项目迁移 //这里因为我是本地调试，所以host不规范，实际上应该是你备案的域名信息 var host = 'h ...
分类：
微信 时间：
2020-05-23 00:19:55
阅读次数：
132
前言 自从被各大互联网公司的"造火箭"级面试难度吊打之后，痛定思痛，遂收拾心神，从基础的知识点开始展开地毯式学习。每一个非天才程序猿都有一个对35岁的恐惧，而消除恐惧最好的方式就是面对它、看清它、乃至跨过它，学习就是这个世界给普通人提供的一把成长型武器，掌握了它，便能与粗暴的生活一战。 最近看了好几 ...
分类：
其他好文 时间：
2020-05-23 00:17:02
阅读次数：
48
汇编调试程序DEBUG的常用命令和功能，DEBUG环境下调试程序的方法. 两个无符号数相加，将结果数存入指定地址单元。被加数，加数及和存放地址及数据如下： 地址 数据 被加数 2000：0000 9FH 2000：0001 6BH 加数 2000：0002 5CH 2000：0003 42H 和 2 ...
分类：
编程语言 时间：
2020-05-23 00:05:50
阅读次数：
156
一、日志 1、配置日志级别 日志记录器（Logger）的行为是分等级的。如下表所示： 分为：OFF、FATAL、ERROR、WARN、INFO、DEBUG、ALL 默认情况下，spring boot从控制台打印出来的日志级别只有INFO及以上级别，可以配置日志级别 这种方式只能将日志打印在控制台上 ...
分类：
编程语言 时间：
2020-05-22 21:12:29
阅读次数：
69
背景介绍：因为公司最近使用TraeFik来代替nginx做代理服务器。导致一些老项目访问Grpc的时候直接Status(StatusCode=Unavailable, Detail="failed to connect to all addresses") ，出现地址未找到的错误，没办法，问题已经出 ...
分类：
其他好文 时间：
2020-05-22 16:53:30
阅读次数：
165
