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