OO第三单元总结 一、 JML语言的理论基础及应用工具链 （1）JML语言理论基础 1.原子表达式： \result表示非void类型的方法执行所获得的结果，即方法执行后的返回值。 \old(expr)用来表示一个表达式 expr 在相应方法执行前的取值。 \not_assigned(x,y,... ...
分类：
其他好文 时间：
2020-05-23 20:30:19
阅读次数：
59
系列第二更！ [TOC] 实验二 自上而下语法分析 实验目的 给出 PL/0 文法规范，要求编写 PL/0 语言的语法分析程序。 通过设计、编制、调试一个典型的自上而下语法分析程序，实现对词法分析程序所提供的单词序列进行语法检查和结构分析，进一步掌握常用的语法分析方法。 选择最有代表性的语法分析方法 ...
分类：
其他好文 时间：
2020-05-17 00:47:33
阅读次数：
103
系列第三弹！ [TOC] 实验三 自下而上语法分析 实验目的 给出 PL/0 文法规范，要求编写 PL/0 语言的语法分析程序。 通过设计、编制、调试一个典型的自下而上语法分析程序，实现对词法分析程序所提供的单词序列进行语法检查和结构分析，进一步掌握常用的语法分析方法。 选择最有代表性的语法分析方法 ...
分类：
其他好文 时间：
2020-05-17 00:46:15
阅读次数：
139
实际上代码写的没有错误, 比如用了element-ui 或者 iview 等框架后会发现vs-code有些地方会自动标出红色波浪线 , 其实是vuter的语法检查问题 , 只需要在setting.json中增加 "vetur.validation.template": false 设置方式 ...
分类：
其他好文 时间：
2020-05-12 13:45:23
阅读次数：
75
说明：mysqld程序结构模型就是 > SQL语句的执行过程· 分为三大部分：连接层，SQL层，存储引擎层 #1、连接层功能 （1）.TCP/IP或者Socket的连接方式 （2）.验证用户名密码功能 （3）.连接线程：接收SQL语句、返回执行结果 #2、SQL层功能 （1）.语法检查模块 检查上层 ...
分类：
数据库 时间：
2020-05-07 21:24:53
阅读次数：
94
1. shell的特殊位置变量 特殊变量的作用及变量实践，dirname,basename功能 bash [root@zabbix scripts] cat n.sh !/bin/bash echo $0 若不带路径执行脚本，那么输出结果就是脚本的名字 [root@zabbix scripts] s ...
分类：
系统相关 时间：
2020-05-04 21:02:05
阅读次数：
80
我是默认开启了，百度了半天都关不上，气死我了，然后百度上的大部分都是说在build文件夹下面有个什么js文件，修改一下就好了。但是现在是新版本的，所以不一样。 关闭方法，在根目录创建 vue.config.js 文件 然后把下面的代码放进去，重启项目就ok了 module.exports = { l ...
分类：
其他好文 时间：
2020-05-03 20:49:17
阅读次数：
267
任何时候BUG永远是存在的，在日常编码中我们该如何避免—— 1. 语法检查 在日常的IDE中开始不同语言不同框架对应的语法检查，在编写出来同时就能发现错误 在文件保存和版本commit提交的时候，再次进行语法检查，减少检查遗漏环节。 2. 编码规范 在代码入口尝试捕获异常（错误）。在代码入口捕获错误 ...
分类：
其他好文 时间：
2020-04-19 19:41:20
阅读次数：
72
摘自：http://www.planetb.ca/syntax-highlight-word/ 一、工具 方法1.打开这个网页PlanetB; 方法2.或者谷歌搜索syntax highlight code in word documents，检索结果的第一个。如下图： PS. 方法1和2打开的为同 ...
分类：
其他好文 时间：
2020-04-18 11:52:56
阅读次数：
67
MySql体系结构 一，连接层功能： 1，TCP/IP或者Socket的链接方式 2，验证用户名密码功能 3，连接线程(客服)：接收SQL语句，返回执行结果 二，SQL层 1，语法检查模块，检查上层发过来的SQL语句，进行语法检查 2，权限检查模块，检测当前登录用户是否有权限操作数据库对象 3，语义 ...
分类：
数据库 时间：
2020-04-18 09:34:21
阅读次数：
68
