程序的规约（Spec）在一个项目中占有十分重要的地位，一段没有撰写Spec的代码交由他人修改，亦或是一段时间后自己修改，都是一件令人头疼的事情。一个良好的Spec可以省去许多不必要的反复阅读代码的时间。 1 规约定义 一个Java方法的Spec包含包括该方法前的文档注释、方法名称以及方法的参数，也就 ...
分类：
其他好文 时间：
2020-07-09 20:55:05
阅读次数：
118
本文始发于个人公众号：TechFlow，原创不易，求个关注 今天是Python专题第20篇文章，我们来聊聊Python当中的多线程。 其实关于元类还有很多种用法，比如说如何在元类当中设置参数啦，以及一些规约的用法等等。只不过这些用法比较小众，使用频率非常低，所以我们不过多阐述了，可以在用到的时候再去 ...
分类：
编程语言 时间：
2020-07-06 13:16:30
阅读次数：
66
1. 【强制】避免通过一个类的对象引用访问此类的静态变量或静态方法，无谓增加编译器解析成本，直接用类名来访问即可。2. 【强制】所有的覆写方法，必须加@Override 注解。说明：getObject()与 get0bject()的问题。一个是字母的 O，一个是数字的 0，加@Override 可以 ...
分类：
编程语言 时间：
2020-06-28 00:06:37
阅读次数：
76
1. 【强制】如果是大括号内为空，则简洁地写成{}即可，大括号中间无需换行和空格；如果是非空代码块则：1） 左大括号前不换行。2） 左大括号后换行。3） 右大括号前换行。4） 右大括号后还有 else 等代码则不换行；表示终止的右大括号后必须换行。2. 【强制】左小括号和字符之间不出现空格；同样，右 ...
分类：
编程语言 时间：
2020-06-26 15:01:34
阅读次数：
63
自底向上分析的基本问题 自底向上分析技术及识别算法 文法的二义性的定义 讨论的前提 基本实现方法：移入-规约法 算符优先分析方法 算法优先文法与优先表的构造 算符优先分析算法 LR分析法 LR分析器的逻辑结构及工作过程 LR(0)分析表的构造 SLR分析算法 总结 语法分析的自动产生工具YACC ...
分类：
其他好文 时间：
2020-06-23 13:08:15
阅读次数：
50
Jenkins插件开发完全示例 插件功能 在Jenkins构建之前选择Slave Server进行构建。 Slave Server搭建 准备工作 安装Java 安装Maven 命名规约 artifactId： 使用小写 ID ，并根据需要使用连字符分隔术语 除非名称有任何意义，否则不要在 ID 中包 ...
分类：
其他好文 时间：
2020-06-15 17:34:43
阅读次数：
63
统一建模语言UML（Unified Modeling Language）是非专利的第三代建模和规约语言。UML是一种开放的方法，用于说明、可视化、构建和编写一个正在开发的、面向对象的、软件密集系统的制品的开放方法。UML展现了一系列最佳工程实践，这些最佳实践在对大规模，复杂系统进行建模方面，特别是在 ...
分类：
其他好文 时间：
2020-06-11 19:57:51
阅读次数：
69
广州市智昊电气发布的新一代符合配电物联网要求低压回路测控终端(综合监测装置)带通信功能的数字多功能仪表，DAM800系列低压测控终端的功能是采集三相电压、开关位置、以及配合电流互感器采集低压回路ABCN电流、功率、功率因数等。判断低压短路、过载、缺相、断零故障并进行告警和驱动低压脱扣动作。智昊电气DAM800低压回路测控终端的基本功能：通过规约连接南网电网智能网关并将数据上传云平台1：可采集一回低
分类：
其他好文 时间：
2020-06-03 09:14:52
阅读次数：
183
UML 类图 用例图 时序图 什么是UML? 统一建模语言(Unified Modeling Language，UML)是一种为面向对象系统的产品进行说明、可视化和编制文档的一种标准语言，是非专利的第三代建模和规约语言 Rational Rose是Rational公司出品的一种面向对象的统一建模语言 ...
分类：
编程语言 时间：
2020-06-01 20:37:06
阅读次数：
65
JML理论基础 基本概念 以下内容来自我~~瞎~~翻译的维基百科： JML是一种java的 规约语言 ，使用了Hoare风格的 前置，后置，和不变量 约束条件，用来遵守 契约式设计 的要求。 这里面指出了JML的几个特点： 是java使用的规约语言~~（递归查询Specification Langu ...
分类：
其他好文 时间：
2020-05-22 09:30:01
阅读次数：
61
