1.可以使用制表符或换行符添加空白 制表符 \t 换行符 \n 2.删除空白用对变量调用lstrip()和strip(),lstrip()删掉的是开头空白，rstrip()删掉的是结尾的空白，若要永久删掉多余的空白，需要将操作后的结果保存回变量中 >>> favorite_language = ' ...
分类：
其他好文 时间：
2020-05-24 23:43:44
阅读次数：
51
1. 检查Python库支持 Settings view里先查看一下是否有Python支持 2. 安装Python的适合Atom的IDE、UI、Server和运行工具 打开cmd，运行以下指令安装python language server： pip install python language ...
分类：
编程语言 时间：
2020-05-24 21:12:19
阅读次数：
66
一、背景知识 现代软件开发，往往做出的应用程序不止给一个国家的人去使用。不同国家的人往往存在语言文字不通的问题。由此产生了国际化(internationalization)、多语言(multi-language)、本地化(locale)这些词，它们其实都是一个意思，支持多种语言，提供给不同国家的用户 ...
分类：
编程语言 时间：
2020-05-24 21:04:29
阅读次数：
97
class Solution { public: bool isMatch(string s, string p) { return isMatchCore(s.c_str(), p.c_str()); } bool isMatchCore(const char* s, const char* p) ...
分类：
其他好文 时间：
2020-05-24 16:53:21
阅读次数：
51
正则表达式是什么？有什么用？ 正则表达式(Regular Expression)是一种文本规则，可以用来校验、查找、替换与规则匹配的文本。 正则表达式是一个强大的文本匹配工具，但是它的规则实在很繁琐，而且理解起来也颇为蛋疼，容易让人望而生畏。 学习正则应该从实例去理解规则。 一、正则表达式介绍 JD ...
分类：
其他好文 时间：
2020-05-23 23:00:56
阅读次数：
99
一、理论基础 1.什么是JML JML，即Java Modeling Language，是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口 、规格语言（Behavior Interface Speci?cation Language，BISL），基于Larch方法构建。BISL提 ...
分类：
其他好文 时间：
2020-05-23 21:52:12
阅读次数：
56
OO第三单元JML总结 一、JML理论基础与应用工具链 1、JML理论基础 JML是JAVA Modeling Language的简称，主要用于对java程序进行规格化设计，是一种基于Larch方法构建的行为接口规格语言。 JML的优点在于它的精准性与可读性。在设计规格时，如果使用自然语言，那么很有 ...
分类：
其他好文 时间：
2020-05-23 20:42:19
阅读次数：
61
1.梳理JML语言的理论基础、应用工具链情况 JML简介： JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言(Behavior Interface Specification Language, BISL)，基于La ...
分类：
其他好文 时间：
2020-05-23 20:14:55
阅读次数：
50
JML语言的理论基础、应用工具链情况 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。可以通过开展规格化设计，而给代码实现者以明确、严谨的设计需求；也可以针对已有的代码给出规格，以提高代码的维护性。 结合Junit、OpenJML、SMT So ...
分类：
其他好文 时间：
2020-05-23 20:01:29
阅读次数：
54
OO第三单元总结 理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。 本章通过给出JML规格让我们来实现以学习这种规格化的语言，同样的也学习了怎样根据代码补充规格，在学习JML的过程中，能感受到规格化设计带来的逻辑的严谨性。 JML表达 ...
分类：
其他好文 时间：
2020-05-23 20:00:43
阅读次数：
46
