工作汇报 编辑器 xwl： 今天： (163->yeah 修复了删除文件再新建重名文件 老文件内容重新出现的bug 明天： chrome插件搭建（白板+选language） “草稿纸”阶段issue计划： 后端： lpx： 今天：分享出去：前端完成 明天： 接收分享通知提醒 [F#97] 打开读写/ ...
分类：
其他好文 时间：
2020-05-27 09:26:48
阅读次数：
77
工作汇报 编辑器 xwl： 今天： 改editor: 接口、去语言服务 [#22] +keyword提示（问题：token不提示了） 明天： editor： word-based suggestion(tokenizer) [#23] chrome插件搭建（白板+选language）[#24] 燃尽 ...
分类：
其他好文 时间：
2020-05-27 09:18:52
阅读次数：
62
1、使用虚拟机安装，内存1G，硬盘最大100G，加载ios文件版本： Ubantu 14，安装完成 我遇到了菱形乱码问题，解决方案： 执行命令：vim /etc/default/locale 修改为： LANG="en_US.UTF-8" LANGUAGE="en_US:en" 2、安装ssh su ...
分类：
系统相关 时间：
2020-05-26 15:35:10
阅读次数：
78
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
一、理论基础 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
