OO第三单元总结 梳理JML语言的理论基础、应用工具链情况 JML（Java Modeling Language）是一种行为规范接口语言，通过使用不会被编译的注释形式，和固定关键字的语法，指定Java模块代码的行为。大体上包括以下三种要求： 前置： @requires 子句定义了需要满足的条件。 过 ...
分类：
其他好文 时间：
2019-05-22 19:27:08
阅读次数：
133
JML 曾经在很早以前就曾经幻想过，是否存在一种规则可以约定大家的代码功能效果。知道这个单元学习了JML让我意识到，业界确实存在一些已经十分成熟的对应语言。 JML（Java Modeling Language），书写于java代码的注释中，用于表示java代码的功能，而不在乎其内部实现。通过JML ...
分类：
其他好文 时间：
2019-05-22 19:18:16
阅读次数：
93
比 Java 更具争议的 PHP，处处留坑？ 编程语言之争自古以来就从未停歇，对于有着“世界上最好的编程语言”之称的 PHP，表面看似赞扬，实则为讽刺。PHP 确实简单易上手，但是其函数命名不规范、核心异步网络不支持、后期维护困难等缺点，让不少开发者避之不及。不过，PHP 经过了这么多年的发展，还是 ...
分类：
编程语言 时间：
2019-05-19 22:04:38
阅读次数：
185
主要描述了如何基于Intellij IDEA搭建OpenTSDB的研发环境
分类：
数据库 时间：
2019-05-14 15:02:22
阅读次数：
370
视频：https://gorails.com/episodes/actionable-errors-in-rails-6?autoplay=1 这篇视频介绍了Rails6的一个新功能： actionable error 这个模块定义一个action来解决各种错误类型。通过在?提示网页上添加了一个bu ...
分类：
其他好文 时间：
2019-05-09 19:52:41
阅读次数：
112
1.1、概述 Java不仅仅是一门编程语言，还是一个由一系列计算机软件和规范形成的技术体系，这个技术体系提供了完整的用于软件开发和跨平台部署的支持环境，并广泛应用于嵌入式系统、移动终端、企业服务器、大型机等各种场合 如下图所示： Java被认可的原因： 1、拥有一门结构严谨、面向对象的编程语言 2、 ...
分类：
编程语言 时间：
2019-04-21 09:33:56
阅读次数：
145
报错类型： error: command 'x86_64-linux-gnu-gcc' failed with exit status 1................................... warning: no previously-included files matchin ...
分类：
编程语言 时间：
2019-04-13 13:52:36
阅读次数：
264
前言 关于版本控制, 版本控制是一种记录一个或若干文件内容变化，以便将来查阅特定版本修订情况的系统。 我们通过版本控制系统可以解决的问题:可以非常方便的查看我们的源码文件的历代更新版本.或将我们的项目源代码文件回溯到之前的某一版本. 关于版本控制的发展历史可以参看: "pro git__起步" gi ...
分类：
其他好文 时间：
2019-04-11 01:03:25
阅读次数：
137
扩展： 1，both， trailing， leading （1）默认为删除空格 （2）“trim_character”参数只允许包含一个字符 2，trim，rtrim， ltrim （1）默认为删除空格 （2）“OR”不表示整个“OR”字符串进行匹配，而是发现任意的字符“O”或字符“R”均做删除操 ...
分类：
数据库 时间：
2019-04-09 18:36:59
阅读次数：
207
rails session_store 由cookie_store改为active_record_store，sidekiq页面进入后session消失 ...
分类：
其他好文 时间：
2019-03-27 19:43:49
阅读次数：
124
